| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, ... Notes in Computer Science, Band 8561) | 978-3-319-O9283-6 (3-319-O9283-9) | 2014 | Uwe Egly |
C.S. · Carsten Schmuck · Carsten Schymik · Carsten Senze · Christa Schenk · Christa Schuenke · Christa Schwens · Christian Schanze · Christian Schenk · Christian Schmaus · Christian Schneeweiß · Christian Schnicke · Christian Schöneweis · Christian Schönwiese · Christian Shimizu · Christian Sienz · Christian Sohns · Christian Szmais · Christiane Siemes · Christiane Simsa · Christin Simms · Christina Schenk · Christina Schenz · Christina Schwenck · Christina Schwing · Christina Schwinge · Christine Schimizu · Christine Schink · Christine Schmaus · Christine Shimizu · Christine Simsa · Christine Sowinski · Christo Sims · Christof Schenck · Christof Schneck · Christof Siemes · Christoph Saunus · Christoph Schank · Christoph Schanze · Christoph Schenk · Christoph Schinke · Christoph. Schnauß · Christoph Schneeweiß · Christoph Schöneich · Christoph Schwennicke · Christoph Swonke · Christophe Sence · Christopher Saines · Christopher Schenck · Christopher Schink · Christopher Schons · Christopher Simms · Christopher Sims · Christopher Sonnex · Crickette Sanz · Cristina Sanz · Crystal Seinz