Site Breadcrumb
Serwe / Haxthausen
Formal Methods for Industrial Critical Systems
62,05 € (inkl. MwSt.)
57,99 € (zzgl. MwSt.)
Serwe / Haxthausen
Formal Methods for Industrial Critical Systems
- Verlag: Springer Nature Switzerland
- ISBN: 978-3-031-68149-3 (Buch)
- Erscheinungstermin: 21.08.2024
- Lieferzeit ca. 10 Werktage
62,05 € (inkl. MwSt.)
57,99 € (zzgl. MwSt.)
Bonfanti / Gargantini / Scandurra
Rigorous State-Based Methods
80,24 € (inkl. MwSt.)
74,99 € (zzgl. MwSt.)
Bonfanti / Gargantini / Scandurra
Rigorous State-Based Methods
- Verlag: Springer Nature Switzerland
- ISBN: 978-3-031-63789-6 (Buch)
- Erscheinungstermin: 21.06.2024
- Lieferzeit ca. 10 Werktage
80,24 € (inkl. MwSt.)
74,99 € (zzgl. MwSt.)
Gaál / Pluhár
Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Gaál / Pluhár
Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning
- Verlag: Springer Nature Switzerland
- ISBN: 978-3-031-73473-1 (Buch)
- Erscheinungstermin: 13.10.2024
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Ogata / Liu / Mery
Formal Methods and Software Engineering
70,61 € (inkl. MwSt.)
65,99 € (zzgl. MwSt.)
Ogata / Liu / Mery
Formal Methods and Software Engineering
- Verlag: Springer Nature Singapore
- ISBN: 978-981-960616-0 (Buch)
- Erscheinungstermin: 29.11.2024
- Lieferzeit ca. 10 Werktage
70,61 € (inkl. MwSt.)
65,99 € (zzgl. MwSt.)
Artale / Montali / Cortellessa
AIxIA 2024 - Advances in Artificial Intelligence
70,61 € (inkl. MwSt.)
65,99 € (zzgl. MwSt.)
Artale / Montali / Cortellessa
AIxIA 2024 - Advances in Artificial Intelligence
- Verlag: Springer Nature Switzerland
- ISBN: 978-3-031-80606-3 (Buch)
- Erscheinungstermin: 01.01.2025
- Lieferzeit ca. 10 Werktage
70,61 € (inkl. MwSt.)
65,99 € (zzgl. MwSt.)
Dodaro / Gupta / Martinez
Logic Programming and Nonmonotonic Reasoning
139,09 € (inkl. MwSt.)
129,99 € (zzgl. MwSt.)
Dodaro / Gupta / Martinez
Logic Programming and Nonmonotonic Reasoning
- Verlag: Springer Nature Switzerland
- ISBN: 978-3-031-74208-8 (Buch)
- Erscheinungstermin: 12.10.2024
- Lieferzeit ca. 10 Werktage
139,09 € (inkl. MwSt.)
129,99 € (zzgl. MwSt.)
Strohmeier / Craeynest
Reliable Software Technologies - Ada-Europe 2001
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Strohmeier / Craeynest
Reliable Software Technologies - Ada-Europe 2001
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-42123-8 (Buch)
- Erscheinungstermin: 02.05.2001
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- |
- 1
- |
Filter
Unterthema 1
Unterthema 2
- Algebra (1)
- Angewandte Informatik (7)
- Betriebssysteme (4)
- Computeranwendungen in der Technik (1)
- Computerkommunikation & -vernetzung (7)
- Daten / Datenbanken (7)
- EDV & Informatik Allgemein (6)
- Elektronik (3)
- Informatik (65)
- Kommunikationswissenschaften (3)
- Lehrerausbildung, Unterricht & Didaktik (1)
- Mathematik Allgemein (3)
- Mathematik Interdisziplinär (2)
- Programmierung | Softwareentwicklung (96)
- Technische Informatik (30)
- Unternehmensgeschichte, Einzelne Branchen und Unternehmer (2)
- Wissenschaften: Forschung und Information (5)
Unterthema 3
- Algebraische Geometrie (1)
- Algorithmen & Datenstrukturen (77)
- Allgemeine Didaktik (1)
- Anatomie (1)
- Angewandte Mathematik, Mathematische Modelle (13)
- Automatische Datenerfassung, Datenanalyse (8)
- Bauelemente, Schaltkreise (1)
- Berechenbarkeitstheorie, Komplexitätstheorie (6)
- Big Data (1)
- Bildgebende Verfahren, Nuklearmedizin, Strahlentherapie (10)
- Bildsignalverarbeitung (256)
- Binnenhandel (1)
- Bioinformatik (206)
- Bioinformatik (202)
- Biologische Psychologie, Neuropsychologie (1)
- Biomathematik (6)
- Biomedizin, Medizinische Forschung, Klinische Studien (4)
- Chemometrik, Chemoinformatik (4)
- Cloud-Computing, Grid-Computing (18)
- Compiler (7)
- Computer-Aided Design (CAD) (77)
- Computeralgebra (3)
- Computeranwendungen in der Mathematik (5)
- Computeranwendungen in Geistes- und Sozialwissenschaften (255)
- Computeranwendungen in Wissenschaft & Technologie (173)
- Computergestützte Fertigung (3)
- Computersicherheit (127)
- Computersimulation & Modelle, 3-D Graphik (21)
- Computerspiele, Internetspiele (1)
- Data Mining (122)
- Data Warehouse (30)
- Datenanalyse, Datenverarbeitung (1)
- Datenbankdesign & Datenbanktheorie (1)
- Datenbanken & das Web (1)
- Datenbankprogrammierung (2)
- Datenkompression, Dokumentaustauschformate (67)
- Differentialgeometrie (1)
- Digitale Animation (2)
- Digitale Medien, Internet, Telekommunikation (1)
- Diskrete Mathematik, Kombinatorik (7)
- DNA und Transgene Organismen (5)
- Drahtlostechnologie (8)
- E-Commerce, E-Business, E-Marketing (36)
- E-Learning (10)
- E-Learning, Bildungstechnologie (76)
- EDV & Informatik: Geschichte (1)
- Eingebettete Systeme (1)
- Einkauf, Logistik, Supply-Chain-Management (7)
- Elementare Algebra (8)
- Elementare Geometrie: Allgemeines (1)
- Empirische Sozialforschung, Statistik (1)
- Entwicklungspsychologie (1)
- Ethnographie (1)
- Evolutionsbiologie (2)
- Externe Speicher & Peripheriegeräte (29)
- Fernmeldetechnik (3)
- Fernsehtechnik (1)
- Forschung & Entwicklung (F&E), Innovation (2)
- Forschungsmethodik, Wissenschaftliche Ausstattung (1)
- Fotobeabeitung und Bildbearbeitung (5)
- Funktechnik (1)
- Funktionale, Logische, Parallele und Visuelle Programmierung (7)
- Genetik und Genomik (nichtmedizinisch) (3)
- Geophysik (3)
- Gesundheitssystem, Gesundheitswesen (2)
- Grafikprogrammierung (115)
- Graphentheorie (5)
- Grid-Computing & Paralleles Rechnen (9)
- Groupware (4)
- Grundlagen der Mathematik (4)
- Gynäkologie, Geburtshilfe (1)
- Hardware: Grundlagen und Allgemeines (26)
- Hochleistungsrechnen, Supercomputer (19)
- Homologische Algebra (1)
- Humangenetik (1)
- Information Retrieval (31)
- Informationstechnik, IT-Industrie (2)
- Informationstheorie, Kodierungstheorie (28)
- Informationstheorie, Kodierungstheorie (124)
- Innen-, Bildungs- und Bevölkerungspolitik (1)
- Installations-, Aktions-, Computer- und Videokunst (1)
- Interaktionsdesign für Computerspiele (1)
- Internet, E-Mail, Social Media (3)
- Internet, E-Mail, VoIP (1)
- Iranische Literatur (1)
- Kardiologie, Angiologie, Phlebologie (2)
- Kognitionspsychologie (2)
- Krankenhausmanagement, Praxismanagement (1)
- Kryptologie, Informationssicherheit (35)
- Kulturwissenschaften (2)
- Künstliche Intelligenz (797)
- Kybernetik, Systemtheorie, Komplexe Systeme (13)
- Logik, formale Sprachen, Automaten (169)
- Mathematik für Informatiker (94)
- Mathematische & Statistische Software (1)
- Mathematische Logik (10)
- Mathematische Statistik (5)
- Medizinische Mathematik & Informatik (45)
- Medizintechnik, Biomedizintechnik, Medizinische Werkstoffe (46)
- Mengentheoretische Topologie (2)
- Mensch-Maschine-Interaktion (171)
- Mikroökonomie (1)
- Mikroprozessoren (4)
- Mobilfunk- und Drahtlosnetzwerke & Anwendungen (5)
- Moderne Anwendungen der Analysis (1)
- Molekulare Medizin, Zellbiologie (2)
- Multimedia (6)
- Museumskunde, Materielle Kultur, Erinnerungskultur (3)
- Musikalische Akustik, Tontechnik, Musikaufnahme (2)
- Musiktheorie, Musikästhetik, Kompositionslehre (4)
- Nachrichtendienste, Geheimdienste (2)
- Nationale und Internationale Sicherheits- und Verteidigungspolitik (1)
- Natürliche Sprachen & Maschinelle Übersetzung (21)
- Naturwissenschaften, Technik, Medizin (3)
- Netzwerk-Hardware (243)
- Netzwerksicherheit (74)
- Neurobiologie, Verhaltensbiologie (1)
- Neurologie, Klinische Neurowissenschaft (4)
- Neurowissenschaften, Kognitionswissenschaft (3)
- Numerische Mathematik (22)
- Ökologie (1)
- Ökonometrie (5)
- Optimierung (2)
- Pathologie, Cytopathologie, Histopathologie (1)
- Personal Computer (3)
- Pflanzenreproduktion, Verbreitung, Genetik (1)
- Philosophie der Technik (1)
- Physische Anthropologie (1)
- Politische Kommunikation und Partizipation (11)
- Produktionsmanagement, Qualitätskontrolle (6)
- Programmier- und Skriptsprachen (17)
- Programmierung: Methoden und Allgemeines (107)
- Prozedurale Programmierung (9)
- Psychologische Theorie, Psychoanalyse (1)
- Public Health, Gesundheitsmanagement, Gesundheitsökonomie, Gesundheitspolitik (1)
- Quantenchemie, Theoretische Chemie (2)
- Quantencomputer, DNA-Computing (6)
- Rechnerarchitektur (67)
- Rechtliche Aspekte der EDV (6)
- Regelungstechnik (3)
- Robotik (111)
- Sensorik (1)
- Signalverarbeitung (23)
- Social Media, Semantic Web, Web 2.0 (21)
- Software Engineering (208)
- Software für Projektmanagement (1)
- Soziale und ethische Aspekte der EDV (44)
- Spiele-Programmierung, Rendering, Animation (22)
- Spieltheorie (5)
- Sport: Politik, Ökonomie, Ökologie (1)
- Staats- und Regierungsformen, Staatslehre (1)
- Stadt- und Regionalsoziologie (1)
- Stadtplanung, Kommunale Planung (1)
- Statistische Physik, Dynamische Systeme (1)
- Systembiologie (1)
- Systemtheorie (13)
- Systemverwaltung & Management (73)
- Telemedizin, e-Health (6)
- Terrorismus, Religiöser Fundamentalismus (1)
- Textverarbeitung (1)
- Theoretische Informatik (62)
- Theoretische Physik, Mathematische Physik, Computerphysik (6)
- Tierethologie (1)
- Tiergenetik, Reproduktion (1)
- Tierökologie (1)
- Tierphysiologie (1)
- Tonsignalverarbeitung (2)
- Überwachungstechnik (2)
- Unternehmensführung (1)
- Unternehmenssoftware (49)
- Variationsrechnung (2)
- Verteilte Systeme (Netzwerke) (2)
- Verwaltungsorganisation und -politik, Verwaltungslehre (1)
- Verwaltungspraxis (44)
- Verwaltungswissenschaft, Öffentliche Verwaltung (5)
- Virtuelle Realität, Erweiterte Realität (1)
- Wahrscheinlichkeitsrechnung (2)
- Wartung & Reparatur (14)
- Web Graphik & Design, Web-Publishing (1)
- Web Services (3)
- Webprogrammierung (3)
- Windows Betriebssysteme (14)
- Wirtschafts- und Sozialwissenschaften (1)
- Wirtschaftsinformatik (80)
- Wirtschaftstheorie, Wirtschaftsphilosophie (2)
- Wissenschaften: Theorie, Epistemologie, Methodik (2)
- Wissensmanagement (1)
- Wissenssoziologie, Wissenschaftssoziologie, Techniksoziologie (1)
- Zeichen- und Zahlendarstellungen (56)
- Zentralregierung (1)