|
|
|
Structural Information and Communication Complexity [electronic resource] : 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings / edited by Christian Scheideler.
by Scheideler, Christian [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
|
|
|
|
Theory and Applications of Satisfiability Testing -- SAT 2015 [electronic resource] : 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings / edited by Marijn Heule, Sean Weaver.
by Heule, Marijn [editor.] | Weaver, Sean [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
|
|
|
|
Computation, Cooperation, and Life [electronic resource] : Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday / edited by Jozef Kelemen, Alica Kelemenová.
by Kelemen, Jozef [editor.] | Kelemenová, Alica [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
|
|
|
|
Application and Theory of Petri Nets [electronic resource] : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings / edited by Serge Haddad, Lucia Pomello.
by Haddad, Serge [editor.] | Pomello, Lucia [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
|
|
|
|
Deontic Logic in Computer Science [electronic resource] : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings / edited by Guido Governatori, Giovanni Sartor.
by Governatori, Guido [editor.] | Sartor, Giovanni [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
|
|
|
|
High Performance Computing and Communications [electronic resource] : First International Conference, HPCC 2005, Sorrento, Italy, September, 21-23, 2005, Proceedings / edited by Jack Dongarra, Laurence T. Yang, Omer F. Rana, Beniamino Di Martino.
by Dongarra, Jack [editor.] | Yang, Laurence T [editor.] | Rana, Omer F [editor.] | Di Martino, Beniamino [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
|
|
|
|
Experimental Algorithms [electronic resource] : 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 -- July 1, 2014, Proceedings / edited by Joachim Gudmundsson, Jyrki Katajainen.
by Gudmundsson, Joachim [editor.] | Katajainen, Jyrki [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
|
|
|
|
Computer Science - Theory and Applications [electronic resource] : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings / edited by Volker Diekert, Mikhail Volkov, Andrei Voronkov.
by Diekert, Volker [editor.] | Volkov, Mikhail [editor.] | Voronkov, Andrei [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
|
|
|
|
WALCOM: Algorithms and Computation [electronic resource] : 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015, Proceedings / edited by M. Sohel Rahman, Etsuji Tomita.
by Rahman, M. Sohel [editor.] | Tomita, Etsuji [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
|
|
|
|
Algorithmic Decision Theory [electronic resource] : Second International Conference, ADT 2011, Piscataway, NJ, USA, October 26-28, 2011. Proceedings / edited by RONEN BRAFMAN, Fred S. Roberts, Alexis Tsoukias.
by BRAFMAN, RONEN [editor.] | Roberts, Fred S [editor.] | Tsoukias, Alexis [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
|
|
|
|
Computational Methods in Systems Biology [electronic resource] : 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings / edited by Ashutosh Gupta, Thomas A. Henzinger.
by Gupta, Ashutosh [editor.] | Henzinger, Thomas A [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
|
|
|
|
Uncertainty Reasoning for the Semantic Web I [electronic resource] : ISWC International Workshop, URSW 2005-2007, Revised Selected and Invited Papers / edited by Paulo Cesar G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Matthias Nickles, Michael Pool.
by Costa, Paulo Cesar G [editor.] | d'Amato, Claudia [editor.] | Fanizzi, Nicola [editor.] | Laskey, Kathryn B [editor.] | Laskey, Kenneth J [editor.] | Nickles, Matthias [editor.] | Pool, Michael [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
|
|
|
|
Advances in Knowledge Discovery and Data Mining [electronic resource] : 11th Pacific-Asia Conference, PAKDD 2007, Nanjing, China, May 22-25, 2007, Proceedings / edited by Zhi-Hua Zhou, Hang Li, Qiang Yang.
by Zhou, Zhi-Hua [editor.] | Li, Hang [editor.] | Yang, Qiang [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
|
|
|
|
Advances in Neural Networks - ISNN 2006 [electronic resource] : Third International Symposium on Neural Networks, ISNN 2006, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part II / edited by Jun Wang, Zhang Yi, Jacek M. Zurada, Bao-Liang Lu, Yin Hujun.
by Wang, Jun [editor.] | Yi, Zhang [editor.] | Zurada, Jacek M [editor.] | Lu, Bao-Liang [editor.] | Hujun, Yin [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
|
|
|
|
Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part I / edited by Walter Daelemans, Katharina Morik.
by Daelemans, Walter [editor.] | Morik, Katharina [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
|
|
|
|
Graph Transformations [electronic resource] : 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings / edited by Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr.
by Ehrig, Hartmut [editor.] | Rensink, Arend [editor.] | Rozenberg, Grzegorz [editor.] | Schürr, Andy [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
|
|
|
|
Information Security [electronic resource] : 19th International Conference, ISC 2016, Honolulu, HI, USA, September 3-6, 2016. Proceedings / edited by Matt Bishop, Anderson C A Nascimento.
by Bishop, Matt [editor.] | Nascimento, Anderson C A [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
|
|
|
|
Intelligent Computer Mathematics [electronic resource] : 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings / edited by Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen Watt.
by Carette, Jacques [editor.] | Dixon, Lucas [editor.] | Sacerdoti Coen, Claudio [editor.] | Watt, Stephen [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
|
|
|
|
Languages Alive [electronic resource] : Essays dedicated to Jürgen Dassow on the Occasion of His 65th Birthday / edited by Henning Bordihn, Martin Kutrib, Bianca Truthe.
by Bordihn, Henning [editor.] | Kutrib, Martin [editor.] | Truthe, Bianca [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
|
|
|
|
Developments in Language Theory [electronic resource] : 13th International Conference, DLT 2009, Stuttgart, Germany, June 30--July 3, 2009, Proceedings / edited by Volker Diekert, Dirk Nowotka.
by Diekert, Volker [editor.] | Nowotka, Dirk [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
|
