Refine your search

Your search returned 330 results.

Not what you expected? Check for suggestions
1.
WOPPLOT 83 : parallel processing--logic, organization, and technology : proceedings of a workshop held at the Federal Armed Forces University Munich (HSBw M) Neubiberg, Bavaria, Germany, June 27-29, 1983 / edited by J. Becker, I. Eisele.

by WOPPLOT 83 (1983 : Neubiberg, Germany) | Becker, J. (Jörg), 1944- | Eisele, I. (Ignaz), 1943- | Hochschule der Bundeswehr München.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1984Other title: WOPPLOT eighty-three | W.O.P.P.L.O.T. 83.Online access: Click here to access online | Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, January 23-27, 1982, proceedings / edited by E. Knuth and E.J. Neuhold.

by Conference on Operating Systems (1982 : Visegrád, Hungary) | Knuth, E. (Előd), 1943- | Neuhold, Erich J.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1983Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
VLSI engineering : beyond software engineering / edited by Tosiyasu L. Kunii.

by Kunii, Toshiyasu.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1984Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Programming languages and their definition / H. Bekič ; selected papers edited by C.B. Jones.

by Bekič, H. (Hans), 1936-1982 | Jones, C. B. (Cliff B.), 1944-.

Material type: Text Text; Format: print regular print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1984Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Readings on cognitive ergonomics--mind and computers : proceedings of the 2nd European conference, Gmunden, Austria, September 10-14, 1984 / edited by G.C. van der Veer [and others].

by Veer, G. C. van der (Gerrit C.) | IFIP WG. 6.3 | European Conference on Cognitive Ergonomics--Mind and Computers (2nd : 1984 : Gmunden, Austria).

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1984Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985 / edited by K. Mehlhorn.

by Annual Symposium on Theoretical Aspects of Computer Science (2nd : 1985 : Saarbrücken, Germany) | Mehlhorn, Kurt, 1949-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1985Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings / H. Ganzinger, ed.

by European Symposium on Programming (2nd : 1988 : Nancy, France) | Ganzinger, H. (Harald), 1950- | Colloquium on Trees in Algebra and Programming CAAP '88 (13th : 1988 : Nancy, France) [].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1988Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Research issues in structured and semistructured database programming : 7th International Workshop on Database Programming Languages, DBPL'99, Kinloch, Rannoch, UK, September 1-3, 1999 : revised papers / Richard Connor, Alberto Mendelzon (eds.).

by International Workshop on Database Programming Languages (7th : 1999 : Rannoch, Scotland) | Connor, Richard | Mendelzon, Alberto O.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: New York : Springer-Verlag, 2000Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Emergent neural computational architectures based on neuroscience : towards neuroscience-inspired computing / Stefan Wermter, Jim Austin, David Willshaw.

by Wermter, Stefan | Austin, James, 1959- | Willshaw, David J.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings / Luca de Alfaro, Stephen Gilmore (eds.).

by PAPM-PROBMIV 2001 (2001 : Aachen, Germany) | De Alfaro, Luca, 1966- | Gilmore, Stephen, 1962-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Fast software encryption : 8th international workshop, FSE 2001, Yokohama, Japan, April 2-4, 2001 : revised papers / Mitsuru Matsui (eds.).

by FSE (Workshop) (8th : 2001 : Yokohama-shi, Japan) | Matsui, Mitsuru | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2002Other title: FSE 2001.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Practical aspects of declarative languages : 4th international symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 : proceedings / Shriram Krishnamurthi, C.R. Ramakrishnan (eds.).

by PADL 2002 (2002 : Portland, Or.) | Krishnamurthi, Shriram | Ramakrishnan, C. R | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2002Other title: PADL 2002.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Euro-Par 2002 parallel processing : 8th International Euro-Par Conference, Paderborn, Germany, August 27-30, 2002 : proceedings / Burkhard Monien, Rainer Feldmann (eds.).

by International EURO-PAR Conference (8th : 2002 : Paderborn, Germany) | Monien, B | Feldmann, Rainer | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Hybrid systems : computation and control : 5th international workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002 : proceedings / Claire J. Tomlin, Mark R. Greenstreet (eds.).

by HSCC (Conference) (2002 : Stanford, Calif.) | Tomlin, Claire J, 1969- | Greenstreet, Mark Russell | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2002Other title: HSCC 2002.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Progress in artificial intelligence : 11th Portuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003 : proceedings / Fernando Moura Pires, Salvador Abreu (eds.).

by Portuguese Conference on Artificial Intelligence (11th : 2003 : Beja, Portugal) | Pires, Fernando Moura, 1948-2003 | Abreu, Salvador, 1961- | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2003Other title: EPIA 2003.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Progress in pattern recognition, speech and image analysis : 8th Iberoamerican Congress on Pattern Recognition, CIARP 2003, Havana, Cuba, November 26-29, 2003 : proceedings / Alberto Sanfeliu, José Ruiz-Shulcloper (eds.).

by Iberoamerican Congress on Pattern Recognition (8th : 2003 : Havana, Cuba) | Sanfeliu, Alberto | Ruiz-Shulcloper, José | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2003Other title: 8th Iberoamerican Congress on Pattern Recognition | CIARP 2003.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Fast software encryption : 10th international workshop, FSE 2003, Lund, Sweden, February 24-26, 2003 : revised papers / Thomas Johansson (ed.).

by FSE (Workshop) (10th : 2003 : Lund, Sweden) | Johansson, Thomas, 1967-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Database programming languages : 9th international workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003 : revised papers / Georg Lausen, Dan Suciu (eds.).

by International Workshop on Database Programming Languages (9th : 2003 : Potsdam, Germany) | Lausen, Georg | Suciu, Dan.

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 .
19.
Regulated agent-based social systems : first international workshop, RASTA 2002, Bologna, Italy, July 16, 2002 : revised selected and invited papers / Gabriela Lindemann, Daniel Moldt, Mario Paolucci (eds.).

by RASTA 2002 (2002 : Bologna, Italy) | Lindemann, Gabriela | Moldt, Daniel | Paolucci, Mario | International Joint Conference on Autonomous Agents and Multiagent Systems (1st : 2002 : Bologna, Italy).

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 .
20.
Membrane computing : International Workshop, WMC 2003 : Tarragona, Spain, July 17-22, 2003 : revised papers / Carlos Martín-Vide [and others] (eds.).

by WMC 2003 (2003 : Tarragona, Spain) | Martín Vide, Carlos | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha