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
Theory and mathematical methods for bioinformatics
: with 59 tables / Shiyi Shen .... - Berlin : Springer, 2008. - Online-Ressource - (Biological and medical physics, biomedical engineering)
ISBN 978-3-540-74891-5
Lizenzpflichtig
Quelle: DNB
Shen, Shiyi: Theory and mathematical methods in bioinformatics
: with 59 tables / Shiyi Shen ; Jack A. Tuszynski. - Berlin : Springer, 2008. - XVI, 445 S. : Ill., graph. Darst.; 24 cm - (Biological and medical physics, biomedical engineering)
ISBN 978-3-540-74890-8 Pp. : EUR 149.75 (freier Pr.), sfr 244.00 (freier Pr.)
Literaturverz. S. 433 - 439
Quelle: DNB
Theory and practice in distributed systems
: international workshop, Dagstuhl Castle, Germany, September 5 - 9, 1994 ; selected papers / K. P. Birman ... (ed.). - Berlin : Springer, 1995. - X, 261 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 938)
ISBN 978-3-540-60042-8 / 3-540-60042-6 kart. : DM 62.00
Literaturangaben
Quelle: DNB
Theory and practice of computer science
: proceedings / SOFSEM 2004, 30th Conference on Current Trends in Theory and Practice of Computer Science, Měřín, Czech Republic, January 24 - 30, 2004. Peter van Emde Boas ... (ed.). - Berlin : Springer, 2004. - XIII, 384 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2932)
ISBN 978-3-540-20779-5 / 3-540-20779-1 kart. : EUR 53.50, sfr 86.00
Literaturangaben
Quelle: DNB Verlagsmeldungen
Theory and practice of computer science
: proceedings / SOFSEM 2004, 30th Conference on Current Trends in Theory and Practice of Computer Science, Měřín, Czech Republic, January 24 - 30, 2004. Peter van Emde Boas ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2932)
ISBN 978-3-540-24618-3
Lizenzpflichtig
Quelle: DNB
Theory and practice of computer science
: proceedings / SOFSEM 2007, 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20 - 26, 2007. Jan van Leeuwen ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4362)
ISBN 978-3-540-69507-3
Lizenzpflichtig
Quelle: DNB
Theory and practice of computer science
: proceedings / SOFSEM 2006, 32nd Conference on Current Trends in Theory and Practice of Computer Science, Měřín, Czech Republic, January 21 - 27, 2006. Jiří Wiedermann ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3831)
ISBN 978-3-540-32217-7
Lizenzpflichtig
Quelle: DNB
