Site Breadcrumb
Dasgupta
A Roadmap for Formal Property Verification
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
- Verlag: Springer Netherlands
- ISBN: 978-90-481-7185-9 (Buch)
- Erscheinungstermin: 19.10.2010
- Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
Dasgupta
A Roadmap for Formal Property Verification
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
- Verlag: Springer Nature Singapore
- ISBN: 978-1-4020-4757-2 (Buch)
- Erscheinungstermin: 05.07.2006
- Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
- |
- 1
- |
Filter
Unterthema 1
Unterthema 2
- Angewandte Biologie (2)
- Angewandte Informatik (32)
- Architektur: Allgemeines (1)
- Betriebssysteme (5)
- Biowissenschaften (2)
- Computeranwendungen in der Technik (32)
- Daten / Datenbanken (4)
- EDV & Informatik Allgemein (2)
- Elektronik (25)
- Elektrotechnik (2)
- Informatik (27)
- Interface Design, Interaktionsdesign, Application Design (3)
- Konstruktionslehre und -technik (34)
- Maschinenbau (1)
- Mathematik für Ingenieure (1)
- Mathematik Interdisziplinär (7)
- Mathematische Analysis (2)
- Nachrichten- und Kommunikationstechnik (2)
- Numerik und Wissenschaftliches Rechnen (2)
- Produktdesign, Industriedesign (34)
- Professionelle Anwendung (34)
- Programmierung | Softwareentwicklung (14)
- Technik: Allgemeines (2)
- Technische Informatik (37)
- Wissenschaften: Forschung und Information (8)
Unterthema 3
- Angewandte Mathematik, Mathematische Modelle (5)
- Automatische Datenerfassung, Datenanalyse (2)
- Bauelemente, Schaltkreise (9)
- Berufs- und Studienberatung, Karriereplanung (1)
- Biowissenschaften, Biologie: Sachbuch, Naturführer (1)
- Computer-Aided Design (CAD) (21)
- Computeranwendungen in Geistes- und Sozialwissenschaften (1)
- Computeranwendungen in Wissenschaft & Technologie (20)
- Computergestützte Fertigung (2)
- Computersicherheit (1)
- Data Mining (2)
- Datenkompression, Dokumentaustauschformate (1)
- Drahtlostechnologie (2)
- EDV & Informatik: Geschichte (1)
- Einkauf, Logistik, Supply-Chain-Management (2)
- Elektronische Baugruppen, Elektronische Materialien (3)
- Elementare Stochastik (1)
- Entscheidungsfindung (1)
- Entwicklungsökonomie & Emerging Markets (1)
- Enzyklopädien, Nachschlagewerke, Wörterbücher (3)
- Experimentalphysik (1)
- Fernmeldetechnik (1)
- Fertigungstechnik (39)
- Forschung & Entwicklung (F&E), Innovation (2)
- Fotobeabeitung und Bildbearbeitung (1)
- Grafikprogrammierung (1)
- Hardware: Grundlagen und Allgemeines (3)
- Hochleistungsrechnen, Supercomputer (2)
- Homologische Algebra (1)
- Industrielle Biotechnologie (1)
- Industrielle Qualitätskontrolle (6)
- Informationstheorie, Kodierungstheorie (2)
- Informationstheorie, Kodierungstheorie (2)
- Installations-, Aktions-, Computer- und Videokunst (1)
- Klassische Mechanik, Newtonsche Mechanik (1)
- Kontinuumsmechanik, Strömungslehre (2)
- Kriminalsoziologie (2)
- Künstliche Intelligenz (2)
- Kybernetik, Systemtheorie, Komplexe Systeme (4)
- Logik, formale Sprachen, Automaten (2)
- Luftfahrtindustrie (2)
- Materialwissenschaft: Keramik, Glas, Sonstige Werkstoffe (1)
- Materialwissenschaft: Verbundwerkstoffe (1)
- Mathematik für Informatiker (1)
- Mathematische & Statistische Software (1)
- Mathematische Statistik (2)
- Mensch-Maschine-Interaktion (5)
- Mikroprozessoren (10)
- Naturwissenschaften, Technik, Medizin (1)
- Numerische Mathematik (3)
- Ökologie (1)
- Ökonometrie (1)
- Produktionsmanagement, Qualitätskontrolle (8)
- Programmier- und Skriptsprachen (3)
- Projektmanagement (15)
- Psychologie: Sachbuch, Ratgeber (1)
- Qualitätsmanagement, Qualitätssicherung (QS), Total Quality Management (TQM) (1)
- Risikomanagement (2)
- Robotik (3)
- Schulleitung, Schulentwicklung (1)
- Software Engineering (2)
- Soziale Folgen von Katastrophen (2)
- Sport, Sportwissenschaft: Allgemeines (1)
- Sprachsoziologie (2)
- Statik, Dynamik, Kinetik, Kinematik (1)
- Stochastische Prozesse (1)
- Strömungslehre (2)
- Systemtheorie (4)
- Systemverwaltung & Management (5)
- Triebwerkstechnik, Energieübertragung (2)
- Umweltrecht allg., Technikrecht, Immissionsschutzrecht (1)
- Universitäten, Hochschulen (1)
- Unternehmensführung (4)
- Unternehmensorganisation & Entwicklungsstrategien (2)
- Unternehmenssoftware (1)
- Variationsrechnung (3)
- Verbraucherschutz, Verbraucherverträge, AGB (1)
- Wahrscheinlichkeitsrechnung (2)
- Werkstoffkunde, Materialwissenschaft: Forschungsmethoden (1)
- Werkstoffprüfung (1)
- Werkzeugbau (10)
- Wirtschafts- und Sozialwissenschaften (2)
- Wirtschafts-, Arbeits- und Organisationspsychologie (2)
- Wirtschaftspädagogik, Berufspädagogik (1)
- Wissenssoziologie, Wissenschaftssoziologie, Techniksoziologie (1)
- Zeichen- und Zahlendarstellungen (1)
- Zuverlässigkeitstechnik (1)