Results
|
|
1041.
|
Theoretical and Practical Aspects of SPIN Model Checking [electronic resource] : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1680
Edition: 1st ed. 1999.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1042.
|
|
|
|
1043.
|
|
|
|
1044.
|
|
|
|
1045.
|
|
|
|
1046.
|
|
|
|
1047.
|
|
|
|
1048.
|
Applications of Evolutionary Computing [electronic resource] : EvoWorkshop 2003: EvoBIO, EvoCOP, EvoIASP, EvoMUSART, EvoROB, and EvoSTIM, Essex, UK, April 14-16, 2003, Proceedings / by
- Raidl, Günther [editor.]
- Cagnoni, Stefano [editor.]
- Cardalda, Juan J. Romero [editor.]
- Corne, David W [editor.]
- Gottlieb, Jens [editor.]
- Guillot, Agnes [editor.]
- Hart, Emma [editor.]
- Johnson, Colin G [editor.]
- Marchiori, Elena [editor.]
- Meyer, Jean-Arcady [editor.]
- Middendorf, Martin [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 2611
Edition: 1st ed. 2003.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1049.
|
|
|
|
1050.
|
|
|
|
1051.
|
|
|
|
1052.
|
|
|
|
1053.
|
|
|
|
1054.
|
|
|
|
1055.
|
|
|
|
1056.
|
|
|
|
1057.
|
|
|
|
1058.
|
|
|
|
1059.
|
|
|
|
1060.
|
|
