Refine your search

Your search returned 218 results.

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

42.
Advances in Neural Networks - ISNN 2006 (vol. # 3972) [Recurso electrónico] / Third International Symposium on Neural Networks, ISNN 2006, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part II edited by Jun WangZhang Yi, Jacek M. Zurada

by Wang, Jun | Hujun, Yin | Lu, Bao-Liang | Yi, Zhang | Zurada, Jacek M | 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

43.
Conceptual Structures: Inspiration and Application [Recurso electrónico] / 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings edited by Henrik SchÃÞrfe, Pascal Hitzler, Peter Ohrs

by SchÃÞrfe, Henrik | Hitzler, Pascal | Ohrstrom, Peter | 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

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

45.
Resource Allocation in Wireless Networks [Recurso electrónico] / Theory and Algorithms edited by Slawomir Stanczak, Marcin Wiczanowski, Holger Boche.

by Stanczak, Slawomir | Boche, Holger | Wiczanowski, Marcin | 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

46.
Advances in Cryptology -- ASIACRYPT 2006 [Recurso electrónico] / 12th International Conference on the Theory and Application of Cryptology and Information Security, Shanghai, China, December 3-7, 2006, Proceedings edited by Xuejia Lai, Kefei

by Lai, Xuejia | Chen, Kefei | 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

47.
Approximation and Online Algorithms [Recurso electrónico] / 4th International Workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006, Revised Papers edited by Thomas Erlebach, Christos Kaklamanis.

by Erlebach, Thomas | Kaklamanis, Christos | SpringerLink (Online service).

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

48.
System Modeling and Optimization [Recurso electrónico] : 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007, Revised Selected Papers / edited by Adam Korytowski, Kazimierz Malanowski, Wojciech Mitkowski, Maciej Szymkat.

by Korytowski, Adam | Malanowski, Kazimierz | Mitkowski, Wojciech | Szymkat, Maciej | 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

49.
Internet and Network Economics [Recurso electrónico] : 8th International Workshop, WINE 2012, Liverpool, UK, December 10-12, 2012. Proceedings / edited by Paul W. Goldberg.

by Goldberg, Paul W.

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

50.
Mathematical Modelling and Scientific Computation [Recurso electrónico] : International Conference, ICMMSC 2012, Gandhigram, Tamil Nadu, India, March 16-18, 2012. Proceedings / edited by P. Balasubramaniam, R. Uthayakumar.

by Balasubramaniam, P | Uthayakumar, R.

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

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

52.
Formal Concept Analysis [Recurso electrónico] : 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings / edited by Florent Domenach, Dmitry I. Ignatov, Jonas Poelmans.

by Domenach, Florent | Ignatov, Dmitry I | Poelmans, Jonas.

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

53.
Fun with Algorithms [Recurso electrónico] : 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012. Proceedings / edited by Evangelos Kranakis, Danny Krizanc, Flaminia Luccio.

by Kranakis, Evangelos | Krizanc, Danny | Luccio, Flaminia.

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

54.
Abstract State Machines, Alloy, B, VDM, and Z [Recurso electrónico] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene.

by Derrick, John | Fitzgerald, John | Gnesi, Stefania | Khurshid, Sarfraz | Leuschel, Michael | Reeves, Steve | Riccobene, Elvinia.

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

55.
The Multivariate Algorithmic Revolution and Beyond [Recurso electrónico] : Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday / edited by Hans L. Bodlaender, Rod Downey, Fedor V. Fomin, Dániel Marx.

by Bodlaender, Hans L | Downey, Rod | Fomin, Fedor V | Marx, Dániel.

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

56.
Mathematics of Program Construction [Recurso electrónico] : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings / edited by Jeremy Gibbons, Pablo Nogueira.

by Gibbons, Jeremy | Nogueira, Pablo.

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

57.
Combinatorial Pattern Matching [Recurso electrónico] : 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012. Proceedings / edited by Juha Kärkkäinen, Jens Stoye.

by Kärkkäinen, Juha | Stoye, Jens.

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

58.
Automata, Languages, and Programming [Recurso electrónico] : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I / edited by Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer.

by Czumaj, Artur | Mehlhorn, Kurt | Pitts, Andrew | Wattenhofer, Roger.

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

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

60.
Principles and Practice of Constraint Programming [Recurso electrónico] : 18th International Conference, CP 2012, Qu©â{uD8A5}c City, QC, Canada, October 8-12, 2012. Proceedings / edited by Michela Milano.

by Milano, Michela.

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

Powered by Koha