Computer aided systems theory
: a selection of papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austria, September 29 - October 2, 1999 ; proceedings / EUROCAST '99. Franz Pichler ... (ed.). - Berlin : Springer, 2000. - X, 602 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1798)
ISBN 978-3-540-67822-9 / 3-540-67822-0 kart. : DM 130.00
Literaturangaben
Quelle: DNB
Computer aided systems theory
: a selection of papers from the Third International Workshop on Computer Aided Systems Theory, LasPalmas, Spain, February 22 - 26, 1993 ; proceedings / EUROCAST '93. F. Pichler ; R. Moreno Díaz (ed.). - Berlin : Springer, 1993. - IX, 449 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 763)
ISBN 978-3-540-57601-3 / 3-540-57601-0 kart. : DM 86.00
Literaturangaben
Quelle: DNB
Computer aided systems theory
: a selection of papers from the Second International Workshop on Computer Aided Systems Theory, Krems, Austria, April 15 - 19, 1991 ; proceedings / EUROCAST '91. F. Pichler ; R. Moreno Díaz (ed.). - Berlin : Springer, 1992. - X, 761 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 585)
ISBN 978-3-540-55354-0 / 3-540-55354-1 : DM 142.00
Literaturangaben
Quelle: DNB
Computer aided transit scheduling
: proceedings of the Fifth International Workshop on Computer Aided Scheduling of Public Transport, held in Montréal, Canada, August 19 - 23, 1990 / M. Desrochers ; J.-M. Rousseau (ed.). - Berlin : Springer, 1992. - XIII, 432 S. : graph. Darst.; 25 cm - (Lecture notes in economics and mathematical systems; Vol. 386)
ISBN 978-3-540-55634-3 / 3-540-55634-6 kart. : DM 104.00
Literaturangaben
Quelle: DNB
Computer aided transit scheduling
: proceedings of the Sixth International Workshop on Computer-Aided Scheduling of Public Transport / Joachim R. Daduna .... - Berlin : Springer, 1995. - XIV, 374 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in economics and mathematical systems; Vol. 430)
ISBN 978-3-540-60193-7 / 3-540-60193-7 kart. : DM 98.00
Literaturangaben
Quelle: DNB
Computer aided transit scheduling
: proceedings, Cambridge, MA, USA, August 1997 / Nigel H. M. Wilson (ed.). - Berlin : Springer, 1999. - XI, 464 S. : graph. Darst.; 24 cm - (Lecture notes in economics and mathematical systems; 471)
ISBN 978-3-540-65775-0 / 3-540-65775-4 kart. : DM 122.00
Literaturangaben
Quelle: DNB
Computer aided verification
: 16th international conference ; proceedings / CAV 2004, Boston, MA, USA, July 13 - 17, 2004. Rajeev Alur ; Doron A. Peled (ed.). - Berlin : Springer, 2004. - XII, 536 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3114)
ISBN 978-3-540-22342-9 / 3-540-22342-8 kart. : EUR 68.48 (freier Pr.), sfr 113.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Computer aided verification
: 8th international conference ; proceedings / CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Rajeev Alur ; Thomas A. Henzinger (ed.). - Berlin : Springer, 1996. - XII, 472 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1102)
ISBN 978-3-540-61474-6 / 3-540-61474-5 kart. : DM 94.00
Literaturangaben
Quelle: DNB
Computer aided verification
: 3rd international workshop ; proceedings / CAV '91, Aalborg, Denmark, July 1 - 4, 1991. K. G. Larsen ; A. Skou (ed.). - Berlin : Springer, 1992. - X, 487 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; 575)
ISBN 978-3-540-55179-9 / 3-540-55179-4 kart. : DM 86.00
Literaturangaben
Quelle: DNB
Computer aided verification
: fourth international workshop ; proceedings / CAV '92, Montreal, Canada, June 29 - July 1, 1992. G. v. Bochmann ; D. K. Probst (ed.). - Berlin : Springer, 1993. - IX, 422 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 663)
ISBN 978-3-540-56496-6 / 3-540-56496-9 kart. : DM 80.00
Literaturangaben
Quelle: DNB
