|
|
1.
|
|
|
|
2.
|
Algebra and Coalgebra in Computer Science [electronic resource] : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings / edited by Till Mossakowski, Ugo Montanari, Magne Haveraaen. by Mossakowski, Till | Montanari, Ugo | Haveraaen, Magne | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.M35 M67 2007 (1).
|
|
|
3.
|
Algebraic Methodology and Software Technology [electronic resource] : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings / edited by Michael Johnson, Varmo Vene. by Johnson, Michael | Vene, Varmo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.758 J64 2006 (1).
|
|
|
4.
|
|
|
|
5.
|
|
|
|
6.
|
Artificial Intelligence and Symbolic Computation [electronic resource] : 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings / edited by Jacques Calmet, Tetsuo Ida, Dongming Wang. by Calmet, Jacques | Ida, Tetsuo | Wang, Dongming | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: Q334 C35 2006 (1).
|
|
|
7.
|
Computer Algebra in Scientific Computing [electronic resource] : 9th International Workshop, CASC 2006, Chişinău, Moldova, September 11-15, 2006. Proceedings / edited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov. by Ganzha, Victor G | Mayr, Ernst W | Vorozhtsov, Evgenii V | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA155.7.E4 G36 2006 (1).
|
|
|
8.
|
Developments in Language Theory [electronic resource] : 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings / edited by Masami Ito, Masafumi Toyama. by Ito, Masami | Toyama, Masafumi | SpringerLink (Online service). Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA267.3 I86 2008 (1).
|
|
|
9.
|
|
|
|
10.
|
Arithmetic of Finite Fields [electronic resource] : First International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007. Proceedings / edited by Claude Carlet, Berk Sunar. by Carlet, Claude | Sunar, Berk | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA247.3 C37 2007 (1).
|
|
|
11.
|
Global Optimization and Constraint Satisfaction [electronic resource] : Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers / edited by Christophe Jermann, Arnold Neumaier, Djamila Sam. by Jermann, Christophe | Neumaier, Arnold | Sam, Djamila | SpringerLink (Online service). Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA297 J47 2005 (1).
|
|
|
12.
|
|
|
|
13.
|
Algebraic Informatics [electronic resource] : Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers / edited by Symeon Bozapalidis, George Rahonis. by Bozapalidis, Symeon | Rahonis, George | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA155.7.E4 B69 2007 (1).
|
|
|
14.
|
Pairing-Based Cryptography – Pairing 2007 [electronic resource] : First International Conference, Tokyo, Japan, July 2-4, 2007. Proceedings / edited by Tsuyoshi Takagi, Tatsuaki Okamoto, Eiji Okamoto, Takeshi Okamoto. by Takagi, Tsuyoshi | Okamoto, Tatsuaki | Okamoto, Eiji | Okamoto, Takeshi | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.A25 T35 2007 (1).
|
|
|
15.
|
Theory and Applications of Relational Structures as Knowledge Instruments II [electronic resource] : International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers / edited by Harrie Swart, Ewa Orłowska, Gunther Schmidt, Marc Roubens. by Swart, Harrie | Orłowska, Ewa | Schmidt, Gunther | Roubens, Marc | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76 S93 2006 (1).
|
|
|
16.
|
High Performance Computational Science and Engineering [electronic resource] : IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22–27, 2004, Toulouse, France / edited by Michael K. Ng, Andrei Doncescu, Laurence T. Yang, Tau Leng. by Ng, Michael K | Doncescu, Andrei | Yang, Laurence T | Leng, Tau | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
 Publisher: Boston, MA : International Federation for Information Processing, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.88 .I35 2005 (1).
|
|
|
17.
|
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers / edited by Thorsten Altenkirch, Conor McBride. by Altenkirch, Thorsten | McBride, Conor | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
|
18.
|
Types for Proofs and Programs [electronic resource] : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers / edited by Marino Miculan, Ivan Scagnetto, Furio Honsell. by Miculan, Marino | Scagnetto, Ivan | Honsell, Furio | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
|
19.
|
Algebraic Methodology and Software Technology [electronic resource] : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings / edited by José Meseguer, Grigore Roşu. by Meseguer, José | Roşu, Grigore | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.758 M47 2008 (1).
|
|
|
20.
|
Solving Polynomial Equations [electronic resource] : Foundations, Algorithms, and Applications / edited by Manuel Bronstein, Arjeh M. Cohen, Henri Cohen, David Eisenbud, Bernd Sturmfels, Alicia Dickenstein, Ioannis Z. Emiris. by Bronstein, Manuel | Cohen, Arjeh M | Cohen, Henri | Eisenbud, David | Sturmfels, Bernd | Dickenstein, Alicia | Emiris, Ioannis Z | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA218 B76 2005 (1).
|
