|
|
|
Engineering Secure Software and Systems [electronic resource] : 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings / edited by Frank Piessens, Juan Caballero, Nataliia Bielova.
by Piessens, Frank [editor.] | Caballero, Juan [editor.] | Bielova, Nataliia [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
|
|
|
|
The Semantic Web: ESWC 2018 Satellite Events [electronic resource] : ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers / edited by Aldo Gangemi, Anna Lisa Gentile, Andrea Giovanni Nuzzolese, Sebastian Rudolph, Maria Maleshkova, Heiko Paulheim, Jeff Z Pan, Mehwish Alam.
by Gangemi, Aldo [editor.] | Gentile, Anna Lisa [editor.] | Nuzzolese, Andrea Giovanni [editor.] | Rudolph, Sebastian [editor.] | Maleshkova, Maria [editor.] | Paulheim, Heiko [editor.] | Pan, Jeff Z [editor.] | Alam, Mehwish [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
|
|
|
|
Component-Based Software Engineering [electronic resource] : 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings / edited by Ian Gorton, George T. Heinemann, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau.
by Gorton, Ian [editor.] | Heinemann, George T [editor.] | Crnkovic, Ivica [editor.] | Schmidt, Heinz W [editor.] | Stafford, Judith A [editor.] | Szyperski, Clemens [editor.] | Wallnau, Kurt [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Database Systems for Advanced Applications [electronic resource] : 18th International Conference, DASFAA 2013, Wuhan, China, April 22-25, 2013. Proceedings, Part I / edited by Weiyi Meng, Ling Feng, Stéphane Bressan, Werner Winiwarter, Wei Song.
by Meng, Weiyi [editor.] | Feng, Ling [editor.] | Bressan, Stéphane [editor.] | Winiwarter, Werner [editor.] | Song, Wei [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
|
|
|
|
Natural Language Processing and Chinese Computing [electronic resource] : 7th CCF International Conference, NLPCC 2018, Hohhot, China, August 26-30, 2018, Proceedings, Part II / edited by Min Zhang, Vincent Ng, Dongyan Zhao, Sujian Li, Hongying Zan.
by Zhang, Min [editor.] | Ng, Vincent [editor.] | Zhao, Dongyan [editor.] | Li, Sujian [editor.] | Zan, Hongying [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
|
|
|
|
Software Technologies: Applications and Foundations [electronic resource] : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers / edited by Manuel Mazzara, Iulian Ober, Gwen Salaün.
by Mazzara, Manuel [editor.] | Ober, Iulian [editor.] | Salaün, Gwen [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
|
|
|
|
PRIMA 2018: Principles and Practice of Multi-Agent Systems [electronic resource] : 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings / edited by Tim Miller, Nir Oren, Yuko Sakurai, Itsuki Noda, Bastin Tony Roy Savarimuthu, Tran Cao Son.
by Miller, Tim [editor.] | Oren, Nir [editor.] | Sakurai, Yuko [editor.] | Noda, Itsuki [editor.] | Savarimuthu, Bastin Tony Roy [editor.] | Cao Son, Tran [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
|
|
|
|
Social Informatics [electronic resource] : 10th International Conference, SocInfo 2018, St. Petersburg, Russia, September 25-28, 2018, Proceedings, Part II / edited by Steffen Staab, Olessia Koltsova, Dmitry I. Ignatov.
by Staab, Steffen [editor.] | Koltsova, Olessia [editor.] | Ignatov, Dmitry I [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
|
|
|
|
Advances in Artificial Intelligence [electronic resource] : 32nd Canadian Conference on Artificial Intelligence, Canadian AI 2019, Kingston, ON, Canada, May 28-31, 2019, Proceedings / edited by Marie-Jean Meurs, Frank Rudzicz.
by Meurs, Marie-Jean [editor.] | Rudzicz, Frank [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
|
|
|
|
Programming and Performance Visualization Tools [electronic resource] : International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers / edited by Abhinav Bhatele, David Boehme, Joshua A. Levine, Allen D. Malony, Martin Schulz.
by Bhatele, Abhinav [editor.] | Boehme, David [editor.] | Levine, Joshua A [editor.] | Malony, Allen D [editor.] | Schulz, Martin [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
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings / edited by Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza.
by Chen, Yu-Fang [editor.] | Cheng, Chih-Hong [editor.] | Esparza, Javier [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
|
|
|
|
Discovery Science [electronic resource] : 22nd International Conference, DS 2019, Split, Croatia, October 28-30, 2019, Proceedings / edited by Petra Kralj Novak, Tomislav Šmuc, Sašo Džeroski.
by Kralj Novak, Petra [editor.] | Šmuc, Tomislav [editor.] | Džeroski, Sašo [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
|
|
|
|
Artificial Intelligence in Medicine [electronic resource] : 17th Conference on Artificial Intelligence in Medicine, AIME 2019, Poznan, Poland, June 26-29, 2019, Proceedings / edited by David Riaño, Szymon Wilk, Annette ten Teije.
by Riaño, David [editor.] | Wilk, Szymon [editor.] | ten Teije, Annette [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
|
|
|
|
Treewidth, Kernels, and Algorithms [electronic resource] : Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday / edited by Fedor V. Fomin, Stefan Kratsch, Erik Jan van Leeuwen.
by Fomin, Fedor V [editor.] | Kratsch, Stefan [editor.] | van Leeuwen, Erik Jan [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
|
|
|
|
Advances in Information Retrieval [electronic resource] : 42nd European Conference on IR Research, ECIR 2020, Lisbon, Portugal, April 14-17, 2020, Proceedings, Part II / edited by Joemon M. Jose, Emine Yilmaz, João Magalhães, Pablo Castells, Nicola Ferro, Mário J. Silva, Flávio Martins.
by Jose, Joemon M [editor.] | Yilmaz, Emine [editor.] | Magalhães, João [editor.] | Castells, Pablo [editor.] | Ferro, Nicola [editor.] | Silva, Mário J [editor.] | Martins, Flávio [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
|
|
|
|
Large-Scale Scientific Computing [electronic resource] : 12th International Conference, LSSC 2019, Sozopol, Bulgaria, June 10-14, 2019, Revised Selected Papers / edited by Ivan Lirkov, Svetozar Margenov.
by Lirkov, Ivan [editor.] | Margenov, Svetozar [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
|
|
|
|
Internet of Vehicles. Technologies and Services Toward Smart Cities [electronic resource] : 6th International Conference, IOV 2019, Kaohsiung, Taiwan, November 18-21, 2019, Proceedings / edited by Ching-Hsien Hsu, Sondès Kallel, Kun-Chan Lan, Zibin Zheng.
by Hsu, Ching-Hsien [editor.] | Kallel, Sondès [editor.] | Lan, Kun-Chan [editor.] | Zheng, Zibin [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
|
|
|
|
Dynamic Logic. New Trends and Applications [electronic resource] : Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings / edited by Luís Soares Barbosa, Alexandru Baltag.
by Soares Barbosa, Luís [editor.] | Baltag, Alexandru [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
|
|
|
|
Internet and Distributed Computing Systems [electronic resource] : 12th International Conference, IDCS 2019, Naples, Italy, October 10-12, 2019, Proceedings / edited by Raffaele Montella, Angelo Ciaramella, Giancarlo Fortino, Antonio Guerrieri, Antonio Liotta.
by Montella, Raffaele [editor.] | Ciaramella, Angelo [editor.] | Fortino, Giancarlo [editor.] | Guerrieri, Antonio [editor.] | Liotta, Antonio [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
|
|
|
|
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy [electronic resource] : Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday / edited by Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia.
by Alvim, Mário S [editor.] | Chatzikokolakis, Kostas [editor.] | Olarte, Carlos [editor.] | Valencia, Frank [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
|
