Model-Driven Dependability Assessment of Software Systems
This book presents cutting-edge model-driven techniques for modeling and analysis of software...
EAN: 9783662509425
Mathematics, Computer Science and Logic - A Never Ending Story
This book presents four mathematical essays which explore the foundations of mathematics and...
EAN: 9783319346823
Expert F#
This books serves asThe authoritative guide to F# by the designer of F# A comprehensive reference...
EAN: 9781484220375
Proceedings of the 2012 International Conference on Information Technology and Software Engineering
Proceedings of the 2012 International Conference on Information Technology and Software...
EAN: 9783662511848
Handbook of Neuroevolution Through Erlang
Handbook of Neuroevolution Through Erlang presents both the theory behind, and the methodology...
EAN: 9781493945887
Design Thinking Research
This book summarizes the results of Design Thinking Research carried out at Stanford University...
EAN: 9783319032900
Refinement in Z and Object-Z
This book covers data refinement and its application to Z; generalisations of refinement that...
EAN: 9781447161677
Predictive Analytics with Microsoft Azure Machine Learning 2nd Edition
Predictive Analytics with Microsoft Azure Machine Learning, Second Edition is a practical...
EAN: 9781484212011
Enterprise Architecture Patterns
Every enterprise architect faces similar problems when designing and governing the enterprise...
EAN: 9783642428944
Semantic Models for Adaptive Interactive Systems
Providing insight into methodologies for designing adaptive systems based on semantic data, and...
EAN: 9781447162384
Early Software Reliability Prediction
The methods presented in this book for assessing expected number of faults present in the...
EAN: 9788132217428
IT Project Health Checks
This book provides a proven health-check framework for evaluating the current state of IT...
EAN: 9781032217307
Learning Typescript
Learning TypeScript takes beginner to intermediate JavaScript programmers from knowing nothing...
EAN: 9781098110338
Requirements Engineering for Software and Systems
This textbook provides a comprehensive treatment of the theoretical and practical aspects of...
EAN: 9780367654528
UML Diagramming
This book uses case studies as a guide to mastering UML diagramming. After introducing UML, the...
EAN: 9781032261294
Workflow Scheduling on Computing Systems
This book will serve as a guide in understanding workflow scheduling techniques on computing...
EAN: 9781032309200
Foundations of Scalable Systems
This practical book covers design approaches and technologies that make it possible to scale an...
EAN: 9781098106065
Membrane Computing Models: Implementations
The theoretical basis of membrane computing was established in the early 2000s with fundamental...
EAN: 9789811615658
HCI in Mobility, Transport, and Automotive Systems
EAN: 9783030783570
Artificial Intelligence in Music, Sound, Art and Design
This book constitutes the refereed proceedings of the 10th European Conference on Artificial...
EAN: 9783030729134
Guide to Maritime Informatics
The emerging field of Maritime Informatics studies the application of information technology and...
EAN: 9783030618513
Building Better Interfaces for Remote Autonomous Systems
This 'Open Access' SpringerBrief provides foundational knowledge for designing autonomous,...
EAN: 9783030477745