Your search returned 23 results.

Sort
Results
1.
2.
3.
4.
5.
Logica Universalis [electronic resource] : Towards a General Theory of Logic / edited by Jean-Yves Beziau. by
Edition: Second Edition.
Material type: Computer file Computer file; Format: electronic
Publication details: Basel : Birkhäuser Verlag AG, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9 B49 2007.

6.
7.
Advances in Computer Systems Architecture [electronic resource] : 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings / edited by Chris Jesshope, Colin Egan. by Series: Lecture Notes in Computer Science ; 4186
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A73 J47 2006.

8.
9.
Transactions on High-Performance Embedded Architectures and Compilers I [electronic resource] / edited by Per Stenström. by Series: Lecture Notes in Computer Science ; 4050
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 S74 2007.

10.
Languages and Compilers for Parallel Computing [electronic resource] : 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006. Revised Papers / edited by George Almási, Călin Caşcaval, Peng Wu. by Series: Lecture Notes in Computer Science ; 4382
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.58 A46 2007.

11.
12.
Function Algebras on Finite Sets [electronic resource] : A Basic Course on Many-Valued Logic and Clone Theory / by Dietlinde Lau. by Series: Springer Monographs in Mathematics
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.45 L38 2006.

13.
14.
15.
16.
Advances in Computer Systems Architecture [electronic resource] : 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005. Proceedings / edited by Thambipillai Srikanthan, Jingling Xue, Chip-Hong Chang. by Series: Lecture Notes in Computer Science ; 3740
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A73 S65 2005.

17.
Advances in Computer Systems Architecture [electronic resource] : 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings / edited by Lynn Choi, Yunheung Paek, Sangyeun Cho. by Series: Lecture Notes in Computer Science ; 4697
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A73 C65 2007.

18.
Logica Universalis [electronic resource] : Towards a General Theory of Logic / edited by Jean-Yves Beziau. by
Material type: Computer file Computer file; Format: electronic
Publication details: Basel : Birkhäuser Verlag, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9 B49 2005.

19.
New Approaches to Circle Packing in a Square [electronic resource] : With Program Codes / by P. G. Szabó, M. Cs. Markót, T. Csendes, E. Specht, L. G. Casado, I. García. by Series: Springer Optimization and Its Applications ; 6
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA640.7 N49 2007 .

20.
Languages and Compilers for Parallel Computing [electronic resource] : 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002. Revised Papers / edited by Bill Pugh, Chau-Wen Tseng. by Series: Lecture Notes in Computer Science ; 2481
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.58 P84 2005.

Pages

Powered by Koha