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

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

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

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

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

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

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

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

Model-Driven Software Development
ανά: Beydeda, Sami
Έκδοση: (2005)

The Best Software Writing I
ανά: Spolsky, Joel
Έκδοση: (2005)

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

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

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

Pro PHP Security
ανά: Snyder, Chris
Έκδοση: (2005)

A Testerβs Guide to .NET Programming
ανά: Root, Randal
Έκδοση: (2006)

AdvancED ActionScript Components Mastering the Flash Component Architecture
ανά: Donatis, Antonio
Έκδοση: (2006)

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

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

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

Internet and Network Economics 6th International Workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010. Proceedings
ανά: Saberi, Amin
Έκδοση: (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 Software β ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
ανά: Fukuda, Komei
Έκδοση: (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)

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

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

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

The Career Programmer Guerilla Tactics for an Imperfect World
ανά: Duncan, Christopher
Έκδοση: (2006)

Agile Software Development Current Research and Future Directions
ανά: DingsΓΈyr, Torgeir
Έκδοση: (2010)

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

A Process Algebraic Approach to Software Architecture Design
ανά: Aldini, Alessandro
Έκδοση: (2010)

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

Thriving Systems Theory and Metaphor-Driven Modeling
ανά: Waguespack, Leslie J
Έκδοση: (2010)

Agile Processes in Software Engineering and Extreme Programming 11th International Conference, XP 2010, Trondheim, Norway, June 1-4, 2010. Proceedings
ανά: Sillitti, Alberto
Έκδοση: (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)

End User Development
ανά: Lieberman, Henry
Έκδοση: (2006)

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)

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

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

Domain Decomposition Methods β Algorithms and Theory
ανά: Toselli, Andrea
Έκδοση: (2005)

Introduction to Programming with Fortran
ανά: Chivers, Ian D.
Έκδοση: (2006)

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