Angebote zu "Satisfiability" (107 Treffer)

Kategorien

Shops

Theory and Applications of Satisfiabili
71,39 € *
ggf. zzgl. Versand

Erscheinungsdatum: 29.06.2019, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Theory and Applications of Satisfiability Testing - SAT 2019, Titelzusatz: 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings, Auflage: 1. Auflage von 2019 // 1st ed. 2019, Redaktion: Janota, MikoláS // Lynce, Inês, Verlag: Springer International Publishing, Sprache: Englisch, Rubrik: Informatik, Seiten: 440, Informationen: Paperback, Gewicht: 663 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
Zum Angebot
SAT 2005
150,69 € *
ggf. zzgl. Versand

Erscheinungsdatum: 03.12.2014, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: SAT 2005, Titelzusatz: Satisfiability Research in the Year 2005, Auflage: 2006, Redaktion: Giunchiglia, Enrico // Walsh, Toby, Verlag: Springer Netherlands // Springer Netherland, Sprache: Englisch, Schlagworte: Betriebssysteme // Informatik // Theoretische Informatik // Künstliche Intelligenz, Rubrik: Informatik, Seiten: 300, Informationen: Paperback, Gewicht: 458 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
Zum Angebot
Theory and Applications of Satisfiability Testing
89,19 € *
ggf. zzgl. Versand

Erscheinungsdatum: 26.01.2004, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Theory and Applications of Satisfiability Testing, Titelzusatz: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers, Auflage: 2004, Redaktion: Giunchiglia, Enrico // Tacchella, Armando, Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: Informatik, Rubrik: Informatik, Seiten: 548, Informationen: Paperback, Gewicht: 820 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
Zum Angebot
Theory and Applications of Satisfiabili
67,99 € *
ggf. zzgl. Versand

Erscheinungsdatum: 09.08.2017, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Theory and Applications of Satisfiability Testing - SAT 2017, Titelzusatz: 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, Auflage: 1. Auflage von 2017 // 1st ed. 2017, Redaktion: Gaspers, Serge // Walsh, Toby, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Informatik // Allgemeines, Rubrik: Informatik, Seiten: 492, Informationen: Paperback, Gewicht: 784 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
Zum Angebot
Theory and Applications of Satisfiability Testing
98,69 € *
ggf. zzgl. Versand

Erscheinungsdatum: 09.06.2005, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Theory and Applications of Satisfiability Testing, Titelzusatz: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings, Auflage: 2005, Redaktion: Bacchus, Fahiem // Walsh, Toby, Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: Algorithmus // Mathematische Grundlagen // Betriebssysteme // Algorithmen und Datenstrukturen // Theoretische Informatik // Künstliche Intelligenz, Rubrik: Informatik, Seiten: 508, Informationen: Paperback, Gewicht: 762 gr, Verkäufer: averdo

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

Erscheinungsdatum: 08.07.2005, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Theory and Applications of Satisfiability Testing, Titelzusatz: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers, Auflage: 2005, Redaktion: Hoos, Holger H. // Mitchell, David G., Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: Algorithmus // Betriebssystem // EDV // Operating System // Intelligenz // Künstliche Intelligenz // KI // AI // Mathematik, Rubrik: Mathematik // Grundlagen, Seiten: 412, Informationen: Paperback, Gewicht: 633 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
Zum Angebot
SAT 2005
221,49 € *
ggf. zzgl. Versand

Erscheinungsdatum: 30.10.2006, Medium: Buch, Einband: Gebunden, Titel: SAT 2005, Titelzusatz: Satisfiability Research in the Year 2005, Redaktion: Giunchiglia, Enrico // Walsh, Toby, Verlag: Springer-Verlag GmbH // Springer Netherland, Sprache: Englisch, Schlagworte: Begründung // Beweis // Intelligenz // Künstliche Intelligenz // KI // AI // Logik // Philosophie // Roboter // Robotik // Industrieroboter // Betriebssystem // EDV // Operating System // Theorie // Software-Entw // Software Engineering // Mathematik // Informatik // Computer // Betriebssysteme // Theoretische Informatik, Rubrik: Informatik, Seiten: 294, Herkunft: NIEDERLANDE (NL), Empfohlenes Alter: Academic/professional/technical: Research and professional, Gewicht: 573 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
Zum Angebot
Theory and Application of Satisfiability Testing
61,29 € *
ggf. zzgl. Versand

Erscheinungsdatum: 05/2011, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Theory and Application of Satisfiability Testing, Titelzusatz: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings, Auflage: Edition, Redaktion: Sakallah, Karem A. // Simon, Laurent, 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 // Algorithmen und Datenstrukturen // Theoretische Informatik // Rechnerarchitektur und Logik-Entwurf // Interfacedesign // Benutzerfreundlichkeit // Usability // Mathematik: Logik, Rubrik: Informatik, Seiten: 380, Reihe: Lecture Notes in Computer Science (Nr. 6695) // Theoretical Computer Science and General Issues, Informationen: Book, Gewicht: 597 gr, Verkäufer: averdo

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

Theory and Applications of Satisfiability Testing - SAT 2019 ab 77.99 € als pdf eBook: 22nd International Conference SAT 2019 Lisbon Portugal July 9-12 2019 Proceedings. Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet,

Anbieter: hugendubel
Stand: 31.05.2020
Zum Angebot