Your search returned 23 results.

Not what you expected? Check for suggestions
Sort
Results
1.
2.
Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings. by Series: Lecture notes in computer science ; 5140.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer-Verlag, 2008
Online resources:
Availability: Items available for loan: e-Library (1).
3.
EUROCAL '85 : European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985 : proceedings. by Series: Lecture notes in computer science ; 203-204.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 1985
Availability: Items available for loan: e-Library (1).
4.
EUROSAM 84 : International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984 / edited by John Fitch. by Series: Lecture notes in computer science ; 174.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, 1984
Online resources:
Availability: Items available for loan: e-Library (1).
5.
Relational Methods in Computer Science : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, the Netherlands, October 1621, 2001 Revised Papers / edited by Harrie C.M. Swart. by Series: Lecture notes in computer science ; 2561,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2002
Online resources:
Availability: Items available for loan: e-Library (1).
6.
Computational Neuroscience: Cortical Dynamics : 8th International Summer School on Neural Nets, Erice, Italy, October 31-November 6, 2003, Revised Lectures / edited by Per rdi, Anna Esposito, Maria Marinaro, Silvia Scarpetta. by Series: Lecture notes in computer science ; 3146,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2004
In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
7.
Theory and Applications of Relational Structures as Knowledge Instruments : COST Action 274, TARSKI. Revised Papers / edited by Harrie Swart, Ewa Orłowska, Gunther Schmidt, Marc Roubens. by Series: Lecture notes in computer science ; 2929,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2003
In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
8.
Rewriting Techniques and Applications : 10th International Conference, RTA-99 Trento, Italy, July 24, 1999 Proceedings / edited by Paliath Narendran, Michael Rusinowitch. by Series: Lecture notes in computer science ; 1631,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 1999
In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
9.
Artificial Intelligence and Symbolic Mathematical Computing : International Conference AISMC-1 Karlsruhe, Germany, August 3-6, 1992 Proceedings / edited by Jacques Calmet, John A. Campbell. by Series: Lecture notes in computer science ; 737.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin, Heidelberg : Springer-Verlag, 1993
Online resources:
Availability: Items available for loan: e-Library (1).
10.
11.
12.
STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11-13, 1988 Proceedings / edited by Robert Cori, Martin Wirsing. by Series: Lecture notes in computer science ; 294.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Language: English, French Publisher: Berlin, Heidelberg : Springer-Verlag, 1988
Online resources:
Availability: Items available for loan: e-Library (1).
13.
Symbolic and Algebraic Computation : International Symposium ISSAC '88 Rome, Italy, July 4-8, 1988 Proceedings / edited by P. Gianni. by Series: Lecture notes in computer science ; 358.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin, Heidelberg : Springer-Verlag, 1989
Online resources:
Availability: Items available for loan: e-Library (1).
14.
Artificial Intelligence and Symbolic Mathematical Computation : International Conference, AISMC-3 Steyr, Austria, September 23-25, 1996 Proceedings / edited by Jacques Calmet, John A. Campbell, Jochen Pfalzgraf. by Series: Lecture notes in computer science ; 1138.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin, Heidelberg : Springer-Verlag, 1996
In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
15.
Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report / edited by Bernhard Möller, Helmut Partsch, Steve Schuman. by Series: Lecture notes in computer science ; 755.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993
Online resources:
Availability: Items available for loan: e-Library (1).
16.
ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users Limerick, Ireland, September 7-9, 1995 Proceedings / edited by Jonathan P. Bowen, Michael G. Hinchey. by Series: Lecture notes in computer science ; 967.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995
Online resources:
Availability: Items available for loan: e-Library (1).
17.
Electronic Dictionaries and Automata in Computational Linguistics : LITP Spring School on Theoretical Computer Science Saint-Pierre d'Oléron, France, May 25-29, 1987 Proceedings / edited by Maurice Gross, Dominique Perrin. by Series: Lecture notes in computer science ; 377.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989
Online resources:
Availability: Items available for loan: e-Library (1).
18.
Combinatorial algorithms : 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, revised selected papers / edited by Thierry Lecroq, Laurent Mouchard. by Series: Lecture notes in computer science ; 8288.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Heidelberg : Springer, [2013]Copyright date: ©2013
Other title:
  • 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, revised selected papers
Online resources:
Availability: Items available for loan: e-Library (1).
19.
20.
Pages

Powered by Koha