Refine your search

Your search returned 316 results.

Not what you expected? Check for suggestions
1.
Computers for handicapped persons : 4th International Conference, ICCHP '94, Vienna, Austria, September 14-16, 1994 : proceedings / Wolfgang L. Zagler, Geoffrey Busby, Roland R. Wagner, eds.

by Zagler, Wolfgang | Busby, Geoffrey | Wagner, Roland R | International Conference on Computers for Handicapped Persons (4th : 1994 : Vienna, Austria).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1994Other title: ICCHP '94.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
SOFSEM 2001 : theory and practice of informatics : 28th Conference on Current Trends in Theory and Practice of Informatics, Piešt'any, Slovak Republic, November 24-December 1, 2001 : Proceedings / Leszek Pacholski, Peter Ruzicka (eds.).

by SOFSEM 2001 (2001 : Piešt'any, Slovak Republic) | Pacholski, Leszek | Ružička, Peter.

Material type: Text Text; Format: available online remote Publisher: Berlin ; London : Springer, 2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
SOFSEM 2002 : theory and practice of informatics : 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002 : proceedings / William I. Grosky, František Plášil (eds.).

by SOFSEM (2002 : Milovy, Czech Republic) | Grosky, William I | Plášil, František.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Computer and information sciences : ISCIS 2006 : 21st international symposium, Istanbul, Turkey, November 1-3, 2006 : proceedings / Albert Levi [and others] (eds.).

by International Symposium on Computer and Information Sciences (21st : 2006 : Istanbul, Turkey) | Levi, Albert, 1969-.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2006Other title: ISCIS 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Komplexitt̃ Von Entscheidungsproblemen.

by Specker, E [editor] | Strassen, V [editor].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: New York : Springer Oct. 2007Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Algorithmic learning theory : 26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 2015, Proceedings / edited by Kamalika Chaudhuri, Claudio Gentile, Sandra Zilles.

by ALT (Conference) (26th : 2015 : Banff, Alta.) | Chaudhuri, Kamalika [editor.] | Gentile, Claudio [editor.] | Zilles, Sandra, 1976- [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Reachability problems : 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings / edited by Mikołaj Bojańczyk, Sławomir Lasota, Igor Potapov.

by RP (Workshop) (9th : 2015 : Warsaw, Poland) | Bojańczyk, Mikołaj [editor.] | Lasota, Sławomir [editor.] | Potapov, Igor [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Advances in Cryptology - ASIACRYPT 2015 : 21st International Conference on the Theory and Application of Cryptology and Information Security, Auckland, New Zealand, November 29 - December 3, 2015, Proceedings. Part I / edited by Tetsu Iwata, Jung Hee Cheon.

by International Conference on the Theory and Application of Cryptology and Information Security (21st : 2015 : Auckland, N.Z.) | Iwata, Tetsu [editor.] | Cheon, Jung Hee [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer, 2015Other title: ASIACRYPT 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Advances in Cryptology - ASIACRYPT 2015 : 21st International Conference on the Theory and Application of Cryptology and Information Security Auckland, New Zealand, November 29 - December 3, 2015, Proceedings. Part II / edited by Tetsu Iwata, Jung Hee Cheon.

by International Conference on the Theory and Application of Cryptology and Information Security (21st : 2015 : Auckland, N.Z.) | Iwata, Tetsu [editor.] | Cheon, Jung Hee [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, 2015Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Transactions on Computational Collective Intelligence XXII / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk.

by Nguyen, Ngoc Thanh (Computer scientist) [editor.] | Kowalczyk, Ryszard [editor.].

Edition: 1st ed. 2016.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint : Springer, 2016Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Reversible computation : 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings / edited by Simon Devitt, Ivan Lanese.

by RC (Workshop : Reversible Computation) (8th : 2016 : Bologna, Italy) | Devitt, Simon [editor.] | Lanese, Ivan [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2016Other title: RC 2016.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings.

by Goos, Gerhard | Hartmanis, Juris | Van Leeuwen, Jan.

Edition: N.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin/Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Validations of Stochastic Systems: A Guide to Current Research.

by Baier, Christel [author.] | Haverkort, Boudewijn R [Contributor.] | Hermanns, Holger [Contributor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Models, algorithms, logics and tools : essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday / Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare (eds.).

by Larsen, K. G. (Kim G.), 1957- [honouree.] | Aceto, Luca [editor.] | Bacci, Giorgio [editor.] | Bacci, Giovanni [editor.] | Anna Ingólfsdóttir, 1952- [editor.] | Legay, Axel [editor.] | Mardare, Radu [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2017]Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Cellular automata and discrete complex systems : 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20-22, 2018, Proceedings / Jan M. Baetens, Martin Kutrib (Eds.).

by AUTOMATA (Workshop) (24th : 2018 : Ghent, Belgium) | Baetens, Jan M [editor.] | Kutrib, Martin [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : : Springer, [2018]Other title: AUTOMATA 2018.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Wireless Algorithms, Systems, and Applications : 13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018, Proceedings / edited by Sriram Chellappan, Wei Cheng, Wei Li.

by WASA (Conference) (13th : 2018 : Tianjin, China) | Chellappan, Sriram [editor.] | Cheng, Wei [editor.] | Li, Wei [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2018Other title: WASA 2018.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
CAAP '86 : 11th Colloquium on Trees in Algebra and Programming Nice, France, March 24-26, 1986 Proceedings / edited by Paul Franchi-Zannettacci.

by Franchi-Zannettacci, P. (Paul) | Franchi-Zannettacci, P. (Paul) [editor.].

Source: Springer e-books.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Algorithms and Discrete Applied Mathematics : 6th International Conference, CALDAM 2020, Hyderabad, India, February 13-15, 2020, Proceedings / Manoj Changat, Sandip Das (eds.).

by CALDAM (Conference) (6th : 2020 : Hyderabad, India) | Changat, Manoj [editor.] | Das, Sandip [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2020Other title: CALDAM 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
The trouble with computers : usefulness, usability, and productivity / Thomas K. Landauer.

by Landauer, Thomas K.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Copyright date: ©1995Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Representation and reality / Hilary Putnam.

by Putnam, Hilary.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Copyright date: ©1988Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha