Theory and applications of models of computation
: 4th international conference ; proceedings / TAMC 2007, Shanghai, China, May 22 - 25, 2007. Jin-Yi Cai ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4484)
ISBN 978-3-540-72504-6
Lizenzpflichtig
Quelle: DNB
Theory and applications of models of computation
: 4th international conference ; proceedings / TAMC 2007, Shanghai, China, May 22 - 25, 2007. Jin-Yi Cai ... (ed.). - Berlin : Springer, 2007. - XIII, 769 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4484)
ISBN 978-3-540-72503-9 / 3-540-72503-2 kart. : EUR 89.88 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Theory and applications of models of computation
: 5th international conference ; proceedings / TAMC 2008, Xi'an, China, April 25 - 29, 2008. Manindra Agrawal ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4978)
ISBN 978-3-540-79228-4
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 applications of relational structures as knowledge instruments
: COST action 274, TARSKI ; revised papers / Harrie de Swart ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2929)
ISBN 978-3-540-24615-2
Lizenzpflichtig
Quelle: DNB
Theory and applications of satisfiability testing
: 10th international conference ; proceedings / SAT 2007, Lisbon, Portugal, May 28 - 31, 2007. João Marques-Silva ; Karem A. Sakallah (ed.). - Berlin : Springer, 2007. - XI, 384 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4501)
ISBN 978-3-540-72787-3 / 3-540-72787-6 kart. : EUR 55.64 (freier Pr.), sfr 85.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Theory and applications of satisfiability testing
: 9th international conference ; proceedings / SAT 2006, Seattle, WA, USA, August 12 - 15, 2006. Armin Biere ; Carla P. Gomes (ed.). - Berlin : Springer, 2006. - XII, 438 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4121)
ISBN 978-3-540-37206-6 / 3-540-37206-7 Pp. : EUR 59.92 (freier Pr.), sfr 99.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Theory and applications of satisfiability testing
: 6th international conference ; selected revised papers / Enrico Giunchiglia ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2919)
ISBN 978-3-540-24605-3
Lizenzpflichtig
Quelle: DNB
Theory and applications of satisfiability testing
: 11th international conference ; proceedings / SAT 2008, Guangzhou, China, May 12 - 15, 2008. Hans Kleine Büning ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4996)
ISBN 978-3-540-79719-7
Lizenzpflichtig
Quelle: DNB
Theory and applications of satisfiability testing
: 10th international conference ; proceedings / SAT 2007, Lisbon, Portugal, May 28 - 31, 2007. João Marques-Silva ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4501)
ISBN 978-3-540-72788-0
Lizenzpflichtig
Quelle: DNB
