Refine your search

Your search returned 40 results. Subscribe to this search

|
1. Recent Trends in Algebraic Development Techniques [Recurso electrónico] / 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers edited by José Luiz Fiadeiro, Peter Mosses, Fernando Orejas. by Fiadeiro, José Luiz. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

Log in to add tags. Add to cart
2. Term Rewriting and Applications (vol. # 3467) [Recurso electrónico] / 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings edited by JÃơrgen Giesl. by Giesl, JÃơrgen. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

3. Global Optimization and Constraint Satisfaction [Recurso electrónico] / Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers edited by Christophe Jermann, Arnold Neumaier, Djamila Sam by Jermann, Christophe. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

4. Sequences and Their Applications - SETA 2004 [Recurso electrónico] / Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers edited by Tor Helleseth, Dilip Sarwate, Hong-Yeop Song, Kyeongcheol Yang. by Helleseth, Tor. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

5. Advanced Encryption Standard - AES [Recurso electrónico] / 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers edited by Hans Dobbertin, Vincent Rijmen, Aleksandra Sowa. by Dobbertin, Hans. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

6. Mathematics of Surfaces XI [Recurso electrónico] / 11th IMA International Conference, Loughborough, UK, September 5-7, 2005, Proceedings edited by Malcolm Sabin, Helmut Bez, Ralph Martin. by Sabin, Malcolm. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

7. Algebra and Coalgebra in Computer Science [Recurso electrónico] / First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings edited by José Luis Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten. by Fiadeiro, José Luis. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

8. 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. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

9. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [Recurso electrónico] / 16th International Symposium, AAECC-16, Las Vegas, NV, USA, February 20-24, 2006, Proceedings edited by Marc Fossorier, Hideki Imai, Shu Lin, Alain Poli. by Fossorier, Marc. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

10. Types for Proofs and Programs [Recurso electrónico] / International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers edited by Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner. by Filliatre, Jean-Christophe. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

11. 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. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

12. Developments in Language Theory (vol. # 4036) [Recurso electrónico] / 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings edited by Oscar H. Ibarra, Zhe Dang. by Ibarra, Oscar H. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

13. Algebraic Methodology and Software Technology [Recurso electrónico] / 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings edited by Michael Johnson, Varmo Vene. by Johnson, Michael. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

14. Algorithmic Number Theory [Recurso electrónico] / 7th International Symposium, ANTS-VII, Berlin, Germany, July 23-28, 2006, Proceedings edited by Florian Hess, Sebastian Pauli, Michael Pohst. by Hess, Florian. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

15. Term Rewriting and Applications (vol. # 4098) [Recurso electrónico] / 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings edited by Frank Pfenning. by Pfenning, Frank. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

16. Relations and Kleene Algebra in Computer Science [Recurso electrónico] / 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, by Schmidt, Renate A. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

17. OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] [Recurso electrónico] / Foreword by Alan Bundy edited by Michael Kohlhase. by Kohlhase, Michael. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

18. Mathematical Software - ICMS 2006 [Recurso electrónico] / Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings edited by Andres Iglesias, Nobuki Takayama. by Iglesias, Andres. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

19. Artificial Intelligence and Symbolic Computation [Recurso electrónico] / 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings edited by Jaques Calmet, Tetsuo Ida, Dongming Wang. by Calmet, Jaques. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

20. Sequences and Their Applications - SETA 2006 [Recurso electrónico] / 4th International Conference, Beijing, China, September 24-28, 2006, Proceedings edited by Guang Gong, Tor Helleseth, Hong-Yeop Song, Kyeongcheol Yang. by Gong, Guang. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

Powered by Koha