Zoeken

U zocht naar: Auteur Margaria-Steffen, Tiziana Filter Auteur: Margaria-Steffen, Tiziana weghalen Taal Engels Filter Taal: Engels weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. Leveraging Applications of Formal Methods
thumbnail
Full text!
Auteur:
Margaria, Tiziana; Kanade, Takeo; Margaria-Steffen, Tiziana; Steffen, Bernhard; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2006
Type:
e-book
2. SOFSEM 2015: Theory and Practice of Computer Science
thumbnail
Full text!
Auteur:
Italiano; Margaria-Steffen, Tiziana; Pokorný, Jaroslav; Quisquater, Jean-Jacques; Wattenhofer, Roger
Uitgever:
Springer Berlin Heidelberg 2015
Type:
e-book
3. Service-Oriented Computing – ICSOC 2008
thumbnail
Full text!
Auteur:
Bouguettaya, Athman; Kanade, Takeo; Krueger, Ingolf; Krüger, Ingolf H.; Margaria, Tiziana; Margaria-Steffen, Tiziana; Kittler, Josef; Krüger, Ingolf
Uitgever:
Springer Berlin Heidelberg 2008
Type:
e-book