Site Breadcrumb
Serwe / Haxthausen
Formal Methods for Industrial Critical Systems
62,05 € (inkl. MwSt.)
57,99 € (zzgl. MwSt.)
Serwe / Haxthausen
Formal Methods for Industrial Critical Systems
- Verlag: Springer Nature Switzerland
- ISBN: 978-3-031-68149-3 (Buch)
- Erscheinungstermin: 21.08.2024
- Lieferzeit ca. 10 Werktage
62,05 € (inkl. MwSt.)
57,99 € (zzgl. MwSt.)
Shankaranarayanan / Trivedi / Sankaranarayanan
Verification, Model Checking, and Abstract Interpretation
62,05 € (inkl. MwSt.)
57,99 € (zzgl. MwSt.)
Shankaranarayanan / Trivedi / Sankaranarayanan
Verification, Model Checking, and Abstract Interpretation
- Verlag: Springer Nature Switzerland
- ISBN: 978-3-031-82702-0 (Buch)
- Erscheinungstermin: 23.01.2025
- Lieferzeit ca. 10 Werktage
62,05 € (inkl. MwSt.)
57,99 € (zzgl. MwSt.)
Zhang / Ghosh
Algorithmic Aspects in Information and Management
62,05 € (inkl. MwSt.)
57,99 € (zzgl. MwSt.)
Zhang / Ghosh
Algorithmic Aspects in Information and Management
- Verlag: Springer Nature Singapore
- ISBN: 978-981-97-7800-3 (Buch)
- Erscheinungstermin: 19.09.2024
- Lieferzeit ca. 10 Werktage
62,05 € (inkl. MwSt.)
57,99 € (zzgl. MwSt.)
Søndergaard / Bowles
Logic-Based Program Synthesis and Transformation
62,05 € (inkl. MwSt.)
57,99 € (zzgl. MwSt.)
Søndergaard / Bowles
Logic-Based Program Synthesis and Transformation
- Verlag: Springer Nature Switzerland
- ISBN: 978-3-031-71293-7 (Buch)
- Erscheinungstermin: 07.09.2024
- Lieferzeit ca. 10 Werktage
62,05 € (inkl. MwSt.)
57,99 € (zzgl. MwSt.)
Teodorov / C. Nogueira
Formal Methods: Foundations and Applications
62,05 € (inkl. MwSt.)
57,99 € (zzgl. MwSt.)
Teodorov / C. Nogueira
Formal Methods: Foundations and Applications
- Verlag: Springer Nature Switzerland
- ISBN: 978-3-031-78115-5 (Buch)
- Erscheinungstermin: 29.11.2024
- Lieferzeit ca. 10 Werktage
62,05 € (inkl. MwSt.)
57,99 € (zzgl. MwSt.)
Bonsangue / Anutariya
Theoretical Aspects of Computing ¿ ICTAC 2024
70,61 € (inkl. MwSt.)
65,99 € (zzgl. MwSt.)
Bonsangue / Anutariya
Theoretical Aspects of Computing ¿ ICTAC 2024
- Verlag: Springer Nature Switzerland
- ISBN: 978-3-031-77018-0 (Buch)
- Erscheinungstermin: 22.11.2024
- Lieferzeit ca. 10 Werktage
70,61 € (inkl. MwSt.)
65,99 € (zzgl. MwSt.)
Dąbrowski / Dabrowski / Pomykała
Number-Theoretic Methods in Cryptology
70,61 € (inkl. MwSt.)
65,99 € (zzgl. MwSt.)
Dąbrowski / Dabrowski / Pomykała
Number-Theoretic Methods in Cryptology
- Verlag: Springer Nature Switzerland
- ISBN: 978-3-031-82379-4 (Buch)
- Erscheinungstermin: 19.02.2025
- Lieferzeit ca. 10 Werktage
70,61 € (inkl. MwSt.)
65,99 € (zzgl. MwSt.)
Kirrane / Šimkus / Soylu
Rules and Reasoning
62,05 € (inkl. MwSt.)
57,99 € (zzgl. MwSt.)
Kirrane / Šimkus / Soylu
Rules and Reasoning
- Verlag: Springer Nature Switzerland
- ISBN: 978-3-031-72406-0 (Buch)
- Erscheinungstermin: 15.09.2024
- Lieferzeit ca. 10 Werktage
62,05 € (inkl. MwSt.)
57,99 € (zzgl. MwSt.)
Zhu / Castiglione / Li
Algorithms and Architectures for Parallel Processing
70,61 € (inkl. MwSt.)
65,99 € (zzgl. MwSt.)
Zhu / Castiglione / Li
Algorithms and Architectures for Parallel Processing
- Verlag: Springer Nature Singapore
- ISBN: 978-981-961527-8 (Buch)
- Erscheinungstermin: 15.02.2025
- Lieferzeit ca. 10 Werktage
70,61 € (inkl. MwSt.)
65,99 € (zzgl. MwSt.)
Barneva / Pacchiano / Brimkov
Artificial Intelligence and Image Analysis
62,05 € (inkl. MwSt.)
57,99 € (zzgl. MwSt.)
Barneva / Pacchiano / Brimkov
Artificial Intelligence and Image Analysis
- Verlag: Springer Nature Switzerland
- ISBN: 978-3-031-63734-6 (Buch)
- Erscheinungstermin: 23.07.2024
- Lieferzeit ca. 10 Werktage
62,05 € (inkl. MwSt.)
57,99 € (zzgl. MwSt.)
Filter
Thema
Unterthema 1
- Betriebswirtschaft (17)
- Biowissenschaften (15)
- Chemie (2)
- Design (14)
- EDV | Informatik (804)
- Elektronik | Nachrichtentechnik (73)
- Geographie | Raumplanung (2)
- Geologie (2)
- Maschinenbau | Werkstoffkunde (1)
- Mathematik (330)
- Medien- und Kommunikationswissenschaften (3)
- Medizin | Public Health | Pharmazie | Zahnmedizin (2)
- Musikwissenschaft (1)
- Öffentliches Recht (1)
- Pädagogik (9)
- Philosophie (3)
- Physik (6)
- Sonstige Technologien | Angewandte Technik (7)
- Technik Allgemein (31)
- Verkehrstechnik | Transportgewerbe (1)
- Volkswirtschaftslehre (5)
- Wirtschaftswissenschaften (3)
- Wissenschaften (111)
Unterthema 2
- Algebra (87)
- Angewandte Biologie (11)
- Angewandte Informatik (94)
- Bereichsspezifisches Management (4)
- Betriebssysteme (38)
- Biowissenschaften (10)
- Business Application (8)
- Chemie Allgemein (2)
- Computeranwendungen in der Technik (12)
- Computerkommunikation & -vernetzung (69)
- Daten / Datenbanken (185)
- Digital Lifestyle (1)
- EDV & Informatik Allgemein (35)
- Elektronik (65)
- Fahrzeugtechnik (1)
- Geodäsie, Kartographie, Fernerkundung (2)
- Geodäsie, Kartographie, GIS, Fernerkundung (2)
- Geometrie (13)
- Informatik (804)
- Interface Design, Interaktionsdesign, Application Design (7)
- Klinische und Innere Medizin (1)
- Kommunikationswissenschaften (3)
- Konstruktionslehre und -technik (7)
- Lehrerausbildung, Unterricht & Didaktik (9)
- Literatur für Manager (1)
- Management (1)
- Maschinenbau (1)
- Mathematik Allgemein (101)
- Mathematik für Ingenieure (12)
- Mathematik Interdisziplinär (24)
- Mathematische Analysis (22)
- Medizin, Gesundheitswesen (1)
- Modellierung & Simulation (8)
- Musikwissenschaft Allgemein (1)
- Nachrichten- und Kommunikationstechnik (12)
- Numerik und Wissenschaftliches Rechnen (115)
- Operations Research (58)
- Philosophie der Mathematik, Philosophie der Physik (1)
- Philosophische Logik, Argumentationstheorie (2)
- Physik Allgemein (5)
- Produktdesign, Industriedesign (7)
- Produktionstechnik (1)
- Professionelle Anwendung (53)
- Programmierung | Softwareentwicklung (542)
- Quantenphysik (1)
- Signalverarbeitung, Bildverarbeitung, Scanning (7)
- Stochastik (22)
- Technik: Allgemeines (2)
- Technische Informatik (257)
- Topologie (5)
- Unternehmensforschung (2)
- Unternehmensgeschichte, Einzelne Branchen und Unternehmer (2)
- Verwaltungsrecht (1)
- Volkswirtschaftslehre Allgemein (5)
- Wirtschaftsinformatik, SAP, IT-Management (8)
- Wirtschaftsmathematik und -statistik (4)
- Wissenschaften: Forschung und Information (111)
Unterthema 3
- Algebraische Geometrie (20)
- Algebraische Strukturen, Gruppentheorie (7)
- Algebraische Topologie (4)
- Algorithmen & Datenstrukturen (634)
- Allgemeine Didaktik (5)
- Anatomie (3)
- Angewandte Mathematik, Mathematische Modelle (98)
- Arbeitsplatz, Arbeitsschutz, Gefahrstoffschutz (1)
- Automatische Datenerfassung, Datenanalyse (59)
- Bauelemente, Schaltkreise (11)
- Berechenbarkeitstheorie, Komplexitätstheorie (77)
- Besondere Themen und Arten der Fotografie (2)
- Big Data (20)
- Bildgebende Verfahren, Nuklearmedizin, Strahlentherapie (51)
- Bildsignalverarbeitung (967)
- Binnenhandel (1)
- Bioinformatik (202)
- Bioinformatik (216)
- Biologische Psychologie, Neuropsychologie (8)
- Biomathematik (11)
- Biomedizin, Medizinische Forschung, Klinische Studien (5)
- Chemometrik, Chemoinformatik (5)
- Client-Server Netzwerke (1)
- Cloud-Computing, Grid-Computing (122)
- Compiler (96)
- Computer-Aided Design (CAD) (89)
- Computeralgebra (28)
- Computeranwendungen in der Mathematik (80)
- Computeranwendungen in Geistes- und Sozialwissenschaften (255)
- Computeranwendungen in Wissenschaft & Technologie (173)
- Computergestützte Fertigung (3)
- Computersicherheit (966)
- Computersimulation & Modelle, 3-D Graphik (140)
- Computerspiele, Internetspiele (3)
- Data Mining (470)
- Data Warehouse (132)
- Datenanalyse, Datenverarbeitung (21)
- Datenbankdesign & Datenbanktheorie (14)
- Datenbanken & das Web (29)
- Datenbankprogrammierung (24)
- Datenkompression, Dokumentaustauschformate (628)
- Desktop-Publishing, E-Publishing (5)
- Dienstprogramme (4)
- Differentialgeometrie (4)
- Differentialrechnungen und -gleichungen (1)
- Digitale Animation (37)
- Digitale Fotographie (2)
- Digitale Medien, Internet, Telekommunikation (102)
- Digitale Musik (1)
- Digitales Video (4)
- Diskrete Mathematik, Kombinatorik (61)
- DNA und Transgene Organismen (5)
- Drahtlostechnologie (79)
- E-Commerce, E-Business, E-Marketing (98)
- E-Learning (121)
- E-Learning, Bildungstechnologie (201)
- Echtzeitbetriebssysteme (3)
- EDV & Informatik: Ausbildung & Berufe (2)
- EDV & Informatik: Geschichte (5)
- Eingebettete Systeme (27)
- Einkauf, Logistik, Supply-Chain-Management (7)
- Elektrizität, Elektrodynamik (2)
- Elektronische Baugruppen, Elektronische Materialien (2)
- Elektronische Musik (3)
- Elektronischer Datenaustausch (EDI) (1)
- Elementare Algebra (124)
- Elementare Analysis und Allgemeine Begriffe (2)
- Elementare Geometrie: Allgemeines (8)
- Elementare Stochastik (5)
- Empirische Sozialforschung, Statistik (1)
- Entscheidungsfindung (4)
- Entwicklungspsychologie (1)
- Enzyklopädien, Nachschlagewerke, Wörterbücher (13)
- Erwachsenenbildung, lebenslanges Lernen (1)
- Ethnographie (1)
- Euklidische Geometrie (1)
- Evolutionsbiologie (14)
- Externe Speicher & Peripheriegeräte (788)
- Fernmeldetechnik (66)
- Fernsehtechnik (3)
- Finanz- und Versicherungsmathematik (2)
- Finanzierung, Investition, Leasing (1)
- Forensik, Rechtsmedizin, Gerichtsmedizin (2)
- Forschung & Entwicklung (F&E), Innovation (3)
- Forschungsmethodik, Wissenschaftliche Ausstattung (3)
- Fotobeabeitung und Bildbearbeitung (35)
- Freizeitsoziologie, Konsumsoziologie, Alltagssoziologie, Populärkultur (1)
- Funktechnik (47)
- Funktionale, Logische, Parallele und Visuelle Programmierung (240)
- Funktionentheorie, Komplexe Analysis (1)
- Genetik und Genomik (nichtmedizinisch) (4)
- Geophysik (3)
- Geriatrie, Gerontologie (1)
- Gesundheits- und Sicherheitstechnische Aspekte der EDV (3)
- Gesundheitssystem, Gesundheitswesen (8)
- Grafikprogrammierung (826)
- Graphentheorie (89)
- Grid-Computing & Paralleles Rechnen (139)
- Großrechner & Minicomputer (1)
- Groupware (24)
- Grundlagen der Mathematik (91)
- Gynäkologie, Geburtshilfe (1)
- Hardware: Grundlagen und Allgemeines (145)
- Hochleistungsrechnen, Supercomputer (206)
- Homologische Algebra (34)
- Humangenetik (1)
- Immunologie (1)
- Industrielle Biotechnologie (1)
- Industrielle Qualitätskontrolle (3)
- Information Retrieval (168)
- Informationstechnik, IT-Industrie (20)
- Informationstheorie, Kodierungstheorie (364)
- Informationstheorie, Kodierungstheorie (537)
- Innen-, Bildungs- und Bevölkerungspolitik (1)
- Innere Medizin (5)
- Installations-, Aktions-, Computer- und Videokunst (3)
- Interaktionsdesign für Computerspiele (10)
- Internet, E-Mail, Social Media (143)
- Internet, E-Mail, VoIP (100)
- Invalidität, Krankheit und Abhängigkeit: Soziale Aspekte (5)
- Iranische Literatur (1)
- Kardiologie, Angiologie, Phlebologie (8)
- Kognitionspsychologie (11)
- Krankenhausmanagement, Praxismanagement (2)
- Kryptologie, Informationssicherheit (416)
- Kultur-, Wissenschafts- & Technologiepolitik (1)
- Kultursoziologie (2)
- Kulturwissenschaften (3)
- Künstliche Intelligenz (4110)
- Kybernetik, Systemtheorie, Komplexe Systeme (163)
- Lineare und multilineare Algebra, Matrizentheorie (8)
- Logik, formale Sprachen, Automaten (2203)
- Luftfahrtindustrie (1)
- Marketing (2)
- Mathematik für Informatiker (804)
- Mathematische & Statistische Software (12)
- Mathematische Logik (148)
- Mathematische Modellierung (1)
- Mathematische Statistik (44)
- Mechatronik, Mikrosysteme (MEMS), Nanosysteme (4)
- Medien & Gesellschaft, Medienwirkungsforschung (2)
- Mediensoziologie (4)
- Medizinische Mathematik & Informatik (143)
- Medizintechnik, Biomedizintechnik, Medizinische Werkstoffe (155)
- Mengentheoretische Topologie (9)
- Mensch-Maschine-Interaktion (1066)
- Microsoft Programmierung (3)
- Mikroökonomie (3)
- Mikroprozessoren (31)
- Mobilfunk (2)
- Mobilfunk- und Drahtlosnetzwerke & Anwendungen (70)
- Moderne Anwendungen der Analysis (13)
- Molekulare Medizin, Zellbiologie (2)
- Multimedia (36)
- Museumskunde, Materielle Kultur, Erinnerungskultur (6)
- Musikalische Akustik, Tontechnik, Musikaufnahme (7)
- Musiktheorie, Musikästhetik, Kompositionslehre (6)
- Nachrichtendienste, Geheimdienste (3)
- Nationale und Internationale Sicherheits- und Verteidigungspolitik (1)
- Natürliche Sprachen & Maschinelle Übersetzung (118)
- Naturwissenschaften, Technik, Medizin (6)
- Netzwerk-Hardware (1219)
- Netzwerkmanagement (17)
- Netzwerkprotokolle (19)
- Netzwerksicherheit (315)
- Neurobiologie, Verhaltensbiologie (6)
- Neurochirurgie (2)
- Neurologie, Klinische Neurowissenschaft (20)
- Neurowissenschaften, Kognitionswissenschaft (18)
- Nicht-Euklidische Geometrie (2)
- NoSQL, Objektorientierte Datenbanken (3)
- Numerische Mathematik (188)
- Objektorientierte Programmierung (86)
- Öffentliche Gebäude, Gewerbliche Bauten (1)
- Office Management, Büroorganisation (1)
- Ökologie (2)
- Ökonometrie (21)
- Onkologie, Krebsforschung (1)
- Optik (2)
- Optimierung (15)
- Optische Nachrichtentechnik (2)
- Pathologie, Cytopathologie, Histopathologie (1)
- Personal Computer (20)
- Pflanzenreproduktion, Verbreitung, Genetik (2)
- Philosophie der Mathematik (3)
- Philosophie der Technik (2)
- Philosophie des Geistes, Neurophilosophie (1)
- Physiologie (1)
- Physische Anthropologie (1)
- Politische Führung (1)
- Politische Kommunikation und Partizipation (13)
- Produktionsmanagement, Qualitätskontrolle (15)
- Programmier- und Skriptsprachen (436)
- Programmierung: Methoden und Allgemeines (1353)
- Projektmanagement (1)
- Prozedurale Programmierung (559)
- Psychologische Theorie, Psychoanalyse (1)
- Public Health, Gesundheitsmanagement, Gesundheitsökonomie, Gesundheitspolitik (1)
- Qualitätsmanagement, Qualitätssicherung (QS), Total Quality Management (TQM) (1)
- Quantenchemie, Theoretische Chemie (2)
- Quantencomputer, DNA-Computing (26)
- Quantenoptik, Nichtlineare Optik, Laserphysik (3)
- Rechnerarchitektur (331)
- Rechtliche Aspekte der EDV (29)
- Regelungstechnik (6)
- Relationale Datenbanken (1)
- Risikobewertung, Risikotheorie (3)
- Risikomanagement (4)
- Robotik (733)
- Schaltungsentwurf (12)
- Schulleitung, Schulentwicklung (1)
- Sensorik (13)
- Sicherheitsgewerbe (2)
- Signalverarbeitung (57)
- Social Media, Semantic Web, Web 2.0 (118)
- Software Engineering (1965)
- Software für Projektmanagement (1)
- Sonderpädagogik, Heilpädagogik (1)
- Soziale Dienste, Soziale Organisationen (1)
- Soziale Gruppen & Klassen (1)
- Soziale und ethische Aspekte der EDV (337)
- Spiele-Programmierung, Rendering, Animation (165)
- Spieltheorie (45)
- Sport: Politik, Ökonomie, Ökologie (1)
- Staats- und Regierungsformen, Staatslehre (1)
- Stadt- und Regionalsoziologie (2)
- Stadtplanung, Kommunale Planung (4)
- Statistische Physik, Dynamische Systeme (4)
- Stochastische Prozesse (7)
- Systembiologie (1)
- Systemtheorie (161)
- Systemverwaltung & Management (1055)
- Tabellenkalkulation (5)
- Teilchenphysik (1)
- Telekommunikationsrecht, IT-Recht, Internetrecht (17)
- Telekommunikationswirtschaft, Post (1)
- Telemedizin, e-Health (12)
- Terrorismus, Religiöser Fundamentalismus (1)
- Textverarbeitung (2)
- Theoretische Informatik (372)
- Theoretische Linguistik (4)
- Theoretische Physik, Mathematische Physik, Computerphysik (20)
- Tierethologie (1)
- Tiergenetik, Reproduktion (2)
- Tierökologie (1)
- Tierphysiologie (1)
- Tonsignalverarbeitung (25)
- Tourismus & Reise: Soziologie, Psychologie, Kultur (1)
- Tourismuswirtschaft, Gastgewerbe (1)
- Überwachungstechnik (10)
- Unternehmensführung (3)
- Unternehmenssoftware (236)
- Variationsrechnung (10)
- Verteilte Datenbanken (7)
- Verteilte Systeme (Netzwerke) (62)
- Vertrieb (2)
- Verwaltungsorganisation und -politik, Verwaltungslehre (4)
- Verwaltungspraxis (51)
- Verwaltungswissenschaft, Öffentliche Verwaltung (13)
- Virtuelle Maschinen, Virtualisierung (1)
- Virtuelle Realität, Erweiterte Realität (45)
- Wahlen und Volksabstimmungen (2)
- Wahrscheinlichkeitsrechnung (32)
- Wartung & Reparatur (248)
- Web Graphik & Design, Web-Publishing (4)
- Web Services (27)
- Webprogrammierung (44)
- Windows Betriebssysteme (405)
- Wirtschafts- und Sozialwissenschaften (3)
- Wirtschafts-, Arbeits- und Organisationspsychologie (1)
- Wirtschaftsinformatik (80)
- Wirtschaftspädagogik, Berufspädagogik (1)
- Wirtschaftstheorie, Wirtschaftsphilosophie (2)
- Wissenschaften: Theorie, Epistemologie, Methodik (7)
- Wissensmanagement (7)
- Wissenssoziologie, Wissenschaftssoziologie, Techniksoziologie (4)
- Zahlentheorie (19)
- Zeichen- und Zahlendarstellungen (752)
- Zentralregierung (3)
- Zuverlässigkeitstechnik (7)