Tools and algorithms for the construction and analysis of systems
: 13th international conference ; proceedings / TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Orna Grumberg ; Michael Huth (ed.). - Berlin : Springer, 2007. - XX, 738 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4424)
ISBN 978-3-540-71208-4 / 3-540-71208-9 kart. : EUR 89.88 (freier Pr.), ca. sfr 138.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Tools and algorithms for the construction and analysis of systems
: 10th international conference ; proceedings / TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Kurt Jensen ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2988)
ISBN 978-3-540-24730-2
Lizenzpflichtig
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 10th international conference ; proceedings / TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Kurt Jensen ; Andreas Podelski (ed.). - Berlin : Springer, 2004. - XIV, 608 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2988)
ISBN 978-3-540-21299-7 / 3-540-21299-X kart. : EUR 77.04, sfr 127.50
Literaturangaben
Quelle: DNB Verlagsmeldungen
Tools and algorithms for the construction and analysis of systems
: 9th international conference ; proceedings / TACAS 2003 ... Warsaw, Poland, April 7 - 11, 2003. H. Garavel ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2619)
ISBN 978-3-540-36577-8
Lizenzpflichtig
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 8th international conference ; proceedings / TACAS 2002 ... Grenoble, France, April 8 - 12, 2002. J.-P. Katoen ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2280)
ISBN 978-3-540-46002-2
Lizenzpflichtig
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 7th international conference ; proceedings / TACAS 2001 ..., Genova, Italy, April 2 - 6, 2001. T. Margaria ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2031)
ISBN 978-3-540-45319-2
Lizenzpflichtig
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 12th international conference ; proceedings / TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Holger Hermanns ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3920)
ISBN 978-3-540-33057-8
Lizenzpflichtig
Quelle: DNB
Trends in network and pervasive computing ; workshop proceedings
/ International Conference on Architecture of Computing Systems, ARCS 2002, Karlsruhe, Germany, April 8 - 12, 2002. Ed.: Uwe Brinkschulte ... (ed.). Organizer: University of Karlsruhe & GI/ITG. - Berlin : VDE-Verl., 2002. - 237 S. : graph. Darst.; 30 cm
ISBN 978-3-8007-2686-8 / 3-8007-2686-6 kart. : EUR 55.00 (DE), EUR 56.30 (AT), sfr 95.00
Literaturangaben
Quelle: DNB
Fox, Dan: Verteilte Anwendungen mit Visual Basic .NET
: [Konzepte und praktische Umsetzung] / Dan Fox. Übers. von Peter Winkler. - München/Germany : Markt-und-Technik-Verl., 2002. - 759 S. : Ill., graph. Darst.; 25 cm - (New technology)
ISBN 978-3-8272-6319-3 / 3-8272-6319-0 Pp. : EUR 59.95 (DE), EUR 61.70 (AT)
Quelle: DNB
Wilksch, Stephan: Wissensbasierte Spezifikation von Systemen zum fertigungsnahen Auftragsmanagement
/ Stephan Wilksch. - München : Hanser, 1994. - 139 S. : graph. Darst.; 21 cm - (Produktionstechnik - Berlin; 144)
ISBN 978-3-446-17859-5 / 3-446-17859-7 kart. : DM 62.00
Quelle: DNB
