Results
|
1.
|
|
|
2.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6605
Edition: 1st ed. 2011.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011
In:
Springer Nature eBook
Availability: No items available.
|
|
3.
|
|
|
4.
|
|
|
5.
|
|
|
6.
|
|
|
7.
|
|
|
8.
|
Fundamental Approaches to Software Engineering [electronic resource] : 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7212
Edition: 1st ed. 2012.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer Nature eBook
Availability: No items available.
|
|
9.
|
Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 6198
Edition: 1st ed. 2010.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010
In:
Springer Nature eBook
Availability: No items available.
|
|
10.
|
|
|
11.
|
|
|
12.
|
|
|
13.
|
Euro-Par 2009, Parallel Processing - Workshops [electronic resource] : HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops / by Series: Theoretical Computer Science and General Issues ; 6043
Edition: 1st ed. 2010.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010
In:
Springer Nature eBook
Availability: No items available.
|
|
14.
|
Euro-Par 2011: Parallel Processing Workshops [electronic resource] : CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 -- September 2, 2011, Revised Selected Papers, Part I / by
- Alexander, Michael [editor.]
- D'Ambra, Pasqua [editor.]
- Belloum, Adam [editor.]
- Bosilca, George [editor.]
- Cannataro, Mario [editor.]
- Danelutto, Marco [editor.]
- Di Martino, Beniamino [editor.]
- Gerndt, Michael [editor.]
- Jeannot, Emmanuel [editor.]
- Namyst, Raymond [editor.]
- Roman, Jean [editor.]
- Scott, Stephen L [editor.]
- Traff, Jesper Larsson [editor.]
- Vallee, Geoffroy [editor.]
- Weidendorfer, Josef [editor.]
- SpringerLink (Online service)
Series: Theoretical Computer Science and General Issues ; 7155
Edition: 1st ed. 2012.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer Nature eBook
Availability: No items available.
|
|
15.
|
|
|
16.
|
|
|
17.
|
Applications of Evolutionary Computing [electronic resource] : EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006, Proceedings / by
- Rothlauf, Franz [editor.]
- Branke, Jürgen [editor.]
- Cagnoni, Stefano [editor.]
- Costa, Ernesto [editor.]
- Cotta, Carlos [editor.]
- Drechsler, Rolf [editor.]
- Lutton, Evelyne [editor.]
- Machado, Penousal [editor.]
- Moore, Jason H [editor.]
- Romero, Juan [editor.]
- Smith, George D [editor.]
- Squillero, Giovanni [editor.]
- Takagi, Hideyuki [editor.]
- SpringerLink (Online service)
Series: Theoretical Computer Science and General Issues ; 3907
Edition: 1st ed. 2006.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006
In:
Springer Nature eBook
Availability: No items available.
|
|
18.
|
|
|
19.
|
|
|
20.
|
|