ID:DA14360310
SAT
同姓同名の著者を検索
Chu-Min Li, Felip Manyà (eds.)
Springer c2021 Lecture notes in computer science 12831 . LNCS sublibrary ; SL1 . Theoretical computer science and general issues
所蔵館2館
Mikoláš Janota, Inês Lynce (eds.)
Springer c2019 Lecture notes in computer science 11628 . LNCS sublibrary ; SL1 . Theoretical computer science and general issues
所蔵館1館
Olaf Beyersdorff, Christoph M. Wintersteiger (eds.)
Springer c2018 Lecture notes in computer science 10929 . LNCS sublibrary ; SL1 . Theoretical computer science and general issues
Serge Gaspers, Toby Walsh (eds.)
Springer c2017 Lecture notes in computer science 10491 . LNCS sublibrary ; SL1 . Theoretical computer science and general issues
Nadia Creignou, Daniel Le Berre (eds.)
Springer 2016 Lecture notes in computer science 9710 . LNCS sublibrary ; SL1 . Theoretical computer science and general issues
Carsten Sinz, Uwe Egly (eds.)
Springer c2014 Lecture notes in computer science 8561
: pbk
Oliver Kullmann (ed.)
Springer c2009 Lecture notes in computer science 5584
所蔵館3館
Hans Kleine Büning, Xishun Zhao (eds.)
Springer c2008 Lecture notes in computer science 4996
João Marques-Silva, Karem A. Sakallah (eds.)
Springer c2007 Lecture notes in computer science 4501
所蔵館4館
ed. Armin Biere, Carla P. Gomes
Springer 2006 Lecture notes in computer science 4121
所蔵館8館
Holger H. Hoos, David G. Mitchell (eds.)
Springer c2005 Lecture notes in computer science 3542
所蔵館10館
Fahiem Bacchus, Toby Walsh (eds.)
Springer c2005 Lecture notes in computer science 3569
所蔵館13館
Enrico Giunchiglia, Armando Tacchella (eds.)
Springer c2004 Lecture notes in computer science 2919
所蔵館19館