Ergebnisse filtern
-
- 12
- 4
-
- 3
- 1
- 1
- 7
- 2
- 2
-
- 6
- 10
-
- 8
- 8
-
- 16
-
- 16
-
Zhao / Kleine Büning Theory and Applications of Satisfiability Testing - SAT 2008
11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-79718-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Lettmann Aussagenlogik: Deduktion und Algorithmen
Deduktion und Algorithmen1994Verlag: Vieweg+Teubner VerlagISBN: 978-3-519-02133-9Medium: Buch64,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Lettmann Aussagenlogik: Deduktion und Algorithmen
Deduktion und Algorithmen1994Verlag: Vieweg & TeubnerISBN: 978-3-322-84809-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark49,99 € (inkl. MwSt.)
sofort verfügbar
-
Kastens / Kleine Büning Modellierung
Grundlagen und formale Methoden5. aktualisierte Auflage 2021Verlag: Hanser FachbuchverlagISBN: 978-3-446-46942-6Medium: Buch29,99 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage
-
Kastens / Kleine Büning Modellierung
Grundlagen und formale Methoden5. aktualisierte Auflage 2021Verlag: Carl HanserISBN: 978-3-446-46956-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark29,99 € (inkl. MwSt.)
sofort verfügbar
-
Kastens / Kleine Büning Modellierung
Grundlagen und formale Methoden4. überarbeitete Auflage 2018Verlag: Carl HanserISBN: 978-3-446-45539-9Medium: Buch33,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kleine Büning / Zhao Theory and Applications of Satisfiability Testing – SAT 2008
11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings2008Verlag: SpringerISBN: 978-3-540-79719-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Kastens / Kleine Büning Modellierung
Grundlagen und formale Methoden (Print-on-Demand)3. überarbeitete Auflage 2014Verlag: Carl HanserISBN: 978-3-446-44246-7Medium: Buch39,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Schmitgen Prolog
Grundlagen und Anwendungen2. Auflage 1988Verlag: Vieweg & TeubnerISBN: 978-3-322-89542-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark38,66 € (inkl. MwSt.)
sofort verfügbar
-
Schmitgen Prolog
Grundlagen und Anwendungen2.Auflage 1988Verlag: Vieweg+Teubner VerlagISBN: 978-3-519-12484-9Medium: Buch59,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Börger / Richter / Kleine Büning CSL'88
2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51659-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Börger / Richter / Kleine Büning CSL '89
3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-52753-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Börger / Richter / Kleine Büning CSL '87
1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings1988Verlag: Springer Berlin HeidelbergISBN: 978-3-540-50241-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Börger / Schönfeld / Kleine Büning Computer Science Logic
4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54487-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Börger / Richter / Jäger Computer Science Logic
5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55789-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Börger / Jäger / Richter Computer Science Logic
6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56992-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
