Angebote zu "Theory" (179 Treffer)

Kategorien

Shops

Theory and Applications of Satisfiability Testi...
64,69 € *
ggf. zzgl. Versand

Erscheinungsdatum: 04.08.2014, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Theory and Applications of Satisfiability Testing - SAT 2014, Titelzusatz: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings, Auflage: 2014, Redaktion: Egly, Uwe // Sinz, Carsten, Verlag: Springer International Publishing, Sprache: Englisch, Rubrik: Informatik, Seiten: 476, Informationen: Book, Gewicht: 713 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 30.03.2020
Zum Angebot
Theory and Applications of Satisfiability Testi...
87,49 € *
ggf. zzgl. Versand

Erscheinungsdatum: 30.06.2010, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Theory and Applications of Satisfiability Testing - SAT 2010, Titelzusatz: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings, Redaktion: Strichman, Ofer // Szeider, Stefan, Verlag: Springer-Verlag GmbH // Springer Berlin, Sprache: Englisch, Schlagworte: Algorithmus // EDV // Theorie // Software-Entw // Software Engineering // Mathematik // Informatik // Computer // Algorithmen und Datenstrukturen // Rechnerarchitektur und Logik-Entwurf // Mathematik: Logik // Programmier // und Skriptsprachen // allgemein, Rubrik: Informatik, Seiten: 400, Reihe: Lecture Notes in Computer Science (Nr. 6175) // Theoretical Computer Science and General Issues, Gewicht: 626 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 30.03.2020
Zum Angebot
Theory and Applications of Satisfiability Testi...
68,99 € *
ggf. zzgl. Versand

Erscheinungsdatum: 25.04.2008, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Theory and Applications of Satisfiability Testing - SAT 2008, Titelzusatz: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings, Redaktion: Kleine Buning, Hans // Zhao, Xishun, Verlag: Springer-Verlag GmbH // Springer Berlin, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Testmethoden // Mathematik // Logik // Roboter // Robotik // Industrieroboter // Betriebssystem // Operating System // Algorithmus // Informatik // Computer // Intelligenz // Künstliche Intelligenz // KI // AI // COMPUTERS // Computer Science // Operating Systems // General // MATHEMATICS // Logic // Mathematik: Logik // Betriebssysteme // Algorithmen und Datenstrukturen // Theoretische Informatik // Softwaretests und Prüfsoftware, Rubrik: Informatik, Seiten: 304, Abbildungen: Illustrations, Reihe: Lecture Notes in Computer Science (Nr. 4996), Gewicht: 484 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 30.03.2020
Zum Angebot
Theory and Applications of Satisfiability Testi...
86,39 € *
ggf. zzgl. Versand

Erscheinungsdatum: 26.07.2006, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Theory and Applications of Satisfiability Testing - SAT 2006, Titelzusatz: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings, Auflage: 2006, Redaktion: Biere, Armin // Gomes, Carla P., Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Testmethoden // Mathematische Grundlagen // Betriebssysteme // Algorithmen und Datenstrukturen // Theoretische Informatik // Künstliche Intelligenz, Rubrik: Informatik, Seiten: 456, Informationen: Book, Gewicht: 684 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 30.03.2020
Zum Angebot
Theory and Applications of Satisfiability Testi...
64,69 € *
ggf. zzgl. Versand

Erscheinungsdatum: 04.08.2014, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Theory and Applications of Satisfiability Testing - SAT 2014, Titelzusatz: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings, Auflage: 2014, Redaktion: Egly, Uwe // Sinz, Carsten, Verlag: Springer International Publishing, Sprache: Englisch, Rubrik: Informatik, Seiten: 476, Informationen: Paperback, Gewicht: 715 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 30.03.2020
Zum Angebot
Theory and Applications of Satisfiability Testi...
86,39 € *
ggf. zzgl. Versand

Erscheinungsdatum: 26.07.2006, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Theory and Applications of Satisfiability Testing - SAT 2006, Titelzusatz: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings, Auflage: 2006, Redaktion: Biere, Armin // Gomes, Carla P., Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Testmethoden // Mathematische Grundlagen // Betriebssysteme // Algorithmen und Datenstrukturen // Theoretische Informatik // Künstliche Intelligenz, Rubrik: Informatik, Seiten: 456, Informationen: Paperback, Gewicht: 686 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 30.03.2020
Zum Angebot
Theory and Applications of Satisfiability Testi...
62,79 € *
ggf. zzgl. Versand

Erscheinungsdatum: 19.07.2013, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Theory and Applications of Satisfiability Testing - SAT 2013, Titelzusatz: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings, Auflage: 2013, Redaktion: Gelder, Allen van // Jarvisalo, Matti, Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: Computerprogrammierung und Softwareentwicklung // Algorithmen und Datenstrukturen // Informatik // Theoretische Informatik // Rechnerarchitektur und Logik-Entwurf // Künstliche Intelligenz, Rubrik: Informatik, Seiten: 456, Informationen: Paperback, Gewicht: 675 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 30.03.2020
Zum Angebot
Theory and Applications of Satisfiability Testi...
68,99 € *
ggf. zzgl. Versand

Erscheinungsdatum: 08/2012, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Theory and Applications of Satisfiability Testing -- SAT 2012, Titelzusatz: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings, Redaktion: Cimatti, Alessandro // Sebastiani, Roberto, Verlag: Springer-Verlag GmbH // Springer Berlin, Sprache: Englisch, Schlagworte: Algorithmus // Intelligenz // Künstliche Intelligenz // KI // AI // Mathematik // Roboter // Robotik // Industrieroboter // Informatik // Computer // Schnittstelle // EDV // Logik // Angewandte Mathematik // Algorithmen und Datenstrukturen // Theoretische Informatik // Rechnerarchitektur und Logik-Entwurf // Interfacedesign // Benutzerfreundlichkeit // Usability // Mathematik: Logik, Rubrik: Informatik, Seiten: 504, Abbildungen: 364 schwarz-weiße Abbildungen, Herkunft: NIEDERLANDE (NL), Reihe: Lecture Notes in Computer Science (Nr. 7317), Informationen: Book, Gewicht: 768 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 30.03.2020
Zum Angebot
Theory and Applications of Satisfiability Testi...
68,99 € *
ggf. zzgl. Versand

Erscheinungsdatum: 08/2012, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Theory and Applications of Satisfiability Testing -- SAT 2012, Titelzusatz: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings, Redaktion: Cimatti, Alessandro // Sebastiani, Roberto, Verlag: Springer-Verlag GmbH // Springer Berlin, Sprache: Englisch, Schlagworte: Algorithmus // Intelligenz // Künstliche Intelligenz // KI // AI // Mathematik // Roboter // Robotik // Industrieroboter // Informatik // Computer // Schnittstelle // EDV // Logik // Angewandte Mathematik // Algorithmen und Datenstrukturen // Theoretische Informatik // Rechnerarchitektur und Logik-Entwurf // Interfacedesign // Benutzerfreundlichkeit // Usability // Mathematik: Logik, Rubrik: Informatik, Seiten: 504, Abbildungen: 364 schwarz-weiße Abbildungen, Herkunft: NIEDERLANDE (NL), Reihe: Lecture Notes in Computer Science (Nr. 7317), Informationen: Book, Gewicht: 768 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 30.03.2020
Zum Angebot

Ähnliche Suchbegriffe