Site Breadcrumb
Kosiol / Harmer
Graph Transformation
69,54 € (inkl. MwSt.)
64,99 € (zzgl. MwSt.)
Kosiol / Harmer
Graph Transformation
- Verlag: Springer Nature Switzerland
- ISBN: 978-3-031-64284-5 (Buch)
- Erscheinungstermin: 11.07.2024
- Lieferzeit ca. 10 Werktage
69,54 € (inkl. MwSt.)
64,99 € (zzgl. MwSt.)
Rosolini / Moggi
Category Theory and Computer Science
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Rosolini / Moggi
Category Theory and Computer Science
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-63455-3 (Buch)
- Erscheinungstermin: 20.08.1997
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
File / Cortesi
Static Analysis
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
File / Cortesi
Static Analysis
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-66459-8 (Buch)
- Erscheinungstermin: 08.09.1999
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Rischel / Ravn
Formal Techniques in Real-Time and Fault-Tolerant Systems
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Rischel / Ravn
Formal Techniques in Real-Time and Fault-Tolerant Systems
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-65003-4 (Buch)
- Erscheinungstermin: 02.09.1998
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Callaghan / Pollack / Luo
Types for Proofs and Programs
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Callaghan / Pollack / Luo
Types for Proofs and Programs
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-43287-6 (Buch)
- Erscheinungstermin: 20.02.2002
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- |
- 1
- |
Filter
Unterthema 1
Unterthema 2
Unterthema 3
- Algebraische Geometrie (20)
- Algebraische Strukturen, Gruppentheorie (7)
- Algebraische Topologie (4)
- Algorithmen & Datenstrukturen (154)
- Allgemeine Didaktik (1)
- Anatomie (1)
- Angewandte Mathematik, Mathematische Modelle (98)
- Automatische Datenerfassung, Datenanalyse (8)
- Berechenbarkeitstheorie, Komplexitätstheorie (16)
- Bildgebende Verfahren, Nuklearmedizin, Strahlentherapie (1)
- Bildsignalverarbeitung (23)
- Bioinformatik (23)
- Bioinformatik (22)
- Biologische Psychologie, Neuropsychologie (1)
- Biomathematik (2)
- Chemometrik, Chemoinformatik (3)
- Client-Server Netzwerke (1)
- Cloud-Computing, Grid-Computing (3)
- Compiler (5)
- Computer-Aided Design (CAD) (32)
- Computeralgebra (28)
- Computeranwendungen in der Mathematik (80)
- Computeranwendungen in Geistes- und Sozialwissenschaften (14)
- Computeranwendungen in Wissenschaft & Technologie (36)
- Computergestützte Fertigung (1)
- Computersicherheit (60)
- Computersimulation & Modelle, 3-D Graphik (24)
- Data Mining (12)
- Data Warehouse (1)
- Datenanalyse, Datenverarbeitung (17)
- Datenbankdesign & Datenbanktheorie (1)
- Datenbankprogrammierung (1)
- Datenkompression, Dokumentaustauschformate (43)
- Dienstprogramme (2)
- Differentialgeometrie (4)
- Differentialrechnungen und -gleichungen (1)
- Digitale Medien, Internet, Telekommunikation (7)
- Diskrete Mathematik, Kombinatorik (61)
- E-Commerce, E-Business, E-Marketing (4)
- E-Learning (1)
- E-Learning, Bildungstechnologie (1)
- EDV & Informatik: Geschichte (1)
- Elektronische Baugruppen, Elektronische Materialien (1)
- Elementare Algebra (124)
- Elementare Analysis und Allgemeine Begriffe (2)
- Elementare Geometrie: Allgemeines (8)
- Elementare Stochastik (5)
- Entscheidungsfindung (3)
- Enzyklopädien, Nachschlagewerke, Wörterbücher (1)
- Ethnographie (1)
- Euklidische Geometrie (1)
- Evolutionsbiologie (2)
- Externe Speicher & Peripheriegeräte (92)
- Fernmeldetechnik (7)
- Finanz- und Versicherungsmathematik (2)
- Fotobeabeitung und Bildbearbeitung (2)
- Funktionale, Logische, Parallele und Visuelle Programmierung (45)
- Funktionentheorie, Komplexe Analysis (1)
- Grafikprogrammierung (172)
- Graphentheorie (89)
- Grid-Computing & Paralleles Rechnen (14)
- Groupware (1)
- Grundlagen der Mathematik (91)
- Hardware: Grundlagen und Allgemeines (15)
- Hochleistungsrechnen, Supercomputer (44)
- Homologische Algebra (34)
- Humangenetik (1)
- Immunologie (1)
- Information Retrieval (4)
- Informationstechnik, IT-Industrie (1)
- Informationstheorie, Kodierungstheorie (97)
- Informationstheorie, Kodierungstheorie (77)
- Internet, E-Mail, Social Media (3)
- Internet, E-Mail, VoIP (7)
- Kardiologie, Angiologie, Phlebologie (1)
- Kryptologie, Informationssicherheit (18)
- Künstliche Intelligenz (303)
- Kybernetik, Systemtheorie, Komplexe Systeme (161)
- Lineare und multilineare Algebra, Matrizentheorie (8)
- Logik, formale Sprachen, Automaten (576)
- Mathematik für Informatiker (330)
- Mathematische & Statistische Software (7)
- Mathematische Logik (148)
- Mathematische Modellierung (1)
- Mathematische Statistik (44)
- Medizinische Mathematik & Informatik (7)
- Mengentheoretische Topologie (9)
- Mensch-Maschine-Interaktion (9)
- Microsoft Programmierung (2)
- Mikroprozessoren (9)
- Moderne Anwendungen der Analysis (13)
- Musikalische Akustik, Tontechnik, Musikaufnahme (1)
- Musiktheorie, Musikästhetik, Kompositionslehre (4)
- Natürliche Sprachen & Maschinelle Übersetzung (5)
- Naturwissenschaften, Technik, Medizin (1)
- Netzwerk-Hardware (128)
- Netzwerkmanagement (2)
- Netzwerkprotokolle (1)
- Netzwerksicherheit (3)
- Neurologie, Klinische Neurowissenschaft (1)
- Neurowissenschaften, Kognitionswissenschaft (1)
- Nicht-Euklidische Geometrie (2)
- Numerische Mathematik (188)
- Objektorientierte Programmierung (7)
- Öffentliche Gebäude, Gewerbliche Bauten (1)
- Office Management, Büroorganisation (1)
- Ökonometrie (10)
- Optimierung (15)
- Philosophie der Mathematik (3)
- Philosophie der Technik (1)
- Physische Anthropologie (1)
- Produktionsmanagement, Qualitätskontrolle (1)
- Programmier- und Skriptsprachen (41)
- Programmierung: Methoden und Allgemeines (331)
- Prozedurale Programmierung (73)
- Quantenchemie, Theoretische Chemie (2)
- Quantencomputer, DNA-Computing (6)
- Rechnerarchitektur (59)
- Rechtliche Aspekte der EDV (3)
- Regelungstechnik (1)
- Robotik (114)
- Sensorik (1)
- Sicherheitsgewerbe (1)
- Signalverarbeitung (2)
- Software Engineering (216)
- Soziale und ethische Aspekte der EDV (12)
- Spiele-Programmierung, Rendering, Animation (14)
- Spieltheorie (45)
- Statistische Physik, Dynamische Systeme (1)
- Stochastische Prozesse (7)
- Systemtheorie (161)
- Systemverwaltung & Management (80)
- Tabellenkalkulation (1)
- Telekommunikationsrecht, IT-Recht, Internetrecht (2)
- Theoretische Informatik (65)
- Theoretische Linguistik (1)
- Theoretische Physik, Mathematische Physik, Computerphysik (12)
- Tonsignalverarbeitung (1)
- Unternehmenssoftware (15)
- Variationsrechnung (10)
- Verteilte Systeme (Netzwerke) (3)
- Verwaltungsorganisation und -politik, Verwaltungslehre (1)
- Verwaltungswissenschaft, Öffentliche Verwaltung (1)
- Wahrscheinlichkeitsrechnung (32)
- Wartung & Reparatur (24)
- Web Graphik & Design, Web-Publishing (1)
- Windows Betriebssysteme (44)
- Wirtschaftsinformatik (1)
- Wirtschaftstheorie, Wirtschaftsphilosophie (1)
- Zahlentheorie (19)
- Zeichen- und Zahlendarstellungen (139)
- Zentralregierung (1)
- Zuverlässigkeitstechnik (1)