|
|
|
Practical Aspects of Declarative Languages [electronic resource] : 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings / edited by Ekaterina Komendantskaya, Yanhong Annie Liu.
by Komendantskaya, Ekaterina [editor.] | Liu, Yanhong Annie [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
|
|
|
|
Transactions on Petri Nets and Other Models of Concurrency XV [electronic resource] / edited by Maciej Koutny, Fabrice Kordon, Lucia Pomello.
by Koutny, Maciej [editor.] | Kordon, Fabrice [editor.] | Pomello, Lucia [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Diagrammatic Representation and Inference [electronic resource] : 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings / edited by Valeria Giardino, Sven Linker, Richard Burns, Francesco Bellucci, Jean-Michel Boucheix, Petrucio Viana.
by Giardino, Valeria [editor.] | Linker, Sven [editor.] | Burns, Richard [editor.] | Bellucci, Francesco [editor.] | Boucheix, Jean-Michel [editor.] | Viana, Petrucio [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
|
|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings / edited by Jan Friso Groote, Marieke Huisman.
by Groote, Jan Friso [editor.] | Huisman, Marieke [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
|
|
|
|
A Journey from Process Algebra via Timed Automata to Model Learning [electronic resource] : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday / edited by Nils Jansen, Mariëlle Stoelinga, Petra van den Bos.
by Jansen, Nils [editor.] | Stoelinga, Mariëlle [editor.] | van den Bos, Petra [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
|
|
|
|
Artificial Intelligence in Music, Sound, Art and Design [electronic resource] : 12th International Conference, EvoMUSART 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings / edited by Colin Johnson, Nereida Rodríguez-Fernández, Sérgio M. Rebelo.
by Johnson, Colin [editor.] | Rodríguez-Fernández, Nereida [editor.] | Rebelo, Sérgio M [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
|
|
|
|
Biomimetic and Biohybrid Systems [electronic resource] : 5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016. Proceedings / edited by Nathan F. Lepora, Anna Mura, Michael Mangan, Paul F.M.J. Verschure, Marc Desmulliez, Tony J. Prescott.
by Lepora, Nathan F [editor.] | Mura, Anna [editor.] | Mangan, Michael [editor.] | Verschure, Paul F.M.J [editor.] | Desmulliez, Marc [editor.] | Prescott, Tony J [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
|
|
|
|
Advances in Neural Networks -- ISNN 2011 [electronic resource] : 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29--June 1, 2011, Proceedings, Part II / edited by Derong Liu, Huaguang Zhang, Marios Polycarpou, Cesare Alippi, Haibo He.
by Liu, Derong [editor.] | Zhang, Huaguang [editor.] | Polycarpou, Marios [editor.] | Alippi, Cesare [editor.] | He, Haibo [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
|
|
|
|
Transactions on Rough Sets XIV [electronic resource] / edited by Hiroshi Sakai, Mihir Chakraborty, Dominik Ślęzak, Aboul-Ella Hassanien, William Zhu.
by Sakai, Hiroshi [editor.] | Chakraborty, Mihir [editor.] | Ślęzak, Dominik [editor.] | Hassanien, Aboul-Ella [editor.] | Zhu, William [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
|
|
|
|
Genetic Programming [electronic resource] : 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings / edited by Malcolm I. Heywood, James McDermott, Mauro Castelli, Ernesto Costa, Kevin Sim.
by Heywood, Malcolm I [editor.] | McDermott, James [editor.] | Castelli, Mauro [editor.] | Costa, Ernesto [editor.] | Sim, Kevin [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
|
|
|
|
Transactions on Petri Nets and Other Models of Concurrency VII [electronic resource] / edited by Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf.
by Jensen, Kurt [editor.] | van der Aalst, Wil M. P [editor.] | Balbo, Gianfranco [editor.] | Koutny, Maciej [editor.] | Wolf, Karsten [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
|
|
|
|
Quantum Interaction [electronic resource] : 11th International Conference, QI 2018, Nice, France, September 3-5, 2018, Revised Selected Papers / edited by Bob Coecke, Ariane Lambert-Mogiliansky.
by Coecke, Bob [editor.] | Lambert-Mogiliansky, Ariane [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
|
|
|
|
Web Information Systems Engineering - WISE 2019 [electronic resource] : 20th International Conference, Hong Kong, China, January 19-22, 2020, Proceedings / edited by Reynold Cheng, Nikos Mamoulis, Yizhou Sun, Xin Huang.
by Cheng, Reynold [editor.] | Mamoulis, Nikos [editor.] | Sun, Yizhou [editor.] | Huang, Xin [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 [electronic resource] : 5th RAAI Summer School, Dolgoprudny, Russia, July 4-7, 2019, Tutorial Lectures / edited by Gennady S. Osipov, Aleksandr I. Panov, Konstantin S. Yakovlev.
by Osipov, Gennady S [editor.] | Panov, Aleksandr I [editor.] | Yakovlev, Konstantin S [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
|
|
|
|
Quantitative Evaluation of Systems [electronic resource] : 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings / edited by Erika Ábrahám, Marco Paolieri.
by Ábrahám, Erika [editor.] | Paolieri, Marco [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
|
|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings / edited by Maurice H. ter Beek, Dejan Ničković.
by ter Beek, Maurice H [editor.] | Ničković, Dejan [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
|
|
|
|
Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings / edited by Bernd Mohr, Jesper Larsson Träff, Joachim Worringen, Jack Dongarra.
by Mohr, Bernd [editor.] | Larsson Träff, Jesper [editor.] | Worringen, Joachim [editor.] | Dongarra, Jack [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
|
|
|
|
Computer Vision - ACCV 2018 [electronic resource] : 14th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018, Revised Selected Papers, Part V / edited by C.V. Jawahar, Hongdong Li, Greg Mori, Konrad Schindler.
by Jawahar, C.V [editor.] | Li, Hongdong [editor.] | Mori, Greg [editor.] | Schindler, Konrad [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
|
|
|
|
Integrated Formal Methods [electronic resource] : 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings / edited by Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa.
by Ahrendt, Wolfgang [editor.] | Tapia Tarifa, Silvia Lizeth [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
|
|
|
|
Advances in Swarm Intelligence [electronic resource] : 13th International Conference, ICSI 2022, Xi'an, China, July 15-19, 2022, Proceedings, Part I / edited by Ying Tan, Yuhui Shi, Ben Niu.
by Tan, Ying [editor.] | Shi, Yuhui [editor.] | Niu, Ben [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
|
