Kategorien
Handverlesen
Japanische Literatur
Bücher über Grönland
Pinguin-Bücher
Archiv
Viel besprochen
Bücherschau des Tages
Literaturbeilagen
Bücherbrief
Bücher der Saison
Bestenlisten
Ausgezeichnet
Selbst gelesen
von
von Marie-Luise Knott
von Thekla Dannenberg
von Peter Truschner
Wer wir sind
Datenschutz
Impressum
Gutschein
Kostenloser Newsletter
Der
Perlentaucher unter den Buchläden
Eichendorff21
Warenkorb
Einloggen oder registrieren
Genauer suchen (6 Treffer)
Filter schließen (6 Treffer)
Stichwort
Alle Stichworte
Formalmethods (6)
Distributedsystems (2)
Modelchecking (2)
Softwareengineering (2)
Verification (2)
Algorithms (1)
Artificialintelligence (1)
Automata (1)
Automatatheory (1)
Automotivesystems (1)
Autonomoussystems (1)
Blockchain (1)
Byzantinefaulttolerance (1)
Calculus (1)
Causalanalysis (1)
Codingtheory (1)
Concurrency (1)
Cryptography (1)
Deeplearning (1)
Discretemathematics (1)
Distributedcomputing (1)
Distributedprogramming (1)
Embeddedsystems (1)
Energyconsumption (1)
Federatedlearning (1)
Finite-Statemachines (1)
Formaltestingmethods (1)
Forward-Forwardalgorithm (1)
Graphgrammars (1)
Graphtheory (1)
Grouptheoryandringtheory (1)
Hardwareverification (1)
Historyofmathematics (1)
Hybridsystems (1)
Imageprocessing (1)
Intelligentagents (1)
Invariantlearning (1)
Iotapplications (1)
Machinelearning (1)
Maintainingsoftware (1)
Matrixtheory (1)
Mobileagents (1)
Model-Basedtesting (1)
Neuralnetworks (1)
Numbertheory (1)
Objectrecognition (1)
Patternformation (1)
Probabilityandstatistics (1)
Processcalculi (1)
Railwaycontrolsystems (1)
Reactiveprogramming (1)
Reactivesystems (1)
Reversibility (1)
Runtimeverification(rv) (1)
Safety-Criticalsystems (1)
Sharding (1)
Softwaredefectanalysis (1)
Softwarereliability (1)
Softwaretesting (1)
Softwareverification (1)
Systemssecurity (1)
Systemsverification (1)
Testing (1)
Time-Varyinggraphs (1)
Uml (1)
Zspecificationlanguage (1)
Sachbuch
Schlagwort Sachbuch
Netzwerk-Hardware (3)
Angewandte Informatik (1)
Compiler und Übersetzer (1)
Informationstheorie (1)
Sprache
Sprachen
Englisch (6)
Buchform
Formate
Taschenbuch (5)
Gebunden (1)
Nur mit
-Notizen
Auf Lager
ähnliche Begriffe
Standardsortierung
Neueste
Preis absteigend
Preis aufsteigend
Seitenzahl aufsteigend
Seitenzahl absteigend
Suchergebnis
eng
Components Operationally: Reversibility and System Engineering
Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday
Palgrave Macmillan
2025
Taschenbuch
248 Seiten
62,05
€
Auf Lager
eng
Engineering of Complex Computer Systems
29th International Conference, ICECCS 2025, Hangzhou, China, July 2-4, 2025, Proceedings
Springer
2025
Taschenbuch
536 Seiten
139,09
€
Auf Lager
eng
Networked Systems
13th International Conference, NETYS 2025, Rabat, Morocco, May 21-23, 2025, Proceedings
Springer
2025
Taschenbuch
284 Seiten
160,49
€
Auf Lager
eng
Formal Methods for Industrial Critical Systems
30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings
Springer
2025
Taschenbuch
308 Seiten
62,05
€
Auf Lager
eng
Gerard O'Regan
Mathematics in Computing
An Accessible Guide to Historical, Foundational and Application Contexts
Springer
2012
Gebunden
308 Seiten
64,19
€
in Kürze
This clearly written and enlightening textbook provides a concise, introductory guide to the key mathematical concepts and techniques used by compute…
eng
Model-Based Testing of Reactive Systems
Advanced Lectures
Springer
2005
Taschenbuch
652 Seiten
53,49
€
Auf Lager