bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Software

« Vorige | 281 - 290 van 666 | Volgende »

281. Integrated Formal Methods

Auteur:: Hutchison, David; Kanade, Takeo; Gnesi, Stefania; Latella, Diego; Treharne, Helen
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

282. Intentional Perspectives on Information Systems Engineering

Auteur:: Selmin Nurcan; Nurcan, Selmin; Salinesi, Camille; Ralyté, Jolita; Souveyet, Carine
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

283. Introduction to Software Process Improvement

Auteur:: O'Regan, Gerard
Uitgever:: Springer London 2011
Type:: e-book

284. Java Methods for Financial Engineering

Auteur:: Barker, Philip
Uitgever:: Springer London 2007
Type:: e-book

285. Job Scheduling Strategies for Parallel Processing

Auteur:: Frachtenberg, Eitan; Kanade, Takeo; Schwiegelshohn, Uwe; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

286. Job Scheduling Strategies for Parallel Processing

Auteur:: Hutchison, David; Kanade, Takeo; Desai, Narayan; Frachtenberg, Eitan; Schwiegelshohn, Uwe
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

287. 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

288. 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

289. 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

290. 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