|
|
|
Logic, Language, Information, and Computation [electronic resource] : 21st International Workshop, WoLLIC 2014, Valpara�iso, Chile, September 1-4, 2014. Proceedings / edited by Ulrich Kohlenbach, Pablo Barcel�o, Ruy de Queiroz.
by Kohlenbach, Ulrich [editor.] | Barcel�o, Pablo [editor.] | Queiroz, Ruy de [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
|
|
|
|
Guide to Fortran 2008 Programming [electronic resource] / by Walter S. Brainerd.
by Brainerd, Walter S [author.] | SpringerLink (Online service). Edition: 2nd ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Fundamentals of Parameterized Complexity [electronic resource] / by Rodney G. Downey, Michael R. Fellows.
by Downey, Rodney G [author.] | Fellows, Michael R [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Guidelines for Applying Cohesive Models to the Damage Behaviour of Engineering Materials and Structures [electronic resource] / by Karl-Heinz Schwalbe, Ingo Scheider, Alfred Cornec.
by Schwalbe, Karl-Heinz [author.] | Scheider, Ingo [author.] | Cornec, Alfred [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
|
|
|
|
Genetic Programming [electronic resource] : 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / edited by Penousal Machado, Malcolm I. Heywood, James McDermott, Mauro Castelli, Pablo Garc�ia-S�anchez, Paolo Burelli, Sebastian Risi, Kevin Sim.
by Machado, Penousal [editor.] | Heywood, Malcolm I [editor.] | McDermott, James [editor.] | Castelli, Mauro [editor.] | Garc�ia-S�anchez, Pablo [editor.] | Burelli, Paolo [editor.] | Risi, Sebastian [editor.] | Sim, Kevin [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 Large-Scale Data- and Knowledge-Centered Systems XXIV [electronic resource] : Special Issue on Database- and Expert-Systems Applications / edited by Abdelkader Hameurlain, Josef K�ung, Roland Wagner, Hendrik Decker, Lenka Lhotska, Sebastian Link.
by Hameurlain, Abdelkader [editor.] | K�ung, Josef [editor.] | Wagner, Roland [editor.] | Decker, Hendrik [editor.] | Lhotska, Lenka [editor.] | Link, Sebastian [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.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
|
|
|
|
Future Data and Security Engineering [electronic resource] : Third International Conference, FDSE 2016, Can Tho City, Vietnam, November 23-25, 2016, Proceedings / edited by Tran Khanh Dang, Roland Wagner, Josef K�ung, Nam Thoai, Makoto Takizawa, Erich Neuhold.
by Dang, Tran Khanh [editor.] | Wagner, Roland [editor.] | K�ung, Josef [editor.] | Thoai, Nam [editor.] | Takizawa, Makoto [editor.] | Neuhold, Erich [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
|
|
|
|
Multiple Instance Learning [electronic resource] : Foundations and Algorithms / by Francisco Herrera, Sebasti�an Ventura, Rafael Bello, Chris Cornelis, Amelia Zafra, D�anel S�anchez-Tarrag�o, Sarah Vluymans.
by Herrera, Francisco [author.] | Ventura, Sebasti�an [author.] | Bello, Rafael [author.] | Cornelis, Chris [author.] | Zafra, Amelia [author.] | S�anchez-Tarrag�o, D�anel [author.] | Vluymans, Sarah [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
|
|
|
|
Discrete Optimization and Operations Research [electronic resource] : 9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, Proceedings / edited by Yury Kochetov, Michael Khachay, Vladimir Beresnev, Evgeni Nurminski, Panos Pardalos.
by Kochetov, Yury [editor.] | Khachay, Michael [editor.] | Beresnev, Vladimir [editor.] | Nurminski, Evgeni [editor.] | Pardalos, Panos [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
|
|
|
|
Computer Algebra in Scientific Computing [electronic resource] : 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov.
by Gerdt, Vladimir P [editor.] | Koepf, Wolfram [editor.] | Seiler, Werner M [editor.] | Vorozhtsov, Evgenii V [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
|
|
|
|
Computer Information Systems and Industrial Management [electronic resource] : 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016, Proceedings / edited by Khalid Saeed, W�adys�aw Homenda.
by Saeed, Khalid [editor.] | Homenda, W�adys�aw [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
|
|
|
|
Artificial Intelligence and Evolutionary Computations in Engineering Systems [electronic resource] : Proceedings of ICAIECES 2015 / edited by Subhransu Sekhar Dash, M. Arun Bhaskar, Bijaya Ketan Panigrahi, Swagatam Das.
by Dash, Subhransu Sekhar [editor.] | Bhaskar, M. Arun [editor.] | Panigrahi, Bijaya Ketan [editor.] | Das, Swagatam [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New Delhi : Springer India : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Logistics [electronic resource] : 5th International Conference, ICCL 2014, Valparaiso, Chile, September 24-26, 2014. Proceedings / edited by Rosa G. Gonz�alez-Ram�irez, Frederik Schulte, Stefan Vo�, Jose A. Ceroni D�iaz.
by Gonz�alez-Ram�irez, Rosa G [editor.] | Schulte, Frederik [editor.] | Vo�, Stefan [editor.] | Ceroni D�iaz, Jose A [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
|
|
|
|
AsiaSim 2013 [electronic resource] : 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedings / edited by Gary Tan, Gee Kin Yeo, Stephen John Turner, Yong Meng Teo.
by Tan, Gary [editor.] | Yeo, Gee Kin [editor.] | Turner, Stephen John [editor.] | Teo, Yong Meng [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
|
|
|
|
Selected Areas in Cryptography -- SAC 2013 [electronic resource] : 20th International Conference, Burnaby, BC, Canada, August 14-16, 2013, Revised Selected Papers / edited by Tanja Lange, Kristin Lauter, Petr Lisoněk.
by Lange, Tanja [editor.] | Lauter, Kristin [editor.] | Lisoněk, Petr [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
|
|
|
|
Wireless Sensor Networks for Developing Countries [electronic resource] : First International Conference, WSN4DC, Jamshoro, Pakistan, April 24-26, 2013, Revised Selected Papers / edited by Faisal Karim Shaikh, Bhawani Shankar Chowdhry, Habib M. Ammari, Muhammad Aslam Uqaili, Assadullah Shah.
by Shaikh, Faisal Karim [editor.] | Chowdhry, Bhawani Shankar [editor.] | Ammari, Habib M [editor.] | Uqaili, Muhammad Aslam [editor.] | Shah, Assadullah [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
|
|
|
|
A Polynomial Translation of Mobile Ambients into Safe Petri Nets [electronic resource] : Understanding a Calculus of Hierarchical Protection Domains / by Susanne G�obel.
by G�obel, Susanne [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Computing for Sustainable Energy and Environment [electronic resource] : Second International Conference, ICSEE 2012, Shanghai, China, September 12-13, 2012. Revised Selected Papers / edited by Kang Li, Shaoyuan Li, Dewei Li, Qun Niu.
by Li, Kang [editor.] | Li, Shaoyuan [editor.] | Li, Dewei [editor.] | Niu, Qun [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
|
|
|
|
Optimization in the Natural Sciences [electronic resource] : 30th Euro Mini-Conference, EmC-ONS 2014, Aveiro, Portugal, February 5-9, 2014. Revised Selected Papers / edited by Alexander Plakhov, Tatiana Tchemisova, Adelaide Freitas.
by Plakhov, Alexander [editor.] | Tchemisova, Tatiana [editor.] | Freitas, Adelaide [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
|
|
|
|
Advances in Cryptology - ASIACRYPT 2013 [electronic resource] : 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I / edited by Kazue Sako, Palash Sarkar.
by Sako, Kazue [editor.] | Sarkar, Palash [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
|
