Your search returned 3707 results. Subscribe to this search

|
In Search of Elegance in the Theory and Practice of Computation [electronic resource] : Essays Dedicated to Peter Buneman / edited by Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael Fourman.

by Tannen, Val [editor.] | Wong, Limsoon [editor.] | Libkin, Leonid [editor.] | Fan, Wenfei [editor.] | Tan, Wang-Chiew [editor.] | Fourman, Michael [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Advances in Intelligent Data Analysis XII [electronic resource] : 12th International Symposium, IDA 2013, London, UK, October 17-19, 2013. Proceedings / edited by Allan Tucker, Frank H�oppner, Arno Siebes, Stephen Swift.

by Tucker, Allan [editor.] | H�oppner, Frank [editor.] | Siebes, Arno [editor.] | Swift, Stephen [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

On the Move to Meaningful Internet Systems: OTM 2013 Workshops [electronic resource] : Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013, Proceedings / edited by Yan Tang Demey, Herv�e Panetto.

by Demey, Yan Tang [editor.] | Panetto, Herv�e [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Formal Modeling and Analysis of Timed Systems [electronic resource] : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings / edited by Martin Fr�anzle, Nicolas Markey.

by Fr�anzle, Martin [editor.] | Markey, Nicolas [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Brain and Health Informatics [electronic resource] : International Conference, BHI 2013, Maebashi, Japan, October 29-31, 2013. Proceedings / edited by Kazayuki Imamura, Shiro Usui, Tomoaki Shirao, Takuji Kasamatsu, Lars Schwabe, Ning Zhong.

by Imamura, Kazayuki [editor.] | Usui, Shiro [editor.] | Shirao, Tomoaki [editor.] | Kasamatsu, Takuji [editor.] | Schwabe, Lars [editor.] | Zhong, Ning [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

From Sounds to Music and Emotions [electronic resource] : 9th International Symposium, CMMR 2012, London, UK, June 19-22, 2012, Revised Selected Papers / edited by Mitsuko Aramaki, Mathieu Barthet, Richard Kronland-Martinet, S�lvi Ystad.

by Aramaki, Mitsuko [editor.] | Barthet, Mathieu [editor.] | Kronland-Martinet, Richard [editor.] | Ystad, S�lvi [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Algorithmic Decision Theory [electronic resource] : 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings / edited by Toby Walsh.

by Walsh, Toby [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Theory of Cryptography [electronic resource] : 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part II / edited by Martin Hirt, Adam Smith.

by Hirt, Martin [editor.] | Smith, Adam [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Mathematical Foundations of Computer Science 2014 [electronic resource] : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II / edited by Erzs�ebet Csuhaj-Varj�u, Martin Dietzfelbinger, Zolt�an �Esik.

by Csuhaj-Varj�u, Erzs�ebet [editor.] | Dietzfelbinger, Martin [editor.] | �Esik, Zolt�an [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Transactions on Large-Scale Data- and Knowledge-Centered Systems XX [electronic resource] : Special Issue on Advanced Techniques for Big Data Management / edited by Abdelkader Hameurlain, Josef K�ung, Roland Wagner, Sherif Sakr, Lizhe Wang, Albert Zomaya.

by Hameurlain, Abdelkader [editor.] | K�ung, Josef [editor.] | Wagner, Roland [editor.] | Sakr, Sherif [editor.] | Wang, Lizhe [editor.] | Zomaya, Albert [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Network and Parallel Computing [electronic resource] : 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings / edited by Guang R. Gao, Depei Qian, Xinbo Gao, Barbara Chapman, Wenguang Chen.

by Gao, Guang R [editor.] | Qian, Depei [editor.] | Gao, Xinbo [editor.] | Chapman, Barbara [editor.] | Chen, Wenguang [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Universal Access in Human-Computer Interaction. Users and Context Diversity [electronic resource] : 10th International Conference, UAHCI 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings, Part III / edited by Margherita Antona, Constantine Stephanidis.

by Antona, Margherita [editor.] | Stephanidis, Constantine [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Semantic Technology [electronic resource] : 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers / edited by Yuan-Fang Li, Wei Hu, Jin Song Dong, Grigoris Antoniou, Zhe Wang, Jun Sun, Yang Liu.

by Li, Yuan-Fang [editor.] | Hu, Wei [editor.] | Dong, Jin Song [editor.] | Antoniou, Grigoris [editor.] | Wang, Zhe [editor.] | Sun, Jun [editor.] | Liu, Yang [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Collective Online Platforms for Financial and Environmental Awareness [electronic resource] : First International Workshop on the Internet for Financial Collective Awareness and Intelligence, IFIN 2016 and First International Workshop on Internet and Social Media for Environmental Monitoring, ISEM 2016, Florence, Italy, September 12, 2016, Revised Selected Papers / edited by Anna Satsiou, Georgios Panos, Ioannis Praggidis, Stefanos Vrochidis, Symeon Papadopoulos, Christodoulos Keratidis, Panagiota Syropoulou, Hai-Ying Liu.

by Satsiou, Anna [editor.] | Panos, Georgios [editor.] | Praggidis, Ioannis [editor.] | Vrochidis, Stefanos [editor.] | Papadopoulos, Symeon [editor.] | Keratidis, Christodoulos [editor.] | Syropoulou, Panagiota [editor.] | Liu, Hai-Ying [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Adaptive Resource Management and Scheduling for Cloud Computing [electronic resource] : Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebasti�an, Spain, July 20, 2015, Revised Selected Papers / edited by Florin Pop, Maria Potop-Butucaru.

by Pop, Florin [editor.] | Potop-Butucaru, Maria [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Languages and Compilers for Parallel Computing [electronic resource] : 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers / edited by James Brodman, Peng Tu.

by Brodman, James [editor.] | Tu, Peng [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Health Information Science [electronic resource] : 4th International Conference, HIS 2015, Melbourne, Australia, May 28-30, 2015, Proceedings / edited by Xiaoxia Yin, Kendall Ho, Daniel Zeng, Uwe Aickelin, Rui Zhou, Hua Wang.

by Yin, Xiaoxia [editor.] | Ho, Kendall [editor.] | Zeng, Daniel [editor.] | Aickelin, Uwe [editor.] | Zhou, Rui [editor.] | Wang, Hua [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Pattern Recognition [electronic resource] : 8th Mexican Conference, MCPR 2016, Guanajuato, Mexico, June 22-25, 2016. Proceedings / edited by Jos�e Francisco Mart�inez-Trinidad, Jes�us Ariel Carrasco-Ochoa, Victor Ayala Ramirez, Jos�e Arturo Olvera-L�opez, Xiaoyi Jiang.

by Mart�inez-Trinidad, Jos�e Francisco [editor.] | Carrasco-Ochoa, Jes�us Ariel [editor.] | Ayala Ramirez, Victor [editor.] | Olvera-L�opez, Jos�e Arturo [editor.] | Jiang, Xiaoyi [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Codes, Cryptology, and Information Security [electronic resource] : First International Conference, C2SI 2015, Rabat, Morocco, May 26-28, 2015, Proceedings - In Honor of Thierry Berger / edited by Said El Hajji, Abderrahmane Nitaj, Claude Carlet, El Mamoun Souidi.

by El Hajji, Said [editor.] | Nitaj, Abderrahmane [editor.] | Carlet, Claude [editor.] | Souidi, El Mamoun [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Biometric Authentication [electronic resource] : First International Workshop, BIOMET 2014, Sofia, Bulgaria, June 23-24, 2014. Revised Selected Papers / edited by Virginio Cantoni, Dimo Dimov, Massimo Tistarelli.

by Cantoni, Virginio [editor.] | Dimov, Dimo [editor.] | Tistarelli, Massimo [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available