Mega Collection of computer science and programming related books Formal methods Bowman Gomez Concurrency Theory Calculi an Automata for Modelling Untimed and Timed Concurrent Systems Springer 2005 ISBN 9781852338954 444s CsAl pdf

Mega Collection of computer science and programming related books
Formal methods Bowman Gomez Concurrency Theory Calculi an Automata for Modelling Untimed and Timed Concurrent Systems Springer 2005 ISBN 9781852338954 444s CsAl pdf

Name	Mega Collection of computer science and programming related books	DOWNLOAD Copy Link Trouble downloading? see How To
Total Size	5.4 GB
Total Files	1323
Last Seen	2025-06-21 23:39
Hash	8CD8C7BECEDCE94F0EA833013012B4EA0A9C19B8

/Formal methods/Bowman H., Gomez R. Concurrency Theory.. Calculi an Automata for Modelling Untimed and Timed Concurrent Systems (Springer, 2005)(ISBN 9781852338954)(444s)_CsAl_.pdf	1.7 MB
/Formal methods/Dastani M., Hindriks K.V., Meyer J.C. (eds.) Specification and Verification of Multi-agent Systems (Springer, 2011)(ISBN 9781441969842)(O)(416s)_CsAl_.pdf	3.7 MB
/Formal methods/Ito M., et al. (eds.) Automata, formal languages and algebraic systems (WS, 2010)(ISBN 9814317608)(O)(247s)_CsAl_.pdf	1.7 MB
/Formal methods/Apt K.R., de Boer F.S., Olderog E.-R. (eds.) Verification of sequential and concurrent programs (3ed., Springer, 2010)(ISBN 9781848827455)(O)(524s)_CsAl_.pdf	2.2 MB
/Formal methods/Gabbar H.A. (eds.) Modern Formal Methods and Applications (Springer, 2006)(ISBN 9781402042232)(216s)_CsPl_.pdf	1.7 MB
/Formal methods/Jay B. Pattern Calculus.. computing with patterns and structures (Springer, 2009)(ISBN 3540891846)(O)(213s)_CsAl_.pdf	1.1 MB
/Formal methods/Droste M., Kuich W., Vogler H. (eds.) Handbook of weighted automata (Springer, 2009)(ISBN 3642014917)(O)(610s)_CsAl_.pdf	4.2 MB
/Formal methods/Platzer A. Logical Analysis of Hybrid Systems.. Proving Theorems for Complex Dynamics (Springer, 2010)(ISBN 9783642145087)(O)(457s)_CsAl_.pdf	2.7 MB
/Formal methods/Grumberg O. Formal Logical Methods for System Security and Correctness (IOS Press, 2008)(ISBN 9781586038434)(O)(332s)_CsAl_.pdf	1.8 MB
/Formal methods/Alexander M., Gardner W. Process algebra for parallel and distributed processing (CRC, 2009)(ISBN 142006486X)(440s)_CsAl_.pdf	3.7 MB
/Formal methods/Aldini A., Bernardo M., Corradini F. A process algebraic approach to software architecture design (Springer, 2009)(ISBN 184800222X)(O)(321s)_CsAl_.pdf	2.6 MB
/Algorithms/Melin P., et al. (eds.) Soft computing for recognition based on biometrics (Springer, 2010)(ISBN 3642151108)(O)(444s)_CsAl_.pdf	13.5 MB
/Algorithms/Rauber T., Runger G. Parallel programming.. for multicore and cluster systems (Springer, 2010)(ISBN 364204817X)(O)(463s)_CsAl_.pdf	6.2 MB
/Computer science/AI/Camastra F., Vinciarelli A. Machine learning for audio, image and video analysis (Springer, 2008)(ISBN 1848000065)(O)(484s)_CsAi_.pdf	4.3 MB
/Formal methods/Baeten J., Basten T., Reniers M. Process algebra.. Equational theories of communicating processes (CUP, 2010)(ISBN 0521820499)(O)(478s)_CsAl_.pdf	1.6 MB
Showing first 15 files of 1323 total files