Refine your search

Your search returned 609 results.

Not what you expected? Check for suggestions
Sort
Results
Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / Hubert Garavel, John Hatcliff (eds.).

by TACAS (Conference) (9th : 2003 : Warsaw, Poland) | Garavel, Hubert, 1963- | Hatcliff, John, 1966- | ETAPS (Conference) (6th : 2003 : Warsaw, Poland).

Series: Serienbezeichnung | Lecture notes in computer science ; 2619.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1).
MICAI 2004 : advances in artificial intelligence : Third Mexican International Conference on Artificial Intelligence, Mexico City, Mexico, April 26-30, 2004 : proceedings / Raúl Monroy [and others] (eds.).

by Mexican International Conference on Artificial Intelligence (3rd : 2004 : Mexico City, Mexico) | Monroy, Raúl.

Series: Serienbezeichnung | Lecture notes in computer science ; 2972. | 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 ; Hong Kong : Springer-Verlag, ©2004Other title: Advances in artificial intelligence | Third Mexican International Conference on Artificial Intelligence.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Fuzzy logic in artificial intelligence : IJCAI '93 workshop, Chamberry, France, August 28, 1993 : proceedings / Anca Ralescu, ed.

by Ralescu, Anca L, 1949- | International Joint Conference on Artificial Intelligence (1993 : Chambéry, France).

Series: Serienbezeichnung | Lecture notes in computer science ; 847. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1994Other title: IJCAI '93.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Parallel computer routing and communication : first international workshop, PCRCW '94, Seattle, Washington, USA, May 16-18, 1994 : proceedings / Kevin Bolding, Lawrence Snyder, eds.

by PCRCW '94 (1994 : Seattle, Wash.) | Bolding, Kevin, 1966- | Snyder, Lawrence.

Series: Serienbezeichnung | Lecture notes in computer science ; 853.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1994Other title: PCRCW '94.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Object-oriented methodologies and systems : international symposium, ISOOMS '94, Palermo, Italy, September 21-22, 1994 : proceedings / Elisa Bertino, Susan Urban, eds.

by ISOOMS '94 (1994 : Palermo, Italy) | Bertino, Elisa | Urban, Susan.

Series: Serienbezeichnung | Lecture notes in computer science ; 858.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1994Other title: ISOOMS '94.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Manuel Hermenegildo, Jaan Penjam, eds.

by PLILP '94 (1994 : Madrid, Spain) | Hermenegildo, Manuel | Penjam, Jaan, 1955-.

Series: Serienbezeichnung | Lecture notes in computer science ; 844.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1994Other title: PLILP '94.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Databases in networked information systems : third international workshop, DNIS 2003, Aizu, Japan, September 22-24, 2003 : proceedings / Nadia Bianchi-Berthouze (ed.).

by DNIS 2003 (2003 : Aizu-han, Japan) | Bianchi-Berthouze, Nadia, 1964-.

Series: Serienbezeichnung | Lecture notes in computer science ; 2822.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2003Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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).
5th Conference on automated deduction : Les Arcs, France, July 8-11, 1980 / ed. by W. Bibel and R. Kowalski.

by Bibel, W, 1938- [edt] | Kowalski, Robert (Robert A.) [edt] | Conference on Automated Deduction (5 : 08-07-1980 - 11-07-1980 : Les Arcs, France).

Series: Serienbezeichnung | Lecture notes in computer science ; 87. | Conference on automated deduction ; 5.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer-Verlag, ©1980Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 / ed. by Hermann A. Maurer.

by Maurer, Hermann A, 1941- [edt] | Colloquium on Automata, Languages, and Programming (6th : 16-07-1979 - 20-07-1979 : Graz).

Series: SerienbezeichnungMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 1979Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Rewriting techniques and applications : 4th International Conference, RTA- 91, Como, Italy, April 10-12, 1991 : proceedings / Ronald V. Book (Ed.).

by Book, Ronald V [edt] | International Conference on Rewriting Techniques and Applications, RTA-91 (4 : 1991 - 12-04-1991 : Como, Italy).

