Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
---|---|---|---|
Parameterized and Exact Computation: 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers | 978-3-319-03897-1 (3-319-03897-4) | 2013 | Gregory Gutin |
Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings | 978-3-642-14185-0 (3-642-14185-4) | 2010 | Ofer Strichman |
S S · Stefan Sauter · Stefan Scheider · Stefan Schüder · Stefan Schütter · Stefan Schwidder · Stefan Söder · Stefan Stöhr · Stefan Storr · Stefan Storrie · Stefan Suter · Stefanie Soeder · Steffen Styra · Stephan Seiter · Stephan Steuer · Stephan Suter · Stephanie Scheithauer · Stephanie Staar · Stephanie Suter · Stephen Starr · Stephen Stayer · Stephen Stoer · Steven Sadhra · Steven Sadura · Steven Sater · Steven Sidor · Steven Soter · Steven Sowter