|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings / edited by Cezara Dragoi, Michael Emmi, Jingbo Wang.
by Dragoi, Cezara [editor.] | Emmi, Michael [editor.] | Wang, Jingbo [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
|
|
|
|
Developments in Language Theory [electronic resource] : 23rd International Conference, DLT 2019, Warsaw, Poland, August 5-9, 2019, Proceedings / edited by Piotrek Hofman, Michał Skrzypczak.
by Hofman, Piotrek [editor.] | Skrzypczak, Michał [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
|
|
|
|
Computational Complexity and Property Testing [electronic resource] : On the Interplay Between Randomness and Computation / edited by Oded Goldreich.
by Goldreich, Oded [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
|
|
|
|
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
|
|
|
|
Developments in Language Theory [electronic resource] : 24th International Conference, DLT 2020, Tampa, FL, USA, May 11-15, 2020, Proceedings / edited by Nataša Jonoska, Dmytro Savchuk.
by Jonoska, Nataša [editor.] | Savchuk, Dmytro [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 [electronic resource] : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers / edited by Javier Camara, Martin Steffen.
by Camara, Javier [editor.] | Steffen, Martin [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
|
|
|
|
Logic and Its Applications [electronic resource] : 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings / edited by Mohua Banerjee, A. V. Sreejith.
by Banerjee, Mohua [editor.] | Sreejith, A. V [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
|
|
|
|
Dynamics in Logic and Language [electronic resource] : Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1-4, 2022, Revised Selected Papers / edited by Dun Deng, Mingming Liu, Dag Westerståhl, Kaibo Xie.
by Deng, Dun [editor.] | Liu, Mingming [editor.] | Westerståhl, Dag [editor.] | Xie, Kaibo [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
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings / edited by Shang-Wei Lin, Zhe Hou, Brendan Mahony.
by Lin, Shang-Wei [editor.] | Hou, Zhe [editor.] | Mahony, Brendan [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 Rough Sets XXII [electronic resource] / edited by James F. Peters, Andrzej Skowron.
by Peters, James F [editor.] | Skowron, Andrzej [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Relational and Algebraic Methods in Computer Science [electronic resource] : 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings / edited by Roland Glück, Luigi Santocanale, Michael Winter.
by Glück, Roland [editor.] | Santocanale, Luigi [editor.] | Winter, Michael [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
|
|
|
|
Theoretical Aspects of Software Engineering [electronic resource] : 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings / edited by Yamine Aït-Ameur, Florin Crăciun.
by Aït-Ameur, Yamine [editor.] | Crăciun, Florin [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
|
|
|
|
Monotonicity in Logic and Language [electronic resource] : Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings / edited by Dun Deng, Fenrong Liu, Mingming Liu, Dag Westerståhl.
by Deng, Dun [editor.] | Liu, Fenrong [editor.] | Liu, Mingming [editor.] | Westerståhl, Dag [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Methods Teaching [electronic resource] : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings / edited by Catherine Dubois, Pierluigi San Pietro.
by Dubois, Catherine [editor.] | San Pietro, Pierluigi [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
|
|
|
|
Chatbot Research and Design [electronic resource] : 4th International Workshop, CONVERSATIONS 2020, Virtual Event, November 23-24, 2020, Revised Selected Papers / edited by Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie L.-C. Law, Ewa Luger, Morten Goodwin, Petter Bae Brandtzaeg.
by Følstad, Asbjørn [editor.] | Araujo, Theo [editor.] | Papadopoulos, Symeon [editor.] | Law, Effie L.-C [editor.] | Luger, Ewa [editor.] | Goodwin, Morten [editor.] | Brandtzaeg, Petter Bae [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
|
|
|
|
Developments in Language Theory [electronic resource] : 25th International Conference, DLT 2021, Porto, Portugal, August 16-20, 2021, Proceedings / edited by Nelma Moreira, Rogério Reis.
by Moreira, Nelma [editor.] | Reis, Rogério [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
|
|
|
|
Foundations of Information and Knowledge Systems [electronic resource] : 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings / edited by Ivan Varzinczak.
by Varzinczak, Ivan [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
|
|
|
|
Coalgebraic Methods in Computer Science [electronic resource] : 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings / edited by Helle Hvid Hansen, Fabio Zanasi.
by Hansen, Helle Hvid [editor.] | Zanasi, Fabio [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 Teaching [electronic resource] : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings / edited by Brijesh Dongol, Luigia Petre, Graeme Smith.
by Dongol, Brijesh [editor.] | Petre, Luigia [editor.] | Smith, Graeme [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
|
