|
|
|
Computer Aided Verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II / edited by Daniel Kroening, Corina S. Păsăreanu.
by Kroening, Daniel [editor.] | Păsăreanu, Corina S [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
|
|
|
|
QoS Management of Web Services [electronic resource] / by Zibin Zheng, Michael R. Lyu.
by Zheng, Zibin [author.] | Lyu, Michael R [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] : 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
|
|
|
|
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
|
|
|
|
Automated Reasoning [electronic resource] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings / edited by Nicola Olivetti, Ashish Tiwari.
by Olivetti, Nicola [editor.] | Tiwari, Ashish [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
|
|
|
|
Behavior Modeling -- Foundations and Applications [electronic resource] : International Workshops, BM-FA 2009-2014, Revised Selected Papers / edited by Ella Roubtsova, Ashley McNeile, Ekkart Kindler, Christian Gerth.
by Roubtsova, Ella [editor.] | McNeile, Ashley [editor.] | Kindler, Ekkart [editor.] | Gerth, Christian [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
|
|
|
|
Human-Computer Interaction. Theory, Design, Development and Practice [electronic resource] : 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part I / edited by Masaaki Kurosu.
by Kurosu, Masaaki [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 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
|
|
|
|
Distributed, Ambient, and Pervasive Interactions [electronic resource] : Second International Conference, DAPI 2014, Held as Part of HCI Interational 2014, Heraklion, Crete, Greece, June 22-27, 2014. Proceedings / edited by Norbert Streitz, Panos Markopoulos.
by Streitz, Norbert [editor.] | Markopoulos, 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, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Performance Engineering [electronic resource] : 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedings / edited by Andr�as Horv�ath, Katinka Wolter.
by Horv�ath, Andr�as [editor.] | Wolter, Katinka [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
|
|
|
|
ICT in Education, Research, and Industrial Applications [electronic resource] : 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers / edited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych.
by Ermolayev, Vadim [editor.] | Mayr, Heinrich C [editor.] | Nikitchenko, Mykola [editor.] | Spivakovsky, Aleksander [editor.] | Zholtkevych, Grygoriy [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
|
|
|
|
Decision Support Systems V - Big Data Analytics for Decision Making [electronic resource] : First International Conference, ICDSST 2015, Belgrade, Serbia, May 27-29, 2015, Proceedings / edited by Boris Delibašić, Jorge E. Hern�andez, Jason Papathanasiou, F�atima Dargam, Pascale Zarat�e, Rita Ribeiro, Shaofeng Liu, Isabelle Linden.
by Delibašić, Boris [editor.] | Hern�andez, Jorge E [editor.] | Papathanasiou, Jason [editor.] | Dargam, F�atima [editor.] | Zarat�e, Pascale [editor.] | Ribeiro, Rita [editor.] | Liu, Shaofeng [editor.] | Linden, Isabelle [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
|
|
|
|
Enterprise Information Systems Engineering [electronic resource] : The MERODE Approach / by Monique Snoeck.
by Snoeck, Monique [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
|
|
|
|
Proceedings of the 2012 International Conference on Information Technology and Software Engineering [electronic resource] : Information Technology & Computing Intelligence / edited by Wei Lu, Guoqiang Cai, Weibin Liu, Weiwei Xing.
by Lu, Wei [editor.] | Cai, Guoqiang [editor.] | Liu, Weibin [editor.] | Xing, Weiwei [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
|
|
|
|
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 Reality, Virtual Reality, and Computer Graphics [electronic resource] : Third International Conference, AVR 2016, Lecce, Italy, June 15-18, 2016. Proceedings, Part I / edited by Lucio Tommaso De Paolis, Antonio Mongelli.
by De Paolis, Lucio Tommaso [editor.] | Mongelli, Antonio [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 and Computing Technologies in Agriculture VIII [electronic resource] : 8th IFIP WG 5.14 International Conference, CCTA 2014, Beijing, China, September 16-19, 2014, Revised Selected Papers / edited by Daoliang Li, Yingyi Chen.
by Li, Daoliang [editor.] | Chen, Yingyi [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
|
|
|
|
Requirements Engineering for Digital Health [electronic resource] / edited by Samuel A. Fricker, Christoph Th�ummler, Anastasius Gavras.
by Fricker, Samuel A [editor.] | Th�ummler, Christoph [editor.] | Gavras, Anastasius [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
|
|
|
|
ICT Development for Social and Rural Connectedness [electronic resource] / by Nor Aziah Alias.
by Alias, Nor Aziah [author.] | 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, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Logic in Multi-Agent Systems [electronic resource] : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings / edited by Jo�ao Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran.
by Leite, Jo�ao [editor.] | Son, Tran Cao [editor.] | Torroni, Paolo [editor.] | Torre, Leon van der [editor.] | Woltran, Stefan [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
|
