|
|
|
Reachability Problems [electronic resource] : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings / edited by Kim Guldstrand Larsen, Igor Potapov, Jiř�i Srba.
by Larsen, Kim Guldstrand [editor.] | Potapov, Igor [editor.] | Srba, Jiř�i [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
|
|
|
|
Microsensing Networks for Sustainable Cities [electronic resource] / by Johannes Lambrechts, Saurabh Sinha.
by Lambrechts, Johannes [author.] | Sinha, Saurabh [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.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-Theoretic Evaluation for Computational Biomedical Ontologies [electronic resource] / by Wyatt Travis Clark.
by Clark, Wyatt Travis [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
|
|
|
|
Information Processing and Management of Uncertainty in Knowledge-Based Systems [electronic resource] : 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20 - 24, 2016, Proceedings, Part II / edited by Joao Paulo Carvalho, Marie-Jeanne Lesot, Uzay Kaymak, Susana Vieira, Bernadette Bouchon-Meunier, Ronald R. Yager.
by Carvalho, Joao Paulo [editor.] | Lesot, Marie-Jeanne [editor.] | Kaymak, Uzay [editor.] | Vieira, Susana [editor.] | Bouchon-Meunier, Bernadette [editor.] | Yager, Ronald R [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
|
|
|
|
Distributed Graph Algorithms for Computer Networks [electronic resource] / by K. Erciyes.
by Erciyes, K [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
|
|
|
|
Engineering Secure Software and Systems [electronic resource] : 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings / edited by Juan Caballero, Eric Bodden, Elias Athanasopoulos.
by Caballero, Juan [editor.] | Bodden, Eric [editor.] | Athanasopoulos, Elias [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.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
|
|
|
|
Pairing-Based Cryptography - Pairing 2012 [electronic resource] : 5th International Conference, Cologne, Germany, May 16-18, 2012, Revised Selected Papers / edited by Michel Abdalla, Tanja Lange.
by Abdalla, Michel [editor.] | Lange, Tanja [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 [electronic resource] : 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings / edited by Malcolm I. Heywood, James McDermott, Mauro Castelli, Ernesto Costa, Kevin Sim.
by Heywood, Malcolm I [editor.] | McDermott, James [editor.] | Castelli, Mauro [editor.] | Costa, Ernesto [editor.] | Sim, Kevin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.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
|
|
|
|
Genetic Programming [electronic resource] : 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers / edited by Miguel Nicolau, Krzysztof Krawiec, Malcolm I. Heywood, Mauro Castelli, Pablo Garc�ia-S�anchez, Juan J. Merelo, Victor M. Rivas Santos, Kevin Sim.
by Nicolau, Miguel [editor.] | Krawiec, Krzysztof [editor.] | Heywood, Malcolm I [editor.] | Castelli, Mauro [editor.] | Garc�ia-S�anchez, Pablo [editor.] | Merelo, Juan J [editor.] | Rivas Santos, Victor M [editor.] | Sim, Kevin [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
|
|
|
|
Biological Signals Classification and Analysis [electronic resource] / by Kamran Kiasaleh.
by Kiasaleh, Kamran [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, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Applications of Evolutionary Computation [electronic resource] : 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / edited by Antonio M. Mora, Giovanni Squillero.
by Mora, Antonio M [editor.] | Squillero, Giovanni [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
|
|
|
|
Polynomial Chaos Methods for Hyperbolic Partial Differential Equations [electronic resource] : Numerical Techniques for Fluid Dynamics Problems in the Presence of Uncertainties / by Mass Per Pettersson, Gianluca Iaccarino, Jan Nordstr�om.
by Pettersson, Mass Per [author.] | Iaccarino, Gianluca [author.] | Nordstr�om, Jan [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
|
|
|
|
Computational Science and Its Applications - ICCSA 2013 [electronic resource] : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III / edited by Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo M. Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi.
by Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Carlini, Maurizio [editor.] | Torre, Carmelo M [editor.] | Nguyen, Hong-Quang [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Gervasi, Osvaldo [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
|
|
|
|
Computing and Combinatorics [electronic resource] : 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings / edited by Ding-Zhu Du, Guochuan Zhang.
by Du, Ding-Zhu [editor.] | Zhang, Guochuan [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
|
|
|
|
Big Data Computing and Communications [electronic resource] : Second International Conference, BigCom 2016, Shenyang, China, July 29-31, 2016. Proceedings / edited by Yu Wang, Ge Yu, Yanyong Zhang, Zhu Han, Guoren Wang.
by Wang, Yu [editor.] | Yu, Ge [editor.] | Zhang, Yanyong [editor.] | Han, Zhu [editor.] | Wang, Guoren [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
|
|
|
|
Computational Problems in Engineering [electronic resource] / edited by Nikos Mastorakis, Valeri Mladenov.
by Mastorakis, Nikos [editor.] | Mladenov, Valeri [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
|
|
|
|
Transactions on Edutainment XI [electronic resource] / edited by Zhigeng Pan, Adrian David Cheok, Wolfgang Mueller, Mingmin Zhang.
by Pan, Zhigeng [editor.] | Cheok, Adrian David [editor.] | Mueller, Wolfgang [editor.] | Zhang, Mingmin [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
|
|
|
|
Mathematical and Engineering Methods in Computer Science [electronic resource] : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers / edited by Anton�in Kučera, Thomas A. Henzinger, Jaroslav Nešetřil, Tom�aš Vojnar, David Antoš.
by Kučera, Anton�in [editor.] | Henzinger, Thomas A [editor.] | Nešetřil, Jaroslav [editor.] | Vojnar, Tom�aš [editor.] | Antoš, 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
|
|
|
|
Augmented Environments for Computer-Assisted Interventions [electronic resource] : 10th International Workshop, AE-CAI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015. Proceedings / edited by Cristian A Linte, Ziv Yaniv, Pascal Fallavollita.
by Linte, Cristian A [editor.] | Yaniv, Ziv [editor.] | Fallavollita, Pascal [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
|
|
|
|
The New Codebreakers [electronic resource] : Essays Dedicated to David Kahn on the Occasion of His 85th Birthday / edited by Peter Y. A. Ryan, David Naccache, Jean-Jacques Quisquater.
by Ryan, Peter Y. A [editor.] | Naccache, David [editor.] | Quisquater, Jean-Jacques [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, 2016Online access: Click here to access online Availability: No items available
|
