Mathematical Approaches to Software Quality

Mathematical Approaches to Software Quality

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	OβRegan, Gerard
Μορφή:	Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	London Springer-Verlag London Limited 2006
Θέματα:	Software engineering Computer science Computational complexity Computer Science Software Engineering Mathematics of Computing Discrete Mathematics in Computer Science
Διαθέσιμο Online:	http://dx.doi.org/10.1007/1-84628-435-X

Παρόμοια τεκμήρια

Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
ανά: Lee, Der-Tsai
Έκδοση: (2010)

Validated Designs for Object-oriented Systems
ανά: Fitzgerald, John
Έκδοση: (2005)

Formal Models of Operating System Kernels
ανά: Craig, Iain D.
Έκδοση: (2007)

Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)
ανά: Mazzola, Guerino
Έκδοση: (2006)

Internet and Network Economics 6th International Workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010. Proceedings
ανά: Saberi, Amin
Έκδοση: (2010)

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
ανά: Abramsky, Samson, 1953-
Έκδοση: (2010)

Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27βOctober 2, 2010. Proceedings
ανά: Ehrig, Hartmut
Έκδοση: (2010)

Foundations of Generic Optimization Volume 1: A Combinatorial Approach to Epistasis
ανά: Iglesias, M.
Έκδοση: (2005)

Principles of Distributed Systems 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings
ανά: Lu, Chenyang
Έκδοση: (2010)

Fete of Combinatorics and Computer Science
ανά: Katona, Gyula O. H
Έκδοση: (2010)

Mathematical Software β ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
ανά: Fukuda, Komei
Έκδοση: (2010)

Discrete Mathematics Using a Computer
ανά: OβDonnell, John
Έκδοση: (2006)

Computer Science β Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
ανά: Ablayev, Farid
Έκδοση: (2010)

Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
ανά: Frappier, Marc
Έκδοση: (2010)

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
ανά: KratochvΓl, Jan
Έκδοση: (2010)

Categories for Software Engineering
ανά: Fiadeiro, JosΓ© Luiz
Έκδοση: (2005)

Transactions on Computational Science XI Special Issue on Security in Computing, Part II
ανά: Gavrilova, Marina L
Έκδοση: (2010)

Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings
ανά: Link, Sebastian
Έκδοση: (2010)

Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Revised Selected Papers, Part II
ανά: Wyrzykowski, Roman
Έκδοση: (2010)

Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009. Revised Selected Papers, Part I
ανά: Wyrzykowski, Roman
Έκδοση: (2010)

Theory and Applications of Satisfiability Testing β SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
ανά: Strichman, Ofer
Έκδοση: (2010)

Logic and the Foundations of Game and Decision Theory β LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
ανά: Bonanno, Giacomo
Έκδοση: (2010)

Innovations in Computing Sciences and Software Engineering
ανά: Sobh, Tarek
Έκδοση: (2010)

Algorithmic Aspects in Information and Management 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010. Proceedings
ανά: Chen, Bo
Έκδοση: (2010)

The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers
ανά: Ebert, Christian
Έκδοση: (2010)

Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
ανά: Governatori, Guido
Έκδοση: (2010)

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
ανά: Giesl, JΓΌrgen
Έκδοση: (2010)

Comprehensive Mathematics for Computer Scientists 2 Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus
ανά: Mazzola, Guerino
Έκδοση: (2005)

Mathematical Approaches to Software Quality
ανά: O'Regan, Gerard
Έκδοση: (2006)

Practical Software Factories in .NET
ανά: Lenz, Gunther
Έκδοση: (2006)

Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA
Έκδοση: (2005)

Contemporary Cryptology
ανά: Catalano, Dario
Έκδοση: (2005)

Reliable and Autonomous Computational Science International Conference, RACS 2010, Atlanta, GA, USA, October 27-30, 2010
ανά: Shin, Sung Y
Έκδοση: (2010)

Software Engineering Techniques: Design for Quality
ανά: Sacha, Krzysztof
Έκδοση: (2006)

Sanskrit Computational Linguistics 4th International Symposium, New Delhi, India, December 10-12, 2010. Proceedings
ανά: Jha, Girish Nath
Έκδοση: (2010)

Latent Variable Analysis and Signal Separation 9th International Conference, LVA/ICA 2010, St. Malo, France, September 27-30, 2010. Proceedings
ανά: Vigneron, Vincent
Έκδοση: (2010)

Component-Based Software Testing with UML
ανά: Gross, Hans-Gerhard
Έκδοση: (2005)

Evolutionary Computation in Combinatorial Optimization 7th European Conference, EvoCOP 2007, Valencia, Spain, April 11-13, 2007. Proceedings
ανά: Cotta, Carlos
Έκδοση: (2007)

Agile Software Construction
ανά: Hunt, John
Έκδοση: (2006)

Tutorials on Emerging Methodologies and Applications in Operations Research Presented at Informs 2004, Denver, CO
ανά: G, H J.
Έκδοση: (2005)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών