bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Information Technology Software Engineering

« Vorige | 261 - 270 van 634 | Volgende »

261. Language Engineering and Rigorous Software Development

Auteur:: Bove, Ana; Barbosa, Luís Soares; Kanade, Takeo; Pardo, Alberto; Pinto, Jorge Sousa
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

262. Large-Scale Complex IT Systems. Development, Operation and Management

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

263. Lean Enterprise Software and Systems

Auteur:: van der Aalst, Will; Abrahamsson, Pekka; Mylopoulos, John; Oza, Nilay; Sadeh, Norman M.
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

264. Leveraging Applications of Formal Methods, Verification and Validation

Auteur:: Tiziana Margaria, Bernhard Steffen.; Margaria, Tiziana; Steffen, Bernhard
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

265. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

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

266. Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies

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

267. Logic-Based Program Synthesis and Transformation

Auteur:: Hanus, Michael; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

268. Logic-Based Program Synthesis and Transformation

Auteur:: Alpuente, María; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

269. Logic for Programming, Artificial Intelligence, and Reasoning

Auteur:: Hutchison, David; Kanade, Takeo; Bjørner, Nikolaj; Voronkov, Andrei
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

270. Making Globally Distributed Software Development a Success Story

Auteur:: Wang, Qing; Pfahl, Dietmar; Raffo, David M.; Raffo, David Mitchell; Raffo, David
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book