Esparza, Javier: Unfoldings
: a partial order approach to model checking / Javier Esparza ; Keijo Heljanko. - Berlin : Springer, 2008. - XII, 169 S. : graph. Darst.; 24 cm - (Monographs in theoretical computer science)
ISBN 978-3-540-77425-9 Pp. : EUR 58.80 (freier Pr.)
Literaturverz. S. 157 - 164
Quelle: DNB Verlagsmeldungen
Mohapatra, Rabindra N.: Unification and supersymmetry
: the frontiers of quark-lepton physics / Rabindra N. Mohapatra. - 2. ed. - New York : Springer, 1992. - XV, 405 S. : graph. Darst.; 25 cm - (Graduate texts in contemporary physics)
ISBN 978-3-540-97646-2 / 3-540-97646-9 Pp. : DM 98.00
Literaturangaben
Quelle: DNB
A unified approach to interior point algorithms for linear complementarity problems
/ M. Kojima .... - Berlin : Springer, 1991. - VIII, 108 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 538)
ISBN 978-3-540-54509-5 / 3-540-54509-3 kart. : Dm 29.50
Literaturverz. S. 103 - 108
Quelle: DNB
The unified modeling language
: model engineering, concepts, and tools ; 5th international conference ; proceedings / "UML" 2002, Dresden, Germany, September 30 - October 4, 2002. Jean-Marc Jézéquel ... (ed.). - Berlin : Springer, 2002. - XII, 447 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2460)
ISBN 978-3-540-44254-7 / 3-540-44254-5 kart. : EUR 59.92
Literaturangaben
Quelle: DNB
The unified modeling language
: modeling languages, concepts, and tools ; 4th international conference ; proceedings / "UML" 2001, Toronto, Canada, October 1- 5, 2001. Martin Gogolla ; Cris Kobryn (ed.). - Berlin : Springer, 2001. - XIV, 510 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2185)
ISBN 978-3-540-42667-7 / 3-540-42667-1 kart. : DM 119.89
Literaturangaben
Quelle: DNB
The unified modeling language
: modeling languages and applications ; 7th international conference ; proceedings / "UML" 2004, Lisbon, Portugal, October 11 - 15, 2004. Thomas Baar ... (ed.). - Berlin : Springer, 2004. - XIII, 454 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3273)
ISBN 978-3-540-23307-7 / 3-540-23307-5 kart. : EUR 64.20 (freier Pr.), sfr 106.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
The unified modeling language
: modeling languages, concepts, and tools ; 4th international conference ; proceedings / "UML" 2001, Toronto, Canada, October 1- 5, 2001. M. Gogolla ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2185)
ISBN 978-3-540-45441-0
Lizenzpflichtig
Quelle: DNB
The unified modeling language
: modeling languages and applications ; 6th international conference / "UML" 2003, San Francisco, CA, USA, October 20 - 24, 2003. Perdita Stevens ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2863)
ISBN 978-3-540-45221-8
Lizenzpflichtig
Quelle: DNB
The unified modeling language
: 5th international conference ; proceedings / UML 2002, Dresden, Germany, September 30 - October 4, 2002. J.-M. Jézéquel ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2460)
ISBN 978-3-540-45800-5
Lizenzpflichtig
Quelle: DNB
The unified modeling language
: advancing the standard ; third international conference ; proceedings / UML 2000, York, UK, October 2000. Andy Evans ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1939)
ISBN 978-3-540-40011-0
Lizenzpflichtig
Quelle: DNB
