Tests and proofs
: first international conference ; revised papers / TAP 2007, Zurich, Switzerland, February 12 - 13, 2007. Yuri Gurevich ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4454)
ISBN 978-3-540-73770-4
Lizenzpflichtig
Quelle: DNB
Tests and proofs
: first international conference ; revised papers / TAP 2007, Zurich, Switzerland, February 12 - 13, 2007. Yuri Gurevich ; Bertrand Meyer (ed.). - Berlin : Springer, 2007. - VIII, 216 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4454)
ISBN 978-3-540-73769-8 / 3-540-73769-3 kart. : EUR 44.94 (freier Pr.), sfr 73.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Tests and proofs
: second international conference ; proceedings / TAP 2008, Prato, Italy, April 9 - 11, 2008. Bernhard Beckert ; Reiner Hähnle (ed.). - Berlin : Springer, 2008. - X, 191 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4966)
ISBN 978-3-540-79123-2 kart. : EUR 44.94 (freier Pr.), ca. sfr 73.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Theoretical aspects of computing
: 5th international colloquium ; proceedings / ICTAC 2008, Istanbul, Turkey, September 1 - 3, 2008. John S. Fitzgerald ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5160)
ISBN 978-3-540-85762-4
Lizenzpflichtig
Quelle: DNB
Theoretical aspects of computing
: 4th international colloquium ; proceedings / ICTAC 2007, Macao, China, September 26 - 28, 2007. Cliff B. Jones ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4711)
ISBN 978-3-540-75292-9
Lizenzpflichtig
Quelle: DNB
Theoretical aspects of computing
: third international colloquium ; proceedings / ICTAC 2006, Tunis, Tunisia, November 20 - 24, 2006. Kamel Barkaoui ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4281)
ISBN 978-3-540-48816-3
Lizenzpflichtig
Quelle: DNB
Theoretical aspects of computing
: second international colloquium ; proceedings / ICTAC 2005, Hanoi, Vietnam, October 17 - 21, 2005. Dang Van Hung ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3722)
ISBN 978-3-540-32072-2
Lizenzpflichtig
Quelle: DNB
Theory and applications of models of computation
: third international conference ; proceedings / TAMC 2006, Beijing, China, May 15 - 20, 2006. Jin-Yi Cai ...(ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3959)
ISBN 978-3-540-34022-5
Lizenzpflichtig
Quelle: DNB
Theory and practice of computer science
: proceedings / SOFSEM 2009, 35th Conference on Current Trends in Theory and Practice of Computer Science Špindler°uv Mlýn, Czech Republic, January 24 - 30, 2009. Mogens Nielsen ... (ed.). - Berlin : Springer, 2009. - Online-Ressource - (Lecture notes in computer science; 5404)
ISBN 978-3-540-95891-8
Lizenzpflichtig
Quelle: DNB
Trustworthy global computing
: international symposium ; revised selected papers / TGC 2005, Edinburgh, UK, April 7 - 9, 2005. Rocco De Nicola ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3705)
ISBN 978-3-540-31483-7
Lizenzpflichtig
Quelle: DNB
