Your search returned 53 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Foundations of augmented cognition : neuroergonomics and operational neuroscience : 5th international conference, FAC 2009, held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009 : proceedings / Dylan D. Schmorrow, Ivy V. Estabrooke, Marc Grootjen (eds.).

by International Conference on Augmented Cognition (5th : 2009 : San Diego, Calif.) | Schmorrow, Dylan, 1967- | Estabrooke, Ivy V | Grootjen, Marc.

Series: Serienbezeichnung | Lecture notes in computer science ; 5638. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 12712670Publication details: Berlin ; New York : Springer, ©2009Other title: FAC 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Computational linguistics and intelligent text processing : 5th International Conference, CICLing 2004, Seoul, Korea, February 15-21, 2004 : proceedings / Alexander Gelbukh, ed.

by CICLing (Conference) (2004 : Seoul, Korea) | Gelbukh, Alexander, 1962-.

Series: Serienbezeichnung | Lecture notes in computer science ; 2945.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
Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings / Thomas F. Melham, Juanito Camilleri (eds.).

by Melham, T. F. (Tom F.) | Camilleri, Juanito.

Series: Serienbezeichnung | Lecture notes in computer science ; 859.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1994Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Public key cryptography : third International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2000, Melbourne, Victoria, Australia, January 18-20, 2000 : proceedings / Hideki Imai, Yuliang Zheng (eds.).

by International Workshop on Practice and Theory in Public Key Cryptography (3rd : 2000 : Melbourne, Vic.) | Imai, Hideki, 1943- | Zheng, Yuliang, 1962-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1751.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2000Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
The analysis of concurrent systems : Cambridge, September 12-16, 1983 : proceedings / ed. by B.T. Denvir [and others].

by Denvir, B. T [edt] | Workshop on the Analysis of Concurrent Systems (12-09-1983 - 16-09-1983 : Cambridge).

Series: SerienbezeichnungMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©1985Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Multiple approaches to intelligent systems : 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE-99, Cairo, Egypt, May 31-June 3, 1999 : proceedings / Ibrahim Imam [and others] (eds.).

by International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems (12th : 1999 : Cairo, Egypt) | Imam, Ibrahim (Ibrahim F.), 1965-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1611. | 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 ; London : Springer, 1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
CONCUR '99 : concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings / Jos C.M. Baeten, Sjouke Mauw (eds.).

by International Conference on Concurrency Theory (10th : 1999 : Eindhoven, Netherlands) | Baeten, J. C. M | Mauw, S.

Series: Serienbezeichnung | Lecture notes in computer science ; 1664.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Computer security : ESORICS 94 : third European Symposium on Research in Computer Security, Brighton, United Kingdom, November 7-9, 1994 : proceedings / Dieter Gollmann (ed.).

by European Symposium on Research in Computer Security (3rd : 1994 : Brighton, England) | Gollmann, Dieter.

Series: Serienbezeichnung | Lecture notes in computer science ; 875.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1994Other title: ESORICS 94.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November 3, 1978 / edited by Volker Claus, Hartmut Ehrig, and Grzegorz Rozenberg.

by Claus, Volker, 1944- | Ehrig, Hartmut | Rozenberg, Grzegorz.

Series: Serienbezeichnung | Lecture notes in computer science ; 73.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1979Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Algorithms and data structures : 6th International Workshop, WADS'99, Vancouver, Canada, August 11-14, 1999 : proceedings / Frank Dehne [and others] (eds.).

by WADS'99 (1999 : Vancouver, Canada) | Dehne, F. (Frank), 1960-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1663.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Embedded systems : new approaches to their formal description and design : an advanced course, Zürich, Switzerland, March 5-7, 1986 / A. Kündig, R.E. Bührer, J. Dähler, eds.

by Kündig, A. (Albert) | Bührer, R. E. (Richard E.), 1946- | Dähler, J. (Jacques), 1957-.

Series: Serienbezeichnung | Lecture notes in computer science ; 284.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1987Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings / Baudouin Le Charlier (ed.).

by International Static Analysis Symposium (1st : 1994 : Namur, Belgium) | Le Charlier, Baudouin, 1950-.

Series: Serienbezeichnung | Lecture notes in computer science ; 864.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1994Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Application and theory of petri nets, 1994 : 15th International Conference, Zaragoza, Spain, June 20-24, 1994 : proceedings / Robert Valette (ed.).

by International Conference on Applications and Theory of Petri Nets (15th : 1994 : Zaragoza, Spain) | Valette, Robert.

Series: Serienbezeichnung | Lecture notes in computer science ; 815.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1994Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Combinatorial pattern matching : 6th annual symposium, CPM 95, Espoo, Finland, July 5-7, 1995 : proceedings / Zvi Galil, Esko Ukkonen, eds.

by Galil, Zvi | Ukkonen, E. (Esko), 1950-.

Series: Serienbezeichnung | Lecture notes in computer science ; 937.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1995Other title: CPM 95.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings / D.H. Pitt [and others] (ed.).

by Pitt, David (David H.).

Series: Serienbezeichnung | Lecture notes in computer science ; 389.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1989Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987, proceedings / edited by Pierre Lescanne.

by Lescanne, Pierre | International Conference on Rewriting Techniques and Applications (2nd : 1987 : Bordeaux, France).

Series: Serienbezeichnung | Lecture notes in computer science ; 256.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1987Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Automata, languages and programming : fourth colloquium, University of Turku, Finland, July 18-22, 1977 / edited by Arto Salomaa and Magnus Steinby.

by Colloquium on Automata, Languages, and Programming (4th : 1977 : Turun yliopisto) | Salomaa, Arto | Steinby, Magnus.

Series: Serienbezeichnung | Lecture notes in computer science ; 52.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1977Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Computer aided systems theory, EUROCAST '91 : a selection of papers from the Second International Workshop on Computer Aided Systems Theory, Krems, Austria, April 15-19, 1991 : proceedings / F. Pichler, R. Moreno Díaz, eds.

by International Workshop on Computer Aided Systems Theory (2nd : 1991 : Krems an der Donau, Austria) | Pichler, Franz, 1936- | Moreno-Díaz, Roberto.

Series: Serienbezeichnung | Lecture notes in computer science ; 585.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1992Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991, proceedings / J.P. Myers, Jr., M.J. O'Donnell, eds.

by Myers, J. P. (J. Paul), 1946- | O'Donnell, Michael J, 1952-.

Series: Serienbezeichnung | Lecture notes in computer science ; 613.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1992Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Automata, languages and programming : 20th international colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993 : proceedings / A. Lingas, R. Karlsson, S. Carlsson (eds.).

by International Colloquium on Automata, Languages, and Programming | Lingas, Andrzej | Karlsson, R. (Rolf), 1950- | Carlsson, Svante.

Series: Serienbezeichnung | Lecture notes in computer science ; 700.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1993Online 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