Formal Modeling and Analysis of Timed Systems
3/5
- Առաջին անգամ հրապարակվել է
- 2013
- Հրատարակիչներ
- Springer Berlin / Heidelberg
- Առարկա
- Computer simulation·System design·Machine theory
Նմանատիպ գրքեր
Topics in Algorithmic Graph Theory
Lowell W. Beineke
IOS 15 Programming Fundamentals with Swift
Matt Neuburg
Word 2019 Lists
M. L. Humphrey
IOS 13 Programming for Beginners
Ahmad Sahar
Hands-On Linux Administration on Azure
Kamesh Ganesan
Ubuntu 20. 04 Essentials
Neil Smyth
Pyramid of Game Design
Nicholas Lovell
Advancements in Computer Vision and Image Processing
Jose Garcia-Rodriguez
SAP Ariba Integration with SAP ERP
Justin Ashlock
Continuous Learning
Vanessa Hurst
ICT Systems Security and Privacy Protection
Sabrina De Capitani di Vimercati
How to Code 2. 0
Elizabeth Tweedale
Statistical fundamentals
Alfred P. Rovai
Peripheral Interaction
Saskia Bakker
Embedded Systems : Design, Analysis and Verification
Gunar Schirner
Debugging Systems-On-Chip
Bart Vermeulen
National 4 and 5 Computing Science
Walsh, John.
Spoken English on Computer
Geoffrey Leech
C++ Quick Syntax Reference
Mikael Olsson
Adobe Photoshop CS5 for Photographers
Martin Evening
JavaScript Enlightenment
Cody Lindley
Penetration Testing
IT Governance Publishing
Graph Drawing Software
Michael Jünger
Computer Facial Animation
Frederic I. Parke
Software Product Lines
Timo Käkölä
Inhabited Information Spaces
David N. Snowdon
CVPR 2004
D.C.) IEEE Computer Society Conference on Computer Vision and Pattern Recognition (2004 Washington
Agent-Oriented Software Engineering IV
Paolo Giorgini
Rest by Example
James Snell
Solving the year 2000 dilemma
Sandi Smith
A versatile authoring language for teachers
Eugene W. Romaniuk
Comprehensive Guide to Security Operations
Crystal Bedell