Your search returned 156 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
The Pillars of Computation Theory [electronic resource] : State, Encoding, Nondeterminism / by Arnold L. Rosenberg. by Series: Universitext
Edition: First.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York, 2010 In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Algorithmic Randomness and Complexity [electronic resource] / by Rodney G. Downey, Denis R. Hirschfeldt. by Series: Theory and Applications of Computability, In cooperation with the association Computability in Europe
Edition: 1.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York, 2010 In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Instruction Sequences for Computer Science [electronic resource] / by Jan A. Bergstra, Cornelis A. Middelburg. by Series: Atlantis Studies in Computing ; 2
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2012 In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
5.
Transactions on computational systems biology VIII / Corrado Priami (ed.). by Series: Lecture notes in computer science ; 4780. | Lecture notes in computer science. Lecture notes in bioinformatics.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2007
Other title:
  • Transactions on computational systems biology eight
  • Transactions on computational systems biology 8
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
Innovations in applied artificial intelligence : 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24,2005 : proceedings / Moonis Ali, Floriana Esposito (eds.). by Series: Lecture notes in computer science ; 3533. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • 18th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems
  • Eighteenth International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems
  • International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems
  • IEA/AIE 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
7.
Artificial Neural Networks - ICANN 2001 : International Conference, Vienna, Austria, August 21-25, 2001: Proceedings. by Series: Lecture notes in computer science ; vol. 2130.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: New York : Springer, Oct. 2001
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
8.
Algorithms and computation : 14th international symposium, ISAAC 2003, Kyoto, Japan, December 15-17, 2003 : proceedings / Toshihide Ibaraki, Naoki Katoh, Hirotaka Ono (eds.). 小野, 廣隆. by Series: Lecture notes in computer science ; 2906.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2003
Other title:
  • ISAAC 2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
9.
Transactions on computational systems biology XIII / Corrado Priami [and others] (Eds.). by Series: Lecture notes in computer science | Lecture notes in computer science. Lecture notes in bioinformatics ; ; 6575.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg ; New York : Springer, ©2011
Other title:
  • Transactions on computational systems biology 13
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
10.
Rough sets and knowledge technology : 6th International Conference, RSKT 2011, Banff, Canada, October 9-12, 2011 : proceedings / JingTao Yao [and others] (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science ; 6954.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Heidelberg ; New York : Springer-Verlag GmbH Berlin Heidelberg, ©2011
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
11.
Self-Stabilizing Systems : 6th International Symposium, SSS 2003 San Francisco, CA, USA, June 2425, 2003 Proceedings / edited by Shing-Tsaan Huang, Ted Herman. by Series: Lecture notes in computer science ; 2704,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
12.
Algorithmic learning theory : 22nd international conference, ALT 2011, Espoo, Finland, October 5-7, 2011 : proceedings / Jyrki Kivinen [and others] (eds.). by Series: Lecture notes in computer science ; 6925. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Heidelberg ; New York : Springer, ©2011
Other title:
  • ALT 2011
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
13.
Stabilization, safety, and security of distributed systems : 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011 : proceedings / Xavier Défago, Franck Petit, Vincent Villain. by Series: Lecture notes in computer science ; 6976.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Heidelberg ; New York : Springer-Verlag Berlin Heidelberg, ©2011
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
14.
Reachability problems : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings / Giorgio Delzanno, Igor Potapov (eds.). by Series: Lecture notes in computer science ; 6945. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2011
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
15.
Advances in Artificial Intelligence " IBERAMIA 2002 : 8th Ibero-American Conference on AI Seville, Spain, November 12 15, 2002 Proceedings. by Series: Lecture notes in computer science ; 2527,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2002
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
16.
Advances in artificial intelligence : 14th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2011, La Laguna, Spain, November 7-11, 2011, proceedings / Jose A. Lozano, José A. Gámez, José A. Moreno (eds.). by Series: Lecture notes in computer science ; 7023. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer, ©2011
Other title:
  • CAEPIA 2011
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
17.
Neural information processing : 18th International Conference, ICONIP 2011, Shanghai, China, November 13-17, 2011, proceedings. Part I / Bao-Liang Lu, Liqing Zhang, James Kwok (eds.). by Series: Lecture notes in computer science ; 7062. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2011
Other title:
  • ICONIP 2011
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
18.
19.
Neural information processing : 18th International Conference, ICONIP 2011, Shanghai, China, November 13-17, 2011, proceedings. Part II / Bao-Liang Lu, Liqing Zhang, James Kwok (eds.). by Series: Serienbezeichnung | Lecture notes in computer science ; 7063. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2011
Other title:
  • ICONIP 2011
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
20.
High Performance Computing " HiPC 2001 : 8th International Conference Hyderabad, India, December 17 20, 2001 Proceedings. by Series: Lecture notes in computer science ; 2228,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2001
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha