|
|
4101.
|
Contemporary Computing [electronic resource] : 5th International Conference, IC3 2012, Noida, India, August 6-8, 2012. Proceedings / edited by Manish Parashar, Dinesh Kaushik, Omer F. Rana, Ravi Samtaney, Yuanyuan Yang, Albert Zomaya.
by Parashar, Manish [editor.] | Kaushik, Dinesh [editor.] | Rana, Omer F [editor.] | Samtaney, Ravi [editor.] | Yang, Yuanyuan [editor.] | Zomaya, Albert [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
4102.
|
DNA Computing and Molecular Programming [electronic resource] : 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012. Proceedings / edited by Darko Stefanovic, Andrew Turberfield.
by Stefanovic, Darko [editor.] | Turberfield, Andrew [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
4103.
|
Logic-Based Program Synthesis and Transformation [electronic resource] : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers / edited by Germán Vidal.
by Vidal, Germán [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
4104.
|
Autonomous Mobile Systems 2012 [electronic resource] : 22. Fachgespräch Stuttgart, 26. bis 28. September 2012 / edited by Paul Levi, Oliver Zweigle, Kai Häußermann, Bernd Eckstein.
by Levi, Paul [editor.] | Zweigle, Oliver [editor.] | Häußermann, Kai [editor.] | Eckstein, Bernd [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
4105.
|
Computing and Combinatorics [electronic resource] : 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012. Proceedings / edited by Joachim Gudmundsson, Julián Mestre, Taso Viglas.
by Gudmundsson, Joachim [editor.] | Mestre, Julián [editor.] | Viglas, Taso [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
4106.
|
E-Commerce and Web Technologies [electronic resource] : 13th International Conference, EC-Web 2012, Vienna, Austria, September 4-5, 2012. Proceedings / edited by Christian Huemer, Pasquale Lops.
by Huemer, Christian [editor.] | Lops, Pasquale [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
4107.
|
IT Revolutions [electronic resource] : Third International ICST Conference, Córdoba, Spain, March 23-25, 2011, Revised Selected Papers / edited by Matías Liñán Reyes, José M. Flores Arias, Juan J. González de la Rosa, Josef Langer, Francisco J. Bellido Outeiriño, Antonio Moreno-Munñoz.
by Liñán Reyes, Matías [editor.] | Flores Arias, José M [editor.] | González de la Rosa, Juan J [editor.] | Langer, Josef [editor.] | Bellido Outeiriño, Francisco J [editor.] | Moreno-Munñoz, Antonio [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
4108.
|
Mobile Computing, Applications, and Services [electronic resource] : Third International Conference, MobiCASE 2011, Los Angeles, CA, USA, October 24-27, 2011. Revised Selected Papers / edited by Joy Ying Zhang, Jarek Wilkiewicz, Ani Nahapetian.
by Zhang, Joy Ying [editor.] | Wilkiewicz, Jarek [editor.] | Nahapetian, Ani [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
4109.
|
Believable Bots [electronic resource] : Can Computers Play Like People? / edited by Philip Hingston.
by Hingston, Philip [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
4110.
|
Agents for Educational Games and Simulations [electronic resource] : International Workshop, AEGS 2011, Taipei, Taiwan, May 2, 2011. Revised Papers / edited by Martin Beer, Cyril Brom, Frank Dignum, Von-Wun Soo.
by Beer, Martin [editor.] | Brom, Cyril [editor.] | Dignum, Frank [editor.] | Soo, Von-Wun [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
4111.
|
Interactive Theorem Proving [electronic resource] : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings / edited by Lennart Beringer, Amy Felty.
by Beringer, Lennart [editor.] | Felty, Amy [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
4112.
|
Computational Intelligence for Multimedia Understanding [electronic resource] : International Workshop, MUSCLE 2011, Pisa, Italy, December 13-15, 2011, Revised Selected Papers / edited by Emanuele Salerno, A. Enis Çetin, Ovidio Salvetti.
by Salerno, Emanuele [editor.] | Çetin, A. Enis [editor.] | Salvetti, Ovidio [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
4113.
|
Advances in Autonomous Robotics [electronic resource] : Joint Proceedings of the 13th Annual TAROS Conference and the 15th Annual FIRA RoboWorld Congress, Bristol, UK, August 20-23, 2012 / edited by Guido Herrmann, Matthew Studley, Martin Pearson, Andrew Conn, Chris Melhuish, Mark Witkowski, Jong-Hwan Kim, Prahlad Vadakkepat.
by Herrmann, Guido [editor.] | Studley, Matthew [editor.] | Pearson, Martin [editor.] | Conn, Andrew [editor.] | Melhuish, Chris [editor.] | Witkowski, Mark [editor.] | Kim, Jong-Hwan [editor.] | Vadakkepat, Prahlad [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
4114.
|
Knowledge Management and Acquisition for Intelligent Systems [electronic resource] : 12th Pacific Rim Knowledge Acquisition Workshop, PKAW 2012, Kuching, Malaysia, September 5-6, 2012. Proceedings / edited by Deborah Richards, Byeong Ho Kang.
by Richards, Deborah [editor.] | Kang, Byeong Ho [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
4115.
|
Singularity Hypotheses [electronic resource] : A Scientific and Philosophical Assessment / edited by Amnon H. Eden, James H. Moor, Johnny H. Søraker, Eric Steinhart.
by Eden, Amnon H [editor.] | Moor, James H [editor.] | Søraker, Johnny H [editor.] | Steinhart, Eric [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
4116.
|
Signal Processing and Information Technology [electronic resource] : First International Joint Conference, SPIT 2011 and IPC 2011, Amsterdam, The Netherlands, December 1-2, 2011, Revised Selected Papers / edited by Vinu V. Das, Ezendu Ariwa, Syarifah Bahiyah Rahayu.
by Das, Vinu V [editor.] | Ariwa, Ezendu [editor.] | Rahayu, Syarifah Bahiyah [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
4117.
|
Database and Expert Systems Applications [electronic resource] : 23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012. Proceedings, Part II / edited by Stephen W. Liddle, Klaus-Dieter Schewe, A Min Tjoa, Xiaofang Zhou.
by Liddle, Stephen W [editor.] | Schewe, Klaus-Dieter [editor.] | Tjoa, A Min [editor.] | Zhou, Xiaofang [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
4118.
|
Database and Expert Systems Applications [electronic resource] : 23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012. Proceedings, Part I / edited by Stephen W. Liddle, Klaus-Dieter Schewe, A Min Tjoa, Xiaofang Zhou.
by Liddle, Stephen W [editor.] | Schewe, Klaus-Dieter [editor.] | Tjoa, A Min [editor.] | Zhou, Xiaofang [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
4119.
|
Controlled Natural Language [electronic resource] : Third International Workshop, CNL 2012, Zurich, Switzerland, August 29-31, 2012. Proceedings / edited by Tobias Kuhn, Norbert E. Fuchs.
by Kuhn, Tobias [editor.] | Fuchs, Norbert E [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
4120.
|
Bio-Inspired Models of Network, Information, and Computing Systems [electronic resource] : 5th International ICST Conference, BIONETICS 2010, Boston, USA, December 1-3, 2010, Revised Selected Papers / edited by Junichi Suzuki, Tadashi Nakano.
by Suzuki, Junichi [editor.] | Nakano, Tadashi [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|