Refine your search

Your search returned 1007 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Algorithms unlocked

by Cormen, Thomas H [author.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cambridge, Massachusetts : The MIT Press, [2013]Copyright date: 2013Online access: Click here to access online Availability: Items available for loan: Library (1)Call number: 005-2013. e-Library (1).
Place hold Log in to add tags
Approximation and online algorithms : first international workshop, WAOA 2003, Budapest, Hungary, September 16-18, 2003 : revised papers / Klaus Jansen, Roberto Solis-Oba (eds.).

by WAOA 2003 (2003 : Budapest, Hungary) | Jansen, Klaus | Solis-Oba, Roberto.

Series: Serienbezeichnung | Lecture notes in computer science ; 2909.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30--July 2, 2003 : selected papers / Krzysztof R. Apt [and others] (eds.).

by Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming (2003 : Budapest, Hungary) | Apt, Krzysztof R, 1949- | European Research Consortium for Informatics and Mathematics | CoLogNET.

Series: Serienbezeichnung | Lecture notes in computer science ; 3010. | 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, ©2004Other title: CSCLP 2003.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 3004.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2004Other title: EvoCOP 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Component deployment : Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004 : proceedings / Wolfgang Emmerich, Alexander L. Wolf (eds.).

by Working Conference on Component Deployment (2nd : 2004 : e-Science Institute) | Emmerich, Wolfgang, Dr. Rer. Nat | Wolf, Alexander L | LINK (Online service).

Series: Serienbezeichnung | Lecture notes in computer science ; 3083.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2004Other title: CD 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Computer science logic : 18th International Workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings / Jerzy Marcinkowski, Andrzej Tarlecki, editors.

by Marcinkowski, Jerzy, 1965- | Tarlecki, Andrzej | European Association for Computer Science Logic. Conference (13th : 2004 : Karpacz, Poland) | LINK (Online service) | Workshop on Computer Science Logic (18th : 2004 : Karpacz, Poland).

Series: Serienbezeichnung | Lecture notes in computer science ; 3210.Material type: Text Text; Format: available online remote Publication details: Berlin : Springer, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
UML 2004 : the unified modeling language : modeling languages and applications : 7th international conference, Lisbon, Portugal, October 11-15, 2004 : proceedings / Thomas Baar [and others] (eds.).

by UML 2004 (7th : 2004 : Lisbon, Portugal) | Baar, Thomas | LINK (Online service).

Series: Serienbezeichnung | Lecture notes in computer science ; 3273.Material type: Text Text; Format: available online remote Publication details: Berlin : Springer, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Modular algorithms in symbolic summation and symbolic integration / Jürgen Gerhard.

by Gerhard, Jürgen, 1967-.

Series: Serienbezeichnung | Lecture notes in computer science ; 3218.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
COTS-based software systems : Third International Conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004 : proceedings / Rick Kazman, Dan Port (eds.).

by ICCBSS 2004 (2004 : Redondo Beach, Calif.) | Kazman, Rick | Port, Dan.

Series: Serienbezeichnung | Lecture notes in computer science ; 2959.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2004Other title: ICCBSS 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Agent-oriented software engineering IV : 4th international workshop, AOSE 2003, Melbourne, Australia, July 15, 2003 : revised papers / Paolo Giorgini, Jörg P. Müller, James Odell (eds.).

by AOSE 2003 (2003 : Melbourne, Vic.) | Giorgini, Paolo | Müller, J. P. (Jörg P.), 1965- | Odell, James J | International Joint Conference on Autonomous Agents and Multiagent Systems (2nd : 2003 : Melbourne, Vic.).

Series: Serienbezeichnung | Lecture notes in computer science ; 2935.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
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).

Series: Serienbezeichnung | Lecture notes in computer science ; 2936.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: 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).
Place hold Log in to add tags
Software engineering for multi-agent systems II : research issues and practical applications / Carlos Lucena [and others] (eds.).

by SELMAS 2003 (2003 : Portland, Or.) | Lucena, Carlos J. P. de.

Series: Serienbezeichnung | Lecture notes in computer science ; 2940.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Generic model management : concepts and algorithms / Sergey Melnik.

by Melnik, Sergey.

Series: Serienbezeichnung | Lecture notes in computer science ; 2967.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
FST TCS 2003 : foundations of software technology and theoretical computer science : 23rd conference, Mumbai, India, December 15-17, 2003 : proceedings / Paritosh K. Pandya, Jaikumar Radhakrishnan (eds.).

by Conference on Foundations of Software Technology and Theoretical Computer Science (23rd : 2003 : Mumbai, India) | Pandya, Paritosh K | Radhakrishnan, Jaikumar.

Series: Serienbezeichnung | Lecture notes in computer science ; 2914.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2003Other title: Foundations of software technology and theoretical computer science.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Logic programming : 19th international conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings / Catuscia Palamidessi (ed.).

by International Conference on Logic Programming (19th : 2003 : Bombay, India) | Palamidessi, Catuscia.

Series: Serienbezeichnung | Lecture notes in computer science ; 2916.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2003Other title: ICLP 2003.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings / Vladimir Lifschitz, Ilkka Niemelä (eds.).

by LPNMR 2004 (2004 : Fort Lauderdale, Fla.) | Lifschitz, Vladimir | Niemelä, Ilkka, 1961-.

Series: Serienbezeichnung | Lecture notes in computer science ; 2923. | 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, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Software architecture : first European workshop, EWSA 2004, St. Andrews, UK, May 21-22, 2004 : proceedings / Flavio Oquendo, Brian Warboys, Ron Morrison (eds.).

by EWSA 2004 (2004 : St. Andrews, Scotland) | Oquendo, Flavio, 1958- | Warboys, Brian C, 1942- | Morrison, R. (Ronald), 1946-.

Series: Serienbezeichnung | Lecture notes in computer science ; 3047.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2004Other title: EWSA 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Component-based software engineering : 7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004 : proceedings / Ivica Crnkovic [and others].

by CBSE 2004 Symposium (7th : 2004 : Edinburgh, Scotland) | Crnkovic, Ivica | LINK (Online service).

Series: Serienbezeichnung | Lecture notes in computer science ; 3054.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Hong Kong : Springer-Verlag, ©2004Other title: CBSE 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Semirings for soft constraint solving and programming / Stefano Bistarelli.

by Bistarelli, Stefano, 1968-.

Series: Serienbezeichnung | Lecture notes in computer science ; 2962.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Scientific engineering of distributed Java applications : third international workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003 : revised papers / Nicolas Guelfi, Egidio Astesiano, Gianna Reggio, eds.

by FIDJI 2003 (2003 : Luxembourg, Luxembourg) | Guelfi, Nicolas, 1965- | Astesiano, E. (Egidio), 1939- | Reggio, Gianna, 1957-.

Series: Serienbezeichnung | Lecture notes in computer science ; 2952.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Pages

Powered by Koha