Modeling and verification of parallel processes
: 4th summer school ; revised tutorial lectures / MOVEP 2000, Nantes, France, June 19 - 23, 2000. F. Cassez ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2067)
ISBN 978-3-540-45510-3
Lizenzpflichtig
Quelle: DNB
Objects, components, models and patterns
: 46th international conference, tools Europe 2008, Zurich, Switzerland, June 30 - July 4, 2008 ; proceedings / Richard F. Paige ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in business information processing; 11)
ISBN 978-3-540-69824-1
Lizenzpflichtig
Quelle: DNB
Perspectives of system informatics
: proceedings / Third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 1999. D. Bjørner ... (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1755)
ISBN 978-3-540-46562-1
Lizenzpflichtig
Quelle: DNB
Process algebra and probabilistic methods
: performance modeling and verification ; joint international workshop ; proceedings / PAPM PROBMIV 2001, Aachen, Germany, September 12 - 14, 2001. Luca de Alfaro ; Stephen Gilmore (ed.). - Berlin : Springer, 2001. - XII, 215 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2165)
ISBN 978-3-540-42556-4 / 3-540-42556-X kart. : DM 70.62
Quelle: DNB
Process algebra and probabilistic methods
: performance modeling and verification ; joint international workshop ; proceedings / PAPM PROBMIV 2001, Aachen, Germany, September 12 - 14, 2001. L. de Alfaro ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2165)
ISBN 978-3-540-44804-4
Lizenzpflichtig
Quelle: DNB
Process algebra and probabilistic methods
: performance modeling and verification ; second joint international workshop ; proceedings / PAPM PROBMIV 2002, Copenhagen, Denmark, July 25 - 26, 2002. H. Hermanns ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2399)
ISBN 978-3-540-45605-6
Lizenzpflichtig
Quelle: DNB
Quality of software architectures
: revised papers / Second International Conference on Quality of Software Architectures, QoSA 2006, Väster°as, Sweden, June 27 - 29, 2006. Christine Hofmeister ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4214)
ISBN 978-3-540-48820-0
Lizenzpflichtig
Quelle: DNB
Quality of software architectures
: models and architectures ; proceedings / 4th International Conference on the Quality of Software Architectures, QoSA 2008, Karlsruhe, Germany, October 14 - 17, 2008. Steffen Becker ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5281)
ISBN 978-3-540-87879-7
Lizenzpflichtig
Quelle: DNB
Quality of software architectures and software quality
: proceedings / First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September, 20 - 22, 2005. Ralf Reussner ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3712)
ISBN 978-3-540-32056-2
Lizenzpflichtig
Quelle: DNB
Runtime verification
: 7th international workshop / RV 2007, Vancover, Canada, March 13, 2007. Oleg Sokolsky ; Serdar Taşıran (ed.). - Berlin : Springer, 2007. - VIII, 213 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4839)
ISBN 978-3-540-77394-8 / 3-540-77394-0 kart. : EUR 44.94 (freier Pr.), sfr 73.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
