Home Advanced Search

Advanced Search - Page 1

Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings ... Programming and Software Engineering)

PDF
English
Year: 2007
Author: John Derrick, Juri Vain

Formal techniques for networked and distributed systems-- FORTE 2007: 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007: proceedings

PDF
English
Year: 2007
Author: John Derrick, Jüri Vain

Formal Techniques for Networked and Distributed Systems – FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings

PDF
English
Year: 2007
Author: Susanne Graf, Sophie Quinton (auth.), John Derrick, Jüri Vain (eds.)

System Assurances: Modeling and Management

PDF
English
Year: 2022
Author: Prashant Johri (editor), Adarsh Anand (editor), Juri Vain (editor), Jagvinder Singh (editor), Mohammad Tabrez Quasim (editor)

System Assurances: Modeling and Management (Emerging Methodologies and Applications in Modelling, Identification and Control)

EPUB
English
Author: Prashant Johri (editor), Adarsh Anand (editor), Juri Vain (editor), Jagvinder Singh (editor), Mohammad Tabrez Quasim (editor)

The New York City Bucket List - 50 Places you have to see before you leave -Updated Dec. 2013

MOBI
English
Year: 2013
Author: George Vain

The New York City Bucket List - 50 Places you have to see before you leave -Updated Dec. 2013

PDF
English
Year: 2013
Author: George Vain

The New York City Bucket List - 50 Places you have to see before you leave -Updated Dec. 2013

EPUB
English
Year: 2013
Author: George Vain

Refinement. Semantics, Languages and Applications

PDF
english
Year: 2018
Author: John Derrick, Eerke Boiten

Refinement: Semantics, Languages and Applications

PDF
English
Year: 2018
Author: John Derrick, Eerke Boiten