Your search returned 160 results.

Not what you expected? Check for suggestions
1.
The Pillars of Computation Theory [electronic resource] : State, Encoding, Nondeterminism / by Arnold L. Rosenberg.

by Rosenberg, Arnold L [author.] | SpringerLink (Online service).

Edition: First.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2010Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Algorithmic Randomness and Complexity [electronic resource] / by Rodney G. Downey, Denis R. Hirschfeldt.

by Downey, Rodney G [author.] | Hirschfeldt, Denis R [author.] | SpringerLink (Online service).

Edition: 1.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2010Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Instruction Sequences for Computer Science [electronic resource] / by Jan A. Bergstra, Cornelis A. Middelburg.

by Bergstra, Jan A [author.] | Middelburg, Cornelis A [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2012Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Modeling decisions for artificial intelligence : second international conference, MDAI 2005, Tsukuba, Japan, July 25-27, 2005 : proceedings / Vicenç Torra, Yasuo Narukawa, Sadaaki Miyamoto (eds.).

by MDAI (Conference) (2nd : 2005 : Tsukuba-shi, Japan) | Torra, Vicenç | Narukawa, Yasuo | Miyamoto, Sadaaki, 1950-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©2005Other title: MDAI 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Evolvable systems : from biology to hardware : 5th International Conference, ICES 2003, Trondheim, Norway, March 17-20, 2003 : proceedings / Andy M. Tyrrell, Pauline C. Haddow, Jim Torresen (eds.).

by International Conference on Evolvable Systems (5th : 2003 : Trondheim, Norway) | Tyrrell, Andy M | Haddow, Pauline C, 1964- | Torresen, Jim, 1964-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Transactions on computational systems biology VIII / Corrado Priami (ed.).

by Priami, Corrado.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2007Other title: Transactions on computational systems biology eight | Transactions on computational systems biology 8.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
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 International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems (18th : 2005 : Bari, Italy) | Ali, Moonis | Esposito, Floriana, 1947-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other 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.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Adaptive and Natural Computing Algorithms : 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers / Mikko Kolehmainen, Pekka Toivanen, Bartlomiej Beliczynski (Eds.).

by ICANNGA (Conference) (9th : 2009 : Kuopio, Finland) | Kolehmainen, Mikko | Toivanen, Pekka | Beliczyński, Bartłomiej.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg : Springer-Verlag, ©2009Other title: ICANNGA 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Artificial Neural Networks - ICANN 2001 : International Conference, Vienna, Austria, August 21-25, 2001: Proceedings.

by Dorffner, Georg [editor] | Bischof, Horst [editor] | Hornik, Kurt [editor].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: New York : Springer, Oct. 2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Algorithms and computation : 14th international symposium, ISAAC 2003, Kyoto, Japan, December 15-17, 2003 : proceedings / Toshihide Ibaraki, Naoki Katoh, Hirotaka Ono (eds.).

小野, 廣隆. by ISAAC (Symposium) (14th : 2003 : Kyoto, Japan) | Ibaraki, Toshihide | Katoh, Naoki | Ono, Hirotaka.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2003Other title: ISAAC 2003.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Transactions on computational systems biology XIII / Corrado Priami [and others] (Eds.).

by Priami, Corrado.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg ; New York : Springer, ©2011Other title: Transactions on computational systems biology 13.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Rough sets and knowledge technology : 6th International Conference, RSKT 2011, Banff, Canada, October 9-12, 2011 : proceedings / JingTao Yao [and others] (eds.).

by RSKT 2011 (2011 : Banff, Alta.) | Yao, JingTao.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg ; New York : Springer-Verlag GmbH Berlin Heidelberg, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Self-Stabilizing Systems : 6th International Symposium, SSS 2003 San Francisco, CA, USA, June 2425, 2003 Proceedings / edited by Shing-Tsaan Huang, Ted Herman.

by Huang, Shing-Tsaan | Herman, Ted.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Algorithmic learning theory : 22nd international conference, ALT 2011, Espoo, Finland, October 5-7, 2011 : proceedings / Jyrki Kivinen [and others] (eds.).

by ALT 2011 (2011 : Espoo, Finland) | Kivinen, Jyrki, 1965-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg ; New York : Springer, ©2011Other title: ALT 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
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 SSS (Symposium) (13th : 2011 : Grenoble, France) | Défago, Xavier | Petit, Franck | Villain, Vincent.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg ; New York : Springer-Verlag Berlin Heidelberg, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Reachability problems : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings / Giorgio Delzanno, Igor Potapov (eds.).

by RP (Workshop) (5th : 2011 : Genoa, Italy) | Delzanno, Giorgio | Potapov, Igor.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Advances in Artificial Intelligence " IBERAMIA 2002 : 8th Ibero-American Conference on AI Seville, Spain, November 12 15, 2002 Proceedings.

by Garijo, Francisco J | Riquelme, José C | Toro, Miguel.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
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 Asociación Española de Inteligencia Artificial. Conferencia (14th : 2011 : La Laguna, Spain) | Lozano, José A, 1968- | Gámez, José A | Moreno, José A.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg : Springer, ©2011Other title: CAEPIA 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Neural information processing : 18th International Conference, ICONIP 2011, Shanghai, China, November 13-17, 2011, proceedings. Part III / Bao-Liang Lu, Liqing Zhang, James Kwok (eds.).

by ICONIP (Conference) (18th : 2011 : Shanghai, China) | Lu, Bao-Liang | Zhang, Liqing, Ph. D | Kwok, James, Dr.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
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 ICONIP (Conference) (18th : 2011 : Shanghai, China) | Lu, Bao-Liang | Zhang, Liqing, Ph. D | Kwok, James, Dr.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2011Other title: ICONIP 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha