Angebote zu "Formal" (619 Treffer)

Kategorien

Shops [Filter löschen]

Lorenzen, Paul: Lógica Formal
109,95 € *
ggf. zzgl. Versand

Erscheinungsdatum: 29.03.2020, Medium: Buch, Einband: Gebunden, Titel: Lógica Formal, Autor: Lorenzen, Paul, Verlag: De Gruyter, Sprache: Spanisch, Rubrik: Informatik, Seiten: 172, Informationen: HC runder Rücken kaschiert, Gewicht: 421 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
Zum Angebot
Lightfoot, David: Formal Specification using Z
65,09 € *
ggf. zzgl. Versand

Erscheinungsdatum: 06.12.2000, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Formal Specification using Z, Auflage: 2nd ed. 2000, Autor: Lightfoot, David, Verlag: Macmillan Education UK // Macmillan Education, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering // Informatik, Rubrik: Informatik // EDV, Seiten: 180, Informationen: Paperback, Gewicht: 356 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
Zum Angebot
Formal Methods and Software Engineering
78,59 € *
ggf. zzgl. Versand

Erscheinungsdatum: 06.10.2019, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Formal Methods and Software Engineering, Titelzusatz: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings, Auflage: 1. Auflage von 2019 // 1st ed. 2019, Redaktion: Ait-Ameur, Yamine // Qin, Shengchao, Verlag: Springer International Publishing, Sprache: Englisch, Rubrik: Informatik, Seiten: 552, Informationen: Paperback, Gewicht: 826 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
Zum Angebot
Formal Methods and Software Engineering
78,79 € *
ggf. zzgl. Versand

Erscheinungsdatum: 06.10.2019, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Formal Methods and Software Engineering, Titelzusatz: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings, Auflage: 1. Auflage von 2019 // 1st ed. 2019, Redaktion: Ait-Ameur, Yamine // Qin, Shengchao, Verlag: Springer International Publishing, Sprache: Englisch, Rubrik: Informatik, Seiten: 552, Informationen: Paperback, Gewicht: 826 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
Zum Angebot
Iurato, Giuseppe: Computational Psychoanalysis ...
212,99 € *
ggf. zzgl. Versand

Erscheinungsdatum: 15.09.2017, Medium: Buch, Einband: Gebunden, Titel: Computational Psychoanalysis and Formal Bi-Logic Frameworks, Autor: Iurato, Giuseppe, Verlag: Information Science Reference, Sprache: Englisch, Schlagworte: COMPUTERS // Intelligence // AI // & Semantics, Rubrik: Informatik, Seiten: 392, Informationen: HC gerader Rücken kaschiert, Gewicht: 1245 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.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: 31.05.2020
Zum Angebot
Formal Methods and Software Engineering
72,69 € *
ggf. zzgl. Versand

Erscheinungsdatum: 11.10.2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Formal Methods and Software Engineering, Titelzusatz: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings, Redaktion: Sun, Jing // Sun, Meng, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering // Informatik // Informationstechnologie // IT // Technologie // Expertensystem // Wissensbasiertes System // Mathematik // Computer // Smartphone // Allgemeines // COMPUTERS // Software Development & Engineering // General // Informationstechnik // allgemeine Themen // IT-Zertifizierung // Systemanalyse und // design // Rechnerarchitektur und Logik-Entwurf // Theoretische Informatik // Mobiltelefone // Smartphones: Anwenderinformation, Rubrik: Informatik, Seiten: 474, Abbildungen: Bibliographie, Reihe: Lecture Notes in Computer Science (Nr. 11232), Informationen: Book, Gewicht: 771 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
Zum Angebot
Rosa, João Luís: Essentials of Formal Languages...
71,90 € *
ggf. zzgl. Versand

Erscheinungsdatum: 23.09.2019, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Essentials of Formal Languages and Automata, Autor: Rosa, João Luís, Verlag: LAP Lambert Academic Publishing, Sprache: Englisch, Rubrik: Informatik, Seiten: 172, Informationen: Paperback, Gewicht: 275 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
Zum Angebot
Lorca Velueta, E: Análisis de la educación ambi...
35,90 € *
ggf. zzgl. Versand

Erscheinungsdatum: 22.03.2016, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Análisis de la educación ambiental en sus entornos formal y no formal, Titelzusatz: Dos entornos complementarios aplicando las TIC´s, Autor: Lorca Velueta, Edgar Martín, Verlag: EAE, Sprache: Spanisch, Rubrik: Informatik // EDV, Sonstiges, Seiten: 80, Informationen: Paperback, Gewicht: 136 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
Zum Angebot