Your search returned 23 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Mathematical Methods in Computer Science [electronic resource] : Essays in Memory of Thomas Beth / edited by Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade. by Series: Lecture Notes in Computer Science ; 5393
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9..M35 C35 2008.

Place hold Add to cart
2.
3.
Logic, Language, Information and Computation [electronic resource] : 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings / edited by Daniel Leivant, Ruy Queiroz. by Series: Lecture Notes in Computer Science ; 4576
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: QA9.A1 L45 2007.

Place hold Add to cart
4.
Theory and Applications of Models of Computation [electronic resource] : Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedings / edited by Jin-Yi Cai, S. Barry Cooper, Angsheng Li. by Series: Lecture Notes in Computer Science ; 3959
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.7 C35 2006.

Place hold Add to cart
5.
Theory and Applications of Models of Computation [electronic resource] : 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings / edited by Jin-Yi Cai, S. Barry Cooper, Hong Zhu. by Series: Lecture Notes in Computer Science ; 4484
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.7 C35 2007.

Place hold Add to cart
6.
Search Methodologies [electronic resource] : Introductory Tutorials in Optimization and Decision Support Techniques / edited by Edmund K. Burke, Graham Kendall. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: T58.62 S43 2005.

Place hold Add to cart
7.
Constraint Theory [electronic resource] : Multidimensional Mathematical Model Management / by George J. Friedman. by Series: Ifsr International Series on Systems Science and Engineering ; 23
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer-Verlag US, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA168 F75 2005.

Place hold Add to cart
8.
Logic, Language, Information and Computation [electronic resource] : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings / edited by Wilfrid Hodges, Ruy Queiroz. by Series: Lecture Notes in Computer Science ; 5110
Edition: 1a ed.
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: QA9.A1 H63 2008.

Place hold Add to cart
9.
New Tools of Economic Dynamics [electronic resource] / edited by Jacek Leskow, Lionello F. Punzo, Martín Puchet Anyul. by Series: Lecture Notes in Economics and Mathematical Systems ; 551
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: HB135 L47 2005.

Place hold Add to cart
10.
11.
Encyclopedia of Algorithms [electronic resource] / edited by Ming-Yang Kao. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer-Verlag, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.58 K36 2008.

Place hold Add to cart
12.
Metaheuristics: Progress as Real Problem Solvers [electronic resource] / edited by Toshihide Ibaraki, Koji Nonobe, Mutsunori Yagiura. by Series: Operations Research/Computer Science Interfaces Series ; 32
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA402.5 .M41445 2005.

Place hold Add to cart
13.
14.
15.
Logic and Theory of Algorithms [electronic resource] : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings / edited by Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe. by Series: Lecture Notes in Computer Science ; 5028
Edition: 1a ed.
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: QA9.59 B43 2008.

Place hold Add to cart
16.
Soft Computing in Ontologies and Semantic Web [electronic resource] / edited by Zongmin Ma. by Series: Studies in Fuzziness and Soft Computing ; 204
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.S63 M3 2006.

Place hold Add to cart
17.
18.
19.
Foreign-Exchange-Rate Forecasting With Artificial Neural Networks [electronic resource] / by Lean Yu, Shouyang Wang, Kin Keung Lai. by Series: International Series in Operations Research & Management Science ; 107
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer US, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.87 Y85 2007.

Place hold Add to cart
20.
Mathematical Problems in Image Processing [electronic resource] : Partial Differential Equations and the Calculus of Variations / by Gilles Aubert, Pierre Kornprobst. by Series: Applied Mathematical Sciences ; 147
Edition: Second Edition.
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer Science+Business Media, LLC, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA1637 A87 2006.

Place hold Add to cart
Pages

Powered by Koha