Angebote zu "Logik" (3.275 Treffer)

Kategorien

Shops

Logik für Informatiker (Sav Informatik) - Uwe S...
4,49 € *
zzgl. 3,99 € Versand
Anbieter: reBuy
Stand: 27.05.2020
Zum Angebot
Coalgebraic Methods in Computer Science
57,89 € *
ggf. zzgl. Versand

Erscheinungsdatum: 09/2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Coalgebraic Methods in Computer Science, Titelzusatz: 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018. Revised Selected Papers, Redaktion: Cîrstea, Corina, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Programmieren // Allgemeines // Mathematik // Informatik // Computer // Roboter // Robotik // Industrieroboter // Software-Entw // Intelligenz // Künstliche Intelligenz // KI // AI // Logik // MATHEMATICS // Logic // Theoretische Informatik // Computerprogrammierung und Softwareentwicklung // Rechnerarchitektur und Logik-Entwurf // Mathematik: Logik, Rubrik: Informatik, Seiten: 234, Abbildungen: Bibliographie, Reihe: Lecture Notes in Computer Science (Nr. 11202), Informationen: Book, Gewicht: 400 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 27.05.2020
Zum Angebot
Theoretical Computer Science
59,69 € *
ggf. zzgl. Versand

Erscheinungsdatum: 11/2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Theoretical Computer Science, Titelzusatz: 36th National Conference, NCTCS 2018, Shanghai, China, October 13-14, 2018, Proceedings, Auflage: 2018, Redaktion: Lian, Li // Lu, Pinyan // He, Kun, Verlag: Springer-Verlag GmbH // Springer Singapore, Sprache: Englisch, Schlagworte: Algorithmus // Informatik // Roboter // Robotik // Industrieroboter // Intelligenz // Künstliche Intelligenz // KI // AI // Bildbearbeitung // Bildverarbeitung // Grafik // EDV // Mathematik // Computer // Logik // COMPUTERS // Programming // Algorithms // Algorithmen und Datenstrukturen // Rechnerarchitektur und Logik-Entwurf // Maschinelles Sehen // Bildverstehen // Theoretische Informatik // Mathematik: Logik, Rubrik: Informatik, Seiten: 158, Abbildungen: Bibliographie, Reihe: Communications in Computer and Information Science (Nr. 882), Informationen: Book, Gewicht: 287 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 27.05.2020
Zum Angebot
Platzer, André: Logical Foundations of Cyber-Ph...
44,69 € *
ggf. zzgl. Versand

Erscheinungsdatum: 11.08.2018, Medium: Buch, Einband: Gebunden, Titel: Logical Foundations of Cyber-Physical Systems, Autor: Platzer, André, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Programmieren // Allgemeines // Mathematik // Logik // Kontrolle // wirtschaftlich // Qualitätskontrolle // Fertigungstechnik // Zuverlässigkeit // Roboter // Robotik // Industrieroboter // Informatik // Computer // Intelligenz // Künstliche Intelligenz // KI // AI // Elektrogerät // Elektronik // Gerät // MATHEMATICS // Logic // Mathematik: Logik // Zuverlässigkeitstechnik // Theoretische Informatik // Computerprogrammierung und Softwareentwicklung // Industrielle Qualitätskontrolle // Elektronische Geräte und Materialien, Rubrik: Informatik, Seiten: 639, Abbildungen: Bibliographie, Informationen: Book, Gewicht: 1169 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 27.05.2020
Zum Angebot
Schlechta, Karl: Formal Methods for Nonmonotoni...
80,79 € *
ggf. zzgl. Versand

Erscheinungsdatum: 14.11.2018, Medium: Buch, Einband: Gebunden, Titel: Formal Methods for Nonmonotonic and Related Logics, Titelzusatz: Vol I: Preference and Size, Auflage: 2018, Autor: Schlechta, Karl, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // theorie // Programmieren // Allgemeines // Logik // Philosophie // Mathematik // Wissenschaftsphilosophie // Roboter // Robotik // Industrieroboter // Informatik // Computer // Intelligenz // Künstliche Intelligenz // KI // AI // MATHEMATICS // Logic // Mathematik: Logik // Wissenschaftsphilosophie und // Theoretische Informatik // Computerprogrammierung und Softwareentwicklung, Rubrik: Informatik, Seiten: 335, Abbildungen: Bibliographie, Informationen: Book, Gewicht: 710 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 27.05.2020
Zum Angebot
Formal Modeling and Analysis of Timed Systems
57,89 € *
ggf. zzgl. Versand

