Your search returned 127 results.

Not what you expected? Check for suggestions
101.
Efficient Graph Rewriting and Its Implementation / edited by Heiko Dörr.

by Dörr, Heiko, 1962-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer-Verlag, 1995Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
102.
Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3-5, 1994, Selected papers / edited by Jacques Calmet, John A. Campbell.

by AISMC (Conference) (2nd : 1994 : Cambridge, England) | Calmet, Jacques | Campbell, J. A, 1940-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer-Verlag, ©1995Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
103.
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 Annual Symposium on Theoretical Aspects of Computer Science (5th : 1988 : Bordeaux, France) | Cori, Robert | Wirsing, M. (Martin).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Language: English, French Publisher: Berlin, Heidelberg : Springer-Verlag, 1988Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
104.
Symbolic and Algebraic Computation : International Symposium ISSAC '88 Rome, Italy, July 4-8, 1988 Proceedings / edited by P. Gianni.

by International Symposium on Symbolic and Algebraic Computation (1988 : Rome, Italy) | Gianni, P. (Patrizia), 1952-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer-Verlag, 1989Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
105.
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 Calmet, Jacques | Campbell, John A | Pfalzgraf, Jochen.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer-Verlag, 1996Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
106.
Graph drawing : 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised selected papers / Walter Didimo, Maurizio Patrignani (eds.).

by GD (Symposium) (20th : 2012 : Redmond, Wash.) | Didimo, Walter | Patrignani, Maurizio.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2013Other title: GD 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
107.
Information theory, combinatorics, and search theory : in memory of Rudolf Ahlswede / Harout Aydinian, Ferdinando Cicalese, Christian Deppe (eds.).

by Aydinian, Harout | Cicalese, Ferdinando | Deppe, Christian.

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2013Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
108.
Formal concept analysis : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, proceedings / Peggy Cellier, Felix Distel, Bernhard Ganter (eds.).

by International Conference on Formal Concept Analysis (11th : 2013 : Dresden, Germany) | Cellier, Peggy [editor.] | Distel, Felix [editor.] | Ganter, Bernhard [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2013Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
109.
Typed Lambda Calculi and Applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013. Proceedings / Masahito Hasegawa (ed.).

by International Conference on Typed Lambda Calculi and Applications (11th : 2013 : Eindhoven, Netherlands) | Hasegawa, Masahito, 1970- [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, [2013]Copyright date: ©2013Other title: TLCA 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
110.
Mathematics and computation in music : 4th International Conference, MCM 2013, Montreal, QC, Canada, June 12-14, 2013 : proceedings / Jason Yust, Jonathan Wild, John Ashley Burgoyne (eds.).

by MCM (Conference) (4th : 2013 : Montréal, Québec) | Yust, Jason | Wild, Jonathan | Burgoyne, John Ashley.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2013Other title: MCM 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
111.
Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report / edited by Bernhard Möller, Helmut Partsch, Steve Schuman.

by Möller, Bernhard | Partsch, Helmut | Schuman, Steve.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
112.
Intelligent computer mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, held as part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings / Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger (eds.).

by CICM (Conference) (6th : 2013 : Bath, England) | Carette, Jacques (Computer scientist) [editor.] | Aspinall, D [editor.] | Lange, Christoph [editor.] | Sojka, Petr [editor.] | Windsteiger, Wolfgang [editor.] | MKM (Conference) (12th : 2013 : Bath, England) | Calculemus (Symposium) (20th : 2013 : Bath, England) | DML (Workshop) (6th : 2013 : Bath, England).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2013Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
113.
Algebra and coalgebra in computer science : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings / Reiko Heckel, Stefan Milius (eds.).

by CALCO (Conference) (5th : 2013 : Warsaw, Poland) | Heckel, Reiko [editor.] | Milius, Stefan [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, 2013Other title: CALCO 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
114.
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 Bowen, J. P. (Jonathan Peter), 1956- | Hinchey, Michael G. (Michael Gerard), 1969-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
115.
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 Gross, Maurice | Perrin, Dominique.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
116.
Algebraic informatics : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013 : proceedings / Traian Muntean, Dimitrios Poulakis, Robert Rolland (eds.).

by CAI (Conference) (5th : 2013 : Porquerolles Island, France) | Muntean, Traian [editor.] | Poulakis, Dimitrios [editor.] | Rolland, Robert [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, [2013]Copyright date: ©2013Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
117.
Combinatorial algorithms : 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, revised selected papers / edited by Thierry Lecroq, Laurent Mouchard.

by International Workshop on Combinatorial Algorithms (24th : 2013 : Rouen, France) | Lecroq, Thierry [editor.] | Mouchard, Laurent [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Copyright date: ©2013Other title: 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, revised selected papers.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
118.
Algebraic and algorithmic aspects of differential and integral operators : 5th International Meeting, AADIOS 2012, held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012 : selected and invited papers / Moulay Barkatou, Thomas Cluzeau, Georg Regensburger, Markus Rosenkranz (eds.).

by AADIOS (Meeting) (5th : 2012 : Sofia, Bulgaria) | Barkatou, Moulay [editor.] | Cluzeau, Thomas [editor.] | Regensburger, Georg [editor.] | Rosenkranz, Markus [editor.] | Applications of Computer Algebra Conference (2012 : Sofia, Bulgaria).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2014Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
119.
Certified programs and proofs : third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / edited by Georges Gonthier, Michael Norrish.

by CPP (Conference) (3rd : 2013 : Melbourne, Vic.) | Gonthier, Georges [editor.] | Norrish, Michael [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2013Other title: CPP 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
120.
Intelligent computer mathematics : International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : proceedings / Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, Josef Urban (Eds.).

by CICM (Conference) (2014 : Coimbra, Portugal) | Watt, Stephen M [editor.] | Davenport, James H [editor.] | Sexton, Alan P [editor.] | Sojka, Petr [editor.] | Urban, Josef [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, [2014]Copyright date: ©2014Other title: CICM 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha