|
|
1.
|
|
|
|
2.
|
|
|
|
3.
|
|
|
|
4.
|
|
|
|
5.
|
|
|
|
6.
|
Hardware Specification, Verification and Synthesis: Mathematical Aspects [electronic resource] : Mathematical Sciences Institute Workshop Cornell University, Ithaca, New York, USA July 5–7, 1989 Proceedings / edited by Miriam Leeser, Geoffrey Brown. by Leeser, Miriam [editor.] | Brown, Geoffrey [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Language: English Publisher: New York, NY : Springer New York, 1990Online access: Click here to access online Availability: No items available :
|
|
|
7.
|
Algebraic Logic and Universal Algebra in Computer Science [electronic resource] : Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings / edited by Clifford H. Bergman, Roger D. Maddux, Don L. Pigozzi. by Bergman, Clifford H [editor.] | Maddux, Roger D [editor.] | Pigozzi, Don L [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: New York, NY : Springer New York, 1990Online access: Click here to access online Availability: No items available :
|
|
|
8.
|
Theory and Applications of Relational Structures as Knowledge Instruments [electronic resource] : COST Action 274, TARSKI. Revised Papers / edited by Harrie Swart, Ewa Orłowska, Gunther Schmidt, Marc Roubens. by Swart, Harrie [editor.] | Orłowska, Ewa [editor.] | Schmidt, Gunther [editor.] | Roubens, Marc [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available :
|
|
|
9.
|
Finite Fields and Applications [electronic resource] : 7th International Conference, Fq7, Toulouse, France, May 5-9, 2003. Revised Papers / edited by Gary L. Mullen, Alain Poli, Henning Stichtenoth. by Mullen, Gary L [editor.] | Poli, Alain [editor.] | Stichtenoth, Henning [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: No items available :
|
|
|
10.
|
|
|
|
11.
|
Relational and Kleene-Algebraic Methods in Computer Science [electronic resource] : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers / edited by Rudolf Berghammer, Bernhard Möller, Georg Struth. by Berghammer, Rudolf [editor.] | Möller, Bernhard [editor.] | Struth, Georg [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: No items available :
|
|
|
12.
|
Algorithmic Number Theory [electronic resource] : 6th International Symposium, ANTS-VI, Burlington, VT, USA, June 13-18, 2004, Proceedings / edited by Duncan Buell. by Buell, Duncan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: No items available :
|
|
|
13.
|
|
|
|
14.
|
Algebraic Methodology and Software Technology [electronic resource] : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings / edited by Charles Rattray, Savitri Maharaj, Carron Shankland. by Rattray, Charles [editor.] | Maharaj, Savitri [editor.] | Shankland, Carron [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: No items available :
|
|
|
15.
|
Computational Neuroscience: Cortical Dynamics [electronic resource] : 8th International Summer School on Neural Nets, Erice, Italy, October 31-November 6, 2003, Revised Lectures / edited by Péter Érdi, Anna Esposito, Maria Marinaro, Silvia Scarpetta. by Érdi, Péter [editor.] | Esposito, Anna [editor.] | Marinaro, Maria [editor.] | Scarpetta, Silvia [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: No items available :
|
|
|
16.
|
Artificial Intelligence and Symbolic Computation [electronic resource] : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings / edited by Bruno Buchberger, John Campbell. by Buchberger, Bruno [editor.] | Campbell, John [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: No items available :
|
|
|
17.
|
|
|
|
18.
|
Mathematical Knowledge Management [electronic resource] : Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings / edited by Andrea Asperti, Bruno Buchberger, James Harold Davenport. by Asperti, Andrea [editor.] | Buchberger, Bruno [editor.] | Davenport, James Harold [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available :
|
|
|
19.
|
Computer Science Logic [electronic resource] : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld. by Börger, Egon [editor.] | Kleine Büning, Hans [editor.] | Richter, Michael M [editor.] | Schönfeld, Wolfgang [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: No items available :
|
|
|
20.
|
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 9th International Symposium, AAECC-9 New Orleans, LA, USA, October 7–11, 1991 Proceedings / edited by Harold F. Mattson, Teo Mora, T. R. N. Rao. by Mattson, Harold F [editor.] | Mora, Teo [editor.] | Rao, T. R. N [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: No items available :
|
|
|
21.
|
|
|
|
22.
|
|
|
|
23.
|
Generic Programming [electronic resource] : International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27–May 1, 1998 Selected Papers / edited by Mehdi Jazayeri, Rüdiger G. K. Loos, David R. Musser. by Jazayeri, Mehdi [editor.] | Loos, Rüdiger G. K [editor.] | Musser, David R [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: No items available :
|
|
|
24.
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers / edited by Martin Wirsing, Dirk Pattinson, Rolf Hennicker. by Wirsing, Martin [editor.] | Pattinson, Dirk [editor.] | Hennicker, Rolf [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: No items available :
|
|
|
25.
|
|
