English
Deutsch
Français
简体中文
繁體中文
Categories
-- Database/SQL
-- Multimedia
-- Internet/Networking
-- Operating System
-- Programming
-- Security/Hacking
-- Science/Engineering
-- Web/HTML/CSS/Ajax
-- Unix/Linux
-- Windows
-- Mac OS X
-- Office
-- Perl/PHP/Python
-- C/C++/C#
-- .NET
-- Java
-- Hardware
-- Game Development
-- Embedded Systems
-- Graphics and Design
-- Network Programming
Study
Novel
Nonfiction
Health
Tutorial
Entertainment
Business
Magazine
Arts & Design
Audiobooks & Video Training
Cultures & Languages
Family & Home
Law & Politics
Lyrics & Music
Software Related
eBook Torrents
Uncategorized
Share With Friends
Archive by Date
2012-08-05
2012-08-04
2012-08-03
2012-08-02
2012-08-01
2012-07-31
2012-07-30
2012-07-29
2012-07-28
Search Tag
Newest
Introduction to Programming with Fortran: with coverage of Fortran 90, 95, 2003 and 77
Introduction to Programming with Fortran - with coverage of Fortran 90, 95, 2003 and 77
MATLAB - Modelling, Programming and Simulations
-MATLAB: Modelling, Programming and Simulations- ed. by Emilson Pereira Leite (Repost)
Introduction to Programming with Fortran: with coverage of Fortran 90, 95, 2003 and 77 [Repost]
An Introduction to Programming and Numerical Methods in MATLAB [Repost]
"MATLAB: Modelling, Programming and Simulations" ed. by Emilson Pereira Leite (Repost)
Programming Social Applications: Building Viral Experiences with OpenSocial, OAuth, OpenID, and Distributed Web... (repost)
MATLAB Programming for Engineers (2nd edition) [Repost]
Sriranga Veeraraghavan, "Sams Teach Yourself Shell Programming in 24 Hours" (Repost)
Programming Computer Vision with Python - Tools and algorithms for analyzing images
Matlab: A Practical Introduction to Programming and Problem Solving (2nd edition) [Repost]
ECOOP 2011 - Object-Oriented Programming
Mobile JavaScript Application Development - Bringing Web Programming to Mobile Devices [Paperback]
Concurrent Programming on Windows (repost)
Expert WSS 3.0 and MOSS 2007 Programming (repost)
Embedded Software Design and Programming of Multiprocessor System-on-Chip (repost)
OpenCV 2 Computer Vision Application Programming Cookbook
Programming Computer Vision with Python: Tools and algorithms for analyzing images
Useful Links
Programming Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th
Posted on 2010-03-15
|  |
More Cliff B. Jones, Zhiming Liu, Jim Woodcock "Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays " Mirror: mirror will come - please be patient!
Rating:
2.5 out of 5 by Book123 |
| Download Links | |
| Server | Status |
|---|---|
| Direct Download Link 1 | Alive |
| Direct Download Link 2 | Alive |
| Download Link (Download Link 1) | Alive |
|
Buy This Book at Best Price >> | |
Related Articles
 | Numerical Methods Real-Time and Embedded Systems Programming
|
 | Science/Engineering Real-Time Systems: Formal Specification and Automatic Verification Real-Time Systems: Formal Specification and Automatic VerificationCambridge University Press | ISBN: 0521883334 | 2008-10-06 | PDF | 344 pages | 6 Mb Real-time systems need to react to certain input stimuli within given time bounds. For exa ... |
 | Programming Theory Is Forever: Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday Juhani Karhumäki, Hermann Maurer, Gheorghe Paun, Grzegorz Rozenberg, "Theory Is Forever: Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday" Springer | 2004-08-17 | ISBN: 3540223932 | 283 pages | PDF | 4,4 MB This co ... |
 | Science/Engineering Numerical Methods Real Time and Embedded Systems Programming Don Morgan, "Numerical Methods Real Time and Embedded Systems Programming"M & T Books | 2004-05 | ISBN: 1558512322 | 512 pages | PDF | 1.0 MBDetails: amazon.com 1.0 MB, PDFOROR |
 | Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Programming and Software Engineering) Publisher: Springer | ISBN: 3540249362 | ed ... |
 | Science/Engineering HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems (Real-Time Safety Critical Systems) HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems (Real-Time Safety Critical Systems) Publisher: Elsevier Science | ISBN: 0444821643 | edition 1995 | PDF | 330 pages | 8,9 mb The increasing use of computers for real-time ... |
Comments (0)
