Kategorien
Handverlesen
Verbrieft
Kafka, Kafka, Kafka
Alice Munro
Archiv
Viel besprochen
Bücherschau des Tages
Literaturbeilagen
Bücherbrief
Bücher der Saison
Bestenlisten
Ausgezeichnet
Selbst gelesen
von Marie-Luise Knott
von Thekla Dannenberg
von Peter Truschner
von Angela Schader
Wer wir sind
Datenschutz
Impressum
Gutschein
Kostenloser Newsletter
Der
Perlentaucher unter den Buchläden
Eichendorff21
Warenkorb
Einloggen oder registrieren
Genauer suchen (45 Treffer)
Filter schließen (45 Treffer)
Stichwort auswählen
Alle Stichworte
Systemsmodeling (45)
Formalmethods (13)
Modeling (13)
Verification (10)
Distributedsystems (7)
Formalspecification (6)
Java (6)
Systemsdesign (6)
Embeddedsystems (5)
Formalverification (5)
Softwaredevelopment (5)
Systemsanalysis (5)
Systemsscience (5)
Automata (4)
Modelchecking (4)
Object (4)
Ocl (4)
Programming (4)
Simulation (4)
Uml (4)
Artificialintelligence (3)
Controlandautomation (3)
Design (3)
Intelligentsystems (3)
Logic (3)
Performanceanalysis (3)
Petrinets (3)
Requirementsengineering (3)
Signalanalysis (3)
Systemmodeling (3)
Systemsandcontrol (3)
Systemsengineering (3)
Systemssecurity (3)
Unifiednguage(uml) (3)
Actionresearch (2)
Actionresearchcycle (2)
Algorithms (2)
Architecture (2)
Bioinformatics (2)
Causalloopdiagram (2)
Checkland'sfmamodel (2)
Collaborativegovernance (2)
Complexity (2)
Complexsystems (2)
Computer (2)
Computionalintelligence (2)
Concurrentsystems (2)
Cybernetics (2)
Dataanalysis (2)
Dependablecomputing (2)
Descriptionlanguages (2)
Discontinuousfunctions (2)
Enginefrictionmodel (2)
Existencetheorem (2)
Formalmethod (2)
Formalreasoning (2)
Generalsystemstheory (2)
Genericprogramming (2)
Governingnetworks (2)
Impulsefunctions (2)
Inform (2)
Jacekzurada (2)
Laplacetransform (2)
Lasercuttingtechnology (2)
Matrixoperations (2)
Middleware (2)
Modelingsystems (2)
Multi-Criteria (2)
Multilevelscales (2)
Organizationalbehavior (2)
Petrinet (2)
Phaseplaneanalysis (2)
Plasmacuttingtechnology (2)
Polyethyleneinsert (2)
Powerseriesmethods (2)
Problemstructuring (2)
Projectmanagement (2)
Rapidprototyping (2)
Real-Timesystems (2)
Relationaltheory (2)
Riskmanagement (2)
Safety-Criticalsystems (2)
Security (2)
Softsystemsthinking (2)
Softwarearchitecture (2)
Softwareengineering (2)
Systemdevelopment (2)
Systemdynamics (2)
Systemicissues (2)
Systemscompetencies (2)
Systemsdevelopment (2)
Systemsframework (2)
Systemsphilosophy (2)
Systemsresearch (2)
Umlstatecharts (2)
Unifiedmodelinglanguage (2)
Uniquenesstheorem (2)
Waterjettechnology (2)
Wearsimulation (2)
Wickedproblems (2)
Schlagwort-Sachbuch auswählen
Schlagwort Sachbuch
IT-Management (8)
Wirtschaftsmathematik und -Informatik (8)
Kybernetik und Systemtheorie (7)
Compiler und Übersetzer (6)
Software Engineering (5)
Expertensysteme (4)
Wissensbasierte Systeme (4)
Differentialrechnung und -Gleichungen (2)
Künstliche Intelligenz (2)
Netzwerk-Hardware (2)
Öffentliche Verwaltung (2)
Dv-Gestützte Biologie/bioinformatik (1)
Materialwissenschaft (1)
Mathematik für Informatiker (1)
Regelungstechnik (1)
Schaltkreise und Komponenten (bauteile) (1)
Theoretische Informatik (1)
Tribologie (reibung und Schmierung) (1)
Sprache auswählen
Sprachen
Englisch (45)
Buchform auswählen (BC=Taschenbuch,BB=Gebunden)
Formate
Taschenbuch (34)
Gebunden (11)
Nur mit
-Notizen
Auf Lager
Sortiert nach
Übereinstimmung
Neueste
Preis absteigend
Preis aufsteigend
Seitenzahl aufsteigend
Seitenzahl absteigend
Suchergebnis
Gefundene Autoren:
William A. Adkins
oder
Mark G. Davidson
oder
Kurt Jensen
oder
Lars M. Kristensen
oder
Raimundas Matulevi¿ius
eng
Complex Systems: Spanning Control and Computational Cybernetics: Foundations
Dedicated to Professor Georgi M. Dimirovski on his Anniversary
Springer International Publishing
2023
Taschenbuch
520 Seiten
160,49
€
in Kürze
eng
Shivananda R. Koteshwar / Veena S. Chakravarthi
System on Chip (SOC) Architecture
A Practical Approach
Springer Nature Switzerland
2023
Gebunden
184 Seiten
106,99
€
in Kürze
eng
André Vasconcelos / Pedro Sousa
Enterprise Architecture and Cartography
From Practice to Theory; From Representation to Design
Springer International Publishing
2022
Gebunden
340 Seiten
80,24
€
in Kürze
This textbook provides guidance to both students and practitioners of enterprise architecture (EA) on how to develop and maintain enterprise models. …
eng
Complex Systems: Spanning Control and Computational Cybernetics: Applications
Dedicated to Professor Georgi M. Dimirovski on his Anniversary
Springer International Publishing
2022
Gebunden
568 Seiten
106,99
€
in Kürze
This book, dedicated to Professor Georgi M. Dimirovski on his anniversary, contains new research directions, challenges, and many relevant applicatio…
eng
Complex Systems: Spanning Control and Computational Cybernetics: Foundations
Dedicated to Professor Georgi M. Dimirovski on his Anniversary
Springer International Publishing
2022
Gebunden
520 Seiten
160,49
€
in Kürze
eng
Enabling Collaborative Governance through Systems Modeling Methods
Public Policy Design and Implementation
Springer International Publishing
2021
Taschenbuch
368 Seiten
106,99
€
in Kürze
eng
Advances in Manufacturing Engineering and Materials II
Proceedings of the International Conference on Manufacturing Engineering and Materials (ICMEM 2020), 21¿25 June, 2021, Nový Smokovec, Slovakia
Springer International Publishing
2021
Taschenbuch
428 Seiten
213,99
€
in Kürze
This book reports on cutting-edge research and technologies in the field of advanced manufacturing and materials, with a special emphasis on unconven…
eng
Enabling Collaborative Governance through Systems Modeling Methods
Public Policy Design and Implementation
Springer International Publishing
2020
Gebunden
368 Seiten
106,99
€
in Kürze
This volume constitutes a first approximation for the use of systems approaches and dynamic performance management as tools for collaborative governa…
eng
Systems Engineering in Context
Proceedings of the 16th Annual Conference on Systems Engineering Research
Springer International Publishing
2019
Gebunden
748 Seiten
213,99
€
in Kürze
This volume chronicles the 16th Annual Conference on System Engineering Research (CSER) held on May 8-9, 2018 at the University of Virginia, Charlott…
eng
Advances in Manufacturing Engineering and Materials
Proceedings of the International Conference on Manufacturing Engineering and Materials (ICMEM 2018), 18¿22 June, 2018, Nový Smokovec, Slovakia
Springer International Publishing
2018
Taschenbuch
592 Seiten
160,49
€
in Kürze
This book reports on cutting-edge research and technologies in the field of advanced manufacturing and materials, with a special emphasis on unconven…
eng
Advances in Data Analysis with Computational Intelligence Methods
Dedicated to Professor Jacek ¿urada
Springer International Publishing
2018
Taschenbuch
432 Seiten
106,99
€
in Kürze
This book is a tribute to Professor Jacek ¿urada, who is best known for his contributions to computational intelligence and knowledge-based neurocomp…
eng
Raimundas Matulevi¿ius
Fundamentals of Secure System Modelling
Springer International Publishing
2018
Taschenbuch
240 Seiten
74,89
€
in Kürze
This book provides a coherent overview of the most important modelling-related security techniques available today, and demonstrates how to combine t…
eng
A Guide to Systems Research
Philosophy, Processes and Practice
Springer Nature Singapore
2018
Taschenbuch
260 Seiten
160,49
€
in Kürze
This guide is designed for systems researchers ¿ emerging and seasoned ¿ searching for holistic approaches of inquiry into complexity, which the Syst…
eng
Advances in Data Analysis with Computational Intelligence Methods
Dedicated to Professor Jacek ¿urada
Springer International Publishing
2017
Gebunden
432 Seiten
106,99
€
in Kürze
This book is a tribute to Professor Jacek ¿urada, who is best known for his contributions to computational intelligence and knowledge-based neurocomp…
eng
Raimundas Matulevi¿ius
Fundamentals of Secure System Modelling
Springer International Publishing
2017
Gebunden
240 Seiten
74,89
€
in Kürze
eng
A Guide to Systems Research
Philosophy, Processes and Practice
Springer Nature Singapore
2016
Gebunden
260 Seiten
160,49
€
in Kürze
This guide is designed for systems researchers ¿ emerging and seasoned ¿ searching for holistic approaches of inquiry into complexity, which the Syst…
eng
Computer Safety, Reliability, and Security
SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings
Springer International Publishing
2016
Taschenbuch
416 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of four workshops co-located with SAFECOMP 2016, the 35th International Conference on Computer Safety,…
eng
Web Services, Formal Methods, and Behavioral Types
11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
Springer International Publishing
2016
Taschenbuch
188 Seiten
44,94
€
in Kürze
This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the works…
eng
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV
Special Issue on Database- and Expert-Systems Applications
Springer Berlin Heidelberg
2016
Taschenbuch
236 Seiten
53,49
€
in Kürze
This, the 24th issue of Transactions on Large-Scale Data- and Knowledge- Centered Systems, contains extended and revised versions of seven papers pre…
eng
Mark G. Davidson / William A. Adkins
Ordinary Differential Equations
Springer New York
2015
Taschenbuch
816 Seiten
69,54
€
in Kürze
Unlike most texts in differential equations, this textbook gives an early presentation of the Laplace transform, which is then used to motivate and d…
eng
Lars M. Kristensen / Kurt Jensen
Coloured Petri Nets
Modelling and Validation of Concurrent Systems
Springer Berlin Heidelberg
2014
Taschenbuch
396 Seiten
64,19
€
in Kürze
Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurr…
eng
Mark G. Davidson / William A. Adkins
Ordinary Differential Equations
Springer New York
2012
Gebunden
816 Seiten
64,15
€
in Kürze
Unlike most texts in differential equations, this textbook gives an early presentation of the Laplace transform, which is then used to motivate and d…
eng
Rigorous Software Engineering for Service-Oriented Systems
Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
Springer Berlin Heidelberg
2011
Taschenbuch
748 Seiten
106,99
€
in Kürze
Service-Oriented Computing is a paradigm for developing and providing software that can address many IT challenges, ranging from integrating legacy s…
eng
Lars M. Kristensen / Kurt Jensen
Coloured Petri Nets
Modelling and Validation of Concurrent Systems
Springer Berlin Heidelberg
2009
Gebunden
396 Seiten
85,59
€
in Kürze
Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurr…
eng
Dependable Computing
Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings
Springer Berlin Heidelberg
2007
Taschenbuch
256 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the Third Latin-American Symposium on Dependable Computing, LADC 2007, held in Morelia, Mexico, in …
eng
SDL 2007: Design for Dependable Systems
13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings
Springer Berlin Heidelberg
2007
Taschenbuch
304 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 13th International SDL Forum, SDL 2007, held in Paris, France. The 17 revised full papers prese…
eng
Verification of Object-Oriented Software. The KeY Approach
Foreword by K. Rustan M. Leino
Springer Berlin Heidelberg
2007
Taschenbuch
692 Seiten
106,99
€
in Kürze
The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in …
eng
Satellite Events at the MoDELS 2005 Conference
MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers
Springer Berlin Heidelberg
2006
Taschenbuch
376 Seiten
53,49
€
in Kürze
The 30 revised full papers were carefully selected for inclusion in the book and are presented along with an educators's and a doctorial symposium se…
eng
Formal Modeling and Analysis of Timed Systems
Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
Springer Berlin Heidelberg
2005
Taschenbuch
320 Seiten
53,49
€
in Kürze
This volume contains the proceedings of FORMATS 2005, the Third Inter- tional Conference on Formal Modelling and Analysis of Timed Systems, held in U…
eng
Transactions on Computational Systems Biology I
Springer Berlin Heidelberg
2005
Taschenbuch
128 Seiten
53,49
€
in Kürze
Thisisthe?rstissueofanewjournaloftheLNCSjournalsubline. Theaimofthe journal is to encourage inter- and multidisciplinary research in the ?elds of c- …
eng
Tools and Algorithms for the Construction and Analysis of Systems
11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings
Springer Berlin Heidelberg
2005
Taschenbuch
612 Seiten
106,99
€
in Kürze
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that…
eng
UML Modeling Languages and Applications
<<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers
Springer Berlin Heidelberg
2005
Taschenbuch
316 Seiten
53,49
€
in Kürze
eng
Software Engineering for Multi-Agent Systems III
Research Issues and Practical Applications
Springer Berlin Heidelberg
2005
Taschenbuch
308 Seiten
53,49
€
in Kürze
This book presents a coherent and well-balanced survey of recent advances in software engineering approaches to the design and analysis of realistic …
eng
System Analysis and Modeling
4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers
Springer Berlin Heidelberg
2005
Taschenbuch
316 Seiten
53,49
€
in Kürze
message sequence charts annotated with security properties.
eng
Formal Methods in Software and Systems Modeling
Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
Springer Berlin Heidelberg
2005
Taschenbuch
448 Seiten
53,49
€
in Kürze
By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the …
eng
Systems Modeling and Simulation: Theory and Applications
Third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers
Springer Berlin Heidelberg
2005
Taschenbuch
752 Seiten
106,99
€
in Kürze
publication support from Springer.
Mehr