Zoeken

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

Zoekresultaten

291. Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
thumbnail
Full text!
Auteur:
Hutchison, David; Kanade, Takeo; Kittler, Josef; Steffen, Bernhard
Uitgever:
Springer Berlin Heidelberg 2012
Type:
e-book
292. Leveraging Applications of Formal Methods, Verification and Validation
thumbnail
Full text!
Auteur:
Tiziana Margaria, Bernhard Steffen.; Margaria, Tiziana; Steffen, Bernhard
Uitgever:
Springer Berlin Heidelberg 2008
Type:
e-book
293. Logic-Based Program Synthesis and Transformation
thumbnail
Full text!
Auteur:
Hanus, Michael; Kanade, Takeo; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2009
Type:
e-book
294. Logic-Based Program Synthesis and Transformation
thumbnail
Full text!
Auteur:
Alpuente, María; Kanade, Takeo; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2011
Type:
e-book
295. Logic for Programming, Artificial Intelligence, and Reasoning
thumbnail
Full text!
Auteur:
Hutchison, David; Kanade, Takeo; Bjørner, Nikolaj; Voronkov, Andrei
Uitgever:
Springer Berlin Heidelberg 2012
Type:
e-book
296. Making Globally Distributed Software Development a Success Story
thumbnail
Full text!
Auteur:
Wang, Qing; Pfahl, Dietmar; Raffo, David M.; Raffo, David Mitchell; Raffo, David
Uitgever:
Springer Berlin Heidelberg 2008
Type:
e-book
297. Managing Requirements Knowledge
thumbnail
Full text!
Auteur:
Maalej, Walid; Thurimella, Anil Kumar
Uitgever:
Springer Berlin Heidelberg 2013
Type:
e-book
298. Mathematical and Engineering Methods in Computer Science
thumbnail
Full text!
Auteur:
Hutchison, David; Kanade, Takeo; Antos, David; Henzinger, Thomas A.; Nesetřil, Jaroslav; Vojnar, Tomás
Uitgever:
Springer Berlin Heidelberg 2013
Type:
e-book
299. Mathematical Approaches to Software Quality
thumbnail
Full text!
Auteur:
O'Regan, Gerard
Uitgever:
Springer London 2006
Type:
e-book
300. Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
thumbnail
Full text!
Auteur:
Müller-Clostermann, Bruno; Echtle, Klaus; Kanade, Takeo; Rathgeb, Erwin P.
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book