|
|
|
Advances in Multimedia Information Processing - PCM 2014 [electronic resource] : 15th Pacific-Rim Conference on Multimedia, Kuching, Malaysia, December 1-4, 2014, Proceedings / edited by Wei Tsang Ooi, Cees G. M. Snoek, Hung Khoon Tan, Chin-Kuan Ho, Benoit Huet, Chong-Wah Ngo.
by Ooi, Wei Tsang [editor.] | Snoek, Cees G. M [editor.] | Tan, Hung Khoon [editor.] | Ho, Chin-Kuan [editor.] | Huet, Benoit [editor.] | Ngo, Chong-Wah [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Hardware and Software: Verification and Testing [electronic resource] : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings / edited by Eran Yahav.
by Yahav, Eran [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Knowledge Science, Engineering and Management [electronic resource] : 7th International Conference, KSEM 2014, Sibiu, Romania, October 16-18, 2014. Proceedings / edited by Robert Buchmann, Claudiu Vasile Kifor, Jian Yu.
by Buchmann, Robert [editor.] | Kifor, Claudiu Vasile [editor.] | Yu, Jian [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
A Pipelined Multi-core MIPS Machine [electronic resource] : Hardware Implementation and Correctness Proof / by Mikhail Kovalev, Silvia M. M�uller, Wolfgang J. Paul.
by Kovalev, Mikhail [author.] | M�uller, Silvia M [author.] | Paul, Wolfgang J [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Reachability Problems [electronic resource] : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings / edited by Jo�el Ouaknine, Igor Potapov, James Worrell.
by Ouaknine, Jo�el [editor.] | Potapov, Igor [editor.] | Worrell, James [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Belief Functions: Theory and Applications [electronic resource] : Third International Conference, BELIEF 2014, Oxford, UK, September 26-28, 2014. Proceedings / edited by Fabio Cuzzolin.
by Cuzzolin, Fabio [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Scalable Uncertainty Management [electronic resource] : 8th International Conference, SUM 2014, Oxford, UK, September 15-17, 2014. Proceedings / edited by Umberto Straccia, Andrea Cal�i.
by Straccia, Umberto [editor.] | Cal�i, Andrea [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Intelligent Computing in Bioinformatics [electronic resource] : 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014. Proceedings / edited by De-Shuang Huang, Kyungsook Han, Michael Gromiha.
by Huang, De-Shuang [editor.] | Han, Kyungsook [editor.] | Gromiha, Michael [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Topics in Cryptology - CT-RSA 2014 [electronic resource] : The Cryptographer's Track at the RSA Conference 2014, San Francisco, CA, USA, February 25-28, 2014. Proceedings / edited by Josh Benaloh.
by Benaloh, Josh [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Advances in Natural Language Processing [electronic resource] : 9th International Conference on NLP, PolTAL 2014, Warsaw, Poland, September 17-19, 2014. Proceedings / edited by Adam Przepi�orkowski, Maciej Ogrodniczuk.
by Przepi�orkowski, Adam [editor.] | Ogrodniczuk, Maciej [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Similarity Search and Applications [electronic resource] : 7th International Conference, SISAP 2014, Los Cabos, Mexico, October 29-31, 2014. Proceedings / edited by Agma Juci Machado Traina, Caetano Traina, Robson Leonardo Ferreira Cordeiro.
by Traina, Agma Juci Machado [editor.] | Traina, Caetano [editor.] | Cordeiro, Robson Leonardo Ferreira [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : ICA3PP 2016 Collocated Workshops: SCDT, TAPEMS, BigTrust, UCER, DLMCS, Granada, Spain, December 14-16, 2016, Proceedings / edited by Jesus Carretero, Javier Garcia-Blas, Victor Gergel, Vladimir Voevodin, Iosif Meyerov, Juan A. Rico-Gallego, Juan C. D�iaz-Mart�in, Pedro Alonso, Juan Durillo, Jos�e Daniel Garcia S�anchez, Alexey L. Lastovetsky, Fabrizio Marozzo, Qin Liu, Zakirul Alam Bhuiyan, Karl F�urlinger, Josef Weidendorfer, Jos�e Gracia.
by Carretero, Jesus [editor.] | Garcia-Blas, Javier [editor.] | Gergel, Victor [editor.] | Voevodin, Vladimir [editor.] | Meyerov, Iosif [editor.] | Rico-Gallego, Juan A [editor.] | D�iaz-Mart�in, Juan C [editor.] | Alonso, Pedro [editor.] | Durillo, Juan [editor.] | Garcia S�anchez, Jos�e Daniel [editor.] | Lastovetsky, Alexey L [editor.] | Marozzo, Fabrizio [editor.] | Liu, Qin [editor.] | Bhuiyan, Zakirul Alam [editor.] | F�urlinger, Karl [editor.] | Weidendorfer, Josef [editor.] | Gracia, Jos�e [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
|
|
|
|
Data Mining and Constraint Programming [electronic resource] : Foundations of a Cross-Disciplinary Approach / edited by Christian Bessiere, Luc De Raedt, Lars Kotthoff, Siegfried Nijssen, Barry O'Sullivan, Dino Pedreschi.
by Bessiere, Christian [editor.] | De Raedt, Luc [editor.] | Kotthoff, Lars [editor.] | Nijssen, Siegfried [editor.] | O'Sullivan, Barry [editor.] | Pedreschi, Dino [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
|
|
|
|
Small-Scale Robotics. From Nano-to-Millimeter-Sized Robotic Systems and Applications [electronic resource] : First International Workshop at ICRA 2013, Karlsruhe, Germany, May 6, 2013, Revised and Extended Papers / edited by Igor Paprotny, Sarah Bergbreiter.
by Paprotny, Igor [editor.] | Bergbreiter, Sarah [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
|
|
|
|
Web and Wireless Geographical Information Systems [electronic resource] : 13th International Symposium, W2GIS 2014, Seoul, South Korea, May 29-30, 2014. Proceedings / edited by Dieter Pfoser, Ki-Joune Li.
by Pfoser, Dieter [editor.] | Li, Ki-Joune [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
|
|
|
|
Measurement Methodology and Tools [electronic resource] : First European Workshop, FP7 FIRE/EULER Project, Aalborg, Denmark, May 9, 2012, Revised and Extended Papers / edited by Llu�is F�abrega, Pere Vil�a, Davide Careglio, Dimitri Papadimitriou.
by F�abrega, Llu�is [editor.] | Vil�a, Pere [editor.] | Careglio, Davide [editor.] | Papadimitriou, Dimitri [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Evolutionary Multi-Criterion Optimization [electronic resource] : 8th International Conference, EMO 2015, Guimar�aes, Portugal, March 29 --April 1, 2015. Proceedings, Part I / edited by Ant�onio Gaspar-Cunha, Carlos Henggeler Antunes, Carlos Coello Coello.
by Gaspar-Cunha, Ant�onio [editor.] | Henggeler Antunes, Carlos [editor.] | Coello, Carlos Coello [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
|
|
|
|
Future Data and Security Engineering [electronic resource] : First International Conference, FDSE 2014, Ho Chi Minh City, Vietnam, November 19-21, 2014, Proceedings / edited by Tran Khanh Dang, Roland Wagner, Erich Neuhold, Makoto Takizawa, Josef K�ung, Nam Thoai.
by Dang, Tran Khanh [editor.] | Wagner, Roland [editor.] | Neuhold, Erich [editor.] | Takizawa, Makoto [editor.] | K�ung, Josef [editor.] | Thoai, Nam [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Principles and Practice of Constraint Programming [electronic resource] : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings / edited by Christian Schulte.
by Schulte, Christian [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, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Information Security and Cryptology [electronic resource] : 10th International Conference, Inscrypt 2014, Beijing, China, December 13-15, 2014, Revised Selected Papers / edited by Dongdai Lin, Moti Yung, Jianying Zhou.
by Lin, Dongdai [editor.] | Yung, Moti [editor.] | Zhou, Jianying [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
|
