|
|
|
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
|
|
|
|
Product-Focused Software Process Improvement [electronic resource] : 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28-30, 2018, Proceedings / edited by Marco Kuhrmann, Kurt Schneider, Dietmar Pfahl, Sousuke Amasaki, Marcus Ciolkowski, Regina Hebig, Paolo Tell, Jil Klünder, Steffen Küpper.
by Kuhrmann, Marco [editor.] | Schneider, Kurt [editor.] | Pfahl, Dietmar [editor.] | Amasaki, Sousuke [editor.] | Ciolkowski, Marcus [editor.] | Hebig, Regina [editor.] | Tell, Paolo [editor.] | Klünder, Jil [editor.] | Küpper, Steffen [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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
Applications of Evolutionary Computation [electronic resource] : EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Málaga, Spain, April 11-13, 2012, Proceedings / edited by Cecilia Di Chio, Alexandros Agapitos, Stefano Cagnoni, Carlos Cotta, Francisco Fernández de Vega, Gianni A. Di Caro, Rolf Drechsler, Anikó Ekárt, Anna I. Esparcia-Alcázar, Muddassar Farooq, W.B. Langdon, Juan-J. Merelo-Guervós, Mike Preuss, Hendrik Richter, Sara Silva, Anabela Simões, Giovanni Squillero, Ernesto Tarantino, Andrea Tettamanzi, Julian Togelius, Neil Urquhart, Sima Uyar, Georgios N. Yannakakis.
by Di Chio, Cecilia [editor.] | Agapitos, Alexandros [editor.] | Cagnoni, Stefano [editor.] | Cotta, Carlos [editor.] | Fernández de Vega, Francisco [editor.] | Di Caro, Gianni A [editor.] | Drechsler, Rolf [editor.] | Ekárt, Anikó [editor.] | Esparcia-Alcázar, Anna I [editor.] | Farooq, Muddassar [editor.] | Langdon, W.B [editor.] | Merelo-Guervós, Juan-J [editor.] | Preuss, Mike [editor.] | Richter, Hendrik [editor.] | Silva, Sara [editor.] | Simões, Anabela [editor.] | Squillero, Giovanni [editor.] | Tarantino, Ernesto [editor.] | Tettamanzi, Andrea [editor.] | Togelius, Julian [editor.] | Urquhart, Neil [editor.] | Uyar, Sima [editor.] | Yannakakis, Georgios N [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Simulated Evolution and Learning [electronic resource] : 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008, Proceedings / edited by Xiaodong Li, Michael Kirley, Mengjie Zhang, Vic Ciesielski, Zbigniew Michalewicz, Tim Hendtlass, Kalyanmoy Deb, K. C. Tan, Jürgen Branke.
by Li, Xiaodong [editor.] | Kirley, Michael [editor.] | Zhang, Mengjie [editor.] | Ciesielski, Vic [editor.] | Michalewicz, Zbigniew [editor.] | Hendtlass, Tim [editor.] | Deb, Kalyanmoy [editor.] | Tan, K. C [editor.] | Branke, Jürgen [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
|
|
|
|
Foundations of Security Analysis and Design V [electronic resource] : FOSAD 2008/2009 Tutorial Lectures / edited by Alessandro Aldini, Gilles Barthe, Roberto Gorrieri.
by Aldini, Alessandro [editor.] | Barthe, Gilles [editor.] | Gorrieri, Roberto [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
|
|
|
|
Software Engineering for Self-Adaptive Systems [electronic resource] / edited by Betty H. C. Cheng, Rogério de Lemos, Paola Inverardi, Jeff Magee.
by Cheng, Betty H. C [editor.] | de Lemos, Rogério [editor.] | Inverardi, Paola [editor.] | Magee, Jeff [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
|
|
|
|
Computing and Combinatorics [electronic resource] : 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings / edited by Dachuan Xu, Donglei Du, Dingzhu Du.
by Xu, Dachuan [editor.] | Du, Donglei [editor.] | Du, Dingzhu [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
|
|
|
|
Formal Modeling: Actors; Open Systems, Biological Systems [electronic resource] : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / edited by Gul Agha, Olivier Danvy, José Meseguer.
by Agha, Gul [editor.] | Danvy, Olivier [editor.] | Meseguer, José [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
|
|
|
|
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings / edited by Alessandro Antonucci, Laurence Cholvy, Odile Papini.
by Antonucci, Alessandro [editor.] | Cholvy, Laurence [editor.] | Papini, Odile [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
|
|
|
|
Dynamic Logic. New Trends and Applications [electronic resource] : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers / edited by Carlos Areces, Diana Costa.
by Areces, Carlos [editor.] | Costa, Diana [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 International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Practical Aspects of Declarative Languages [electronic resource] : 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings / edited by Martin Gebser, Ilya Sergey.
by Gebser, Martin [editor.] | Sergey, Ilya [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
|
