Ergebnisse filtern
-
- 18
- 1
-
- 1
- 1
- 3
- 6
- 8
-
- 3
- 8
- 8
-
- 12
- 7
-
- 19
-
- 19
Mathematik | Informatik
-
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ü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 Werktage -
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 Werktage -
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 Werktage -
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 Werktage -
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 Werktage -
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 Werktage -
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 Werktage -
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 Werktage -
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 Werktage -
Nissen Einführung in Evolutionäre Algorithmen
Optimierung nach dem Vorbild der Evolution1997Verlag: Vieweg+Teubner VerlagISBN: 978-3-528-05499-1Medium: Buch44,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Büttner / Altenkrüger Wissensbasierte Systeme
Architektur, Entwicklung, Echtzeitanwendungen - Eine praxisgerechte Einführung1992Verlag: Vieweg+Teubner VerlagISBN: 978-3-528-05244-7Medium: Buch54,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zhu / Plaisted The Efficiency of Theorem Proving Strategies
A Comparative and Asymptotic Analysis2. Auflage 1999Verlag: Vieweg+Teubner VerlagISBN: 978-3-528-15574-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kruse / Gebhardt / Palm Fuzzy-Systems in Computer Science
Softcover Nachdruck of the original 1. Auflage 1994Verlag: Vieweg+Teubner VerlagISBN: 978-3-322-86826-8Medium: Buch54,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Runkler Information Mining
Methoden, Algorithmen und Anwendungen intelligenter Datenanalyse2000Verlag: Vieweg+Teubner VerlagISBN: 978-3-528-05741-1Medium: Buch54,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bibel / Delgrande / Shapiro Fundamentals of Artificial Intelligence
An Advanced Course1986Verlag: Springer Berlin HeidelbergISBN: 978-3-540-16782-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bibel / Fiedler / Grass Ausgezeichnete Informatikdissertationen 1996
Im Auftrag der Gl herausgegeben durch den Nominierungsausschuß1998Verlag: Vieweg+Teubner VerlagISBN: 978-3-519-02646-4Medium: Buch49,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dasgupta / Chakrabarti / DeSarkar Multiobjective Heuristic Search
An Introduction to intelligent Search Methods for Multicriteria Optimization1. Auflage 1999Verlag: Vieweg+Teubner VerlagISBN: 978-3-528-05708-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Biethahn / Leisewitz / Hönerloh Betriebswirtschaftliche Anwendungen des Soft Computing
Neuronale Netze, Fuzzy-Systeme und Evolutionäre Algorithmen1998Verlag: Vieweg+Teubner VerlagISBN: 978-3-528-05596-7Medium: Buch49,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort