Refine your search

Your search returned 219 results.

|
1.
Relational Methods in Computer Science [Recurso electrónico] / 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharin

by MacCaull, Wendy | DÃơntsch, Ivo | Winter, Michael | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

2.
Theoretical Computer Science (vol. # 3895) [Recurso electrónico] / Essays in Memory of Shimon Even edited by Oded Goldreich, Arnold L. Rosenberg, Alan L. Selman.

by Goldreich, Oded | Rosenberg, Arnold L | Selman, Alan L | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

3.
Theoretical Computer Science (vol. # 3701) [Recurso electrónico] / 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings edited by Mario Coppo, Elena Lodi, G. Michele Pinna.

by Coppo, Mario | Lodi, Elena | Pinna, G. Michele | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

4.
Mathematical Modeling and Computational Science [Recurso electrónico] : International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers / edited by Gheorghe Adam, Ján BuÃ{u2861}, Michal HnatiÃ{u17C0}

by Adam, Gheorghe | BuÃ{u2861}, Ján | HnatiÃ{u17EC} Michal.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

5.
Mathematical Foundations of Computer Science 2006 [Recurso electrónico] / 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings edited by Rastislav Královic, Pawel Urzyczyn.

by Královic, Rastislav | Urzyczyn, Pawel | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

6.
Graph-Theoretic Concepts in Computer Science [Recurso electrónico] : 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers / edited by Martin Charles Golumbic, Michal Stern, Avivit Levy, Gila Morgenstern.

by Golumbic, Martin Charles | Stern, Michal | Levy, Avivit | Morgenstern, Gila.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available

7.
Mathematical Foundations of Computer Science 2005 [Recurso electrónico] / 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings edited by Joanna Jedrzejowicz, Andrzej Szepietowski.

by Jedrzejowicz, Joanna | Szepietowski, Andrzej | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

8.
Mathematical Foundations of Computer Science 2007 [Recurso electrónico] : 32nd International Symposium, MFCS 2007 CeskÃư Krumlov, Czech Republic, August 26-31, 2007 Proceedings / edited by Ludek Kucera, AntonÃ{u037F}n Kucera.

by Kucera, Ludek | Kucera, AntonÃ{u037F}n | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

9.
SOFSEM 2012: Theory and Practice of Computer Science [Recurso electrónico] : 38th Conference on Current Trends in Theory and Practice of Computer Science, Å{u0A6E}dlerÅv̄ MlÃ{uEB20}Czech Republic, January 21-27, 2012. Proceedings / edited by Mária Bieliková, Gerhard Friedrich, Georg Gottlob, Stefan Katzenbeisser, GyÃœrgy Turán.

by Bieliková, Mária | Friedrich, Gerhard | Gottlob, Georg | Katzenbeisser, Stefan | Turán, GyÜrgy.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

10.
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science [Recurso electrónico] / 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings edited by R. Ramanujam, Sandeep Sen.

by Ramanujam, R | Sen, Sandeep | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

11.
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science [Recurso electrónico] / 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings edited by S. Arun-Kumar, Naveen Garg.

by Arun-Kumar, S | Garg, Naveen | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

12.
Graph-Theoretic Concepts in Computer Science (vol. # 3787) [Recurso electrónico] / 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers edited by Dieter Kratsch.

by Kratsch, Dieter | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

13.
Graph-Theoretic Concepts in Computer Science (vol. # 4271) [Recurso electrónico] / 32nd International Workshop, WG 2006, Bergen, Norway, June 22-23, 2006, Revised Papers edited by Fedor V. Fomin.

by Fomin, Fedor V | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

14.
SOFSEM 2005: Theory and Practice of Computer Science [Recurso electrónico] / 31st Conference on Current Trends in Theory and Practice of Computer Science, LiptovskÃư Ján, Slovakia, January 22-28, 2005, Proceedings edited by Maria Bieliková, C

by Bieliková, Maria | Charon-Bost | SÃưkora, Ondrej | Vojtás, Peter | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

15.
Structural Information and Communication Complexity [Recurso electrónico] : 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012, Revised Selected Papers / edited by Guy Even, Magnús M. Halldórsson.

by Even, Guy | Halldórsson, Magnús M.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

16.
Algorithm Theory - SWAT 2012 [Recurso electrónico] : 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings / edited by Fedor V. Fomin, Petteri Kaski.

by Fomin, Fedor V | Kaski, Petteri.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

17.
Combinatorial Geometry and Graph Theory [Recurso electrónico] / Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers edited by Jin Akiyama, Edy Tri Baskoro, Mikio Kano.

by Akiyama, Jin | Baskoro, Edy Tri | Kano, Mikio | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

18.
Graph Drawing (vol. # 3383) [Recurso electrónico] / 12th International Symposium, GD 2004, New York, NY, USA, September 29-October 2, 2004, Revised Selected Papers edited by János Pach.

by Pach, János | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

19.
Algorithm Theory - SWAT 2012 [Recurso electrónico] : 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings / edited by Fedor V. Fomin, Petteri Kaski.

by Fomin, Fedor V | Kaski, Petteri.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

20.
Graph Drawing (vol. # 3843) [Recurso electrónico] / 13 th International Symposium, GD 2005, Limerick, Ireland, September 12-14, 2005, Revised Papers edited by Patrick Healy, Nikola S. Nikolov.

by Healy, Patrick | Nikolov, Nikola S | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

Powered by Koha