|
|
|
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). 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
|
|
|
|
Wavelet Transforms and Their Applications [electronic resource] / by Lokenath Debnath, Firdous Ahmad Shah.
by Debnath, Lokenath [author.] | Shah, Firdous Ahmad [author.] | SpringerLink (Online service). Edition: 2nd ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Birkh�auser Boston : Imprint: Birkh�auser, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Pattern Recognition [electronic resource] : 5th Mexican Conference, MCPR 2013, Quer�etaro, Mexico, June 26-29, 2013. Proceedings / edited by Jes�us Ariel Carrasco-Ochoa, Jos�e Francisco Mart�inez-Trinidad, Joaqu�in Salas Rodr�iguez, Gabriella Sanniti di Baja.
by Carrasco-Ochoa, Jes�us Ariel [editor.] | Mart�inez-Trinidad, Jos�e Francisco [editor.] | Rodr�iguez, Joaqu�in Salas [editor.] | Baja, Gabriella Sanniti di [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
|
|
|
|
Genetic Programming Theory and Practice XI [electronic resource] / edited by Rick Riolo, Jason H. Moore, Mark Kotanchek.
by Riolo, Rick [editor.] | Moore, Jason H [editor.] | Kotanchek, Mark [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, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
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
|
|
|
|
Science Gateways for Distributed Computing Infrastructures [electronic resource] : Development Framework and Exploitation by Scientific User Communities / edited by P�eter Kacsuk.
by Kacsuk, P�eter [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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
Intelligent Routines [electronic resource] : Solving Mathematical Analysis with Matlab, Mathcad, Mathematica and Maple / by George A. Anastassiou, Iuliana F. Iatan.
by Anastassiou, George A [author.] | Iatan, Iuliana F [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, 2013Online 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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
Algorithmic Decision Theory [electronic resource] : Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings / edited by Patrice Perny, Marc Pirlot, Alexis Tsouki�as.
by Perny, Patrice [editor.] | Pirlot, Marc [editor.] | Tsouki�as, Alexis [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
|
|
|
|
Numbers and Computers [electronic resource] / by Ronald T. Kneusel.
by Kneusel, Ronald T [author.] | 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
|
|
|
|
Autonomous Agents and Multiagent Systems [electronic resource] : AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers / edited by Nardine Osman, Carles Sierra.
by Osman, Nardine [editor.] | Sierra, Carles [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
|
|
|
|
Graph Drawing and Network Visualization [electronic resource] : 24th International Symposium, GD 2016, Athens, Greece, September 19-21, 2016, Revised Selected Papers / edited by Yifan Hu, Martin N�ollenburg.
by Hu, Yifan [editor.] | N�ollenburg, Martin [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
|
|
|
|
Language and Automata Theory and Applications [electronic resource] : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings / edited by Adrian-Horia Dediu, Enrico Formenti, Carlos Mart�in-Vide, Bianca Truthe.
by Dediu, Adrian-Horia [editor.] | Formenti, Enrico [editor.] | Mart�in-Vide, Carlos [editor.] | Truthe, Bianca [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
|
