Refine your search

Your search returned 446 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.
Handbook of Floating-Point Arithmetic [electronic resource] / by Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres.

by Muller, Jean-Michel [author.] | Brisebarre, Nicolas [author.] | de Dinechin, Florent [author.] | Jeannerod, Claude-Pierre [author.] | Lefèvre, Vincent [author.] | Melquiond, Guillaume [author.] | Revol, Nathalie [author.] | Stehlé, Damien [author.] | Torres, Serge [author.] | SpringerLink (Online service).

Edition: 1.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston : Birkhäuser Boston, 2010Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Notes on Introductory Combinatorics [electronic resource] / by George Pólya, Robert E. Tarjan, Donald R. Woods.

by Pólya, George [author.] | Tarjan, Robert E [author.] | Woods, Donald R [author.] | SpringerLink (Online service).

Edition: 1st.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston : Birkhäuser Boston, 2010Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Symbolic Integration I [electronic resource] : Transcendental Functions / by Manuel Bronstein.

by Bronstein, Manuel [author.] | SpringerLink (Online service).

Edition: Second Edition.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Computability of Julia Sets [electronic resource] / by Mark Braverman, Michael Yampolsky.

by Braverman, Mark [author.] | Yampolsky, Michael [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Approximation Algorithms and Semidefinite Programming [electronic resource] / by Bernd Gärtner, Jiri Matousek.

by Gärtner, Bernd [author.] | Matousek, Jiri [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Evolutionary computation in combinatorial optimization : 4th European conference, EvoCOP 2004, Coimbra, Portugal, April 5-7, 2004 : proceedings / Jens Gottlieb, Günther R. Raidl (eds.).

by EvoCOP (Conference) (2004 : Coimbra, Portugal) | Gottlieb, Jens | Raidl, Günther.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Other title: EvoCOP 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Approximation, randomization, and combinatorial optimization : algorithms and techniques : 7th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2004, and 8th International Workshop on Randomization and Computation, RANDOM 2004, Cambridge, MA, USA, August 22-24, 2004 : proceedings / Klaus Jansen [and others] (eds.).

by International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (7th : 2004 : Cambridge, Mass.) | Jansen, Klaus | International Workshop on Randomization and Approximation Techniques in Computer Science (8th : 2004 : Cambridge, Mass.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2004Other title: APPROX 2004 | RANDOM 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Artificial evolution : 6th International Conference, Evolution Artificielle, EA 2003, Marseille, France, October 27-30, 2003 ; revised selected papers / Pierre Liardet [and others] (eds.).

by Liardet, Pierre | EA 2003 (2003 : Merseille, France).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Other title: Evolution Artificielle | EA 2003.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Rewriting techniques and applications : 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004, proceedings / Vincent Van Oostrom, (Ed.).

by International Conference on Rewriting Techniques and Applications (15th : 2004 : Aachen, Germany) | Oostrom, Vincent van, 1966-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York, NY : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Algorithms--ESA '93 : first annual European symposium, Bad Honnef, Germany, September 30-October 2, 1993 : proceedings / Thomas Lengauer (ed.).

by ESA (Symposium) (1st : 1993 : Bad Honnef, Germany) | Lengauer, T. (Thomas) | Gesellschaft für Informatik | Annual European Symposium on Algorithms, ESA (1 : 30-09-1993 - 02-10-1993 : Bad Honnef, Germany).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©1993Other title: ESA '93 | Algorithms.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Adaptive and natural computing algorithms : 8th international conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007 : proceedings / Bartłomiej Beliczyński, Andrzej Dzielinski, Marcin Iwanowski, Bernardete Ribeiro (eds.).

by ICANNGA (Conference) (2007 : Warsaw, Poland) | Beliczyński, Bartłomiej [editor] | Dzieliński, Andrzej [editor] | Iwanowski, Marcin, 1971- [editor.] | Ribeiro, Bernardete [editor].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, [2007]Copyright date: ©2007Other title: ICANNGA 2007.Online access: Click here to access online | Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Public key infrastructure : 4th European PKI Workshop : theory and practice, EuroPKI 2007, Palma de Mallorca, Spain, June 28-30, 2007 : proceedings / Javier Lopez, Pierangela Samarati, Josep L. Ferrer (eds.).

by European PKI Workshop (4th : 2007 : Palma de Mallorca, Spain) | López, Javier | Samarati, Pierangela | Ferrer, Josep L.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2007Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Machines, computations, and universality : 5th international conference, MCU 2007, Orleans, France, September 10-13, 2007 : proceedings / Jérôme Durand-Lose, Maurice Margenstern (eds.).

by MCU 2007 (2007 : Orléans, France) | Durand-Lose, Jérôme | Margenstern, Maurice.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: MCU 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Fast software encryption : 14th international workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007 : revised selected papers / Alex Biryukov (ed.).

by FSE (Workshop) (14th : 2007 : Luxembourg, Luxembourg) | Biryukov, Alex.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: FSE 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Advances in information and computer security : Second International Workshop on Security, IWSEC 2007, Nara, Japan, October 29-31, 2007 : proceedings / Atsuko Miyaji, Hiroaki Kikuchi, Kai Rannenberg (eds.).

by International Workshop on Security (2nd : 2007 : Nara-shi, Japan) | Miyaji, Atsuko | Kikuchi, Hiroaki | Rannenberg, Kai.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: Second International Workshop on Security | International Workshop on Security | IWSEC 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Public key cryptography : PKC 2007 : 10th International Conference on Practice and Theory in Public-Key Cryptography, Beijing, China, April 16-20, 2007 : proceedings / Tatsuaki Okamoto, Xiaoyun Wang (eds.).

by International Workshop on Practice and Theory in Public Key Cryptography (10th : 2007 : Beijing, China) | Okamoto, Tatsuaki | Wang, Xiaoyun | International Association for Cryptologic Research.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: PKC 2007 | 10th International Workshop on Practice and Theory in Public-Key Cryptography | Tenth International Workshop on Practice and Theory in Public-Key Cryptography.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Advances in neural networks--ISNN 2007 : 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007 : proceedings. Part II / Derong Liu [and others] (eds.).

by International Symposium on Neural Networks (4th : 2007 : Nanjing Shi, China) | Liu, Derong, 1963-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: ISNN 2007 | 4th International Symposium on Neural Networks | Fourth International Symposium on Neural Networks | International Symposium on Neural Networks.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Progress in artificial life : third Australian conference, ACAL 2007, Gold Coast, Australia, December 4-6, 2007 : proceedings / Marcus Randall, Hussein A. Abbass, Janet Wiles (eds.).

by Australian Conference on Artificial Life (3rd : 2007 : Gold Coast, Qld.) | Randall, Marcus | Abbass, Hussein A | Wiles, Janet.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: ACAL 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Cryptology and network security : 6th international conference, CANS 2007, Singapore, December 8-10, 2007 ; proceedings / Feng Bao [and others] (eds.).

by International Conference on Cryptology and Network Security (6th : 2007 : Singapore) | Bao, Feng, Dr | International Association for Cryptologic Research.

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

Powered by Koha