bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Information Technology Software Engineering

« Vorige | 561 - 570 van 634 | Volgende »

561. Verified Software: Theories, Tools, Experiments

Auteur:: Hutchison, David; Kanade, Takeo; Müller, Peter; Podelski, Andreas
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

562. Web Engineering

Auteur:: Mendes, Emilia; Mosley, Nile
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

563. Web Services and Formal Methods

Auteur:: Bravetti, Mario; Kanade, Takeo; Nau?nez, Manuel; Núñez, Manuel; Zavattaro, Gianluigi
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

564. Web Services and Formal Methods

Auteur:: Dumas, Marlon; Heckel, Reiko
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

565. ZB 2005: Formal Specification and Development in Z and B

Auteur:: Treharne, Helen; Henson, Martin; Kanade, Takeo; King, Steve; Schneider, Steve
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

566. Innovations in Systems and Software Engineering

Full text!

Uitgever:: London Hybrid
Type:: tijdschrift

567. Android Essentials

Auteur:: Haseman, Chris
Uitgever:: Apress 2008
Type:: e-book

568. The Best Software Writing I

Auteur:: Joel Spolsky (ed); Arnold, Ken; Spolsky, Joel
Uitgever:: Apress 2005
Type:: e-book

569. Proceedings of the 11th international conference on Functional and Logic Programming

Auteur:: Hutchison, David; Association for Computing Machinery-Digital Library.; Kanade, Takeo; Kittler, Josef; Thiemann, Peter
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

570. Proceedings of the 12th international conference on Reliable software technologies

Auteur:: Abdennahder, Nabil; Ada-Europe (Organization); Association for Computing Machinery-Digital Library.; Abdennadher, Nabil; Kanade, Takeo; Kordon, Fabrice; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book