Angebote zu "Logik" (2.695 Treffer)

Kategorien [Filter löschen]

Shops

Logik für Informatiker (Sav Informatik) - Uwe S...
16,99 € *
zzgl. 3,99 € Versand
Anbieter: reBuy
Stand: 11.12.2019
Zum Angebot
Information über Information
12,74 € *
ggf. zzgl. Versand

Information über Information ab 12.74 EURO ZUM WESEN DER INFORMATION IM SPEKTRUM VON Informatik Thermodynamik Quantenphysik Evolution Statistik Logik & Philosophie

Anbieter: ebook.de
Stand: 11.12.2019
Zum Angebot
Jureta, Ivan: The Design of Requirements Modell...
107,99 € *
ggf. zzgl. Versand

Erscheinungsdatum: 09.10.2015, Medium: Buch, Einband: Gebunden, Titel: The Design of Requirements Modelling Languages, Titelzusatz: How to Make Formalisms for Problem Solving in Requirements Engineering, Autor: Jureta, Ivan, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering // Intelligenz // Künstliche Intelligenz // KI // AI // Roboter // Robotik // Industrieroboter // Mathematik // Informatik // Computer // Logik // COMPUTERS // Software Development & Engineering // General // Theoretische Informatik // Rechnerarchitektur und Logik-Entwurf // Systemanalyse und // design // Computermodellierung und // simulation // Mathematik: Logik, Rubrik: Informatik, Seiten: 286, Abbildungen: Bibliographie, Herkunft: NIEDERLANDE (NL), Informationen: Book, Gewicht: 589 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 11.12.2019
Zum Angebot
Numerical Software Verification
49,69 € *
ggf. zzgl. Versand

Erscheinungsdatum: 16.08.2017, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Numerical Software Verification, Titelzusatz: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings, Redaktion: Abate, Alessandro // Boldo, Sylvie, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Programmieren // Allgemeines // Algorithmus // Mathematik // Informatik // Computer // Datenverarbeitung // simulation // Logik // COMPUTERS // Programming // General // Rechnerarchitektur und Logik-Entwurf // 3D-Grafik und Modellierung // Algorithmen und Datenstrukturen // Theoretische Informatik // Computermodellierung und // Mathematik: Logik, Rubrik: Informatik, Seiten: 113, Abbildungen: Bibliographie, Reihe: Lecture Notes in Computer Science (Nr. 10381), Informationen: Book, Gewicht: 244 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 11.12.2019
Zum Angebot
Conceptual Spaces: Elaborations and Applications
96,69 € *
ggf. zzgl. Versand

Erscheinungsdatum: 04.07.2019, Medium: Buch, Einband: Gebunden, Titel: Conceptual Spaces: Elaborations and Applications, Redaktion: Kaipainen, Mauri // Zenker, Frank // Hautamäki, Antti // Gärdenfors, Peter, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: Datenverarbeitung // Rechneraufbau // Rechnerstrukturen // EDV // Theorie // Programmieren // Allgemeines // Logik // Philosophie // Mathematik // Informatik // Computer // PHILOSOPHY // Mind & Body // Philosophie des Geistes // Theoretische Informatik // Rechnerarchitektur und Logik-Entwurf, Rubrik: Philosophie // Sonstiges, Seiten: 203, Abbildungen: Bibliographie, Reihe: Synthese Library (Nr. 405), Informationen: Book, Gewicht: 478 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 11.12.2019
Zum Angebot
Berghammer:Mathematik für die Informati
34,99 € *
ggf. zzgl. Versand

Erscheinungsdatum: 08.04.2019, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Mathematik für die Informatik, Titelzusatz: Grundlegende Begriffe, Strukturen und ihre Anwendung, Auflage: 3. Auflage von 2019 // 3. erweiterte und akt. Aufl. 2019, Autor: Berghammer, Rudolf, Verlag: Springer-Verlag GmbH // Springer Fachmedien Wiesbaden GmbH, Imprint: Springer Vieweg, Sprache: Deutsch, Schlagworte: Algorithmus // Database // Datenbank // Mathematik // Informatik // Computer // Logik // COMPUTERS // Data Processing // Algorithmen und Datenstrukturen // Datenbanken // Mathematik für Informatiker // Rechnerarchitektur und Logik-Entwurf // für die Hochschulausbildung, Rubrik: Informatik, Seiten: 426, Abbildungen: Bibliographie, Informationen: Book w. online files / update, Gewicht: 742 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 11.12.2019
Zum Angebot
FM 2015: Formal Methods
87,49 € *
ggf. zzgl. Versand

Erscheinungsdatum: 02.06.2015, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: FM 2015: Formal Methods, Titelzusatz: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, Redaktion: Bjørner, Nikolaj // Boer, Frank de, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering // Computer // PC-Hardware // Aufrüsten // Reparieren // Selbstbau // Mathematik // Informatik // Schnittstelle // Architektur // Rechnerarchitektur // Logik // COMPUTERS // Software Development & Engineering // General // Wartung und Reparaturen // IT // Theoretische Informatik // Rechnerarchitektur und Logik-Entwurf // Informationsarchitektur // Mathematik: Logik, Rubrik: Informatik, Seiten: 610, Abbildungen: Bibliographie, Herkunft: NIEDERLANDE (NL), Reihe: Lecture Notes in Computer Science (Nr. 9109) // Programming and Software Engineering, Informationen: Book, Gewicht: 966 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 11.12.2019
Zum Angebot
Reachability Problems
56,09 € *
ggf. zzgl. Versand

Erscheinungsdatum: 18.09.2015, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Reachability Problems, Titelzusatz: 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings, Redaktion: Bojanczyk, Mikolai // Lasota, Slawomir // Potapov, Igor, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: Algorithmus // EDV // Theorie // Software-Entw // Software Engineering // Mathematik // Programmiersprachen // Informatik // Computer // Schnittstelle // Logik // COMPUTERS // Machine Theory // Theoretische Informatik // Rechnerarchitektur und Logik-Entwurf // Programmier // und Skriptsprachen // allgemein // Algorithmen und Datenstrukturen // Mathematik: Logik, Rubrik: Informatik, Seiten: 179, Abbildungen: Bibliographie, Reihe: Lecture Notes in Computer Science (Nr. 9328) // Theoretical Computer Science and General Issues, Informationen: Book, Gewicht: 331 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 11.12.2019
Zum Angebot
Ognjanovic, Zoran: Probabilistic Logics
115,19 € *
ggf. zzgl. Versand

Erscheinungsdatum: 01.11.2016, Medium: Buch, Einband: Gebunden, Titel: Probabilistic Logics, Titelzusatz: Probability-Based Formalization of Uncertain Reasoning, Autor: Ognjanovic, Zoran // RaSkovic, Miodrag // Markovic, Zoran, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: Intelligenz // Künstliche Intelligenz // KI // AI // Logik // Philosophie // Mathematik // Roboter // Robotik // Industrieroboter // Informatik // Computer // MATHEMATICS // Logic // Mathematik: Logik // Theoretische Informatik // Geschichte, Rubrik: Informatik, Seiten: 215, Abbildungen: 4 schwarz-weiße Abbildungen, Bibliographie, Informationen: Book, Gewicht: 491 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 11.12.2019
Zum Angebot