Thierauf, Thomas: The computational complexity of equivalence and isomorphism problems
/ Thomas Thierauf. - Berlin : Springer, 2000. - VIII, 135 S.; 24 cm - (Lecture notes in computer science; Vol. 1852)
ISBN 978-3-540-41032-4 / 3-540-41032-5 kart. : DM 66.00
Literaturverz. S. 121 - 130
Quelle: DNB
The computational complexity of equivalence and isomorphism problems
/ Thomas Thierauf. - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1852)
ISBN 978-3-540-45303-1
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
Theory and applications of satisfiability testing
: 9th international conference, Seattle, WA, USA, August 12 - 15, 2006 ; proceedings / SAT 2006, Armin Biere ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4121)
ISBN 978-3-540-37207-3
Lizenzpflichtig
Quelle: DNB
Theory and applications of satisfiability testing
: 7th international conference ; revised selected papers / SAT 2004, Vancouver, BC, Canada, May 10 - 13, 2004. Holger H. Hoos ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3542)
ISBN 978-3-540-31580-3
Lizenzpflichtig
Quelle: DNB
Theory and applications of satisfiability testing
: 8th international conference ; proceedings / SAT 2005, St Andrews, UK, June 19 - 23, 2005. Fahiem Bacchus ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3569)
ISBN 978-3-540-31679-4
Lizenzpflichtig
Quelle: DNB
