Refine your search

Your search returned 1528 results.

Not what you expected? Check for suggestions
1.
Cloud networking : developing cloud-based data center networks / Gary Lee ; acquiring editor, Todd Green ; designer, Russell Purdy.

by Lee, Gary Geunbae, 1961- [author.] | Green, Todd [editor.] | Purdy, Russell [designer.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Waltham, Massachusetts : Morgan Kaufmann, 2014Copyright date: ©2014Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): ebooks .
2.
The formalisms of quantum mechanics : an introduction / François David.

by David, François (Physicist) [author.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, [2014]Copyright date: ©2015Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Holographic entanglement entropy / Mukund Rangamani, Tadashi Takayanagi.

by Rangamani, Mukund, 1975- [author.] | Takayanagi, Tadashi [author.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
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 .
5.
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 .
6.
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 .
7.
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 .
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.
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 .
10.
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 .
11.
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 .
12.
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 .
13.
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 .
14.
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 .
15.
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 .
16.
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 .
17.
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 .
18.
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 .
19.
Online communities and social computing : second international conference, OCSC 2007, held as part of HCI International 2007, Beijing, China, July 22-27, 2007 : proceedings / Douglas Schuler (ed.).

by OCSC 2007 (2007 : Beijing, China) | Schuler, Douglas | International Conference on Human-Computer Interaction (12th : 2007 : Beijing, China).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: OCSC 2007 | HCI International.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
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 .

Powered by Koha