Advances in software engineering
: revised tutorial lectures / Lipari Summer School 2007, Lipari Island, Italy, July 8 - 21, 2007. Egon Börger ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5316)
ISBN 978-3-540-89762-0
Lizenzpflichtig
Quelle: DNB
Weiss, Gerhard: Agentenorientierte Softwareentwicklung
: Methoden und Tools ; mit 78 Tabellen / Gerhard Weiß ; Ralf Jakob. - Berlin : Springer, 2005. - XII, 316 S. : Ill., graph. Darst.; 24 cm - (Xpert.press)
ISBN 978-3-540-00062-4 / 3-540-00062-3 Pp. : EUR 39.95, sfr 64.00
Literaturverz. S. 289 - 308
Quelle: DNB
Agent technologies, infrastructures, tools, and applications for E-services ; revised papers
/ NODe 2002, Agent Related Workshops, Erfurt, Germany, October 7 - 10, 2002. Ryszard Kowalczyk ... (ed.). - Berlin : Springer, 2003. - XVII, 369 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2592 : Lecture notes in artificial intelligence)
ISBN 978-3-540-00742-5 / 3-540-00742-3 kart. : EUR 53.50
Literaturangaben
Quelle: DNB
Algebraic methodology and software technology
: 7th international conference ; proceedings / AMAST '98, Amazonia, Brazil, January 1999. Armando M. Haeberer (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1548)
ISBN 978-3-540-49253-5
Lizenzpflichtig
Quelle: DNB
Analytical methods in software engineering economics
/ Thomas R. Gulledge ; William P. Hutzler (ed.). - Berlin : Springer, 1993. - VIII, 252 S. : graph. Darst.; 24 cm
ISBN 978-3-540-55950-4 / 3-540-55950-7 Pp. : DM 120.00
Literaturangaben
Quelle: DNB
Schumann, Johann M. Ph.: Automated theorem proving in software engineering
/ Johann M. Schumann. Foreword by Donald Loveland. - Berlin : Springer, 2001. - XIV, 228 S. : graph. Darst.; 25 cm
ISBN 978-3-540-67989-9 / 3-540-67989-8 Pp. : DM 79.00
Literaturverz. S. 203 - 220
Quelle: DNB
Schäuffele, Jörg: Automotive Software-Engineering
: Grundlagen, Prozesse, Methoden und Werkzeuge / Jörg Schäuffele ; Thomas Zurawka. - 2., verb. Aufl. - Wiesbaden : Vieweg, 2004. - XIII, 334 S. : graph. Darst.; 24 cm - (ATZ-MTZ-Fachbuch)
ISBN 978-3-528-11040-6 / 3-528-11040-6 Pp. : EUR 41.90
Literaturverz. S. 323 - 327
Quelle: DNB
Schäuffele, Jörg: Automotive Software-Engineering
: Grundlagen, Prozesse, Methoden und Werkzeuge / Jörg Schäuffele ; Thomas Zurawka. - 1. Aufl. - Wiesbaden : Vieweg, 2003. - XIII, 334 S. : Ill., graph. Darst.; 24 cm - (ATZ-MTZ-Fachbuch)
ISBN 978-3-528-01040-9 / 3-528-01040-1 Pp. : 39.90, sfr 67.00
Literaturverz. S. 323 - 327
Quelle: DNB
Balancing agility and formalism in software engineering
: revised selected papers / Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE SET 2007, Poznań, Poland, October 10 - 12, 2007 / Bertrand Meyer ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5082)
ISBN 978-3-540-85279-7
Lizenzpflichtig
Quelle: DNB
Fiadeiro, José Luiz: Categories for software engineering
/ José Luiz Fiadeiro. - Berlin : Springer, 2005. - XII, 250 S. : graph. Darst.; 24 cm
ISBN 978-3-540-20909-6 / 3-540-20909-3 Pp. : EUR 53.45
Literaturverz. S. 237 - 243
Quelle: DNB Verlagsmeldungen
