hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Schlagwort Systementwicklung
110 Treffer
Seite < 1 ... 2 3 4 5 6 7 8 ... 11 >
Cover

Formal methods and software engineering

: proceedings / 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27 - 31, 2008. Shaoying Liu ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5256)

ISBN 978-3-540-88194-0

Lizenzpflichtig

Quelle: DNB

Cover

Formal methods for performance evaluation

: advanced lectures / 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007. Marco Bernardo ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4486)

ISBN 978-3-540-72522-0

Lizenzpflichtig

Quelle: DNB

Cover

Formal methods for real time and probabilistic systems

: proceedings / 5th International AMAST Workshop, ARTS '99, Bamberg, Germany, May 1999. J.-P. Katoen (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1601)

ISBN 978-3-540-48778-4

Lizenzpflichtig

Quelle: DNB

Cover

Formal methods for software architectures

: advanced lectures / Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003. Marco Bernardo ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2804)

ISBN 978-3-540-39800-4

Lizenzpflichtig

Quelle: DNB

Cover

Timm, Haiko: Gestaltungsprinzipien zur Erhöhung des Einsatznutzens von Expertensystemen in der betrieblichen Praxis

: Massnahmenvorschläge für eine erfolgreiche Expertensystementwicklung / Haiko Timm. - Frankfurt am Main : Lang, 1994. - XIV, 247 S. : graph. Darst.; 21 cm - (Europäische Hochschulschriften : Reihe 5, Volks- und Betriebswirtschaft; Bd. 1571)

ISBN 978-3-631-47445-7 / 3-631-47445-8 kart. : sfr 66.00

Quelle: DNB

Cover

Gabriel, Roland: Gestaltung und Einsatz von Datenbanksystemen

: data base engineering und Datenbankarchitekturen / Roland Gabriel ; Heinz-Peter Röhrs. Unter Mitarb. von Carsten Dittmar .... - Berlin : Springer, 2003. - XVIII, 422 S. : Ill., graph. Darst.; 24 cm

ISBN 978-3-540-44231-8 / 3-540-44231-6 kart. : EUR 29.95

Literaturangaben

Quelle: DNB

Cover

Vetter, Max: Global denken, lokal handeln in der Informatik

: 10 Gebote eines ganzheitlichen, objektorientierten Informatik-Einsatzes / von Max Vetter. - Stuttgart : Teubner, 1994. - 182 S. : Ill., graph. Darst.; 24 cm - (Informatik und Unternehmensführung)

ISBN 978-3-519-02188-9 / 3-519-02188-9 Pp. : DM 44.00, sfr 44.00, S 343.00

Quelle: DNB

Cover

Industrial applications and strengthened foundations of formal methods

: proceedings / FME '97, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15 - 19, 1997. John Fitzgerald ... (ed.). - Berlin : Springer, 1997. - XIII, 684 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1313)

ISBN 978-3-540-63533-8 / 3-540-63533-5 kart. : DM 130.00

Literaturangaben

Quelle: DNB

Cover

Sølvberg, Arne: Information systems engineering

: an introduction / A. Sølvberg ; D. C. Kung. - Berlin : Springer, 1993. - XV, 540 S. : graph. Darst.; 25 cm

ISBN 978-3-540-56310-5 / 3-540-56310-5 Pp. : DM 98.00

Literaturverz. S. 527 - 535

Quelle: DNB

Cover

Integrated formal methods

: 4th international conference ; proceedings / IFM 2004, Canterbury, UK, April 4 - 7, 2004. Eerke A. Boiten ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2999)

ISBN 978-3-540-24756-2

Lizenzpflichtig

Quelle: DNB

Seite < 1 ... 2 3 4 5 6 7 8 ... 11 >
Projekte . Kooperationen