Site Breadcrumb
Anzahl Produkte: 2
Technische Wissenschaften
Verkehrstechnik | Transportgewerbe
Software Engineering
Springer Nature Singapore
Jeppu / Nanda
Formal Methods for Safety and Security
128,39 € (inkl. MwSt.)
119,99 € (zzgl. MwSt.)
Jeppu / Nanda
Formal Methods for Safety and Security
- Verlag: Springer Nature Singapore
- ISBN: 978-981-10-4120-4 (Buch)
- Erscheinungstermin: 22.11.2017
- Lieferzeit ca. 10 Werktage
128,39 € (inkl. MwSt.)
119,99 € (zzgl. MwSt.)
Jeppu / Nanda
Formal Methods for Safety and Security
90,94 € (inkl. MwSt.)
84,99 € (zzgl. MwSt.)
Jeppu / Nanda
Formal Methods for Safety and Security
- Verlag: Springer Nature Singapore
- ISBN: 978-981-13-5054-2 (Buch)
- Erscheinungstermin: 04.01.2019
- Lieferzeit ca. 10 Werktage
90,94 € (inkl. MwSt.)
84,99 € (zzgl. MwSt.)
- |
- 1
- |
Filter
Unterthema 1
- Bauingenieurwesen (1)
- Betriebswirtschaft (11)
- Biowissenschaften (2)
- Design (7)
- EDV | Informatik (80)
- Elektronik | Nachrichtentechnik (44)
- Energietechnik | Elektrotechnik (2)
- Geographie | Raumplanung (1)
- Geologie (1)
- Maschinenbau | Werkstoffkunde (23)
- Mathematik (23)
- Medizin | Public Health | Pharmazie | Zahnmedizin (1)
- Pädagogik (1)
- Philosophie (2)
- Physik (7)
- Politikwissenschaft (1)
- Psychologie (2)
- Soziologie | Soziale Arbeit (2)
- Technik Allgemein (44)
- Umweltwissenschaften (1)
- Verkehrstechnik | Transportgewerbe (2)
- Volkswirtschaftslehre (5)
- Wirtschaftswissenschaften (1)
- Wissenschaften (5)
Unterthema 2
Unterthema 3
- Aerodynamik (7)
- Akustik, Schwingungsanalyse (6)
- Algorithmen & Datenstrukturen (2)
- Angewandte Mathematik, Mathematische Modelle (32)
- Astrophysik (36)
- Automobilindustrie (7)
- Bauelemente, Schaltkreise (13)
- Berechenbarkeitstheorie, Komplexitätstheorie (3)
- Betriebliches Energie- und Umweltmanagement (2)
- Big Data (12)
- Bildsignalverarbeitung (2)
- Biomechanik (4)
- Biophysik (1)
- Biophysik (1)
- Chemische Reaktionen, Katalyse (2)
- Chemometrik, Chemoinformatik (1)
- Computer-Aided Design (CAD) (18)
- Computeranwendungen in der Mathematik (1)
- Computeranwendungen in Wissenschaft & Technologie (27)
- Computersicherheit (2)
- Computersimulation & Modelle, 3-D Graphik (7)
- Data Mining (2)
- Datenanalyse, Datenverarbeitung (1)
- Drahtlostechnologie (19)
- EDV & Informatik: Ausbildung & Berufe (1)
- Einkauf, Logistik, Supply-Chain-Management (5)
- Elektrizität, Elektrodynamik (1)
- Energiewirtschaft: Alternative & Erneuerbare Energien (22)
- Entwicklungsökonomie & Emerging Markets (3)
- Entwicklungspolitik, Nord-Süd Beziehungen (2)
- Entwicklungsstudien (3)
- Europäische Geschichte (1)
- Evolutionsbiologie (1)
- Exobiologie, Astrobiologie (1)
- Fernmeldetechnik (1)
- Fertigungstechnik (13)
- Festigkeitslehre, Belastbarkeit (2)
- Festkörperphysik, Kondensierte Materie (5)
- Forschung & Entwicklung (F&E), Innovation (4)
- Funktechnik (5)
- Geschäftswettbewerb (1)
- Geschichte der Human- und Sozialwissenschaften (2)
- Geschichte der Naturwissenschaften, Formalen Wissenschaften & Technik (3)
- Geschichte der Physik (2)
- Geschichte einzelner Länder (1)
- Grafikprogrammierung (3)
- Hardware: Grundlagen und Allgemeines (16)
- Industrielle Organisation (2)
- Industrielle Qualitätskontrolle (3)
- Internationales Kriegsrecht, Territorialrecht, Humanitäres Recht (1)
- Internationales See-, Luft- und Weltraumrecht (3)
- Internationales Verwaltungs-, Umwelt- und Gesundheitsrecht (1)
- Kernenergieindustrie (1)
- Klassische Mechanik, Newtonsche Mechanik (10)
- Konstruktionslehre, Bauelemente, CAD (54)
- Kontinuumsmechanik (9)
- Kontinuumsmechanik, Strömungslehre (28)
- Kriminalsoziologie (1)
- Kryptologie, Informationssicherheit (2)
- Kultur-, Wissenschafts- & Technologiepolitik (1)
- Künstliche Intelligenz (110)
- Kybernetik, Systemtheorie, Komplexe Systeme (2)
- Logik, formale Sprachen, Automaten (2)
- Luftfahrtindustrie (52)
- Magnetismus (3)
- Materialwissenschaft: Biomaterialien, Nanomaterialien, Kohlenstoff (2)
- Materialwissenschaft: Elektronik, Optik (2)
- Materialwissenschaft: Keramik, Glas, Sonstige Werkstoffe (12)
- Materialwissenschaft: Metallische Werkstoffe (11)
- Materialwissenschaft: Verbundwerkstoffe (1)
- Mathematik für Informatiker (3)
- Mathematische Statistik (29)
- Mechatronik, Mikrosysteme (MEMS), Nanosysteme (12)
- Medizintechnik, Biomedizintechnik, Medizinische Werkstoffe (4)
- Meeres- und Süßwasserökologie (4)
- Mensch-Maschine-Interaktion (16)
- Mikroprozessoren (7)
- Mobilfunk- und Drahtlosnetzwerke & Anwendungen (2)
- Museumskunde, Materielle Kultur, Erinnerungskultur (2)
- Nationale und Internationale Sicherheits- und Verteidigungspolitik (1)
- Netzwerk-Hardware (1)
- Netzwerksicherheit (4)
- Oberflächen- und Grenzflächenphysik, Dünne Schichten (1)
- Öffentliche Gebäude, Gewerbliche Bauten (1)
- Ökologie (2)
- Ökonometrie (1)
- Optimierung (7)
- Physiologie (9)
- Plasmaphysik (2)
- Polymerchemie (4)
- Populäre Darstellungen der Mathematik (1)
- Populärwissenschaftliche Werke (3)
- Präventivmedizin, Gesundheitsförderung, Medizinisches Screening (2)
- Produktionsmanagement, Qualitätskontrolle (3)
- Programmierung: Methoden und Allgemeines (1)
- Projektmanagement (4)
- Quantenoptik, Nichtlineare Optik, Laserphysik (5)
- Radartechnik (1)
- Regelungstechnik (90)
- Risikobewertung, Risikotheorie (1)
- Risikomanagement (8)
- Robotik (21)
- Satellitenkommunikation, Satellitentechnik (20)
- Schiffsbauindustrie (1)
- Schulleitung, Schulentwicklung (2)
- Schweißtechnik (2)
- Sensorik (3)
- Signalverarbeitung (99)
- Software Engineering (2)
- Sonstige Fertigungsindustrien (1)
- Sozialpsychologie (2)
- Spieltheorie (3)
- Sport, Sportwissenschaft: Allgemeines (2)
- Stadt- und Regionalsoziologie (1)
- Stadtplanung, Kommunale Planung (4)
- Statik, Dynamik, Kinetik, Kinematik (102)
- Statistische Physik, Dynamische Systeme (3)
- Stochastische Prozesse (2)
- Strömungslehre (72)
- Systemtheorie (20)
- Systemverwaltung & Management (1)
- Technische Thermodynamik (30)
- Theoretische Informatik (3)
- Theoretische Physik, Mathematische Physik, Computerphysik (15)
- Tribologie (8)
- Triebwerkstechnik, Energieübertragung (64)
- Überwachungstechnik (10)
- Umwelt- und Gesundheitspolitik (1)
- Umwelt-, Konsum- und Werbepsychologie (2)
- Umweltmedizin, Arbeitsmedizin, Tropenmedizin, Sportmedizin (1)
- Umweltphysik (1)
- Unternehmensführung (1)
- Variationsrechnung (6)
- Verkehrsplanung, Verkehrspolitik (7)
- Wahrscheinlichkeitsrechnung (2)
- Werkstoffkunde, Materialwissenschaft: Forschungsmethoden (4)
- Werkstoffprüfung (15)
- Werkzeugbau (1)
- Wirtschafts- und Sozialwissenschaften (1)
- Wirtschafts-, Arbeits- und Organisationspsychologie (5)
- Wirtschaftsinformatik (4)
- Wirtschaftswachstum (1)
- Wissenschafts- und Universitätsgeschichte (4)
- Wissenssoziologie, Wissenschaftssoziologie, Techniksoziologie (3)
Medium
Verlag
- Apple Academic Press Inc. (1)
- Bsp Books Pvt. Ltd. (1)
- dpunkt.verlag (1)
- Dpunkt.Verlag GmbH (1)
- Hanser Fachbuchverlag (1)
- Springer (17)
- Springer Berlin Heidelberg (3)
- Springer International Publishing (27)
- Springer Nature Singapore (2)
- Springer Vienna (2)
- Taylor & Francis Inc (1)
- Taylor & Francis Ltd (6)
- Taylor & Francis Ltd (Sales) (1)
- Taylor and Francis (2)
- Wiley (2)