Validated Designs for Object-oriented Systems

Validated Designs for Object-oriented Systems

Εμφάνιση άλλων εκδόσεων (1)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Fitzgerald, John
Άλλοι συγγραφείς:	Larsen, Peter Gorm, Mukherjee, Paul, Plat, Nico, Verhoef, Marcel
Μορφή:	Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	London Springer-Verlag London Limited 2005
Θέματα:	Software engineering Computational complexity Computer Science Software Engineering/Programming and Operating Systems Software Engineering Discrete Mathematics in Computer Science
Διαθέσιμο Online:	http://dx.doi.org/10.1007/b138800

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

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

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

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

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

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

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

Fundamentals of Algebraic Graph Transformation
ανά: Ehrig, Hartmut
Έκδοση: (2006)

Beginning Java Objects From Concepts to Code
ανά: Barker, Jacquie
Έκδοση: (2005)

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

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

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)

Guide to Assembly Language Programming in Linux
ανά: Dandamudi, Sivarama P.
Έκδοση: (2005)

Reverse Engineering of Object Oriented Code
ανά: Tonella, Paolo
Έκδοση: (2005)

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

ECOOP 2010 β Object-Oriented Programming 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings
ανά: DβHondt, Theo
Έκδοση: (2010)

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
ανά: Boer, Frank S.
Έκδοση: (2010)

Pro Spring
ανά: Harrop, Rob
Έκδοση: (2005)

Painless Project Management with FogBugz
ανά: Gunderloy, Mike
Έκδοση: (2005)

Open Source Messaging Application Development Building and Extending Gaim
ανά: Egan, Sean
Έκδοση: (2005)

Pro OpenSSH
ανά: Stahnke, Michael
Έκδοση: (2006)

Beginning Java EE 5 From Novice to Professional
ανά: Mukhar, Kevin
Έκδοση: (2006)

Beginning Databases with PostgreSQL From Novice to Professional
ανά: Matthew, Neil
Έκδοση: (2005)

Shell Scripting Recipes A Problem-Solution Approach
ανά: Johnson, Chris F. A.
Έκδοση: (2005)

Pro Eclipse JST Plug-ins for J2EE Development
ανά: Judd, Christopher M.
Έκδοση: (2005)

Advanced Software Engineering: Expanding the Frontiers of Software Technology IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile
ανά: Ochoa, Sergio F.
Έκδοση: (2006)

Building Online Communities with Drupal, phpBB, and WordPress
ανά: Douglass, Robert T.
Έκδοση: (2006)

Micro-ISV From Vision to Reality
ανά: Walsh, Bob
Έκδοση: (2006)

Excel Pivot Tables Recipe Book A Problem-Solution Approach
ανά: Dalgleisch, Debra
Έκδοση: (2006)

SAP fΓΌr Java-Entwickler Konzepte, Schnittstellen, Technologien
ανά: Jeske, Till
Έκδοση: (2005)

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings
ανά: Ding, Chen
Έκδοση: (2010)

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
ανά: Barthe, Gilles
Έκδοση: (2010)

Pro Python
ανά: Alchin, Marty
Έκδοση: (2010)

Job Scheduling Strategies for Parallel Processing 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers
ανά: Frachtenberg, Eitan
Έκδοση: (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)

Multimedia Introduction to Programming Using Java
ανά: Gries, David
Έκδοση: (2005)

An Integrated Approach to Software Engineering
ανά: Jalote, Pankaj
Έκδοση: (2005)

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

Architecting Dependable Systems VII
ανά: Casimiro, Antonio
Έκδοση: (2010)

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

Cannot write session to /tmp/vufind_sessions/sess_5s26kbdtmensvi23ldri3h4qn2