Suchergebnisse

edited by Peter Emde Boas, Jaroslav Pokorný, Mária Bieliková, Július Štuller

edited by Ron Meyden, Jan-Georg Smaus

edited by Hans Ditmarsch, Jérôme Lang, Shier Ju

edited by Davide Grossi, Olivier Roy, Huaxin Huang

edited by Dines Bjøner, Manfred Broy, Alexandre V. Zamulin

edited by Edmund M. Clarke, Andrei Voronkov

edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov

edited by Luis Fariñas Cerro, Andreas Herzig, Jérôme Mengin

edited by Nikolaj Bjørner, Andrei Voronkov

edited by Maria Aloni, Harald Bastiaanse, Tikitu Jager, Katrin Schulz

edited by Tomi Janhunen, Ilkka Niemelä

edited by Christoph Beierle, Carlo Meghini

edited by Thomas Lukasiewicz, Attila Sali

edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jörg Siekmann, Wolfgang Wahlster, Doron A. Peled, Michael J. Wooldridge

edited by Cesare Tinelli, Viorica Sofronie-Stokkermans

edited by Stefan Edelkamp, Alessio Lomuscio

edited by Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Reis, Petr Sojka, Makarius Wenzel, Volker Sorge

edited by Jaim