Site Breadcrumb
Margaria / Steffen
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Margaria / Steffen
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
- Verlag: Springer
- ISBN: 978-3-319-47168-6 (Buch)
- Erscheinungstermin: 06.10.2016
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Ait Mohamed / Munoz / Tahar
Theorem Proving in Higher Order Logics
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Ait Mohamed / Munoz / Tahar
Theorem Proving in Higher Order Logics
- Verlag: Springer
- ISBN: 978-3-540-71065-3 (Buch)
- Erscheinungstermin: 30.07.2008
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Cai / Cooper / Li
Theory and Applications of Models of Computation
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
Cai / Cooper / Li
Theory and Applications of Models of Computation
- Verlag: Springer
- ISBN: 978-3-540-34021-8 (Buch)
- Erscheinungstermin: 11.05.2006
-
Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
Adam / Buša / Hnatic
Mathematical Modeling and Computational Science
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Adam / Buša / Hnatic
Mathematical Modeling and Computational Science
- Verlag: Springer
- ISBN: 978-3-642-28211-9 (Buch)
- Erscheinungstermin: 24.02.2012
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Liu / Woodcock / Zhu
Unifying Theories of Programming and Formal Engineering Methods
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Liu / Woodcock / Zhu
Unifying Theories of Programming and Formal Engineering Methods
- Verlag: Springer
- ISBN: 978-3-642-39720-2 (Buch)
- Erscheinungstermin: 19.07.2013
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Lu / Zhang / Kwok
Neural Information Processing
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Lu / Zhang / Kwok
Neural Information Processing
- Verlag: Springer
- ISBN: 978-3-642-24964-8 (Buch)
- Erscheinungstermin: 26.10.2011
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Dwyer / Lopes
Fundamental Approaches to Software Engineering
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Dwyer / Lopes
Fundamental Approaches to Software Engineering
- Verlag: Springer
- ISBN: 978-3-540-71288-6 (Buch)
- Erscheinungstermin: 09.03.2007
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Filter
Thema
Unterthema 1
- Betriebswirtschaft (14)
- Bibliothekswesen, Informationswissenschaften (1)
- Biowissenschaften (68)
- Chemie (1)
- Design (22)
- EDV | Informatik (1175)
- Elektronik | Nachrichtentechnik (81)
- Geologie (1)
- Kunst (2)
- Maschinenbau | Werkstoffkunde (2)
- Mathematik (211)
- Medien- und Kommunikationswissenschaften (2)
- Medizin | Public Health | Pharmazie | Zahnmedizin (15)
- Musikwissenschaft (3)
- Öffentliches Recht (2)
- Pädagogik (13)
- Philosophie (2)
- Physik (12)
- Psychologie (3)
- Sonstige Technologien | Angewandte Technik (21)
- Sprachwissenschaft (18)
- Technik Allgemein (56)
- Volkswirtschaftslehre (3)
- Wissenschaften (48)
Unterthema 2
- Akustik, Tontechnik (3)
- Algebra (17)
- Allgemeine Psychologie (3)
- Angewandte Biologie (57)
- Angewandte Informatik (114)
- Angewandte Physik (1)
- Bereichsspezifisches Management (6)
- Betriebssysteme (62)
- Bionik, Biomimetik (26)
- Biowissenschaften (38)
- Business Application (9)
- Computeranwendungen in der Technik (12)
- Computerkommunikation & -vernetzung (131)
- Computerlinguistik, Korpuslinguistik (18)
- Daten / Datenbanken (130)
- Design: Allgemeines & Theorie (3)
- Digital Lifestyle (1)
- EDV & Informatik Allgemein (28)
- EDV Systeme, Internet und elektronische Ressourcen in Bibliotheken (1)
- Elektromagnetismus (1)
- Elektronik (65)
- Geometrie (12)
- GIS, Geoinformatik (1)
- Informatik (941)
- Interface Design, Interaktionsdesign, Application Design (13)
- Klinische und Innere Medizin (6)
- Kommunikationswissenschaften (2)
- Konstruktionslehre und -technik (6)
- Kunst, allgemein (2)
- Lasertechnologie, Holographie (1)
- Lehrerausbildung, Unterricht & Didaktik (13)
- Maschinenbau (2)
- Mathematik Allgemein (50)
- Mathematik für Ingenieure (1)
- Mathematik Interdisziplinär (30)
- Mathematische Analysis (14)
- Medizin, Gesundheitswesen (9)
- Medizinische Fachgebiete (1)
- Medizintechnik, Biomedizintechnik (8)
- Modellierung & Simulation (11)
- Moderne Philosophische Disziplinen (1)
- Molekularbiologie (2)
- Musikwissenschaft Allgemein (3)
- Nachhaltigkeit, Grüne Technologien (2)
- Nachrichten- und Kommunikationstechnik (17)
- Nanotechnologie (2)
- Numerik und Wissenschaftliches Rechnen (85)
- Operations Research (48)
- Philosophie der Technik (1)
- Philosophische Logik, Argumentationstheorie (1)
- Physik Allgemein (7)
- Physikalische Chemie (1)
- Produktdesign, Industriedesign (6)
- Professionelle Anwendung (48)
- Programmierung | Softwareentwicklung (585)
- Proteinforschung (1)
- Quantenphysik (3)
- Signalverarbeitung, Bildverarbeitung, Scanning (12)
- Sprachwissenschaften (1)
- Stochastik (8)
- Systems Engineering (1)
- Technik: Allgemeines (1)
- Technische Informatik (267)
- Technische Optik, Lasertechnologie (1)
- Topologie (3)
- Unternehmensforschung (2)
- Verwaltungsrecht (2)
- Volkswirtschaftslehre Allgemein (3)
- Vorklinische Medizin: Grundlagenfächer (1)
- Wirtschaftsinformatik, SAP, IT-Management (7)
- Wirtschaftsmathematik und -statistik (2)
- Wissenschaften Interdisziplinär (14)
- Wissenschaften: Forschung und Information (34)
- Zellbiologie (1)
Unterthema 3
- Algebraische Geometrie (3)
- Algebraische Topologie (1)
- Algorithmen & Datenstrukturen (235)
- Allgemeine Didaktik (3)
- Angewandte Mathematik, Mathematische Modelle (16)
- Atom- und Molekülphysik (1)
- Automatische Datenerfassung, Datenanalyse (1)
- Bauelemente, Schaltkreise (2)
- Berechenbarkeitstheorie, Komplexitätstheorie (54)
- Big Data (3)
- Bildgebende Verfahren, Nuklearmedizin, Strahlentherapie (1)
- Bildsignalverarbeitung (20)
- Bioinformatik (56)
- Bioinformatik (56)
- Biologische Psychologie, Neuropsychologie (3)
- Biomathematik (1)
- Biophysik (1)
- Biophysik (1)
- Cloud-Computing, Grid-Computing (43)
- Compiler (12)
- Computer-Aided Design (CAD) (8)
- Computeralgebra (11)
- Computeranwendungen in der Mathematik (10)
- Computeranwendungen in Geistes- und Sozialwissenschaften (11)
- Computeranwendungen in Wissenschaft & Technologie (21)
- Computersicherheit (19)
- Computersimulation & Modelle, 3-D Graphik (24)
- Computerspiele, Internetspiele (1)
- Data Mining (32)
- Data Warehouse (9)
- Datenbankdesign & Datenbanktheorie (2)
- Datenkompression, Dokumentaustauschformate (19)
- Differentialgeometrie (1)
- Digitale Animation (3)
- Digitale Medien, Internet, Telekommunikation (2)
- Diskrete Mathematik, Kombinatorik (19)
- Drahtlostechnologie (8)
- E-Commerce, E-Business, E-Marketing (3)
- E-Learning (10)
- E-Learning, Bildungstechnologie (10)
- Echtzeitbetriebssysteme (1)
- EDV & Informatik: Ausbildung & Berufe (3)
- EDV & Informatik: Geschichte (3)
- Eingebettete Systeme (2)
- Einkauf, Logistik, Supply-Chain-Management (3)
- Elektronische Baugruppen, Elektronische Materialien (1)
- Elementare Algebra (3)
- Elementare Geometrie: Allgemeines (1)
- Elementare Stochastik (2)
- Euklidische Geometrie (1)
- Evolutionsbiologie (5)
- Externe Speicher & Peripheriegeräte (85)
- Fernmeldetechnik (1)
- Funktechnik (1)
- Funktionale, Logische, Parallele und Visuelle Programmierung (77)
- Gesundheitssystem, Gesundheitswesen (1)
- Grafikprogrammierung (81)
- Graphentheorie (24)
- Grid-Computing & Paralleles Rechnen (63)
- Grundlagen der Mathematik (5)
- Hardware: Grundlagen und Allgemeines (14)
- Hochleistungsrechnen, Supercomputer (42)
- Homologische Algebra (5)
- Immunologie (1)
- Information Retrieval (10)
- Informationstheorie, Kodierungstheorie (15)
- Informationstheorie, Kodierungstheorie (15)
- Internet, E-Mail, VoIP (2)
- Kryptologie, Informationssicherheit (8)
- Künstliche Intelligenz (326)
- Kybernetik, Systemtheorie, Komplexe Systeme (19)
- Logik, formale Sprachen, Automaten (430)
- Mathematik für Informatiker (123)
- Mathematische & Statistische Software (6)
- Mathematische Logik (30)
- Mathematische Modellierung (1)
- Mathematische Statistik (5)
- Mechatronik, Mikrosysteme (MEMS), Nanosysteme (2)
- Medizinische Mathematik & Informatik (1)
- Medizintechnik, Biomedizintechnik, Medizinische Werkstoffe (8)
- Mensch-Maschine-Interaktion (29)
- Microsoft Programmierung (2)
- Mikroökonomie (1)
- Mobilfunk- und Drahtlosnetzwerke & Anwendungen (8)
- Moderne Anwendungen der Analysis (13)
- Molekulare Chemische Nanostrukturen (1)
- Molekulare Medizin, Zellbiologie (1)
- Musikalische Akustik, Tontechnik, Musikaufnahme (3)
- Natürliche Sprachen & Maschinelle Übersetzung (3)
- Naturwissenschaften, Technik, Medizin (1)
- Netzwerk-Hardware (100)
- Netzwerkmanagement (1)
- Netzwerksicherheit (4)
- Neurobiologie, Verhaltensbiologie (1)
- Neurologie, Klinische Neurowissenschaft (5)
- Neurowissenschaften, Kognitionswissenschaft (13)
- NoSQL, Objektorientierte Datenbanken (1)
- Numerische Mathematik (33)
- Objektorientierte Programmierung (4)
- Ökonometrie (2)
- Optimierung (11)
- Optische Nachrichtentechnik (3)
- Philosophie der Technik (1)
- Programmier- und Skriptsprachen (50)
- Programmierung: Methoden und Allgemeines (172)
- Prozedurale Programmierung (33)
- Quantenchemie, Theoretische Chemie (1)
- Quantencomputer, DNA-Computing (23)
- Quantenoptik, Nichtlineare Optik, Laserphysik (1)
- Rechnerarchitektur (48)
- Regelungstechnik (4)
- Robotik (54)
- Schaltungsentwurf (8)
- Social Media, Semantic Web, Web 2.0 (2)
- Software Engineering (246)
- Soziale und ethische Aspekte der EDV (2)
- Spiele-Programmierung, Rendering, Animation (14)
- Spieltheorie (10)
- Stochastische Prozesse (2)
- Systemtheorie (19)
- Systemverwaltung & Management (65)
- Telemedizin, e-Health (1)
- Theoretische Informatik (166)
- Theoretische Linguistik (1)
- Theoretische Physik, Mathematische Physik, Computerphysik (7)
- Tonsignalverarbeitung (1)
- Überwachungstechnik (1)
- Unternehmenssoftware (3)
- Verteilte Systeme (Netzwerke) (22)
- Verwaltungspraxis (2)
- Virtuelle Maschinen, Virtualisierung (2)
- Virtuelle Realität, Erweiterte Realität (1)
- Wahrscheinlichkeitsrechnung (5)
- Wartung & Reparatur (29)
- Web Services (1)
- Windows Betriebssysteme (58)
- Wirtschafts- und Sozialwissenschaften (1)
- Wirtschaftsinformatik (5)
- Zahlentheorie (4)
- Zeichen- und Zahlendarstellungen (43)