|
|
|
Correct Reasoning [electronic resource] : Essays on Logic-Based AI in Honour of Vladimir Lifschitz / edited by Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce.
by Erdem, Esra [editor.] | Lee, Joohyung [editor.] | Lierler, Yuliya [editor.] | Pearce, David [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
|
|
|
|
Cooperative Bug Isolation [electronic resource] : Winning Thesis of the 2005 ACM Doctoral Dissertation Competition / by Ben Liblit.
by Liblit, Ben [author.] | 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
|
|
|
|
In Search of Elegance in the Theory and Practice of Computation [electronic resource] : Essays dedicated to Peter Buneman / edited by Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael Fourman.
by Tannen, Val [editor.] | Wong, Limsoon [editor.] | Libkin, Leonid [editor.] | Fan, Wenfei [editor.] | Tan, Wang-Chiew [editor.] | Fourman, Michael [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
|
|
|
|
Foundations of Security Analysis and Design VI [electronic resource] : FOSAD Tutorial Lectures / edited by Alessandro Aldini, Roberto Gorrieri.
by Aldini, Alessandro [editor.] | Gorrieri, Roberto [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 Petri Nets and Other Models of Concurrency XI [electronic resource] / edited by Maciej Koutny, Jörg Desel, Jetty Kleijn.
by Koutny, Maciej [editor.] | Desel, Jörg [editor.] | Kleijn, Jetty [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Generative and Transformational Techniques in Software Engineering IV [electronic resource] : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011, Revised and Extended Papers / edited by Ralf Lämmel, João Saraiva, Joost Visser.
by Lämmel, Ralf [editor.] | Saraiva, João [editor.] | Visser, Joost [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
|
|
|
|
Formal Methods for Components and Objects [electronic resource] : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures / edited by Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue.
by Giachino, Elena [editor.] | Hähnle, Reiner [editor.] | de Boer, Frank S [editor.] | Bonsangue, Marcello M [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
|
|
|
|
Specification, Algebra, and Software [electronic resource] : Essays Dedicated to Kokichi Futatsugi / edited by Shusaku Iida, José Meseguer, Kazuhiro Ogata.
by Iida, Shusaku [editor.] | Meseguer, José [editor.] | Ogata, Kazuhiro [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Aspect-Oriented Software Development IX [electronic resource] / edited by Gary T. Leavens, Shigeru Chiba, Michael Haupt, Klaus Ostermann, Eric Wohlstadter.
by Leavens, Gary T [editor.] | Chiba, Shigeru [editor.] | Haupt, Michael [editor.] | Ostermann, Klaus [editor.] | Wohlstadter, Eric [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
|
|
|
|
Algebraic Foundations in Computer Science [electronic resource] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement / edited by Werner Kuich, George Rahonis.
by Kuich, Werner [editor.] | Rahonis, George [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 Petri Nets and Other Models of Concurrency IX [electronic resource] / edited by Maciej Koutny, Serge Haddad, Alex Yakovlev.
by Koutny, Maciej [editor.] | Haddad, Serge [editor.] | Yakovlev, Alex [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Composability, Comprehensibility and Correctness of Working Software [electronic resource] : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers / edited by Zoltán Porkoláb, Viktória Zsók.
by Porkoláb, Zoltán [editor.] | Zsók, Viktória [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
|
|
|
|
Logic-Based Program Synthesis and Transformation [electronic resource] : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings / edited by Robert Glück, Bishoksan Kafle.
by Glück, Robert [editor.] | Kafle, Bishoksan [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
|
|
|
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers / edited by Alexandre Madeira, Manuel A. Martins.
by Madeira, Alexandre [editor.] | Martins, Manuel A [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
|
|
|
|
Foundations of Information and Knowledge Systems [electronic resource] : 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings / edited by Christoph Beierle, Carlo Meghini.
by Beierle, Christoph [editor.] | Meghini, Carlo [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
|
|
|
|
Static Analysis [electronic resource] : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings / edited by Manuel V. Hermenegildo, José F. Morales.
by Hermenegildo, Manuel V [editor.] | Morales, José F [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
|
|
|
|
Logic and Engineering of Natural Language Semantics [electronic resource] : 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers / edited by Daisuke Bekki, Koji Mineshima, Elin McCready.
by Bekki, Daisuke [editor.] | Mineshima, Koji [editor.] | McCready, Elin [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
|
|
|
|
Formal Methods for an Informal World [electronic resource] : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures / edited by Antonio Cerone.
by Cerone, Antonio [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
|
|
|
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings / edited by Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski.
by Calimeri, Francesco [editor.] | Ianni, Giovambattista [editor.] | Truszczynski, Miroslaw [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
|
|
|
|
Foundations of Information and Knowledge Systems [electronic resource] : 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings / edited by Sebastian Link, Henri Prade.
by Link, Sebastian [editor.] | Prade, Henri [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
|
