Refine your search

Your search returned 227 results.

Not what you expected? Check for suggestions
1.
Latin 2004 : theoretical informatics : 6th Latin American symposium, Buenos Aires, Argentina, April 5-8, 2004 : proceedings / Martin Farach-Colton (ed.).

by Latin American Symposium on Theoretical Informatics (6th : 2004 : Buenos Aires, Argentina) | Farach-Colton, Martin.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Automated technology for verification and analysis : second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings / Farn Wang (ed.).

by ATVA (Symposium) (2nd : 2004 : Taipei, Taiwan) | Wang, Farn | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2004Other title: ATVA 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
UbiComp 2004 : ubiquitous computing : 6th international conference, Nottingham, UK, September 7-10, 2004 : proceedings / Nigel Davies, Elizabeth Mynatt, Itiro Siio (eds.).

by UbiComp (Conference) (6th : 2004 : Nottingham, England) | Davies, Nigel, 1964- | Mynatt, Elizabeth D | Siio, Itiro.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2004Other title: Ubiquitous computing.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Ambient intelligence : second European symposium, EUSAI 2004, Eindhoven, the Netherlands, November 8-11, 2004 : proceedings / Panos Markopoulos [and others] (eds.).

by EUSAI 2004 (2004 : Eindhoven, Netherlands) | Markopoulos, P. (Panos) | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2004Other title: EUSAI 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
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 .
6.
Computing and combinatorics : 10th annual international conference, COCOON 2004, Jeju Island, Korea, August 17-20, 2004 : proceedings / Kyung-Yong Chwa, J. Ian Munro (eds.).

by COCOON (Conference) (10th : 2004 : Cheju-do, Korea) | Chwa, Kyung-Yong, 1946- | Munro, J. Ian.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2004Other title: COCOON 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003 : revised lectures / Frank S. de Boer [and others] (eds.).

by FMCO (Symposium) (2nd : 2003 : Leiden, Netherlands) | Boer, Frank S. de | LINK (Online service).

Material type: Text Text; Format: available online remote Publisher: Berlin : Springer-Verlag, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Implementation and application of automata : 8th international conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003 : proceedings / Oscar H. Ibarra, Zhe Dang (eds.).

by CIAA (Conference) (8th : 2003 : Santa Barbara, Calif.) | Ibarra, Oscar H | Dang, Zhe, 1967-.

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 .
9.
Foundations of information and knowledge systems : third international symposium, FoIKS 2004 : Wilheminenburg [sic] Castle, Austria, February 17-20, 2004 : proceedings / Dietmar Seipel, Jose Maria Turull-Torres (eds.).

by FoIKS 2004 (2004 : Vienna, Austria) | Seipel, Dietmar | Turull-Torres, Jose Maria.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
STACS 2004 : 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004 : proceedings / Volker Diekert, Michel Habib, eds.

by Annual Symposium on Theoretical Aspects of Computer Science (21st : 2004 : Montpellier, France) | Diekert, Volker, 1955- | Habib, M. (Michel).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Metainformatics : international symposium, MIS 2003, Graz, Austria, September 17-20, 2003 : revised papers / David L. Hicks (ed.).

by MIS 2003 (2003 : Graz, Austria) | Hicks, David L. (David Lane), 1962-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Other title: MIS 2003.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday / Juhani Karhumäki [and others].

by Salomaa, Arto | Karhumäki, Juhani.

Material type: Text Text; Format: available online remote festschrift ; 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 .
13.
Deontic logic in computer science : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings / Alessio Lomuscio, Donald Nute (eds.).

by International Workshop on Deontic Logic in Computer Science (7th : 2004 : Madeira, Madeira Islands) | Lomuscio, Alessio | Nute, Donald, 1947-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Other title: DEON 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Rough sets and current trends in computing : 4th international conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004 : proceedings / Shusaku Tsumoto [and others] (eds.).

by RSCTC (Conference) (4th : 2004 : Uppsala, Sweden) | Tsumoto, Shusaku, 1963-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Other title: RSCTC 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Intelligent information technology : 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004 ; proceedings / Gautam Das, Ved P. Gulati (eds.).

by International Conference on Information Technology (7th : 2004 : Hyderabad, India) | Das, Gautam | Gulati, V. P. (Ved Prakash).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2004Other title: CIT 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Formal methods for performance evaluation : 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007 ; advanced lectures / Marco Bernardo, Jane Hillston (eds.).

by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (7th : 2007 : Bertinoro, Italy) | Bernardo, Marco | Hillston, J. (Jane), 1963-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: Formal methods for the design of computer, communication and software systems | SFM 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Pervasive computing : 5th international conference, PERVASIVE 2007, Toronto, Canada, May 13-16, 2007 : proceedings / Anthony LaMarca, Marc Langheinrich, Khai N. Truong (eds.).

by Pervasive (Conference) (5th : 2007 : Toronto, Ont.) | LaMarca, Anthony | Langheinrich, Marc | Truong, Khai N.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: PERVASIVE 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Formal methods : applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers / Luboš Brim [and others] (eds.).

by International Workshop on Formal Methods for Industrial Critical Systems (11th : 2006 : Bonn, Germany) | Brim, Lubǒs | PDMC 2006 (2006 : Bonn, Germany).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: FMICS 2006 | PDMC 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Ubiquitous convergence technology : first international conference, ICUCT 2006, Jeju Island, Korea, December 5-6, 2006 : revised selected papers / Frank Stajano [and others] (eds.).

by ICUCT 2006 (2006 : Cheju Do, Korea) | Stajano, Frank.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: ICUCT 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
The disappearing computer : interaction design, system infrastructures and applications for smart environments / Norbert Streitz, Achilles Kameas, Irene Mavrommati (eds.).

by Streitz, N. A. (Norbert A.) | Kameas, Achilles | Mavrommati, Irene.

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 .

Powered by Koha