Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3β€“15 August 2004

Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3β15 August 2004

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Broy, M., 1949-
Άλλοι συγγραφείς:	GrΓΌnbauer, Johannes, Harel, David, 1950-, Hoare, Tony
Μορφή:	Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	Dordrecht Springer 2005
Σειρά:	NATO Science Series, Series II: Mathematics, Physics and Chemistry 195
Θέματα:	Computer science Software engineering Information theory Computer Science Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Theory of Computation Models and Principles
Διαθέσιμο Online:	http://dx.doi.org/10.1007/1-4020-3532-2

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

Modelling Autonomic Communication Environments 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedings
ανά: Brennan, Rob
Έκδοση: (2010)

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

Transactions on Petri Nets and Other Models of Concurrency IV
ανά: Jensen, K. (Kurt), 1950-
Έκδοση: (2010)

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

Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
ανά: Petrenko, Alexandre
Έκδοση: (2010)

Interactive Computation The New Paradigm
ανά: Goldin, Dina
Έκδοση: (2006)

Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
ανά: Γlveczky, Peter Csaba
Έκδοση: (2010)

Business Process Management 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings
ανά: Hull, Richard
Έκδοση: (2010)

Search Computing Challenges and Directions
ανά: Ceri, Stefano
Έκδοση: (2010)

Software Process Modeling
ανά: Acuna, Silvia T.
Έκδοση: (2005)

Software Engineering 3 Domains, Requirements, and Software Design
ανά: BjΓΈner, Dines
Έκδοση: (2006)

A Software Process Model Handbook for Incorporating Peopleβs Capabilities
ανά: Acuna, Silvia T.
Έκδοση: (2005)

Coordination Models and Languages 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
ανά: Clarke, Dave
Έκδοση: (2010)

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers
ανά: Arbab, Farhad
Έκδοση: (2010)

Coordination of Large-Scale Multiagent Systems
ανά: Scerri, Paul
Έκδοση: (2006)

Ontologies for Agents: Theory and Experiences
ανά: Tamma, Valentina
Έκδοση: (2005)

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

Information Computing and Applications International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II
ανά: Zhu, Rongbo
Έκδοση: (2010)

Information Computing and Applications First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings
ανά: Zhu, Rongbo
Έκδοση: (2010)

Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers
ανά: Baldoni, Matteo
Έκδοση: (2010)

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

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
ανά: Pnueli, Amir
Έκδοση: (2010)

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

Rationale Management in Software Engineering
ανά: Dutoit, Allen H.
Έκδοση: (2006)

Ontologies for Software Engineering and Software Technology
ανά: Calero, Coral
Έκδοση: (2006)

New Modeling Concepts for Todayβs Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings
ανά: MΓΌnch, JΓΌrgen
Έκδοση: (2010)

Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 /
Έκδοση: (2005)

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

Software Composition 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings
ανά: Baudry, Benoit
Έκδοση: (2010)

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
ανά: Bollig, Benedikt
Έκδοση: (2006)

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

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

Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
ανά: Dong, Jin Song
Έκδοση: (2010)

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

Advanced Lectures on Software Engineering LASER Summer School 2007/2008
ανά: MΓΌller, Peter
Έκδοση: (2010)

Reliable Software Technologiey β Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings
ανά: Real, Jorge
Έκδοση: (2010)

Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
ανά: Bouajjani, Ahmed
Έκδοση: (2010)

Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
ανά: Rosenblum, David S
Έκδοση: (2010)

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
ανά: Carro, Manuel
Έκδοση: (2010)

Compiler Construction 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
ανά: Gupta, Rajiv
Έκδοση: (2010)

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