bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Engineering

« Vorige | 1,501 - 1,510 van 3,123 | Volgende »

1501. Formal Methods, Foundations and Applications

Auteur:: Simao; Morgan, Carroll
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

1502. Formal Methods: Foundations and Applications

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

1503. Formal Methods: State of the Art and New Directions

Auteur:: Paul Boca; Boca, Paul; Bowen, Jonathan P.; Siddiqi, Jawed
Uitgever:: Springer London 2010
Type:: e-book

1504. Formal Modeling: Actors, Open Systems, Biological Systems

Auteur:: Agha, Gul; Danvy, Olivier; Kanade, Takeo; Meseguer, José
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

1505. Formal Techniques for Computer Systems and Business Processes

Auteur:: Bravetti, Mario; Kanade, Takeo; Kloul, Leïla; Zavattaro, Gianluigi
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

1506. Formal Verification of Object-Oriented Software

Auteur:: Beckert, Bernhard; Kanade, Takeo; Marché, Claude
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

1507. Formal Verification of Object-Oriented Software

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

1508. Form-Oriented Analysis

Auteur:: Draheim, Dirk; Weber, Gerald
Uitgever:: Dordrecht Springer Berlin Heidelberg 2005
Type:: e-book

1509. Foundational and Practical Aspects of Resource Analysis

Auteur:: Eekelen, Marko; Kanade, Takeo; Shkaravska, Olha; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

1510. Foundations and Practice of Security

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