Results
|
|
561.
|
|
|
|
562.
|
|
|
|
563.
|
|
|
|
564.
|
|
|
|
565.
|
|
|
|
566.
|
|
|
|
567.
|
|
|
|
568.
|
|
|
|
569.
|
|
|
|
570.
|
|
|
|
571.
|
|
|
|
572.
|
|
|
|
573.
|
|
|
|
574.
|
|
|
|
575.
|
Genetic Programming [electronic resource] : 14th European Conference, EuroGP 2011, Torino, Italy, April 27-29, 2011. Proceedings / edited by Sara Silva, James A. Foster, Miguel Nicolau, Penousal Machado, Mario Giacobini. by Series: Lecture Notes in Computer Science ; 6621
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
In:
Springer eBooks
Availability: No items available.
|
|
|
576.
|
Advances in Computer Science, Environment, Ecoinformatics, and Education [electronic resource] : International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part I / edited by Song Lin, Xiong Huang. by Series: Communications in Computer and Information Science ; 214
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
In:
Springer eBooks
Availability: No items available.
|
|
|
577.
|
On the Move to Meaningful Internet Systems: OTM 2011 [electronic resource] : Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part I / edited by Robert Meersman, Tharam Dillon, Pilar Herrero, Akhil Kumar, Manfred Reichert, Li Qing, Beng-Chin Ooi, Ernesto Damiani, Douglas C. Schmidt, Jules White, Manfred Hauswirth, Pascal Hitzler, Mukesh Mohania. by
- Meersman, Robert
- Dillon, Tharam
- Herrero, Pilar
- Kumar, Akhil
- Reichert, Manfred
- Qing, Li
- Ooi, Beng-Chin
- Damiani, Ernesto
- Schmidt, Douglas C
- White, Jules
- Hauswirth, Manfred
- Hitzler, Pascal
- Mohania, Mukesh
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7044
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
In:
Springer eBooks
Availability: No items available.
|
|
|
578.
|
|
|
|
579.
|
|
|
|
580.
|
Interactive Theorem Proving [electronic resource] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings / edited by Marko Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk. by Series: Lecture Notes in Computer Science ; 6898
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
In:
Springer eBooks
Availability: No items available.
|