Kopec, David: Algorithmen in Java
: 32 Klassiker vom Rucksackproblem bis zu neuronalen Netzen / David Kopec. - 1. Auflage - Bonn : Rheinwerk Computing, 2021. - 333 Seiten : Illustrationen; 23 cm
ISBN 978-3-8362-8452-3 / 3-8362-8452-9 Broschur : EUR 29.90 (DE), EUR 30.80 (AT), CHF 38.90 (freier Preis)
Quelle: DNB
Brummayer, Robert: Efficient SMT solving for bit vectors and the extensional theory of arrays
/ Robert Brummayer. - Linz : Trauner, 2010. - 142 S. : graph. Darst.; 21 cm - (Schriften der Johannes-Kepler-Universität Linz : Reihe C, Technik und Naturwissenschaften; 61)
ISBN 978-3-85499-707-8 kart.
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