Erscheinungsdatum: 10/2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Formal Modeling and Analysis of Timed Systems, Titelzusatz: 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings, Redaktion: Jansen, David N. // Prabhakar, Pavithra, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: Algorithmus // Informatik // Roboter // Robotik // Industrieroboter // EDV // Theorie // Software-Entw // Software Engineering // Mathematik // Computer // Intelligenz // Künstliche Intelligenz // KI // AI // Logik // Datenverarbeitung // simulation // COMPUTERS // Programming // Algorithms // Algorithmen und Datenstrukturen // 3D-Grafik und Modellierung // Theoretische Informatik // Rechnerarchitektur und Logik-Entwurf // Mathematik: Logik // Computermodellierung und, Rubrik: Informatik, Seiten: 287, Abbildungen: Bibliographie, Reihe: Lecture Notes in Computer Science (Nr. 11022), Informationen: Book, Gewicht: 479 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 27.05.2020
Zum Angebot
Schlechta, Karl: Formal Methods for Nonmonotoni...
94,29 € *
ggf. zzgl. Versand

Erscheinungsdatum: 14.11.2018, Medium: Buch, Einband: Gebunden, Titel: Formal Methods for Nonmonotonic and Related Logics, Titelzusatz: Vol II: Theory Revision, Inheritance, and Various Abstract Properties, Auflage: 2018, Autor: Schlechta, Karl, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // theorie // Programmieren // Allgemeines // Logik // Philosophie // Mathematik // Wissenschaftsphilosophie // Roboter // Robotik // Industrieroboter // Informatik // Computer // Intelligenz // Künstliche Intelligenz // KI // AI // MATHEMATICS // Logic // Mathematik: Logik // Wissenschaftsphilosophie und // Theoretische Informatik // Computerprogrammierung und Softwareentwicklung, Rubrik: Informatik, Seiten: 473, Abbildungen: Bibliographie, Informationen: Book, Gewicht: 936 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 27.05.2020
Zum Angebot
Interactive Theorem Proving
87,49 € *
ggf. zzgl. Versand

Erscheinungsdatum: 07/2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Interactive Theorem Proving, Titelzusatz: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings, Redaktion: Avigad, Jeremy // Mahboubi, Assia, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Programmieren // Allgemeines // Mathematik // Informatik // Computer // Roboter // Robotik // Industrieroboter // Compiler // Übersetzer // Programmiersprachen // Software-Entw // Software Engineering // Intelligenz // Künstliche Intelligenz // KI // AI // Logik // MATHEMATICS // Logic // Theoretische Informatik // Compiler und Übersetzer // Programmier // und Skriptsprachen // allgemein // Systemanalyse und // design // Rechnerarchitektur und Logik-Entwurf // Mathematik: Logik, Rubrik: Informatik, Seiten: 642, Abbildungen: Bibliographie, Reihe: Lecture Notes in Computer Science (Nr. 10895), Informationen: Book, Gewicht: 1033 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 27.05.2020
Zum Angebot
Relational and Algebraic Methods in Computer Sc...
65,19 € *
ggf. zzgl. Versand

Erscheinungsdatum: 10/2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Relational and Algebraic Methods in Computer Science, Titelzusatz: 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings, Auflage: 2018, Redaktion: Desharnais, Jules // Guttmann, Walter // Joosten, Stef, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Programmieren // Allgemeines // Mathematik // Logik // Software-Entw // Informatik // Computer // Roboter // Robotik // Industrieroboter // Intelligenz // Künstliche Intelligenz // KI // AI // Compiler // Übersetzer // Algorithmus // Programmiersprachen // MATHEMATICS // Logic // Mathematik: Logik // Theoretische Informatik // Programmier // und Skriptsprachen // allgemein // Rechnerarchitektur und Logik-Entwurf // Compiler und Übersetzer // Algorithmen und Datenstrukturen, Rubrik: Informatik, Seiten: 385, Abbildungen: 30 schwarz-weiße Abbildungen, Bibliographie, Reihe: Lecture Notes in Computer Science (Nr. 11194), Informationen: Book, Gewicht: 631 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 27.05.2020
Zum Angebot