|
|
|
Hardware and Software: Verification and Testing [electronic resource] : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings / edited by Roderick Bloem, Eli Arbel.
by Bloem, Roderick [editor.] | Arbel, Eli [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Software Architecture [electronic resource] : 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings / edited by Bedir Tekinerdogan, Uwe Zdun, Ali Babar.
by Tekinerdogan, Bedir [editor.] | Zdun, Uwe [editor.] | Babar, Ali [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings / edited by Jesus Carretero, Javier Garcia-Blas, Ryan K.L. Ko, Peter Mueller, Koji Nakano.
by Carretero, Jesus [editor.] | Garcia-Blas, Javier [editor.] | Ko, Ryan K.L [editor.] | Mueller, Peter [editor.] | Nakano, Koji [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Learning and Intelligent Optimization [electronic resource] : 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers / edited by Paola Festa, Meinolf Sellmann, Joaquin Vanschoren.
by Festa, Paola [editor.] | Sellmann, Meinolf [editor.] | Vanschoren, Joaquin [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Quantum Interaction [electronic resource] : 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 -- July 3, 2014. Revised Selected Papers / edited by Harald Atmanspacher, Claudia Bergomi, Thomas Filk, Kirsty Kitto.
by Atmanspacher, Harald [editor.] | Bergomi, Claudia [editor.] | Filk, Thomas [editor.] | Kitto, Kirsty [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data [electronic resource] : 15th China National Conference, CCL 2016, and 4th International Symposium, NLP-NABD 2016, Yantai, China, October 15-16, 2016, Proceedings / edited by Maosong Sun, Xuanjing Huang, Hongfei Lin, Zhiyuan Liu, Yang Liu.
by Sun, Maosong [editor.] | Huang, Xuanjing [editor.] | Lin, Hongfei [editor.] | Liu, Zhiyuan [editor.] | Liu, Yang [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Web Information Systems Engineering - WISE 2013 [electronic resource] : 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part II / edited by Xuemin Lin, Yannis Manolopoulos, Divesh Srivastava, Guangyan Huang. Electronic Waste [electronic resource] : Recycling Techniques / edited by Hugo Marcelo Veit, Andr�ea Moura Bernardes.
by Lin, Xuemin [editor.] | Manolopoulos, Yannis [editor.] | Srivastava, Divesh [editor.] | Huang, Gua=LDR 02498nam 22005295i 4500 | Veit, Hugo Marcelo [editor.] | Moura Bernardes, Andr�ea [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, 2013Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Data Engineering and Automated Learning - IDEAL 2016 [electronic resource] : 17th International Conference, Yangzhou, China, October 12-14, 2016, Proceedings / edited by Hujun Yin, Yang Gao, Bin Li, Daoqiang Zhang, Ming Yang, Yun Li, Frank Klawonn, Antonio J. Tall�on-Ballesteros.
by Yin, Hujun [editor.] | Gao, Yang [editor.] | Li, Bin [editor.] | Zhang, Daoqiang [editor.] | Yang, Ming [editor.] | Li, Yun [editor.] | Klawonn, Frank [editor.] | Tall�on-Ballesteros, Antonio J [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Rough Sets [electronic resource] : International Joint Conference, IJCRS 2016, Santiago de Chile, Chile, October 7-11, 2016, Proceedings / edited by V�ictor Flores, Fernando Gomide, Andrzej Janusz, Claudio Meneses, Duoqian Miao, Georg Peters, Dominik Ślęzak, Guoyin Wang, Richard Weber, Yiyu Yao.
by Flores, V�ictor [editor.] | Gomide, Fernando [editor.] | Janusz, Andrzej [editor.] | Meneses, Claudio [editor.] | Miao, Duoqian [editor.] | Peters, Georg [editor.] | Ślęzak, Dominik [editor.] | Wang, Guoyin [editor.] | Weber, Richard [editor.] | Yao, Yiyu [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Social Media: The Good, the Bad, and the Ugly [electronic resource] : 15th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2016, Swansea, UK, September 13-15, 2016, Proceedings / edited by Yogesh K. Dwivedi, Matti M�antym�aki, M.N. Ravishankar, Marijn Janssen, Marc Clement, Emma L. Slade, Nripendra P. Rana, Salah Al-Sharhan, Antonis C. Simintiras.
by Dwivedi, Yogesh K [editor.] | M�antym�aki, Matti [editor.] | Ravishankar, M.N [editor.] | Janssen, Marijn [editor.] | Clement, Marc [editor.] | Slade, Emma L [editor.] | Rana, Nripendra P [editor.] | Al-Sharhan, Salah [editor.] | Simintiras, Antonis C [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Cryptology Transmitted Message Protection [electronic resource] : From Deterministic Chaos up to Optical Vortices / by Igor Izmailov, Boris Poizner, Ilia Romanov, Sergey Smolskiy.
by Izmailov, Igor [author.] | Poizner, Boris [author.] | Romanov, Ilia [author.] | Smolskiy, Sergey [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Transactions on Modularity and Composition I [electronic resource] / edited by Shigeru Chiba, Mario S�udholt, Patrick Eugster, Lukasz Ziarek, Gary T. Leavens.
by Chiba, Shigeru [editor.] | S�udholt, Mario [editor.] | Eugster, Patrick [editor.] | Ziarek, Lukasz [editor.] | Leavens, Gary T [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Advances in Web-Based Learning - ICWL 2016 [electronic resource] : 15th International Conference, Rome, Italy, October 26-29, 2016, Proceedings / edited by Dickson K.W. Chiu, Ivana Marenzi, Umberto Nanni, Marc Spaniol, Marco Temperini.
by Chiu, Dickson K.W [editor.] | Marenzi, Ivana [editor.] | Nanni, Umberto [editor.] | Spaniol, Marc [editor.] | Temperini, Marco [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Swarm Intelligence [electronic resource] : 10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016, Proceedings / edited by Marco Dorigo, Mauro Birattari, Xiaodong Li, Manuel L�opez-Ib�a�nez, Kazuhiro Ohkura, Carlo Pinciroli, Thomas St�utzle.
by Dorigo, Marco [editor.] | Birattari, Mauro [editor.] | Li, Xiaodong [editor.] | L�opez-Ib�a�nez, Manuel [editor.] | Ohkura, Kazuhiro [editor.] | Pinciroli, Carlo [editor.] | St�utzle, Thomas [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Theoretical Aspects of Computing - ICTAC 2016 [electronic resource] : 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings / edited by Augusto Sampaio, Farn Wang.
by Sampaio, Augusto [editor.] | Wang, Farn [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Theory and Applications of Formal Argumentation [electronic resource] : Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected papers / edited by Elizabeth Black, Sanjay Modgil, Nir Oren.
by Black, Elizabeth [editor.] | Modgil, Sanjay [editor.] | Oren, Nir [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, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Encyclopedia of Algorithms [electronic resource] / edited by Ming-Yang Kao.
by Kao, Ming-Yang [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
HCI in Business, Government, and Organizations: Information Systems [electronic resource] : Third International Conference, HCIBGO 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part II / edited by Fiona Fui-Hoon Nah, Chuan-Hoo Tan.
by Nah, Fiona Fui-Hoon [editor.] | Tan, Chuan-Hoo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Information Security and Privacy [electronic resource] : 21st Australasian Conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016, Proceedings, Part II / edited by Joseph K. Liu, Ron Steinfeld.
by Liu, Joseph K [editor.] | Steinfeld, Ron [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Foundations of Augmented Cognition: Neuroergonomics and Operational Neuroscience [electronic resource] : 10th International Conference, AC 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings, Part I / edited by Dylan D. Schmorrow, Cali M. Fidopiastis.
by Schmorrow, Dylan D [editor.] | Fidopiastis, Cali M [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
