Your search returned 102 results.

Sort
Results
1.
Algorithms and Computation [electronic resource] : 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006. Proceedings / edited by Tetsuo Asano. by Series: Lecture Notes in Computer Science ; 4288
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.A43 A83 2006.

2.
3.
4.
The Linear Algebra a Beginning Graduate Student Ought to Know [electronic resource] / by Jonathan S. Golan. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA184.2 G65 2007.

5.
6.
7.
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.

8.
9.
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.

10.
Spatially Structured Evolutionary Algorithms [electronic resource] : Artificial Evolution in Space and Time / by Marco Tomassini. by Series: Natural Computing Series
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.618 T66 2005.

11.
LATIN 2006: Theoretical Informatics [electronic resource] : 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings / edited by José R. Correa, Alejandro Hevia, Marcos Kiwi. by Series: Lecture Notes in Computer Science ; 3887
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA75.5 C67 2007 .

12.
13.
14.
Integer Programming and Combinatorial Optimization [electronic resource] : 9th International IPCO Conference Cambridge, MA, USA, May 27–29, 2002 Proceedings / edited by William J. Cook, Andreas S. Schulz. by Series: Lecture Notes in Computer Science ; 2337
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: T57.74 C66 2006.

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.

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.

17.
Continuous System Simulation [electronic resource] / by François E. Cellier, Ernesto Kofman. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: T57.62 C45 2006.

18.
Nonlinear Optimization with Financial Applications [electronic resource] / by Michael Bartholomew-Biggs. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Kluwer Academic Publishers, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: T57.8 B37 2005.

19.
20.
Practice and Theory of Automated Timetabling VI [electronic resource] : 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30–September 1, 2006 Revised Selected Papers / edited by Edmund K. Burke, Hana Rudová. by Series: Lecture Notes in Computer Science ; 3867
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: Q340 B87 2007.

Pages

Powered by Koha