Results
|
|
181.
|
|
|
|
182.
|
|
|
|
183.
|
|
|
|
184.
|
|
|
|
185.
|
|
|
|
186.
|
Programming Languages and Systems [electronic resource] : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5502
Edition: 1st ed. 2009.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009
In:
Springer Nature eBook
Availability: No items available.
|
|
|
187.
|
|
|
|
188.
|
|
|
|
189.
|
Experimental Algorithms [electronic resource] : 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6630
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.
|
|
|
190.
|
|
|
|
191.
|
|
|
|
192.
|
|
|
|
193.
|
|
|
|
194.
|
Programs, Proofs, Processes [electronic resource] : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6158
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.
|
|
|
195.
|
Applications of Evolutionary Computing [electronic resource] : Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC / by
- Rothlauf, Franz [editor.]
- Branke, Jürgen [editor.]
- Cagnoni, Stefano [editor.]
- Corne, David W [editor.]
- Drechsler, Rolf [editor.]
- Jin, Yaochu [editor.]
- Machado, Penousal [editor.]
- Marchiori, Elena [editor.]
- Romero, Juan [editor.]
- Smith, George D [editor.]
- Squillero, Giovanni [editor.]
- SpringerLink (Online service)
Series: Theoretical Computer Science and General Issues ; 3449
Edition: 1st ed. 2005.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005
In:
Springer Nature eBook
Availability: No items available.
|
|
|
196.
|
|
|
|
197.
|
|
|
|
198.
|
|
|
|
199.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings / by Series: Theoretical Computer Science and General Issues ; 6538
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.
|
|
|
200.
|
|
