|
|
681.
|
Formal Modeling: Actors, Open Systems, Biological Systems [electronic resource] : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / edited by Gul Agha, Olivier Danvy, José Meseguer.
by Agha, Gul | Danvy, Olivier | Meseguer, José | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
682.
|
Quantum Interaction [electronic resource] : 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers / edited by Dawei Song, Massimo Melucci, Ingo Frommholz, Peng Zhang, Lei Wang, Sachi Arafat.
by Song, Dawei | Melucci, Massimo | Frommholz, Ingo | Zhang, Peng | Wang, Lei | Arafat, Sachi | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
683.
|
Combinatorial Algorithms [electronic resource] : 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, Revised Selected Papers / edited by Costas S. Iliopoulos, William F. Smyth.
by Iliopoulos, Costas S | Smyth, William F | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
684.
|
Formal Methods, Foundations and Applications [electronic resource] : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers / edited by Adenilso Simao, Carroll Morgan.
by Simao, Adenilso | Morgan, Carroll | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
685.
|
Automated Deduction in Geometry [electronic resource] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers / edited by Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert.
by Schreck, Pascal | Narboux, Julien | Richter-Gebert, Jürgen | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
686.
|
Programming Languages and Systems [electronic resource] : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings / edited by Hongseok Yang.
by Yang, Hongseok | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
687.
|
Certified Programs and Proofs [electronic resource] : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / edited by Jean-Pierre Jouannaud, Zhong Shao.
by Jouannaud, Jean-Pierre | Shao, Zhong | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
688.
|
Logica Universalis [electronic resource] : Towards a General Theory of Logic / edited by Jean-Yves Beziau.
by Beziau, Jean-Yves | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Basel : Birkhäuser Basel, 2005Online access: Click here to access online Availability: No items available
|
|
|
689.
|
Logica Universalis [electronic resource] : Towards a General Theory of Logic / edited by Jean-Yves Beziau.
by Beziau, Jean-Yves | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Basel : Birkhäuser Basel, 2007Online access: Click here to access online Availability: No items available
|
|
|
690.
|
Institution-independent Model Theory [electronic resource] / by Răzvan Diaconescu.
by Diaconescu, Răzvan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Basel : Birkhäuser Basel, 2008Online access: Click here to access online Availability: No items available
|
|
|
691.
|
Mathematical Logic [electronic resource] : Foundations for Information Science / by Wei Li.
by Li, Wei | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Basel : Birkhäuser Basel, 2010Online access: Click here to access online Availability: No items available
|
|
|
692.
|
Logica: Metodo Breve [electronic resource] / by Daniele Mundici.
by Mundici, Daniele | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Milano : Springer Milan, 2011Online access: Click here to access online Availability: No items available
|
|
|
693.
|
Natural Deduction, Hybrid Systems and Modal Logics [electronic resource] / by Andrzej Indrzejczak.
by Indrzejczak, Andrzej | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2010Online access: Click here to access online Availability: No items available
|
|
|
694.
|
Hybrid Logic and its Proof-Theory [electronic resource] / by Torben Braüner.
by Braüner, Torben | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
|
|
695.
|
Dual Tableaux: Foundations, Methodology, Case Studies [electronic resource] / by Ewa Orlowska, Joanna Golińska Pilarek.
by Orlowska, Ewa | Golińska Pilarek, Joanna | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
|
|
696.
|
Proof, Computation and Agency [electronic resource] : Logic at the Crossroads / edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh.
by van Benthem, Johan | Gupta, Amitabha | Parikh, Rohit | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
|
|
697.
|
Methods of Cut-Elimination [electronic resource] / by Alexander Leitsch, Matthias Baaz.
by Leitsch, Alexander | Baaz, Matthias | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
|
|
698.
|
Interpreted Languages and Compositionality [electronic resource] / by Marcus Kracht.
by Kracht, Marcus | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
|
|
699.
|
Refinement in Z and Object-Z [electronic resource] : Foundations and Advanced Applications / by John Derrick, Eerke A. Boiten.
by Derrick, John [author.] | Boiten, Eerke A [author.] | SpringerLink (Online service). Edition: 2nd ed. 2014.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
700.
|
Epistemology, Context, and Formalism [electronic resource] / edited by Franck Lihoreau, Manuel Rebuschi.
by Lihoreau, Franck [editor.] | Rebuschi, Manuel [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
