|
|
1.
|
|
|
|
2.
|
|
|
|
3.
|
|
|
|
4.
|
|
|
|
5.
|
|
|
|
6.
|
|
|
|
7.
|
|
|
|
8.
|
|
|
|
9.
|
|
|
|
10.
|
Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms [electronic resource] / edited by Zhe Ma, Pol Marchal, Daniele Paolo Scarpazza, Peng Yang, Chun Wong, José Ignacio Gómez, Stefaan Himpe, Chantal Ykman- Couvreur, Francky Catthoor. by Ma, Zhe [editor.] | Marchal, Pol [editor.] | Scarpazza, Daniele Paolo [editor.] | Yang, Peng [editor.] | Wong, Chun [editor.] | Gómez, José Ignacio [editor.] | Himpe, Stefaan [editor.] | Couvreur, Chantal Ykman- [editor.] | Catthoor, Francky [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Language: English Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available :
|
|
|
11.
|
|
|
|
12.
|
|
|
|
13.
|
|
|
|
14.
|
|
|
|
15.
|
|
|
|
16.
|
|
|
|
17.
|
|
|
|
18.
|
|
|
|
19.
|
|
|
|
20.
|
|
|
|
21.
|
Computing in the 90's [electronic resource] : The First Great Lakes Computer Science Conference Kalamazoo, Michigan, USA, October 18–20, 1989 Proceedings / edited by Naveed A. Sherwani, Elise Doncker, John A. Kapenga. by Sherwani, Naveed A [editor.] | Doncker, Elise [editor.] | Kapenga, John A [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: New York, NY : Springer New York, 1991Online access: Click here to access online Availability: No items available :
|
|
|
22.
|
|
|
|
23.
|
|
|
|
24.
|
Formal Approaches to Software Testing [electronic resource] : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised Papers / edited by Alexandre Petrenko, Andreas Ulrich. by Petrenko, Alexandre [editor.] | Ulrich, Andreas [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: No items available :
|
|
|
25.
|
Agent-Oriented Software Engineering IV [electronic resource] : 4th InternationalWorkshop, AOSE 2003, Melbourne, Australia, July 15, 2003. Revised Papers / edited by Paolo Giorgini, Jörg P. Müller, James Odell. by Giorgini, Paolo [editor.] | Müller, Jörg P [editor.] | Odell, James [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: No items available :
|
