Results
|
|
521.
|
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.
|
|
|
522.
|
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.
|
|
|
523.
|
|
|
|
524.
|
|
|
|
525.
|
|
|
|
526.
|
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.
|
|
|
527.
|
|
|
|
528.
|
|
|
|
529.
|
Toward Autonomous, Adaptive, and Context-Aware Multimodal Interfaces. Theoretical and Practical Issues [electronic resource] : Third COST 2102 International Training School, Caserta, Italy, March 15-19, 2010, Revised Selected Papers / edited by Anna Esposito, Antonietta M. Esposito, Raffaele Martone, Vincent C. Müller, Gaetano Scarpetta. by Series: Lecture Notes in Computer Science ; 6456
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
In:
Springer eBooks
Availability: No items available.
|
|
|
530.
|
|
|
|
531.
|
Hybrid Artificial Intelligent Systems [electronic resource] : 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part I / edited by Emilio Corchado, Marek Kurzyński, Michał Woźniak. by Series: Lecture Notes in Computer Science ; 6678
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
In:
Springer eBooks
Availability: No items available.
|
|
|
532.
|
|
|
|
533.
|
|
|
|
534.
|
|
|
|
535.
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings / edited by Xavier Défago, Franck Petit, Vincent Villain. by Series: Lecture Notes in Computer Science ; 6976
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.
|
|
|
536.
|
|
|
|
537.
|
Computer Vision – ACCV 2010 [electronic resource] : 10th Asian Conference on Computer Vision, Queenstown, New Zealand, November 8-12, 2010, Revised Selected Papers, Part III / edited by Ron Kimmel, Reinhard Klette, Akihiro Sugimoto. by Series: Lecture Notes in Computer Science ; 6494
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
In:
Springer eBooks
Availability: No items available.
|
|
|
538.
|
VLSI-SoC: Technologies for Systems Integration [electronic resource] : 17th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2009, Florianópolis, Brazil, October 12-14, 2009, Revised Selected Papers / edited by Jürgen Becker, Marcelo Johann, Ricardo Reis. by Series: IFIP Advances in Information and Communication Technology ; 360
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011
In:
Springer eBooks
Availability: No items available.
|
|
|
539.
|
|
|
|
540.
|
Languages and Compilers for Parallel Computing [electronic resource] : 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers / edited by Keith Cooper, John Mellor-Crummey, Vivek Sarkar. by Series: Lecture Notes in Computer Science ; 6548
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
In:
Springer eBooks
Availability: No items available.
|