|
|
|
Reliable Software Technologies - Ada-Europe 2011 [electronic resource] : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings / edited by Alexander Romanovsky, Tullio Vardanega.
by Romanovsky, Alexander [editor.] | Vardanega, Tullio [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Robotics and Applications [electronic resource] : 7th International Conference, ICIRA 2014, Guangzhou, China, December 17-20, 2014, Proceedings, Part II / edited by Xianmin Zhang, Honghai Liu, Zhong Chen, Nianfeng Wang.
by Zhang, Xianmin [editor.] | Liu, Honghai [editor.] | Chen, Zhong [editor.] | Wang, Nianfeng [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Model-Based Methodologies for Pervasive and Embedded Software [electronic resource] : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers / edited by Ricardo J. Machado, Rita Suzana Maciel, Julia Rubin, Goetz Botterweck.
by Machado, Ricardo J [editor.] | Maciel, Rita Suzana [editor.] | Rubin, Julia [editor.] | Botterweck, Goetz [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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
|
|
|
|
Geographic Information Science [electronic resource] : 6th International Conference, GIScience 2010, Zurich, Switzerland, September 14-17, 2010. Proceedings / edited by Sara Irina Fabrikant, Tumasch Reichenbacher, Marc van Kreveld, Christoph Schlieder.
by Fabrikant, Sara Irina [editor.] | Reichenbacher, Tumasch [editor.] | van Kreveld, Marc [editor.] | Schlieder, Christoph [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online 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). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
|
|
|
High Performance Computing - HiPC 2005 [electronic resource] : 12th International Conference, Goa, India, December 18-21, 2005, Proceedings / edited by David A. Bader, Manish Parashar, V. Sridhar, Viktor K. Prasanna.
by Bader, David A [editor.] | Parashar, Manish [editor.] | Sridhar, V [editor.] | Prasanna, Viktor K [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Multimedia Modeling [electronic resource] : 15th International Multimedia Modeling Conference, MMM 2009, Sophia-Antipolis, France, January 7-9, 2009. Proceedings. / edited by Benoit Huet, Alan Smeaton, Ketan Mayer-Patel, Yannis Avrithis.
by Huet, Benoit [editor.] | Smeaton, Alan [editor.] | Mayer-Patel, Ketan [editor.] | Avrithis, Yannis [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Programming Languages and Systems [electronic resource] : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings / edited by G. Ramalingam.
by Ramalingam, G [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Declarative Programming and Knowledge Management [electronic resource] : Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers / edited by Dietmar Seipel, Michael Hanus, Salvador Abreu.
by Seipel, Dietmar [editor.] | Hanus, Michael [editor.] | Abreu, Salvador [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Measurement, Modelling and Evaluation of Computing Systems [electronic resource] : 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings / edited by Reinhard German, Kai-Steffen Hielscher, Udo R. Krieger.
by German, Reinhard [editor.] | Hielscher, Kai-Steffen [editor.] | Krieger, Udo R [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Scalable Uncertainty Management [electronic resource] : 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings / edited by Serafín Moral, Olivier Pivert, Daniel Sánchez, Nicolás Marín.
by Moral, Serafín [editor.] | Pivert, Olivier [editor.] | Sánchez, Daniel [editor.] | Marín, Nicolás [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
HCI International 2020 - Late Breaking Papers: Universal Access and Inclusive Design [electronic resource] : 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings / edited by Constantine Stephanidis, Margherita Antona, Qin Gao, Jia Zhou.
by Stephanidis, Constantine [editor.] | Antona, Margherita [editor.] | Gao, Qin [editor.] | Zhou, Jia [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Processing of the Portuguese Language [electronic resource] : 14th International Conference, PROPOR 2020, Evora, Portugal, March 2-4, 2020, Proceedings / edited by Paulo Quaresma, Renata Vieira, Sandra Aluísio, Helena Moniz, Fernando Batista, Teresa Gonçalves.
by Quaresma, Paulo [editor.] | Vieira, Renata [editor.] | Aluísio, Sandra [editor.] | Moniz, Helena [editor.] | Batista, Fernando [editor.] | Gonçalves, Teresa [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Data Engineering and Automated Learning - IDEAL 2019 [electronic resource] : 20th International Conference, Manchester, UK, November 14-16, 2019, Proceedings, Part I / edited by Hujun Yin, David Camacho, Peter Tino, Antonio J. Tallón-Ballesteros, Ronaldo Menezes, Richard Allmendinger.
by Yin, Hujun [editor.] | Camacho, David [editor.] | Tino, Peter [editor.] | Tallón-Ballesteros, Antonio J [editor.] | Menezes, Ronaldo [editor.] | Allmendinger, Richard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Testing Software and Systems [electronic resource] : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings / edited by Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall.
by Gaston, Christophe [editor.] | Kosmatov, Nikolai [editor.] | Le Gall, Pascale [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Collaboration Technologies and Social Computing [electronic resource] : 25th International Conference, CRIWG+CollabTech 2019, Kyoto, Japan, September 4-6, 2019, Proceedings / edited by Hideyuki Nakanishi, Hironori Egi, Irene-Angelica Chounta, Hideyuki Takada, Satoshi Ichimura, Ulrich Hoppe.
by Nakanishi, Hideyuki [editor.] | Egi, Hironori [editor.] | Chounta, Irene-Angelica [editor.] | Takada, Hideyuki [editor.] | Ichimura, Satoshi [editor.] | Hoppe, Ulrich [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Industrial Applications of Holonic and Multi-Agent Systems [electronic resource] : 9th International Conference, HoloMAS 2019, Linz, Austria, August 26-29, 2019, Proceedings / edited by Vladimír Mařík, Petr Kadera, George Rzevski, Alois Zoitl, Gabriele Anderst-Kotsis, A Min Tjoa, Ismail Khalil.
by Mařík, Vladimír [editor.] | Kadera, Petr [editor.] | Rzevski, George [editor.] | Zoitl, Alois [editor.] | Anderst-Kotsis, Gabriele [editor.] | Tjoa, A Min [editor.] | Khalil, Ismail [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Vision - ECCV 2020 Workshops [electronic resource] : Glasgow, UK, August 23-28, 2020, Proceedings, Part V / edited by Adrien Bartoli, Andrea Fusiello.
by Bartoli, Adrien [editor.] | Fusiello, Andrea [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Smart Card Research and Advanced Applications [electronic resource] : 19th International Conference, CARDIS 2020, Virtual Event, November 18-19, 2020, Revised Selected Papers / edited by Pierre-Yvan Liardet, Nele Mentens.
by Liardet, Pierre-Yvan [editor.] | Mentens, Nele [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Mobile, Secure, and Programmable Networking [electronic resource] : 6th International Conference, MSPN 2020, Paris, France, October 28-29, 2020, Revised Selected Papers / edited by Samia Bouzefrane, Maryline Laurent, Selma Boumerdassi, Eric Renault.
by Bouzefrane, Samia [editor.] | Laurent, Maryline [editor.] | Boumerdassi, Selma [editor.] | Renault, Eric [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