Series: SerienbezeichnungMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, 1991Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Public key cryptography : 5th International workshop on practice and theory in public key cryptosystems, PKC 2002, Paris, France, February 12-14, 2002 : proceedings / David Naccache, Pascal Paillier (eds.).

by Naccache, David, 1967- | Paillier, Pascal | International Workshop on Practice and Theory in Public Key Cryptosystems, PKC (5 : 12-02-2002 - 14-02-2002 : Paris, France).

Series: SerienbezeichnungMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, ©2002Other title: PKC 2002.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Compiler construction : 9th International Conference, CC 2000 : held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 : Berlin, Germany, March 25 - April 2, 2000 : proceedings / David A. Watt (ed.).

by Watt, David A. (David Anthony), 1946- [edt] | International Conference on Compiler Construction, CC (9 : 25-03-2000 - 02-04-2000 : Berlin, Germany) | Joint European Conferences on Theory and Practice of Software, ETAPS (3 : Berlin, Germany).

Series: SerienbezeichnungMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, ©2000Other title: CC 2000.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Perspectives of system informatics : third International Andrei Ershov memorial conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.).

by Bjørner, D. (Dines), 1937- [edt] | Broy, M, 1949- [edt] | Zamulin, Alexandre V [edt] | International Andrei Ershov Memorial Conference on Persepctives of System Informatics, PSI (3 : 06-07-1999 - 09-07-1999 : Novosibirsk, Russia).

Series: SerienbezeichnungMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, ©2000Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Algorithms and computation : 10th international symposium, ISAAC '99, Chennai, India, December 16-18, 1999 : proceedings / Alok Aggarwal, C. Pandu Rangan (eds.).

by Aggarwal, Alok [aut] | Pandu Rangan, C [aut] | International Symposium on Algorithms and Computation, ISAAC (10th : 16-12-1999 - 18-12-1999 : Chennai, India).

Series: SerienbezeichnungMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, ©1999Other title: ISAAC'99 | ISAAC '99.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.).

by Börger, E. (Egon), 1946- [edt] | Kleine Büning, H. (Hans) [edt] | Richter, Michael M, 1938- [edt] | Workshop on Computer Science Logic (3rd : 1989 : Kaiserslautern, Germany).

Series: SerienbezeichnungMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©1990Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Active networks : first international working conference, IWAN '99, Berlin, Germany, June 30-July 2, 1999 : proceedings / Stefan Covaci (ed.).

by Covaci, Stefan [edt] | International Working Conference Active Networks, IWAN'99 (1 : 1999 - 02-07-1999 : Berlin, Germany).

Series: SerienbezeichnungMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, 1999Other title: IWAN'99.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Computer safety, reliability and security : 17th international conference, SAFECOMP '98, Heidelberg, Germany, October 5-7, 1998 : proceedings / Wolfgang Ehrenberger (ed.).

by SAFECOMP (Conference) (17th : 1998 : Heidelberg, Germany) | Ehrenberger, W. D [edt] | International Conference on Computer Safety, Reliability, and Security, SAFECOMP (17th : 05-10-1998 - 07-10-1998 : Heidelberg, Germamy).

Series: SerienbezeichnungMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, ©1998Other title: SAFECOMP'98.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Automated deduction, CADE-15 : 15th International conference on automated deduction, Lindau, Germany, July 5-10, 1998 : proceedings.

by Kirchner, Claude [edt] | International Conference on Automated Deduction, CADE (15th : 05-07-1998 - 10-07-1998 : Lindau, Germany).

Series: Serienbezeichnung | Lecture notes in computer science ; 1421. | 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 : Springer, ©1998Other title: Automated deduction | CADE-15.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Advanced information systems engineering : 10th international conference, CAiSE '98, Pisa, Italy, June 8-12, 1998 : proceedings / Barbara Pernici, Costantino Thanos (eds.).

by Pernici, Barbara [edt] | Thanos, Costantino [edt] | International Conference on Advanced Information Systems Engineering, CAiSE (10 : 1998 : Pisa, Italy).

Series: SerienbezeichnungMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, ©1998Other title: CAiSE'98 | CAISE '98.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha