|
|
|
Logic and Argumentation [electronic resource] : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings / edited by Andreas Herzig, Jieting Luo, Pere Pardo.
by Herzig, Andreas [editor.] | Luo, Jieting [editor.] | Pardo, Pere [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, Services, and Systems [electronic resource] : Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering / edited by Rocco De Nicola, Rolf Hennicker.
by De Nicola, Rocco [editor.] | Hennicker, Rolf [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
|
|
|
|
Models@run.time [electronic resource] : Foundations, Applications, and Roadmaps / edited by Nelly Bencomo, Robert B. France, Betty H.C. Cheng, Uwe Aßmann.
by Bencomo, Nelly [editor.] | France, Robert B [editor.] | Cheng, Betty H.C [editor.] | Aßmann, Uwe [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
|
|
|
|
Formal Methods for Web Services [electronic resource] : 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures / edited by Marco Bernardo, Luca Padovani, Gianluigi Zavattaro.
by Bernardo, Marco [editor.] | Padovani, Luca [editor.] | Zavattaro, Gianluigi [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
|
|
|
|
Formal to Practical Security [electronic resource] : Papers Issued from the 2005-2008 French-Japanese Collaboration / edited by Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada.
by Cortier, Véronique [editor.] | Kirchner, Claude [editor.] | Okada, Mitsuhiro [editor.] | Sakurada, Hideki [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
|
|
|
|
Algorithmics of Large and Complex Networks [electronic resource] : Design, Analysis, and Simulation / edited by Jürgen Lerner, Dorothea Wagner, Katharina Zweig.
by Lerner, Jürgen [editor.] | Wagner, Dorothea [editor.] | Zweig, Katharina [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
|
|
|
|
New Stream Cipher Designs [electronic resource] : The eSTREAM Finalists / edited by Matthew Robshaw, Olivier Billet.
by Robshaw, Matthew [editor.] | Billet, Olivier [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
|
|
|
|
Generative and Transformational Techniques in Software Engineering III [electronic resource] : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised Papers / edited by João M. Fernandes, Ralf Lämmel, Joost Visser, João Saraiva.
by Fernandes, João M [editor.] | Lämmel, Ralf [editor.] | Visser, Joost [editor.] | Saraiva, João [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
|
|
|
|
Emotion Modeling [electronic resource] : Towards Pragmatic Computational Models of Affective Processes / edited by Tibor Bosse, Joost Broekens, João Dias, Janneke van der Zwaan.
by Bosse, Tibor [editor.] | Broekens, Joost [editor.] | Dias, João [editor.] | van der Zwaan, Janneke [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
|
|
|
|
Transactions on Pattern Languages of Programming I [electronic resource] / edited by James Noble, Ralph Johnson.
by Noble, James [editor.] | Johnson, Ralph [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
|
|
|
|
Advanced Functional Programming [electronic resource] : 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures / edited by Pieter Koopman, Doaitse Swierstra.
by Koopman, Pieter [editor.] | Swierstra, Doaitse [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
|
|
|
|
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation [electronic resource] : Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday / edited by Thomas Eiter, Hannes Strass, Mirosław Truszczyński, Stefan Woltran.
by Eiter, Thomas [editor.] | Strass, Hannes [editor.] | Truszczyński, Mirosław [editor.] | Woltran, Stefan [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
|
|
|
|
Probabilistic Inductive Logic Programming [electronic resource] / edited by Luc De Raedt, Paolo Frasconi, Kristian Kersting, Stephen H. Muggleton.
by De Raedt, Luc [editor.] | Frasconi, Paolo [editor.] | Kersting, Kristian [editor.] | Muggleton, Stephen H [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
|
|
|
|
Fields of Logic and Computation II [electronic resource] : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday / edited by Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte.
by Beklemishev, Lev D [editor.] | Blass, Andreas [editor.] | Dershowitz, Nachum [editor.] | Finkbeiner, Bernd [editor.] | Schulte, Wolfram [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
|
|
|
|
Transactions on Foundations for Mastering Change I [electronic resource] / edited by Bernhard Steffen.
by Steffen, Bernhard [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
|
|
|
|
Generative and Transformational Techniques in Software Engineering [electronic resource] : International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised 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. 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
|
|
|
|
Transactions on Aspect-Oriented Software Development V [electronic resource] : Focus: Aspects, Dependencies and Interactions.
by 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
|
|
|
|
Rewriting, Computation and Proof [electronic resource] : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday / edited by Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner.
by Comon-Lundh, Hubert [editor.] | Kirchner, Claude [editor.] | Kirchner, Hélène [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
|
|
|
|
Engineering Trustworthy Software Systems [electronic resource] : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang.
by Bowen, Jonathan P [editor.] | Liu, Zhiming [editor.] | Zhang, Zili [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
|
|
|
|
Transactions on Aspect-Oriented Software Development VI [electronic resource] : Special Issue on Aspects and Model-Driven Engineering / edited by Shmuel Katz, Harold Ossher.
by Katz, Shmuel [editor.] | Ossher, Harold [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
|
