Results
|
|
1.
|
|
|
|
2.
|
|
|
|
3.
|
|
|
|
4.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 2988
Edition: 1st ed. 2004.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004
In:
Springer Nature eBook
Availability: No items available.
|
|
|
5.
|
|
|
|
6.
|
|
|
|
7.
|
|
|
|
8.
|
|
|
|
9.
|
|
|
|
10.
|
|
|
|
11.
|
|
|
|
12.
|
|
|
|
13.
|
|
|
|
14.
|
|
|
|
15.
|
|
|
|
16.
|
|
|
|
17.
|
|
|
|
18.
|
Parallel Problem Solving from Nature - PPSN VIII [electronic resource] : 8th International Conference, Birmingham, UK, September 18-22, 2004, Proceedings / by
- Yao, Xin [editor.]
- Burke, Edmund [editor.]
- Lozano, Jose A [editor.]
- Smith, Jim [editor.]
- Merelo-Guervós, Juan J [editor.]
- Bullinaria, John A [editor.]
- Rowe, Jonathan [editor.]
- Tino, Peter [editor.]
- Kabán, Ata [editor.]
- Schwefel, Hans-Paul [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 3242
Edition: 1st ed. 2004.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004
In:
Springer Nature eBook
Availability: No items available.
|
|
|
19.
|
|
|
|
20.
|
|
