|
|
|
Arithmetic of Finite Fields [electronic resource] : 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers / edited by �Cetin Kaya Ko�c, Sihem Mesnager, Erkay Savaş.
by Ko�c, �Cetin Kaya [editor.] | Mesnager, Sihem [editor.] | Savaş, Erkay [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
|
|
|
|
Multi-disciplinary Trends in Artificial Intelligence [electronic resource] : 8th International Workshop, MIWAI 2014, Bangalore, India, December 8-10, 2014. Proceedings / edited by M. Narasimha Murty, Xiangjian He, Raghavendra Rao Chillarige, Paul Weng.
by Murty, M. Narasimha [editor.] | He, Xiangjian [editor.] | Chillarige, Raghavendra Rao [editor.] | Weng, Paul [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
|
|
|
|
Mathematics and Computation in Music [electronic resource] : 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings / edited by Tom Collins, David Meredith, Anja Volk.
by Collins, Tom [editor.] | Meredith, David [editor.] | Volk, Anja [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
|
|
|
|
Theory of Cryptography [electronic resource] : 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I / edited by Yevgeniy Dodis, Jesper Buus Nielsen.
by Dodis, Yevgeniy [editor.] | Nielsen, Jesper Buus [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, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Mining, Modeling, and Recommending 'Things' in Social Media [electronic resource] : 4th International Workshops, MUSE 2013, Prague, Czech Republic, September 23, 2013, and MSM 2013, Paris, France, May 1, 2013, Revised Selected Papers / edited by Martin Atzmueller, Alvin Chin, Christoph Scholz, Christoph Trattner.
by Atzmueller, Martin [editor.] | Chin, Alvin [editor.] | Scholz, Christoph [editor.] | Trattner, Christoph [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
|
|
|
|
Transactions on Edutainment X [electronic resource] / edited by Zhigeng Pan, Adrian David Cheok, Wolfgang M�uller, Ido Iurgel, Paolo Petta, Bodo Urban.
by Pan, Zhigeng [editor.] | Cheok, Adrian David [editor.] | M�uller, Wolfgang [editor.] | Iurgel, Ido [editor.] | Petta, Paolo [editor.] | Urban, Bodo [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
|
|
|
|
Virtual, Augmented and Mixed Reality. Systems and Applications [electronic resource] : 5th International Conference, VAMR 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II / edited by Randall Shumaker.
by Shumaker, Randall [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
|
|
|
|
Verified Software. Theories, Tools, and Experiments [electronic resource] : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers / edited by Sandrine Blazy, Marsha Chechik.
by Blazy, Sandrine [editor.] | Chechik, Marsha [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
|
|
|
|
Coordination Models and Languages [electronic resource] : 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / edited by Tom Holvoet, Mirko Viroli.
by Holvoet, Tom [editor.] | Viroli, Mirko [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
|
|
|
|
Research in Computational Molecular Biology [electronic resource] : 19th Annual International Conference, RECOMB 2015, Warsaw, Poland, April 12-15, 2015, Proceedings / edited by Teresa M. Przytycka.
by Przytycka, Teresa 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, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Process Support and Knowledge Representation in Health Care [electronic resource] : BPM 2012 Joint Workshop, ProHealth 2012/KR4HC 2012, Tallinn, Estonia, September 3, 2012, Revised Selected Papers / edited by Richard Lenz, Silvia Miksch, Mor Peleg, Manfred Reichert, David Ria�no, Annette ten Teije.
by Lenz, Richard [editor.] | Miksch, Silvia [editor.] | Peleg, Mor [editor.] | Reichert, Manfred [editor.] | Ria�no, David [editor.] | Teije, Annette ten [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
|
|
|
|
Theories of Programming and Formal Methods [electronic resource] : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu.
by Liu, Zhiming [editor.] | Woodcock, Jim [editor.] | Zhu, Huibiao [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
|
|
|
|
Foundations of Security Analysis and Design VIII [electronic resource] : FOSAD 2014/2015/2016 Tutorial Lectures / edited by Alessandro Aldini, Javier Lopez, Fabio Martinelli.
by Aldini, Alessandro [editor.] | Lopez, Javier [editor.] | Martinelli, 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, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Conceptual Modeling [electronic resource] : ER 2015 Workshops AHA, CMS, EMoV, MoBID, MORE-BI, MReBA, QMMQ, and SCME, Stockholm, Sweden, October 19-22, 2015, Proceedings / edited by Manfred A. Jeusfeld, Kamalakar Karlapalem.
by Jeusfeld, Manfred A [editor.] | Karlapalem, Kamalakar [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.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
|
|
|
|
Descriptive Set Theoretic Methods in Automata Theory [electronic resource] : Decidability and Topological Complexity / by Micha� Skrzypczak.
by Skrzypczak, Micha� [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Parallel Processing and Applied Mathematics [electronic resource] : 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I / edited by Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Waśniewski.
by Wyrzykowski, Roman [editor.] | Dongarra, Jack [editor.] | Karczewski, Konrad [editor.] | Waśniewski, Jerzy [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
|
|
|
|
Advances in Cryptology -- ASIACRYPT 2015 [electronic resource] : 21st International Conference on the Theory and Application of Cryptology and Information Security,Auckland, New Zealand, November 29 -- December 3, 2015, Proceedings, Part I / edited by Tetsu Iwata, Jung Hee Cheon.
by Iwata, Tetsu [editor.] | Cheon, Jung Hee [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial 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
|
|
|
|
Theoretical Computer Science [electronic resource] : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings / edited by Josep Diaz, Ivan Lanese, Davide Sangiorgi.
by Diaz, Josep [editor.] | Lanese, Ivan [editor.] | Sangiorgi, Davide [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
|
|
|
|
Integration of AI and OR Techniques in Constraint Programming [electronic resource] : 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings / edited by Claude-Guy Quimper.
by Quimper, Claude-Guy [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
|
|
|
|
Dependable Computing [electronic resource] : 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013. Proceedings / edited by Marco Vieira, Jo�ao Carlos Cunha.
by Vieira, Marco [editor.] | Cunha, Jo�ao Carlos [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
|
