| Your search for 38071 returns 458 document(s) |
| Weak bisimulation for fully probabilistic processes, (LNCS-Lecture Notes in Computer Science 1254) Hal 119-130 |
|
Author: Christel Baier; Holger Hermanns; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On the model checking problem for branching time logics and basic parallel processes, (LNCS-Lecture Notes in Computer Science 939) Hal 353-366 |
|
Author: Javier Esparza; Astrid Kiehn; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| CMMI for development, version 1.3 CMMI-DEV, V13: improving processes for developing better products and services |
|
Call Number: 005.106 8 Cmm | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Bebop to the boolean boogie: an unconventional guide to electronics fundamentals, components, and processes second ed |
|
Author: Maxfield Clive; | Call Number: 621.381 Max b | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mini-and Microcomputer Control in Industrial Processes Handbook of System and Application Strategies edited by M. Robert Skrokov |
|
Call Number: 004.14 Min | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Probabilistic systems analysis : an itroduction to probabilistic models, deciions, and applications of random processes/ Arthur M. Breipohl |
|
Author: Breipohl, Arthur M.; | Call Number: 519.2 Bre p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Introduction to the mathematical theory of control processes vol. I: linear equations and quadratic criteria/ Richard Bellman |
|
Call Number: 629.83 Bel i | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Fundamentals of computer aided analysis and design (CAA/CAD) of integrated circuits, processes and devices: a self instructional approach/ Andreas Fortino |
|
Author: Fortino, Andreas; | Call Number: 621.395 For f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Process Data Store: A Real-Time Data Store for Monitoring Business Processes (760-770) |
|
Author: Josef Schiefer
Beate List
Robert M. Bruckner; | Call Number: SEM-381 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Ontology On The Level G Of The Software Process Model MPS.BR To Assist Business Processes Modeling (404-408) |
|
Author: Alessandro Viola Pizzoleto
Hilda Carvalho de Oliveira
Celso Socorro Oliveira; | Call Number: SEM-329 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result