|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Big Data and Artificial Intelligence [electronic resource] : 11th International Conference, BDA 2023, Delhi, India, December 7-9, 2023, Proceedings / edited by Vikram Goyal, Naveen Kumar, Sourav S. Bhowmick, Pawan Goyal, Navneet Goyal, Dhruv Kumar.
by Goyal, Vikram [editor.] | Kumar, Naveen [editor.] | Bhowmick, Sourav S [editor.] | Goyal, Pawan [editor.] | Goyal, Navneet [editor.] | Kumar, Dhruv [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Spatial Data and Intelligence [electronic resource] : 4th International Conference, SpatialDI 2023, Nanchang, China, April 13-15, 2023, Proceedings / edited by Xiaofeng Meng, Xiang Li, Jianqiu Xu, Xueying Zhang, Yuming Fang, Bolong Zheng, Yafei Li.
by Meng, Xiaofeng [editor.] | Li, Xiang [editor.] | Xu, Jianqiu [editor.] | Zhang, Xueying [editor.] | Fang, Yuming [editor.] | Zheng, Bolong [editor.] | Li, Yafei [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Applications of Evolutionary Computing [electronic resource] : EvoWorkshops 2007:EvoCOMNET, EvoFIN, EvoIASP, EvoINTERACTION, EvoMUSART, EvoSTOC, and EvoTransLog, Valencia, Spain, April 11-13, 2007, Proceedings / edited by Mario Giacobini, Anthony Brabazon, Stefano Cagoni, Gianni A. Di Caro, Rolf Drechsler, Muddassar Farooq, Andreas Fink, Evelyne Lutton, Penousal Machado, Stefan Minner, Michael O'Neill, Juan Romero, Franz Rothlauf, Giovanni Squillero, Hideyuki Takagi, A. Sima Uyar, Shengxiang Yang.
by Giacobini, Mario [editor.] | Brabazon, Anthony [editor.] | Cagoni, Stefano [editor.] | Di Caro, Gianni A [editor.] | Drechsler, Rolf [editor.] | Farooq, Muddassar [editor.] | Fink, Andreas [editor.] | Lutton, Evelyne [editor.] | Machado, Penousal [editor.] | Minner, Stefan [editor.] | O'Neill, Michael [editor.] | Romero, Juan [editor.] | Rothlauf, Franz [editor.] | Squillero, Giovanni [editor.] | Takagi, Hideyuki [editor.] | Uyar, A. Sima [editor.] | Yang, Shengxiang [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Advances on Practical Applications of Agents and Multi-Agent Systems [electronic resource] : 11th International Conference, PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings / edited by Yves Demazeau, Toru Ishida, Juan Manuel Corchado Rodríguez, Javier Bajo Pérez.
by Demazeau, Yves [editor.] | Ishida, Toru [editor.] | Corchado Rodríguez, Juan Manuel [editor.] | Bajo Pérez, Javier [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
|
|
|
|
Ambient Intelligence [electronic resource] : Second International Joint Conference, AmI 2011, Amsterdam, The Netherlands, November 16-18, 2011, Proceedings / edited by David Keyson, Mary Lou Maher, Norbert Streitz, Adrian David Cheok, Juan Carlos Augusto, Reiner Wichert, Gwenn Englebienne, Hamid Aghajan, Ben Kröse.
by Keyson, David [editor.] | Maher, Mary Lou [editor.] | Streitz, Norbert [editor.] | Cheok, Adrian David [editor.] | Augusto, Juan Carlos [editor.] | Wichert, Reiner [editor.] | Englebienne, Gwenn [editor.] | Aghajan, Hamid [editor.] | Kröse, Ben [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
|
|
|
|
Electronic Government [electronic resource] : 16th IFIP WG 8.5 International Conference, EGOV 2017, St. Petersburg, Russia, September 4-7, 2017, Proceedings / edited by Marijn Janssen, Karin Axelsson, Olivier Glassey, Bram Klievink, Robert Krimmer, Ida Lindgren, Peter Parycek, Hans J. Scholl, Dmitrii Trutnev.
by Janssen, Marijn [editor.] | Axelsson, Karin [editor.] | Glassey, Olivier [editor.] | Klievink, Bram [editor.] | Krimmer, Robert [editor.] | Lindgren, Ida [editor.] | Parycek, Peter [editor.] | Scholl, Hans J [editor.] | Trutnev, Dmitrii [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
|
|
|
|
Human Computer Interaction, Tourism and Cultural Heritage [electronic resource] : First International Workshop, HCITOCH 2010, Brescello, Italy, September 7-8, 2010 Revised Selected Papers / edited by Francisco Cipolla Ficarra, Carlos de Castro Lozano, Emma Nicol, Andreas Kratky, Miguel Cipolla-Ficarra.
by Cipolla Ficarra, Francisco [editor.] | de Castro Lozano, Carlos [editor.] | Nicol, Emma [editor.] | Kratky, Andreas [editor.] | Cipolla-Ficarra, Miguel [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
|
|
|
|
Advances in Web-Based Learning -- ICWL 2015 [electronic resource] : 14th International Conference, Guangzhou, China, November 5-8, 2015, Proceedings / edited by Frederick W.B. Li, Ralf Klamma, Mart Laanpere, Jun Zhang, Baltasar Fernandez Manjon, Rynson W.H. Lau.
by Li, Frederick W.B [editor.] | Klamma, Ralf [editor.] | Laanpere, Mart [editor.] | Zhang, Jun [editor.] | Manjon, Baltasar Fernandez [editor.] | Lau, Rynson W.H [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial 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 Visual Computing [electronic resource] : 12th International Symposium, ISVC 2016, Las Vegas, NV, USA, December 12-14, 2016, Proceedings, Part II / edited by George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Fatih Porikli, Sandra Skaff, Alireza Entezari, Jianyuan Min, Daisuke Iwai, Amela Sadagic, Carlos Scheidegger, Tobias Isenberg.
by Bebis, George [editor.] | Boyle, Richard [editor.] | Parvin, Bahram [editor.] | Koracin, Darko [editor.] | Porikli, Fatih [editor.] | Skaff, Sandra [editor.] | Entezari, Alireza [editor.] | Min, Jianyuan [editor.] | Iwai, Daisuke [editor.] | Sadagic, Amela [editor.] | Scheidegger, Carlos [editor.] | Isenberg, Tobias [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
|
|
|
|
Hybrid Learning: Innovation in Educational Practices [electronic resource] : 8th International Conference, ICHL 2015, Wuhan, China, July 27-29, 2015. Proceedings / edited by Simon K.S. Cheung, Lam-for Kwok, Harrison Yang, Joseph Fong, Reggie Kwan.
by Cheung, Simon K.S [editor.] | Kwok, Lam-for [editor.] | Yang, Harrison [editor.] | Fong, Joseph [editor.] | Kwan, Reggie [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial 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
|
|
|
|
Informatics Education - Supporting Computational Thinking [electronic resource] : Third International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2008 Torun Poland, July 1-4, 2008 Proceedings / edited by Roland Mittermeir, Maciej M. Syslo.
by Mittermeir, Roland [editor.] | Syslo, Maciej M [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
|
|
|
|
Human-Centered and Error-Resilient Systems Development [electronic resource] : IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings / edited by Cristian Bogdan, Jan Gulliksen, Stefan Sauer, Peter Forbrig, Marco Winckler, Chris Johnson, Philippe Palanque, Regina Bernhaupt, Filip Kis.
by Bogdan, Cristian [editor.] | Gulliksen, Jan [editor.] | Sauer, Stefan [editor.] | Forbrig, Peter [editor.] | Winckler, Marco [editor.] | Johnson, Chris [editor.] | Palanque, Philippe [editor.] | Bernhaupt, Regina [editor.] | Kis, Filip [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
|
|
|
|
Smart Homes and Health Telematics [electronic resource] : 6th International Conference, ICOST 2008 Ames, IA, USA, June 28th July 2, 2008, Proceedings / edited by Abdelsalam (Sumi) Helal, Simanta Mitra, Johnny Wong, Carl K. Chang, Mokhtari Mounir.
by Helal, Abdelsalam (Sumi) [editor.] | Mitra, Simanta [editor.] | Wong, Johnny [editor.] | Chang, Carl K [editor.] | Mounir, Mokhtari [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
|
|
|
|
Towards Autonomous, Adaptive, and Context-Aware Multimodal Interfaces: Theoretical and Practical Issues [electronic resource] : Third COST 2102 International Training School, Caserta, Italy, March 15-19, 2010, Revised Selected Papers / edited by Anna Esposito, Antonietta M. Esposito, Raffaele Martone, Vincent Müller, Gaetano Scarpetta.
by Esposito, Anna [editor.] | Esposito, Antonietta M [editor.] | Martone, Raffaele [editor.] | Müller, Vincent [editor.] | Scarpetta, Gaetano [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
|
|
|
|
Wireless Algorithms, Systems, and Applications [electronic resource] : Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008, Proceedings / edited by Yingshu Li, Dung T. Huynh, Sajal K. Das, Ding-Zhu Du.
by Li, Yingshu [editor.] | Huynh, Dung T [editor.] | Das, Sajal K [editor.] | Du, Ding-Zhu [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
|
|
|
|
Ada 2012 Reference Manual. Language and Standard Libraries [electronic resource] : International Standard ISO/IEC 8652/2012 (E) / edited by S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy, Edmond Schonberg.
by Taft, S. Tucker [editor.] | Duff, Robert A [editor.] | Brukardt, Randall L [editor.] | Ploedereder, Erhard [editor.] | Leroy, Pascal [editor.] | Schonberg, Edmond [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
|
|
|
|
Assurances for Self-Adaptive Systems [electronic resource] : Principles, Models, and Techniques / edited by Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antonia Lopes.
by Cámara, Javier [editor.] | de Lemos, Rogério [editor.] | Ghezzi, Carlo [editor.] | Lopes, Antonia [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
|
|
|
|
Parallel and Distributed Processing and Applications [electronic resource] : Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005, Proceedings / edited by Yi Pan, Daoxu Chen, Minyi Guo, Jiannong Cao, Jack Dongarra.
by Pan, Yi [editor.] | Chen, Daoxu [editor.] | Guo, Minyi [editor.] | Cao, Jiannong [editor.] | Dongarra, Jack [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
|
|
|
|
Human-Computer Interaction - INTERACT 2009 [electronic resource] : 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedigns Part I / edited by Tom Gross, Jan Gulliksen, Paula Kotzé, Lars Oestreicher, Philippe Palanque, Raquel Oliveira Prates, Marco Winckler.
by Gross, Tom [editor.] | Gulliksen, Jan [editor.] | Kotzé, Paula [editor.] | Oestreicher, Lars [editor.] | Palanque, Philippe [editor.] | Prates, Raquel Oliveira [editor.] | Winckler, Marco [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
|
