|
|
|
Quantitative Evaluation of Systems [electronic resource] : 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings / edited by Alessandro Abate, Andrea Marin.
by Abate, Alessandro [editor.] | Marin, Andrea [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
|
|
|
|
Computational Theory of Mind for Human-Machine Teams [electronic resource] : First International Symposium, ToM for Teams 2021, Virtual Event, November 4-6, 2021, Revised Selected Papers / edited by Nikolos Gurney, Gita Sukthankar.
by Gurney, Nikolos [editor.] | Sukthankar, Gita [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
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings / edited by Karin Breitman, Ana Cavalcanti.
by Breitman, Karin [editor.] | Cavalcanti, Ana [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
|
|
|
|
Computer Science -- Theory and Applications [electronic resource] : 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings / edited by Lev D. Beklemishev, Daniil V. Musatov.
by Beklemishev, Lev D [editor.] | Musatov, Daniil V [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
|
|
|
|
Knowledge Representation for Agents and Multi-Agent Systems [electronic resource] : First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers / edited by John-Jules Meyer, Jan M. Broersen.
by Meyer, John-Jules [editor.] | Broersen, Jan M [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
|
|
|
|
Model Checking Software [electronic resource] : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings / edited by Dragan Bošnački, Anton Wijs.
by Bošnački, Dragan [editor.] | Wijs, Anton [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
|
|
|
|
Logic and Program Semantics [electronic resource] : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday / edited by Robert L. Constable, Alexandra Silva.
by Constable, Robert L [editor.] | Silva, Alexandra [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
|
|
|
|
A List of Successes That Can Change the World [electronic resource] : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday / edited by Sam Lindley, Conor McBride, Phil Trinder, Don Sannella.
by Lindley, Sam [editor.] | McBride, Conor [editor.] | Trinder, Phil [editor.] | Sannella, Don [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
|
|
|
|
Logic-Based Program Synthesis and Transformation [electronic resource] : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers / edited by Fabio Fioravanti, John P. Gallagher.
by Fioravanti, Fabio [editor.] | Gallagher, John P [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
|
|
|
|
Engineering Multi-Agent Systems [electronic resource] : 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers / edited by Amal El Fallah-Seghrouchni, Alessandro Ricci, Tran Cao Son.
by El Fallah-Seghrouchni, Amal [editor.] | Ricci, Alessandro [editor.] | Son, Tran Cao [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
|
|
|
|
Principles and Practice of Constraint Programming [electronic resource] : 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings / edited by John Hooker.
by Hooker, John [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
|
|
|
|
Integrated Formal Methods [electronic resource] : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings / edited by Carlo A. Furia, Kirsten Winter.
by Furia, Carlo A [editor.] | Winter, Kirsten [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
|
|
|
|
Rewriting Logic and Its Applications [electronic resource] : 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings / edited by Vlad Rusu.
by Rusu, Vlad [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
|
|
|
|
Runtime Verification [electronic resource] : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings / edited by Bernd Finkbeiner, Leonardo Mariani.
by Finkbeiner, Bernd [editor.] | Mariani, Leonardo [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
|
|
|
|
Combinatorics on Words [electronic resource] : 12th International Conference, WORDS 2019, Loughborough, UK, September 9-13, 2019, Proceedings / edited by Robert Mercaş, Daniel Reidenbach.
by Mercaş, Robert [editor.] | Reidenbach, Daniel [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] : 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023, Proceedings / edited by Frank Drewes, Mikhail Volkov.
by Drewes, Frank [editor.] | Volkov, Mikhail [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
|
|
|
|
Software Composition [electronic resource] : 11th International Conference, SC 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings / edited by Thomas Gschwind, Flavio De Paoli, Volker Gruhn, Matthias Book.
by Gschwind, Thomas [editor.] | De Paoli, Flavio [editor.] | Gruhn, Volker [editor.] | Book, Matthias [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
|
|
|
|
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings / edited by S. Arun-Kumar, Naveen Garg.
by Arun-Kumar, S [editor.] | Garg, Naveen [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
|
|
|
|
Rules and Reasoning [electronic resource] : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings / edited by Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman.
by Benzmüller, Christoph [editor.] | Ricca, Francesco [editor.] | Parent, Xavier [editor.] | Roman, Dumitru [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
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings / edited by Shuvendu K. Lahiri, Chao Wang.
by Lahiri, Shuvendu K [editor.] | Wang, Chao [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
|
