bib.howest.be Zoekresultaten

U zocht naar: Auteur David

« Vorige | 2,691 - 2,700 van 4,957 | Volgende »

2691. Forgiveness and Health

Auteur:: Toussaint, Loren L.; Williams, David R.; Worthington, Everett
Uitgever:: Springer Netherlands 2015
Type:: e-book

2692. Formal Aspects of Component Software

Auteur:: Hutchison, David; Kanade, Takeo; Kittler, Josef; Lumpe, Markus
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

2693. Formal Aspects of Security and Trust

Auteur:: Hutchison, David; Kanade, Takeo; Datta, Anupam; Etalle, Sandro
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

2694. Formal Concept Analysis

Auteur:: Hutchison, David; Kanade, Takeo; Ignatov, Dmitry; Poelmans, Jonas
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

2695. Formal Methods and Software Engineering

Auteur:: Hutchison, David; Kanade, Takeo; Kittler, Josef; Taguchi, Kenji
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

2696. Formal Methods for Industrial Critical Systems

Auteur:: Hutchison, David; Kanade, Takeo; Pinger, Ralf; Stoelinga, Mariëlle
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

2697. Formal Methods for Model-Driven Engineering

Auteur:: Hutchison, David; Kanade, Takeo; Cortellessa, Vittorio; Pierantonio, Alfonso
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

2698. Formal Modeling and Analysis of Timed Systems

Auteur:: Hutchison, David; Kanade, Takeo; Kittler, Josef; Nickovic, Dejan
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

2699. Formal Techniques for Distributed Systems

Auteur:: Hutchison, David; Kanade, Takeo; Kittler, Josef; Rosu, Grigore
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

2700. Formal Verification of Object-Oriented Software

Auteur:: Hutchison, David; Kanade, Takeo; Damiani, Ferruccio; Gurov, Dilian
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book