Formal methods
: proceedings / FME 2003, International Symposium of Formal Methods Europe, Pisa, Italy, September 8 - 14, 2003. Keijiro Araki ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2805)
ISBN 978-3-540-45236-2
Lizenzpflichtig
Quelle: DNB
Formal methods
: proceedings / FME 2006, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21 - 27, 2006. Jayadev Misra ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4085)
ISBN 978-3-540-37216-5
Lizenzpflichtig
Quelle: DNB
Formal methods
: proceedings / FME 2003, International Symposium of Formal Methods Europe, Newcastle, UK, July 18 - 22, 2005. John Fitzgerald ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3582)
ISBN 978-3-540-31714-2
Lizenzpflichtig
Quelle: DNB
Formal methods
: proceedings / FME 2003, International Symposium of Formal Methods Europe, Pisa, Italy, September 8 - 14, 2003. Keijiro Araki ... (ed.). - Berlin : Springer, 2003. - XVII, 942 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2805)
ISBN 978-3-540-40828-4 / 3-540-40828-2 kart. : EUR 98.44 (freier Pr.), sfr 153.00
Literaturangaben
Quelle: DNB
Formal methods and software engineering
: proceedings / 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1 - 3, 2006. Zhiming Liu ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4260)
ISBN 978-3-540-47462-3
Lizenzpflichtig
Quelle: DNB
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
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
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
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
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
