|
|
|
Optical Supercomputing [electronic resource] : Second International Workshop, OSC 2009, Bertinoro, Italy, November 18-20, 2009, Proceedings / edited by Shlomi Dolev, Mihai Oltean.
by Dolev, Shlomi [editor.] | Oltean, Mihai [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Database Systems for Advanced Applications [electronic resource] : 17th International Conference, DASFAA 2012, International Workshops: FlashDB, ITEMS, SNSM, SIM3, DQDI, Busan, South Korea, April 15-18, 2012, Proceedings / edited by Hwanjo Yu, Ge Yu, Wynne Hsu, Yang-Sae Moon, Rainer Unland, Jaesoo Yoo.
by Yu, Hwanjo [editor.] | Yu, Ge [editor.] | Hsu, Wynne [editor.] | Moon, Yang-Sae [editor.] | Unland, Rainer [editor.] | Yoo, Jaesoo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial 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
|
|
|
|
Verified Software: Theories, Tools, and Experiments [electronic resource] : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers / edited by Arie Gurfinkel, Sanjit A. Seshia.
by Gurfinkel, Arie [editor.] | Seshia, Sanjit A [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Dynamic Data-Driven Environmental Systems Science [electronic resource] : First International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014, Revised Selected Papers / edited by Sai Ravela, Adrian Sandu.
by Ravela, Sai [editor.] | Sandu, Adrian [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Neural Information Processing [electronic resource] : 13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006, Proceedings, Part I / edited by Jun Wang, Laiwan Chan, DeLiang Wang.
by Wang, Jun [editor.] | Chan, Laiwan [editor.] | Wang, DeLiang [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Serious Games Development and Applications [electronic resource] : Third International Conference, SGDA 2012, Bremen, Germany, September 26-29, 2012, Proceedings / edited by Minhua Ma, Manuel Fradinho Oliveira, Jannicke Baalsrud Hauge, Heiko Duin, Klaus-Dieter Thoben.
by Ma, Minhua [editor.] | Fradinho Oliveira, Manuel [editor.] | Baalsrud Hauge, Jannicke [editor.] | Duin, Heiko [editor.] | Thoben, Klaus-Dieter [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial 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
|
|
|
|
Interactive Theorem Proving [electronic resource] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings / edited by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie.
by Blazy, Sandrine [editor.] | Paulin-Mohring, Christine [editor.] | Pichardie, David [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Computer and Information Sciences - ISCIS 2006 [electronic resource] : 21th International Symposium Istanbul, Turkey, Novenber 1-3, 2006, Proceedings / edited by Albert Levi, Erkay Savas, Hüsnü Yenigün, Selim Balcisoy, Yücel Saygin.
by Levi, Albert [editor.] | Savas, Erkay [editor.] | Yenigün, Hüsnü [editor.] | Balcisoy, Selim [editor.] | Saygin, Yücel [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Machine Learning for Multimodal Interaction [electronic resource] : 4th International Workshop, MLMI 2007, Brno, Czech Republic, June 28-30, 2007, Revised Selected Papers / edited by Andrei Popescu-Belis, Steve Renals, Hervé Bourlard.
by Popescu-Belis, Andrei [editor.] | Renals, Steve [editor.] | Bourlard, Hervé [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Computers and Games [electronic resource] : 7th International Conference, CG 2010, Kanazawa, Japan, September 24-26, 2010, Revised Selected Papers / edited by H. Jaap van den Herik, Hiroyuki Iida, Aske Plaat.
by van den Herik, H. Jaap [editor.] | Iida, Hiroyuki [editor.] | Plaat, Aske [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Software Engineering and Formal Methods [electronic resource] : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers / edited by Domenico Bianculli, Radu Calinescu, Bernhard Rumpe.
by Bianculli, Domenico [editor.] | Calinescu, Radu [editor.] | Rumpe, Bernhard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Engineering Psychology and Cognitive Ergonomics [electronic resource] : 7th International Conference, EPCE 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings / edited by Don Harris.
by Harris, Don [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Engineering Multi-Agent Systems [electronic resource] : Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers / edited by Fabiano Dalpiaz, Jürgen Dix, M. Birna van Riemsdijk.
by Dalpiaz, Fabiano [editor.] | Dix, Jürgen [editor.] | van Riemsdijk, M. Birna [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Linguistics and Intelligent Text Processing [electronic resource] : 12th International Conference, CICLing 2011, Tokyo, Japan, February 20-26, 2011. Proceedings, Part I / edited by Alexander Gelbukh.
by Gelbukh, Alexander [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
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 Cooper, Keith [editor.] | Mellor-Crummey, John [editor.] | Sarkar, Vivek [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Science -- Theory and Applications [electronic resource] : First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings / edited by Dima Grigoriev, John Harrison, Edward A. Hirsch.
by Grigoriev, Dima [editor.] | Harrison, John [editor.] | Hirsch, Edward A [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : First International Conference, SIMPAR 2008 Venice, Italy, November 3-7, 2008. Proceedings / edited by Stefano Carpin, Itsuki Noda, Enrico Pagello, Monica Reggiani.
by Carpin, Stefano [editor.] | Noda, Itsuki [editor.] | Pagello, Enrico [editor.] | Reggiani, Monica [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Logistics [electronic resource] : 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013, Proceedings / edited by Dario Pacino, Stefan Voß, Rune Møller Jensen.
by Pacino, Dario [editor.] | Voß, Stefan [editor.] | Jensen, Rune Møller [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Virtual and Mixed Reality - New Trends, Part I [electronic resource] : International Conference, Virtual and Mixed Reality 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I / edited by Randall Shumaker.
by Shumaker, Randall [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Statistical Learning and Data Sciences [electronic resource] : Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings / edited by Alexander Gammerman, Vladimir Vovk, Harris Papadopoulos.
by Gammerman, Alexander [editor.] | Vovk, Vladimir [editor.] | Papadopoulos, Harris [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
