Refine your search

Your search returned 169 results.

Not what you expected? Check for suggestions
Sort
Results
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 152.Material type: Text Text; Format: print regular print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1983Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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).

Series: Serienbezeichnung | Lecture notes in computer science ; 178.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1984Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers / E. Brinksma [and others], (eds.).

by TACAS (Conference) (1st : 1995 : Århus, Denmark) | Brinksma, Ed.

Series: Serienbezeichnung | Lecture notes in computer science ; 1019.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1995Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Correct system design : recent insights and advances / Ernst-Rüdiger Olderog, Bernhard Steffen (eds.).

by Steffen, Bernhard | Olderog, E.-R.

Series: Serienbezeichnung | Lecture notes in computer science ; 1710.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: New York : Springer, 1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Tools and algorithms for the construction and analysis of systems : 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : proceedings / W. Rance Cleaveland, ed.

by TACAS '99 (1999 : Amsterdam, Netherlands) | Cleaveland, W. R. (Walter Rance), 1961- | ETAPS (Conference) (2nd : 1999 : Amsterdam, Netherlands).

Series: Serienbezeichnung | Lecture notes in computer science ; 1579.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).
Conceptual modeling : current issues and future directions / Peter Chen [and others].

by Chen, Peter P. S | Symposium on Conceptual Modeling (1997 : Los Angeles, Calif.).

Series: Serienbezeichnung | Lecture notes in computer science ; 1565.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).
Advances in distributed systems : advanced distributed computing, from algorithms to systems / Sacha Krakowiak, Santosh Shrivastava (eds.).

by Krakowiak, Sacha | Shrivastava, S. K. (Santosh Kumar), 1946-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1752.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©2000Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Challenges for action theories / Michael Thielscher.

by Thielscher, Michael.

Series: Serienbezeichnung | Lecture notes in computer science ; 1775. | 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 ; New York : Springer, 2000Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Advances in exception handling techniques / Aklexander Romanovsky [and others], (eds.).

by Romanovsky, Alexander, 1954-.

Series: Serienbezeichnung | Lecture notes in computer science ; 2022.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Component deployment : IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002 : proceedings / Judith Bishop (ed.).

by IFIP/ACM Working Conference on Component Deployment (2002 : Berlin, Germany) | Bishop, J. M. (Judith Mary), 1951-.

Series: Serienbezeichnung | Lecture notes in computer science ; 2370. | 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 ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings / Joost-Pieter Katoen, Perdita Stevens (eds.).

by TACAS (Conference) (8th : 2002 : Grenoble, France) | Katoen, Joost-Pieter | Stevens, Perdita | LINK (Online service) | ETAPS (Conference) (2002 : Grenoble, France).

Series: Serienbezeichnung | Lecture notes in computer science ; 2280.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Hong Kong : Springer-Verlag, ©2002Other title: TACAS 2002 | ETAPS 2002.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Component deployment : Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004 : proceedings / Wolfgang Emmerich, Alexander L. Wolf (eds.).

by Working Conference on Component Deployment (2nd : 2004 : e-Science Institute) | Emmerich, Wolfgang, Dr. Rer. Nat | Wolf, Alexander L | LINK (Online service).

Series: Serienbezeichnung | Lecture notes in computer science ; 3083.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2004Other title: CD 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Cooperative design, visualization, and engineering : first international conference, CDVE 2004, Palma de Mallorca, Spain, September 19-22, 2004 : proceedings / Yuhua Luo (ed.).

by CDVE 2004 (1st : 2004 : Mallorca, Spain) | Luo, Yuhua | LINK (Online service).

Series: Serienbezeichnung | Lecture notes in computer science ; 3190.Material type: Text Text; Format: available online remote Publisher number: 11315469Publication details: Berlin : Springer, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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).
From object-orientation to formal methods : essays in memory of Ole-Johan Dahl / Olaf Owe, Stein Krogdahl, Tom Lyche (eds.).

by Dahl, Ole-Johan, 1931- | Owe, Olaf | Krogdahl, Stein | Lyche, Tom.

Series: Serienbezeichnung | Lecture notes in computer science ; 2635.Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publication details: Berlin ; Hong Kong : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / Kurt Jensen, Andreas Podelski (eds.).

by TACAS (Conference) (10th : 2004 : Barcelona, Spain) | Jensen, K. (Kurt), 1950- | Podelski, Andreas.

Series: Serienbezeichnung | Lecture notes in computer science ; 2988.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Advanced topics in exception handling techniques / Christophe Dony [and others] (eds.).

by Dony, Christophe.

Series: Serienbezeichnung | Lecture notes in computer science ; 4119. | Lecture notes in computer science. State-of-the-art survey.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2006Other title: Exception handling techniques.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Computer supported cooperative work in design III : 10th international conference, CSCWD 2006, Nanjing, China, May 3-5, 2006 : revised selected papers / Weiming Shen [and others] (eds.).

by International Conference on Computer Supported Cooperative Work in Design (10th : 2006 : Nanjing Shi, China) | Shen, Weiming.

Series: Serienbezeichnung | Lecture notes in computer science ; 4402.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007Other title: CSCWD 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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).

Series: Serienbezeichnung | Lecture notes in computer science ; 4564. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: 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).
Universal access in human-computer interaction : 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, held as part of HCI International 2007, Beijing, China, July 22-27, 2007 : proceedings / Constantine Stephanidis (ed.).

by International Conference on Universal Access in Human-Computer Interaction (4th : 2007 : Beijing, China) | Stephanidis, Constantine | International Conference on Human-Computer Interaction (12th : 2007 : Beijing, China).

Series: Serienbezeichnung | Lecture notes in computer science ; 4554-4556. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007Other title: 4th International Conference on Universal Access in Human-Computer Interaction | Fourth International Conference on Universal Access in Human-Computer Interaction | International Conference on Universal Access in Human-Computer Interaction | UAHCI 2007 | HCI International.Online access: Click here to access online | Click here to access online | Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha