|
|
|
Formal Concept Analysis [electronic resource] : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings / edited by Jaume Baixeries, Christian Sacarea, Manuel Ojeda-Aciego.
by Baixeries, Jaume [editor.] | Sacarea, Christian [editor.] | Ojeda-Aciego, Manuel [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
|
|
|
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011, Proceedings / edited by James Delgrande, Wolfgang Faber.
by Delgrande, James [editor.] | Faber, Wolfgang [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
|
|
|
|
Applications of Fuzzy Sets Theory [electronic resource] : 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007, Proceedings / edited by Francesco Masulli, Sushmita Mitra, Gabriella Pasi.
by Masulli, Francesco [editor.] | Mitra, Sushmita [editor.] | Pasi, Gabriella [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
|
|
|
|
FM 2006: Formal Methods [electronic resource] : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings / edited by Jayadev Misra, Tobias Nipkow, Emil Sekerinski.
by Misra, Jayadev [editor.] | Nipkow, Tobias [editor.] | Sekerinski, Emil [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
|
|
|
|
Theory and Applications of Models of Computation [electronic resource] : 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings / edited by Manindra Agrawal, Barry S. Cooper, Angsheng Li.
by Agrawal, Manindra [editor.] | Cooper, Barry S [editor.] | Li, Angsheng [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
|
|
|
|
Language and Automata Theory and Applications [electronic resource] : 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011 / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Shunsuke Inenaga.
by Dediu, Adrian-Horia [editor.] | Martín-Vide, Carlos [editor.] | Inenaga, Shunsuke [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
|
|
|
|
Chinese Lexical Semantics [electronic resource] : 17th Workshop, CLSW 2016, Singapore, Singapore, May 20-22, 2016, Revised Selected Papers / edited by Minghui Dong, Jingxia Lin, Xuri Tang.
by Dong, Minghui [editor.] | Lin, Jingxia [editor.] | Tang, Xuri [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
|
|
|
|
Models of Strategic Reasoning [electronic resource] : Logics, Games, and Communities / edited by Johan van Benthem, Sujata Ghosh, Rineke Verbrugge.
by van Benthem, Johan [editor.] | Ghosh, Sujata [editor.] | Verbrugge, Rineke [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Logic, Rationality, and Interaction [electronic resource] : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings / edited by Alexandru Baltag, Jeremy Seligman, Tomoyuki Yamada.
by Baltag, Alexandru [editor.] | Seligman, Jeremy [editor.] | Yamada, Tomoyuki [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Algebraic Informatics [electronic resource] : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings / edited by Franz Winkler.
by Winkler, Franz [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
|
|
|
|
Logical Aspects of Computational Linguistics [electronic resource] : 6th International Conference, LACL 2011, Montpellier, France, June 29 -- July 1, 2011. Proceedings / edited by Sylvain Pogodalla, Jean-Philippe Prost.
by Pogodalla, Sylvain [editor.] | Prost, Jean-Philippe [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
|
|
|
|
Vagueness in Communication [electronic resource] : International Workshop, VIC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20-24, 2009. Revised Selected Papers / edited by Rick Nouwen, Robert van Rooij, Uli Sauerland, Hans-Christian Schmitz.
by Nouwen, Rick [editor.] | van Rooij, Robert [editor.] | Sauerland, Uli [editor.] | Schmitz, Hans-Christian [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
|
|
|
|
Frontiers of Combining Systems [electronic resource] : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings / edited by Clare Dixon, Marcelo Finger.
by Dixon, Clare [editor.] | Finger, Marcelo [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
|
|
|
|
Foundations of Software Science and Computational Structures [electronic resource] : 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings / edited by Lars Birkedal.
by Birkedal, Lars [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
|
|
|
|
Implementation and Application of Automata [electronic resource] : 15th International Conference, CIAA 2010, Manitoba, Canada, August 12-15, 2010. Revised Selected Papers / edited by Michael Domaratzki, Kai Salomaa.
by Domaratzki, Michael [editor.] | Salomaa, Kai [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] : 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings / edited by Markus Holzer, Martin Kutrib.
by Holzer, Markus [editor.] | Kutrib, Martin [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
|
|
|
|
Correct Hardware Design and Verification Methods [electronic resource] : 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings / edited by Dominique Borrione, Wolfgang Paul.
by Borrione, Dominique [editor.] | Paul, Wolfgang [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Mathematical Foundations of Computer Science 2012 [electronic resource] : 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings / edited by Branislav Rovan, Vladimiro Sassone, Peter Widmayer.
by Rovan, Branislav [editor.] | Sassone, Vladimiro [editor.] | Widmayer, Peter [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
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / edited by Stefania Gnesi, Arend Rensink.
by Gnesi, Stefania [editor.] | Rensink, Arend [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
|
|
|
|
Finite-State Methods and Natural Language Processing [electronic resource] : 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005, Revised Papers / edited by Anssi Yli-Jyrä, Lauri Karttunen, Juhani Karhumäki.
by Yli-Jyrä, Anssi [editor.] | Karttunen, Lauri [editor.] | Karhumäki, Juhani [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
|
