Site Breadcrumb
LeCharlier
Static Analysis
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
LeCharlier
Static Analysis
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-58485-8 (Buch)
- Erscheinungstermin: 14.09.1994
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Schrefl / Klas
Metaclasses and Their Application
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Schrefl / Klas
Metaclasses and Their Application
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-60063-3 (Buch)
- Erscheinungstermin: 14.07.1995
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Ehrig / Rosenfeld / Nagl
Graph-Grammars and Their Application to Computer Science
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
Ehrig / Rosenfeld / Nagl
Graph-Grammars and Their Application to Computer Science
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-18771-4 (Buch)
- Erscheinungstermin: 17.12.1987
- Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
Overbeek / Lusk
9th International Conference on Automated Deduction
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
Overbeek / Lusk
9th International Conference on Automated Deduction
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-19343-2 (Buch)
- Erscheinungstermin: 04.05.1988
- Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
Campbell / Calmet
Artificial Intelligence and Symbolic Mathematical Computing
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Campbell / Calmet
Artificial Intelligence and Symbolic Mathematical Computing
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-57322-7 (Buch)
- Erscheinungstermin: 05.10.1993
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Moreno-Diaz / Pichler
Computer Aided Systems Theory - EUROCAST '89
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Moreno-Diaz / Pichler
Computer Aided Systems Theory - EUROCAST '89
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-52215-7 (Buch)
- Erscheinungstermin: 07.02.1990
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Orejas / Diaz
TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-50939-4 (Buch)
- Erscheinungstermin: 27.02.1989
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Gilmore / Alfaro
Process Algebra and Probabilistic Methods. Performance Modelling and Verification
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-42556-4 (Buch)
- Erscheinungstermin: 29.08.2001
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Comon / Treinen / Marche
Constraints in Computational Logics: Theory and Applications
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Comon / Treinen / Marche
Constraints in Computational Logics: Theory and Applications
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-41950-1 (Buch)
- Erscheinungstermin: 18.04.2001
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Filter
Thema
Unterthema 1
- Architektur (2)
- Bauingenieurwesen (10)
- Betriebswirtschaft (441)
- Bibliothekswesen, Informationswissenschaften (30)
- Biowissenschaften (294)
- Chemie (9)
- Design (217)
- EDV | Informatik (9913)
- Elektronik | Nachrichtentechnik (1161)
- Energietechnik | Elektrotechnik (9)
- Ethnologie | Volkskunde (1)
- Finanzsektor & Finanzdienstleistungen (10)
- Geographie | Raumplanung (37)
- Geologie (46)
- Kunst (6)
- Literaturwissenschaft (1)
- Maschinenbau | Werkstoffkunde (18)
- Mathematik (1049)
- Medien- und Kommunikationswissenschaften (103)
- Medizin | Public Health | Pharmazie | Zahnmedizin (291)
- Musikwissenschaft (16)
- Öffentliches Recht (52)
- Pädagogik (208)
- Philosophie (24)
- Physik (39)
- Politikwissenschaft (35)
- Psychologie (22)
- Recht, Rechtswissenschaft Allgemein (5)
- Sonstige Technologien | Angewandte Technik (357)
- Soziologie | Soziale Arbeit (20)
- Sport | Tourismus | Freizeit (2)
- Sprachwissenschaft (87)
- Strafrecht (3)
- Technik Allgemein (368)
- Theater- und Filmwissenschaft | Andere Darstellende Künste (1)
- Umwelttechnik | Umwelttechnologie (1)
- Umweltwissenschaften (2)
- Verfahrenstechnik | Chemieingenieurwesen | Biotechnologie (5)
- Verkehrstechnik | Transportgewerbe (12)
- Volkswirtschaftslehre (28)
- Wirtschaftsrecht (17)
- Wirtschaftssektoren & Branchen (29)
- Wirtschaftswissenschaften (89)
- Wissenschaften (774)
Unterthema 2
- Algebra (189)
- Allgemeine Psychologie (1)
- Angewandte Biologie (25)
- Angewandte Informatik (96)
- Angewandte Physik (1)
- Angewandte Sprachwissenschaft (1)
- Bankwirtschaft (1)
- Bauingenieurwesen (1)
- Bereichsspezifisches Management (6)
- Betriebssysteme (46)
- Biotechnologie (1)
- Biowissenschaften (19)
- Business Application (24)
- Chemie Allgemein (3)
- Computeranwendungen in der Technik (34)
- Computerkommunikation & -vernetzung (70)
- Computerlinguistik, Korpuslinguistik (3)
- Daten / Datenbanken (266)
- Dienstleistungssektor & Branchen (1)
- Digital Lifestyle (3)
- EDV & Informatik Allgemein (42)
- Elektronik (125)
- Ethnologie (1)
- Gebäudetypen (1)
- Geodäsie, Kartographie, Fernerkundung (1)
- Geodäsie, Kartographie, GIS, Fernerkundung (1)
- Geometrie (50)
- GIS, Geoinformatik (1)
- Grammatik, Syntax, Morphologie (1)
- Humanbiologie (1)
- Informatik (910)
- Interface Design, Interaktionsdesign, Application Design (1)
- Klinische und Innere Medizin (3)
- Kommunikationswissenschaften (7)
- Konstruktionslehre und -technik (15)
- Lehrerausbildung, Unterricht & Didaktik (1)
- Management (4)
- Maschinenbau (1)
- Mathematik Allgemein (271)
- Mathematik für Ingenieure (14)
- Mathematik Interdisziplinär (191)
- Mathematische Analysis (36)
- Medien-, Informations und Kommunikationswirtschaft (1)
- Medienrecht (2)
- Medizin, Gesundheitswesen (7)
- Medizinische Fachgebiete (1)
- Mess- und Automatisierungstechnik (4)
- Modellierung & Simulation (9)
- Moderne Philosophische Disziplinen (1)
- Molekularbiologie (2)
- Musikwissenschaft Allgemein (5)
- Nachrichten- und Kommunikationstechnik (11)
- Numerik und Wissenschaftliches Rechnen (345)
- Operations Research (160)
- Philosophie der Mathematik, Philosophie der Physik (3)
- Philosophie der Technik (1)
- Philosophische Logik, Argumentationstheorie (3)
- Physik Allgemein (12)
- Physikalische Chemie (2)
- Politische Systeme (2)
- Produktdesign, Industriedesign (15)
- Produktionstechnik (2)
- Professionelle Anwendung (83)
- Programmierung | Softwareentwicklung (651)
- Regierungspolitik (1)
- Semantik & Pragmatik (1)
- Signalverarbeitung, Bildverarbeitung, Scanning (14)
- Sprachwissenschaften (1)
- Stochastik (65)
- Systems Engineering (1)
- Technik: Allgemeines (3)
- Technische Informatik (279)
- Technische Zuverlässigkeit, Sicherheitstechnik (1)
- Topologie (14)
- Unternehmensforschung (12)
- Unternehmensgeschichte, Einzelne Branchen und Unternehmer (9)
- Verwaltungsrecht (1)
- Volkswirtschaftslehre Allgemein (11)
- Vorklinische Medizin: Grundlagenfächer (2)
- Wirtschaftsinformatik, SAP, IT-Management (15)
- Wirtschaftsmathematik und -statistik (10)
- Wissenschaften Interdisziplinär (2)
- Wissenschaften: Allgemeines (1)
- Wissenschaften: Forschung und Information (271)
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)