Refine your search

Your search returned 218 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.
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

3.
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

4.
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

5.
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

6.
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

7.
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

8.
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

9.
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

10.
Advances in Computer Games [Recurso electrónico] / 11th International Conference, ACG 2005, Taipei, Taiwan, September 6-8, 2005. Revised Papers edited by H. Jaap van den Herik, Shun-Chin Hsu, Tsan-sheng Hsu, H.H.L.M. Donkers.

by Herik, H. Jaap van den | Donkers, H.H.L.M | Hsu, Shun-Chin | Hsu, Tsan-sheng | 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

11.
Mathematics and Computation in Music [Recurso electrónico] : First International Conference, MCM 2007 Berlin, Germany, May 18â€{u2C2C} 2007 Revised Selected Papers / edited by Timour Klouche, Thomas Noll.

by Klouche, Timour | Noll, Thomas | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Online access: Texto completo Availability: No items available

12.
Mathematics and Computation in Music [Recurso electrónico] : Second International Conference, MCM 2009, John Clough Memorial Conference New Haven, CT, USA, June 19-22, 2009. Proceedings / edited by Elaine Chew, Adrian Childs, Ching-Hua Chuan.

by Chew, Elaine | Childs, Adrian | Chuan, Ching-Hua | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Texto completo Availability: No items available

13.
Computer Algebra in Scientific Computing [Recurso electrónico] : 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings / edited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov.

by Ganzha, Victor G | Mayr, Ernst W | Vorozhtsov, Evgenii V | 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

14.
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

15.
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

16.
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

17.
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

18.
Advances in Information and Computer Security [Recurso electrónico] : 7th International Workshop on Security, IWSEC 2012, Fukuoka, Japan, November 7-9, 2012. Proceedings / edited by Goichiro Hanaoka, Toshihiro Yamauchi.

by Hanaoka, Goichiro | Yamauchi, Toshihiro.

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

19.
Computer Algebra in Scientific Computing (vol. # 4194) [Recurso electrónico] / 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings edited by V.G. Ganzha, E.W. Mayr, E.V. Vorozhtsov.

by Ganzha, V.G | Mayr, E.W | Vorozhtsov, E.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

20.
Computer Algebra in Scientific Computing (vol. # 3718) [Recurso electrónico] / 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings edited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov.

by Ganzha, Victor G | Mayr, Ernst W | Vorozhtsov, Evgenii V | 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

Powered by Koha