|
|
|
Computational Logic in Multi-Agent Systems [electronic resource] : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings / edited by Joao Leite, Paolo Torroni, Thomas Agotnes, Guido Boella, Leon van der Torre.
by Leite, Joao [editor.] | Torroni, Paolo [editor.] | Agotnes, Thomas [editor.] | Boella, Guido [editor.] | van der Torre, Leon [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
|
|
|
|
Languages, Methodologies, and Development Tools for Multi-Agent Systems [electronic resource] : Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers / edited by Mehdi Dastani, Amal El Fallah Seghrouchni, Joao Leite, Paolo Torroni.
by Dastani, Mehdi [editor.] | El Fallah Seghrouchni, Amal [editor.] | Leite, Joao [editor.] | Torroni, Paolo [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
|
|
|
|
Information Security [electronic resource] : 12th International Conference, ISC 2009 Pisa, Italy, September 7-9, 2009 Proceedings / edited by Pierangela Samarati, Moti Yung, Fabio Martinelli, Claudio Agostino Ardagna.
by Samarati, Pierangela [editor.] | Yung, Moti [editor.] | Martinelli, Fabio [editor.] | Ardagna, Claudio Agostino [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
|
|
|
|
Application and Theory of Petri Nets and Concurrency [electronic resource] : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings / edited by Gianfranco Ciardo, Ekkart Kindler.
by Ciardo, Gianfranco [editor.] | Kindler, Ekkart [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
|
|
|
|
Human Language Technology. Challenges for Computer Science and Linguistics [electronic resource] : 7th Language and Technology Conference, LTC 2015, Poznań, Poland, November 27-29, 2015, Revised Selected Papers / edited by Zygmunt Vetulani, Joseph Mariani, Marek Kubis.
by Vetulani, Zygmunt [editor.] | Mariani, Joseph [editor.] | Kubis, Marek [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
|
|
|
|
Fields of Logic and Computation III [electronic resource] : Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday / edited by Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner.
by Blass, Andreas [editor.] | Cégielski, Patrick [editor.] | Dershowitz, Nachum [editor.] | Droste, Manfred [editor.] | Finkbeiner, Bernd [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
|
|
|
|
Pattern Recognition and Machine Intelligence [electronic resource] : 8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part I / edited by Bhabesh Deka, Pradipta Maji, Sushmita Mitra, Dhruba Kumar Bhattacharyya, Prabin Kumar Bora, Sankar Kumar Pal.
by Deka, Bhabesh [editor.] | Maji, Pradipta [editor.] | Mitra, Sushmita [editor.] | Bhattacharyya, Dhruba Kumar [editor.] | Bora, Prabin Kumar [editor.] | Pal, Sankar Kumar [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 Semantic Web: ESWC 2019 Satellite Events [electronic resource] : ESWC 2019 Satellite Events, Portorož, Slovenia, June 2-6, 2019, Revised Selected Papers / edited by Pascal Hitzler, Sabrina Kirrane, Olaf Hartig, Victor de Boer, Maria-Esther Vidal, Maria Maleshkova, Stefan Schlobach, Karl Hammar, Nelia Lasierra, Steffen Stadtmüller, Katja Hose, Ruben Verborgh.
by Hitzler, Pascal [editor.] | Kirrane, Sabrina [editor.] | Hartig, Olaf [editor.] | de Boer, Victor [editor.] | Vidal, Maria-Esther [editor.] | Maleshkova, Maria [editor.] | Schlobach, Stefan [editor.] | Hammar, Karl [editor.] | Lasierra, Nelia [editor.] | Stadtmüller, Steffen [editor.] | Hose, Katja [editor.] | Verborgh, Ruben [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
|
|
|
|
Structural, Syntactic, and Statistical Pattern Recognition [electronic resource] : Joint IAPR International Workshops, S+SSPR 2020, Padua, Italy, January 21-22, 2021, Proceedings / edited by Andrea Torsello, Luca Rossi, Marcello Pelillo, Battista Biggio, Antonio Robles-Kelly.
by Torsello, Andrea [editor.] | Rossi, Luca [editor.] | Pelillo, Marcello [editor.] | Biggio, Battista [editor.] | Robles-Kelly, Antonio [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
|
|
|
|
Applied Cryptography and Network Security Workshops [electronic resource] : ACNS 2020 Satellite Workshops, AIBlock, AIHWS, AIoTS, Cloud S&P, SCI, SecMT, and SiMLA, Rome, Italy, October 19-22, 2020, Proceedings / edited by Jianying Zhou, Mauro Conti, Chuadhry Mujeeb Ahmed, Man Ho Au, Lejla Batina, Zhou Li, Jingqiang Lin, Eleonora Losiouk, Bo Luo, Suryadipta Majumdar, Weizhi Meng, Martín Ochoa, Stjepan Picek, Georgios Portokalidis, Cong Wang, Kehuan Zhang.
by Zhou, Jianying [editor.] | Conti, Mauro [editor.] | Ahmed, Chuadhry Mujeeb [editor.] | Au, Man Ho [editor.] | Batina, Lejla [editor.] | Li, Zhou [editor.] | Lin, Jingqiang [editor.] | Losiouk, Eleonora [editor.] | Luo, Bo [editor.] | Majumdar, Suryadipta [editor.] | Meng, Weizhi [editor.] | Ochoa, Martín [editor.] | Picek, Stjepan [editor.] | Portokalidis, Georgios [editor.] | Wang, Cong [editor.] | Zhang, Kehuan [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 Science - ICCS 2022 [electronic resource] : 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part IV / edited by Derek Groen, Clélia de Mulatier, Maciej Paszynski, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, Peter M. A. Sloot.
by Groen, Derek [editor.] | de Mulatier, Clélia [editor.] | Paszynski, Maciej [editor.] | Krzhizhanovskaya, Valeria V [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M. A [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
|
|
|
|
KI 2022: Advances in Artificial Intelligence [electronic resource] : 45th German Conference on AI, Trier, Germany, September 19-23, 2022, Proceedings / edited by Ralph Bergmann, Lukas Malburg, Stephanie C. Rodermund, Ingo J. Timm.
by Bergmann, Ralph [editor.] | Malburg, Lukas [editor.] | Rodermund, Stephanie C [editor.] | Timm, Ingo J [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
|
|
|
|
Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops [electronic resource] : DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE Munich, Germany, September 6-9, 2022, Proceedings / edited by Mario Trapp, Erwin Schoitsch, Jérémie Guiochet, Friedemann Bitsch.
by Trapp, Mario [editor.] | Schoitsch, Erwin [editor.] | Guiochet, Jérémie [editor.] | Bitsch, Friedemann [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
|
|
|
|
Parallel Problem Solving from Nature - PPSN XVII [electronic resource] : 17th International Conference, PPSN 2022, Dortmund, Germany, September 10-14, 2022, Proceedings, Part I / edited by Günter Rudolph, Anna V. Kononova, Hernán Aguirre, Pascal Kerschke, Gabriela Ochoa, Tea Tušar.
by Rudolph, Günter [editor.] | Kononova, Anna V [editor.] | Aguirre, Hernán [editor.] | Kerschke, Pascal [editor.] | Ochoa, Gabriela [editor.] | Tušar, Tea [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
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II / 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 Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Chinese Computational Linguistics [electronic resource] : 21st China National Conference, CCL 2022, Nanchang, China, October 14-16, 2022, Proceedings / edited by Maosong Sun, Yang Liu, Wanxiang Che, Yang Feng, Xipeng Qiu, Gaoqi Rao, Yubo Chen.
by Sun, Maosong [editor.] | Liu, Yang [editor.] | Che, Wanxiang [editor.] | Feng, Yang [editor.] | Qiu, Xipeng [editor.] | Rao, Gaoqi [editor.] | Chen, Yubo [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
|
|
|
|
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops [electronic resource] : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers / edited by Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture.
by Cerone, Antonio [editor.] | Autili, Marco [editor.] | Bucaioni, Alessio [editor.] | Gomes, Cláudio [editor.] | Graziani, Pierluigi [editor.] | Palmieri, Maurizio [editor.] | Temperini, Marco [editor.] | Venture, Gentiane [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
|
|
|
|
Collaboration Technologies and Social Computing [electronic resource] : 28th International Conference, CollabTech 2022, Santiago, Chile, November 8-11, 2022, Proceedings / edited by Lung-Hsiang Wong, Yugo Hayashi, Cesar A. Collazos, Claudio Alvarez, Gustavo Zurita, Nelson Baloian.
by Wong, Lung-Hsiang [editor.] | Hayashi, Yugo [editor.] | Collazos, Cesar A [editor.] | Alvarez, Claudio [editor.] | Zurita, Gustavo [editor.] | Baloian, Nelson [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
|
|
|
|
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
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III / 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 Nature Switzerland : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
