Your search returned 130 results.

Sort
Results
101.
102.
103.
Implementation and Applications of Automata [electronic resource] : 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings / edited by Oscar H. Ibarra, Bala Ravikumar. by Series: Lecture Notes in Computer Science ; 5148
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA267 I23 2008.

104.
Fundamentals of Computation Theory [electronic resource] : 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings / edited by Erzsébet Csuhaj-Varjú, Zoltán Ésik. by Series: Lecture Notes in Computer Science ; 4639
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: QA75.5 C78 2007.

105.
106.
107.
Database Theory – ICDT 2007 [electronic resource] : 11th International Conference, Barcelona, Spain, January 10-12, 2007. Proceedings / edited by Thomas Schwentick, Dan Suciu. by Series: Lecture Notes in Computer Science ; 4353
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.D3 S39 2006 .

108.
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.

109.
Implementation and Application of Automata [electronic resource] : 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers / edited by Jan Holub, Jan Žďárek. by Series: Lecture Notes in Computer Science ; 4783
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: QA267 H65 2007.

110.
111.
Transactions on Computational Systems Biology VII [electronic resource] / edited by Corrado Priami, Anna Ingólfsdóttir, Bud Mishra, Hanne Riis Nielson. by Series: Lecture Notes in Computer Science ; 4230
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: QH324.2 P75 2006.

112.
CONCUR 2008 - Concurrency Theory [electronic resource] : 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings / edited by Franck Breugel, Marsha Chechik. by Series: Lecture Notes in Computer Science ; 5201
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.58 B74 2008.

113.
Developments in Language Theory [electronic resource] : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings / edited by Tero Harju, Juhani Karhumäki, Arto Lepistö. by Series: Lecture Notes in Computer Science ; 4588
Edition: 1a ed.
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: QA267.3 H37 2007.

114.
Modeling Decisions for Artificial Intelligence [electronic resource] : Second International Conference, MDAI 2005, Tsukuba, Japan, July 25-27, 2005. Proceedings / edited by Vicenç Torra, Yasuo Narukawa, Sadaaki Miyamoto. by Series: Lecture Notes in Computer Science ; 3558
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: Q334 T67 2005.

115.
116.
Implementation and Application of Automata [electronic resource] : 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedings / edited by Oscar H. Ibarra, Hsu-Chun Yen. by Series: Lecture Notes in Computer Science ; 4094
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: QA267 I23 2006.

117.
118.
Developments in Language Theory [electronic resource] : 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings / edited by Oscar H. Ibarra, Zhe Dang. by Series: Lecture Notes in Computer Science ; 4036
Edition: 1a ed.
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: QA267.3 I23 2006.

119.
120.
Pages

Powered by Koha