Zoeken

U zocht naar: Onderwerp Software Filter Onderwerp: Software weghalen
| 231 - 240 van 666 |
Aantal zoekresultaten per pagina

Zoekresultaten

231. Formal Modeling: Actors, Open Systems, Biological Systems
thumbnail
Full text!
Auteur:
Agha, Gul; Danvy, Olivier; Kanade, Takeo; Meseguer, José
Uitgever:
Springer Berlin Heidelberg 2011
Type:
e-book
232. Formal Techniques for Computer Systems and Business Processes
thumbnail
Full text!
Auteur:
Bravetti, Mario; Kanade, Takeo; Kloul, Leïla; Zavattaro, Gianluigi
Uitgever:
Springer Berlin / Heidelberg 2005
Type:
e-book
233. Formal Verification of Object-Oriented Software
thumbnail
Full text!
Auteur:
Beckert, Bernhard; Kanade, Takeo; Marché, Claude
Uitgever:
Springer Berlin Heidelberg 2011
Type:
e-book
234. Formal Verification of Object-Oriented Software
thumbnail
Full text!
Auteur:
Hutchison, David; Kanade, Takeo; Damiani, Ferruccio; Gurov, Dilian
Uitgever:
Springer Berlin Heidelberg 2012
Type:
e-book
235. Form-Oriented Analysis
thumbnail
Full text!
Auteur:
Draheim, Dirk; Weber, Gerald
Uitgever:
Dordrecht Springer Berlin Heidelberg 2005
Type:
e-book
236. Foundational and Practical Aspects of Resource Analysis
thumbnail
Full text!
Auteur:
Eekelen, Marko; Kanade, Takeo; Shkaravska, Olha; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book
237. Foundations and Practice of Security
thumbnail
Full text!
Auteur:
Hutchison, David; Kanade, Takeo; Kittler, Josef; Tawbi, Nadia; Cuppens, Frederic; Cuppens-Boulahia, Nora; Miri, Ali; Tawbi, Nadia
Uitgever:
Springer Berlin Heidelberg 2013
Type:
e-book
238. Foundations of Computer Software. Future Trends and Techniques for Development
thumbnail
Full text!
Auteur:
Choppy, Christine; Kanade, Takeo; Sokolsky, Oleg; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book
239. Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems
thumbnail
Full text!
Auteur:
Calinescu, Radu; Jackson, Ethan; Kanade, Takeo; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2011
Type:
e-book
240. Foundations of Health Information Engineering and Systems
thumbnail
Full text!
Auteur:
Weber, Jens; Perseil, Isabelle; Perseil, Isabelle
Uitgever:
Springer Berlin Heidelberg 2013
Type:
e-book