Applying formal methods
: testing, performance and M/E commerce ; proceedings / FORTE 2004 Workshops The FormEMC ..., Toledo, Spain, October 1 - 2, 2004. Manuel Núnez ... (ed.). - Berlin : Springer, 2004. - XI, 379 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3236)
ISBN 978-3-540-23169-1 / 3-540-23169-2 kart. : EUR 55.64 (freier Pr.), sfr 92.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Architecture of computing systems
: 20th international conference ; proceedings / ARCS 2007, Zurich, Switzerland, March 12 - 15, 2007. Paul Lukowicz ... (ed.). - Berlin : Springer, 2007. - X, 295 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4415)
ISBN 978-3-540-71267-1 / 3-540-71267-4 kart. : EUR 51.36 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Architecture of computing systems
: 19th international conference ; proceedings / ARCS 2006, Frankfurt/Main, Germany, March 13 - 16, 2006. Werner Grass ... (ed.). - Berlin : Springer, 2006. - XII, 496 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3894)
ISBN 978-3-540-32765-3 / 3-540-32765-7 kart. : EUR 68.48 (freier Pr.), ca. sfr 113.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Architecture of computing systems
: 21st international conference ; proceedings / ARCS 2008, Dresden, Germany, February 25 - 28, 2008. Uwe Brinkschulte ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4934)
ISBN 978-3-540-78153-0
Lizenzpflichtig
Quelle: DNB
Architecture of computing systems
: 20th international conference ; proceedings / ARCS 2007, Zurich, Switzerland, March 12 - 15, 2007. Paul Lukowicz ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4415)
ISBN 978-3-540-71270-1
Lizenzpflichtig
Quelle: DNB
Architecture of computing systems
: 19th international conference ; proceedings / ARCS 2006, Frankfurt/Main, Germany, March 13 - 16, 2006. Werner Grass ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3894)
ISBN 978-3-540-32766-0
Lizenzpflichtig
Quelle: DNB
Linsenmaier, Thomas: Eine Architektur verteilter Objekte zur Integration von Produktionsinformationssystemen
/ Thomas Linsenmaier. - Berlin : Springer, 1999. - 157 S. : graph. Darst.; 21 cm - (IPA-IAO-Forschung und Praxis; Bd. 284)
ISBN 978-3-540-65636-4 / 3-540-65636-7 kart.
Quelle: DNB
Autonomie in verteilten IT-Architekturen
/ von Jan Richling .... - München : Oldenbourg, 2011. - X, 267 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-486-70414-3 kart. : EUR 49.80 (DE)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Grinewitschus, Viktor: Ein Beitrag zum modellgestützten Entwurf anwendungsspezifischer, verteilter Hardware-, Softwaresysteme
/ Viktor Grinewitschus. Fraunhofer-Institut für Mikroelektronische Schaltungen und Systeme IMS. - Stuttgart : Fraunhofer-IRB-Verl., 1998. - XI, 137 S. : graph. Darst.; 21 cm
ISBN 978-3-8167-5166-3 / 3-8167-5166-0 kart.
Quelle: DNB
Bio inspired computing and communication
: revised selected papers / First Workshop on Bio Inspired Design of Networks, BIOWIRE 2007, Cambridge, UK, April 2 - 5, 2007. Pietro Liò ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5151)
ISBN 978-3-540-92191-2
Lizenzpflichtig
Quelle: DNB
