Your search returned 97 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).
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).
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).
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).
Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings / Orna Grumberg, Michael Huth (eds.).

by TACAS (Conference) (13th : 2007 : Braga, Portugal) | Grumberg, Orna | Huth, Michael, 1962- | ETAPS (Conference) (10th : 2007 : Braga, Portugal).

Series: Serienbezeichnung | Lecture notes in computer science ; 4424.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007Other title: European Joint Conferences on Theory and Practice of Software 2007 | TACAS 2007 | Joint European Conferences on Theory and Practice of Software | ETAPS 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / Tiziana Margaria, Wang Yi (eds.).

by TACAS (Conference) (7th : 2001 : Genoa, Italy) | Margaria-Steffen, Tiziana, 1964- | Yi, Wang | ETAPS (Conference) (4th : 2001 : Genoa, Italy).

Series: Serienbezeichnung | Lecture notes in computer science ; 2031.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).
Tools and algorithms for the construction and analysis of systems : 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / C.R. Ramakrishnan, Jakob Rehof (eds.).

by TACAS (Conference) (14th : 2008 : Budapest, Hungary) | Ramakrishnan, C. R | Rehof, Jakob | ETAPS (Conference) (11th : 2008 : Budapest, Hungary).

Series: Serienbezeichnung | Lecture notes in computer science ; 4963. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Source: Springer eBooksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2008Other title: TACAS 2008 | ETAPS 2008 | European Joint Conferences on Theory and Practice of Software 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 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 / Susanne Graf, Michael Schwartzbach (eds.).

by TACAS (Conference) (6th : 2000 : Berlin, Germany) | Graf, Susanne | Schwartzbach, Michael I | ETAPS (Conference) (3rd : 2000 : Berlin, Germany).

Series: Serienbezeichnung | Lecture notes in computer science ; 1785.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).
Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 : advanced lectures / Marco Bernardo, Alessandro Bogliolo (eds.).

by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (5th : 2005 : Bertinoro, Italy) | Bernardo, Marco | Bogliolo, Alessandro.

Series: Serienbezeichnung | Lecture notes in computer science ; 3465. | Lecture notes in computer science. Tutorial.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 11419822Publication details: Berlin ; New York : Springer, 2005Other title: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems | Fifth International School on Formal Methods for the Design of Computer, Communication, and Software Systems | International School on Formal Methods for the Design of Computer, Communication, and Software Systems | SFM-Moby 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / Nicolas Halbwachs, Lenore D. Zuck (eds.).

by TACAS (Conference) (11th : 2005 : Edinburgh, Scotland) | Halbwachs, Nicolas | Zuck, Lenore D, 1958- | ETAPS (Conference) (8th : 2005 : Edinburgh, Scotland).

Series: Serienbezeichnung | Lecture notes in computer science ; 3440.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 11408130Publication details: Berlin ; New York : Springer, 2005Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha