|
|
|
Computing and Combinatorics [electronic resource] : 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings / edited by Thang N. Dinh, My T. Thai.
by Dinh, Thang N [editor.] | Thai, My T [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
|
|
|
|
Typed Lambda Calculi and Applications [electronic resource] : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings / edited by Luke Ong.
by Ong, Luke [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
|
|
|
|
Logic and Games on Automatic Structures [electronic resource] : Playing with Quantifiers and Decompositions / by Lukasz Kaiser.
by Kaiser, Lukasz [author.] | 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
|
|
|
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings / edited by Pedro Cabalar, Tran Cao Son.
by Cabalar, Pedro [editor.] | Son, Tran Cao [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
|
|
|
|
Fuzzy Logic and Applications [electronic resource] : 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013, Proceedings / edited by Francesco Masulli, Gabriella Pasi, Ronald Yager.
by Masulli, Francesco [editor.] | Pasi, Gabriella [editor.] | Yager, Ronald [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Rough Sets XVI [electronic resource] / edited by James F. Peters, Andrzej Skowron, Sheela Ramanna, Zbigniew Suraj, Xin Wang.
by Peters, James F [editor.] | Skowron, Andrzej [editor.] | Ramanna, Sheela [editor.] | Suraj, Zbigniew [editor.] | Wang, Xin [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
|
|
|
|
Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky [electronic resource] : Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday / edited by Bob Coecke, Luke Ong, Prakash Panangaden.
by Coecke, Bob [editor.] | Ong, Luke [editor.] | Panangaden, Prakash [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
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Marsha Chechik, Jean-François Raskin.
by Chechik, Marsha [editor.] | Raskin, Jean-François [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
|
|
|
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings / edited by Chitta Baral, Gerhard Brewka, John Schlipf.
by Baral, Chitta [editor.] | Brewka, Gerhard [editor.] | Schlipf, John [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
|
|
|
|
Term Rewriting and Applications [electronic resource] : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings / edited by Frank Pfenning.
by Pfenning, Frank [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
|
|
|
|
Algebra and Coalgebra in Computer Science [electronic resource] : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings / edited by Alexander Kurz, Marina Lenisa.
by Kurz, Alexander [editor.] | Lenisa, Marina [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-Based Safety and Assessment [electronic resource] : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings / edited by Marco Bozzano, Yiannis Papadopoulos.
by Bozzano, Marco [editor.] | Papadopoulos, Yiannis [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
|
|
|
|
Deductive Software Verification - The KeY Book [electronic resource] : From Theory to Practice / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich.
by Ahrendt, Wolfgang [editor.] | Beckert, Bernhard [editor.] | Bubel, Richard [editor.] | Hähnle, Reiner [editor.] | Schmitt, Peter H [editor.] | Ulbrich, Mattias [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
|
|
|
|
Formal Aspects of Component Software [electronic resource] : 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers / edited by Luis Soares Barbosa, Markus Lumpe.
by Barbosa, Luis Soares [editor.] | Lumpe, Markus [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
|
|
|
|
Theory and Applications of Models of Computation [electronic resource] : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings / edited by T.V. Gopal, Gerhard Jäger, Silvia Steila.
by Gopal, T.V [editor.] | Jäger, Gerhard [editor.] | Steila, Silvia [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
|
|
|
|
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 [editor.] | Shao, Zhong [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
|
|
|
|
Implementation and Application of Automata [electronic resource] : 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers / edited by Jacques Farré, Igor Litovsky, Sylvain Schmitz.
by Farré, Jacques [editor.] | Litovsky, Igor [editor.] | Schmitz, Sylvain [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
|
|
|
|
Membrane Computing [electronic resource] : 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers / edited by Marian Gheorghe, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Sergey Verlan.
by Gheorghe, Marian [editor.] | Paun, Gheorghe [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | Verlan, Sergey [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
|
|
|
|
Artificial Intelligence and Soft Computing - ICAISC 2008 [electronic resource] : 9th International Conference Zakopane, Poland, June 22-26, 2008, Proceedings / edited by Leszek Rutkowski, Ryszard Tadeusiewicz, Lofti A. Zadeh, Jacek M. Zurada.
by Rutkowski, Leszek [editor.] | Tadeusiewicz, Ryszard [editor.] | Zadeh, Lofti A [editor.] | Zurada, Jacek M [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
|
|
|
|
AI*IA 2013: Advances in Artificial Intelligence [electronic resource] : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013, Proceedings / edited by Matteo Baldoni, Cristina Baroglio, Guido Boella, Roberto Micalizio.
by Baldoni, Matteo [editor.] | Baroglio, Cristina [editor.] | Boella, Guido [editor.] | Micalizio, Roberto [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
