Ergebnisse filtern
- Fachgebiet
- Medium
-
- 38
- 38
- Erscheinungsjahr
-
- 2
- 2
- 1
- 31
- 3
- 3
- 2
- 1
- 1
- 3
- 4
- 6
- 3
- 2
- 1
- 4
- 4
- 2
- 1
- Autoren
-
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 22
- 1
- 1
- 2
- 1
- 4
- 1
- 1
- 3
- 3
- 2
- 1
- 2
- 2
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 4
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 76
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 5
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 5
- 1
- 7
- 1
- 2
- 1
- 2
- 1
- 1
- 3
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 9
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 5
- 4
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 4
- 3
- 2
- 1
- 1
- 1
- 10
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 6
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 3
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 3
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 4
- 1
- 1
- 1
- 3
- 1
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 12
- 3
- 2
- 2
- 2
- 8
- 3
- 3
- 2
- 3
- 2
- 2
- 12
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 8
- 3
- 2
- 2
- 2
- 4
- 3
- 4
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 34
- 5
- 2
- 10
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 44
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 4
- 3
- 4
- 2
- 6
- 2
- 2
- 2
- 7
- 4
- 2
- 3
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 3
- 2
- 3
- 4
- 3
- 2
- 2
- 15
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 2
- 3
- 4
- 8
- 2
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 3
- 2
- 4
- 4
- 3
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 5
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 7
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 4
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 7
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 6
- 3
- 6
- 2
- 5
- 2
- 2
- 2
- 4
- 8
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 10
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 8
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 5
- 2
- 3
- 7
- 6
- 4
- 24
- 3
- 3
- Verlag
-
- 4
- 2
- 5
- 5
- 1
- 2
- 6
- 29
- 22
- Preis
-
- 2
- 30
- 29
- 15
- Sprachen
-
- 50
- 26
- Verfügbarkeit
-
- 76
- Katalog
-
- 76
-
Bibel Automated Theorem Proving
2. Auflage 1987Verlag: Vieweg+Teubner VerlagISBN: 978-3-528-18520-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Bibel Fundamentals of Artificial Intelligence
An Advanced Course1987Verlag: SpringerISBN: 978-3-662-39157-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Bibel Deduktion
Automatisierung der LogikErscheinungsjahr 2020Verlag: De GruyterISBN: 978-3-486-20785-9Medium: Buch109,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage109,95 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Bibel Lehren vom Leben
Essays über Mensch und Gesellschaft2003Verlag: Deutscher UniversitätsverlagISBN: 978-3-8244-4519-6Medium: Buch59,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage59,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Bibel Fundamentals of Artificial Intelligence
An Advanced Course1. Auflage 1987Verlag: SpringerISBN: 978-3-662-40145-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar53,49 € (inkl. MwSt.)
sofort verfügbar
-
Bibel Lehren vom Leben
Essays über Mensch und Gesellschaft2003Verlag: Deutscher UniversitätsverlagISBN: 978-3-322-81292-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark56,64 € (inkl. MwSt.)
sofort verfügbar56,64 € (inkl. MwSt.)
sofort verfügbar
-
Bibel Automated Theorem Proving
1982Verlag: Vieweg & TeubnerISBN: 978-3-322-90100-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark42,99 € (inkl. MwSt.)
sofort verfügbar42,99 € (inkl. MwSt.)
sofort verfügbar
-
Bibel Deduktion
Automatisierung der LogikNachdruck 2020Verlag: De GruyterISBN: 978-3-11-070112-8Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)109,95 € (inkl. MwSt.)
sofort verfügbar109,95 € (inkl. MwSt.)
sofort verfügbar
-
Bibel Automated Theorem Proving
1982Verlag: Vieweg+Teubner VerlagISBN: 978-3-528-08520-9Medium: Buch54,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage54,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Bibel Automated Theorem Proving
2. Auflage 1987Verlag: Vieweg & TeubnerISBN: 978-3-322-90102-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar96,29 € (inkl. MwSt.)
sofort verfügbar
-
Bibel / Schmitt Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Erscheinungsjahr 2013Verlag: Springer NetherlandISBN: 978-94-017-0437-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark149,79 € (inkl. MwSt.)
sofort verfügbar149,79 € (inkl. MwSt.)
sofort verfügbar
-
Kowalski / Bibel 5th Conference on Automated Deduction
Les Arcs, France, July 8-11, 19801980Verlag: Springer Berlin HeidelbergISBN: 978-3-540-10009-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Siekmann / Bibel Künstliche Intelligenz
Frühjahrsschule Teisendorf, 15.-24. März 19821. Auflage 1982Verlag: Springer Berlin HeidelbergISBN: 978-3-540-11974-6Medium: Buch54,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage54,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Bibel / Schmitt Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Erscheinungsjahr 2013Verlag: Springer NetherlandISBN: 978-94-017-0435-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark213,99 € (inkl. MwSt.)
sofort verfügbar213,99 € (inkl. MwSt.)
sofort verfügbar
-
Bibel / Siekmann Künstliche Intelligenz
Frühjahrsschule Teisendorf, 15.–24. März 19821982Verlag: SpringerISBN: 978-3-642-68828-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark42,99 € (inkl. MwSt.)
sofort verfügbar42,99 € (inkl. MwSt.)
sofort verfügbar
-
Schmitt / Bibel Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
1. Auflage. Softcover version of original hardcover Auflage 1998Verlag: Springer NetherlandsISBN: 978-90-481-5051-9Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Bibel / Schmitt Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
1998Verlag: SpringerISBN: 978-0-7923-5132-0Medium: Buch320,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage320,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Schmitt / Bibel Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
1. Auflage. Softcover version of original hardcover Auflage 1998Verlag: Springer NetherlandsISBN: 978-90-481-5050-2Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Schmitt / Bibel Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
1998Verlag: Springer NetherlandsISBN: 978-0-7923-5130-6Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Schmitt / Bibel Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
1998Verlag: Springer NetherlandsISBN: 978-0-7923-5129-0Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Jantke / Bibel Mathematical Methods of Specification and Synthesis of Software Systems '85
Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 19851986Verlag: Springer Berlin HeidelbergISBN: 978-3-540-16444-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Schmitt / Bibel Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
1998Verlag: Springer NetherlandsISBN: 978-0-7923-5131-3Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Bibel / Jantke Mathematical Methods of Specification and Synthesis of Software Systems ‘85
Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22–26, 1985Nachdruck 2024Verlag: De GruyterISBN: 978-3-11-273341-7Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)129,00 € (inkl. MwSt.)
sofort verfügbar129,00 € (inkl. MwSt.)
sofort verfügbar
-
Jantke / Bibel Mathematical Methods of Specification and Synthesis of Software Systems ¿85
Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22¿26, 1985Nachdruck 2024Verlag: De GruyterISBN: 978-3-11-273340-0Medium: Buch129,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage129,00 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
-
Schmitt / Bibel Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
1. Auflage. Softcover version of original hardcover Auflage 1998Verlag: Springer NetherlandsISBN: 978-90-481-5052-6Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
