bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Technology

« Vorige | 1,641 - 1,650 van 5,147 | Volgende »

1641. Runtime Verification

Auteur:: Leucker, Martin; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

1642. Runtime Verification

Auteur:: Hutchison, David; Tasiran, Serdar
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

1643. Safe and Secure Software Reuse

Auteur:: Favaro, John; Morisio, Maurizio; Morisio, Maurizio
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

1644. Safety and Security in Multiagent Systems

Auteur:: Barley, Mike; Kanade, Takeo; Massacci, Fabio; Mouratidis, Haralambos; Scerri, Paul; Spears, Diana; Unruh, Amy; Gordon-Spears, Diana F.; Mouratidis, Haris
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

1645. SAT 2005

Auteur:: Giunchiglia, Enrico; Walsh, Toby; Giunchiglia, Enrico; Walsh, Toby
Uitgever:: Springer Netherlands 2006
Type:: e-book

1646. Satellite Events at the MoDELS 2005 Conference

Auteur:: Bruel, Jean-Michel; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2006
Type:: e-book

1647. S-BPM ONE - Running Processes

Auteur:: Fischer, Herbert; Schneeberger, Josef; Schneeberger, Josef
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

1648. S-BPM ONE – Setting the Stage for Subject-Oriented Business Process Management

Auteur:: Buchwald, Hagen; Fleischmann, Albert; Seese, Detlef; Buchwald, Hagen; Fleischmann, Albert; Seese, Detlef; Stary, Christian
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

1649. Scalable Uncertainty Management

Auteur:: Godo, Lluís; Kanade, Takeo; Pugliese, Andrea; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

1650. Scalable Uncertainty Management

Auteur:: Benferhat, Salem; Grant, John; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book