|
|
15161.
|
Programming Languages and Systems [electronic resource] : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings / edited by Kazunori Ueda.
by Ueda, Kazunori [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
15162.
|
Verification, Induction, Termination Analysis [electronic resource] : Festschrift for Christoph Walther on the Occasion of His 60th Birthday / edited by Simon Siegler, Nathan Wasser.
by Siegler, Simon [editor.] | Wasser, Nathan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
15163.
|
From Active Data Management to Event-Based Systems and More [electronic resource] : Papers in Honor of Alejandro Buchmann on the Occasion of His 60th Birthday / edited by Kai Sachs, Ilia Petrov, Pablo Guerrero.
by Sachs, Kai [editor.] | Petrov, Ilia [editor.] | Guerrero, Pablo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
15164.
|
Architecting Dependable Systems VII [electronic resource] / edited by Antonio Casimiro, Rogério Lemos, Cristina Gacek.
by Casimiro, Antonio [editor.] | Lemos, Rogério [editor.] | Gacek, Cristina [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
15165.
|
Social Robotics [electronic resource] : Second International Conference on Social Robotics, ICSR 2010, Singapore, November 23-24, 2010. Proceedings / edited by Shuzhi Sam Ge, Haizhou Li, John-John Cabibihan, Yeow Kee Tan.
by Ge, Shuzhi Sam [editor.] | Li, Haizhou [editor.] | Cabibihan, John-John [editor.] | Tan, Yeow Kee [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
15166.
|
Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings / edited by Noriaki Ando, Stephen Balakirsky, Thomas Hemker, Monica Reggiani, Oskar Stryk.
by Ando, Noriaki [editor.] | Balakirsky, Stephen [editor.] | Hemker, Thomas [editor.] | Reggiani, Monica [editor.] | Stryk, Oskar [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
15167.
|
Graph Transformations and Model-Driven Engineering [electronic resource] : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday / edited by Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel.
by Engels, Gregor [editor.] | Lewerentz, Claus [editor.] | Schäfer, Wilhelm [editor.] | Schürr, Andy [editor.] | Westfechtel, Bernhard [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
15168.
|
Service-Oriented Computing [electronic resource] : 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings / edited by Paul P. Maglio, Mathias Weske, Jian Yang, Marcelo Fantinato.
by Maglio, Paul P [editor.] | Weske, Mathias [editor.] | Yang, Jian [editor.] | Fantinato, Marcelo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
15169.
|
Transactions on Computational Science X [electronic resource] : Special Issue on Security in Computing, Part I / edited by Marina L. Gavrilova, C. J. Kenneth Tan, Edward David Moreno.
by Gavrilova, Marina L [editor.] | Tan, C. J. Kenneth [editor.] | Moreno, Edward David [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
15170.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers / edited by Edmund M. Clarke, Andrei Voronkov.
by Clarke, Edmund M [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
15171.
|
Real-World Wireless Sensor Networks [electronic resource] : 4th International Workshop, REALWSN 2010, Colombo, Sri Lanka, December 16-17, 2010. Proceedings / edited by Pedro J. Marron, Thiemo Voigt, Peter Corke, Luca Mottola.
by Marron, Pedro J [editor.] | Voigt, Thiemo [editor.] | Corke, Peter [editor.] | Mottola, Luca [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
15172.
|
Sanskrit Computational Linguistics [electronic resource] : 4th International Symposium, New Delhi, India, December 10-12, 2010. Proceedings / edited by Girish Nath Jha.
by Jha, Girish Nath [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
15173.
|
Intelligent Video Event Analysis and Understanding [electronic resource] / edited by Jianguo Zhang, Ling Shao, Lei Zhang, Graeme A. Jones.
by Zhang, Jianguo [editor.] | Shao, Ling [editor.] | Zhang, Lei [editor.] | Jones, Graeme A [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
15174.
|
Mining of Data with Complex Structures [electronic resource] / by Fedja Hadzic, Henry Tan, Tharam S. Dillon.
by Hadzic, Fedja [author.] | Tan, Henry [author.] | Dillon, Tharam S [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
15175.
|
Future Generation Information Technology [electronic resource] : Second International Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings / edited by Tai-hoon Kim, Young-hoon Lee, Byeong-Ho Kang, Dominik Ślęzak.
by Kim, Tai-hoon [editor.] | Lee, Young-hoon [editor.] | Kang, Byeong-Ho [editor.] | Ślęzak, Dominik [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
15176.
|
Internet and Network Economics [electronic resource] : 6th International Workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010. Proceedings / edited by Amin Saberi.
by Saberi, Amin [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
15177.
|
Advances in Software Engineering [electronic resource] : International Conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings / edited by Tai-hoon Kim, Haeng-Kon Kim, Muhammad Khurram Khan, Akingbehin Kiumi, Wai-chi Fang, Dominik Ślęzak.
by Kim, Tai-hoon [editor.] | Kim, Haeng-Kon [editor.] | Khan, Muhammad Khurram [editor.] | Kiumi, Akingbehin [editor.] | Fang, Wai-chi [editor.] | Ślęzak, Dominik [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
15178.
|
Communication and Networking [electronic resource] : International Conference, FGCN 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings, Part I / edited by Tai-hoon Kim, Alan Chin-Chen Chang, MingChu Li, Chunming Rong, Charalampos Z. Patrikakis, Dominik Ślęzak.
by Kim, Tai-hoon [editor.] | Chang, Alan Chin-Chen [editor.] | Li, MingChu [editor.] | Rong, Chunming [editor.] | Patrikakis, Charalampos Z [editor.] | Ślęzak, Dominik [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
15179.
|
Biodegradable Poly(Lactic Acid): Synthesis, Modification, Processing and Applications [electronic resource] / by Jie Ren.
by Ren, Jie [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
15180.
|
Service Research Challenges and Solutions for the Future Internet [electronic resource] : S-Cube – Towards Engineering, Managing and Adapting Service-Based Systems / edited by Mike P. Papazoglou, Klaus Pohl, Michael Parkin, Andreas Metzger.
by Papazoglou, Mike P [editor.] | Pohl, Klaus [editor.] | Parkin, Michael [editor.] | Metzger, Andreas [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
