Your search returned 30 results.

Not what you expected? Check for suggestions
Sort
Results
Software architecture : first European workshop, EWSA 2004, St. Andrews, UK, May 21-22, 2004 : proceedings / Flavio Oquendo, Brian Warboys, Ron Morrison (eds.).

by EWSA 2004 (2004 : St. Andrews, Scotland) | Oquendo, Flavio, 1958- | Warboys, Brian C, 1942- | Morrison, R. (Ronald), 1946-.

Series: Serienbezeichnung | Lecture notes in computer science ; 3047.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2004Other title: EWSA 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Foundations of software science and computation structures : 7th international conference, FOSSACS 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 / Igor Walukiewicz (ed.).

by FOSSACS (Conference) (7th : 2004 : Barcelona, Spain) | Walukiewicz, Igor | ETAPS (Conference) (2004 : Barcelona, Spain).

Series: Serienbezeichnung | Lecture notes in computer science ; 2987.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).
SOFSEM 2005 : theory and practice of computer science : 31st conference on current trends in theory and practice of computer science, Liptovský Ján, Slovakia, January 22-28, 2005 : proceedings / Peter Vojtáš [and others] (eds.).

by SOFSEM (Conference) (31st : 2005 : Liptovský Ján, Slovakia) | Vojtáš, Peter.

Series: Serienbezeichnung | Lecture notes in computer science ; 3381.Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, ©2005Online access: Click here to access online Availability: Items available for loan: e-Library (1).
COTS-based software systems : 4th international conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005 : proceedings / Xavier Franch, Dan Port (eds.).

by ICCBSS 2005 (2005 : Bilbao, Spain) | Franch, Xavier | Port, Dan.

Series: Serienbezeichnung | Lecture notes in computer science ; 3412.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 11386254Publication details: Berlin ; New York : Springer, ©2005Other title: ICCBSS 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Foundations of software science and computation structures : 8th international conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / Vladimiro Sassone (ed.).

by FOSSACS (Conference) (8th : 2005 : Edinburgh, Scotland) | Sassone, Vladimiro | ETAPS (Conference) (8th : 2005 : Edinburgh, Scotland).

Series: Serienbezeichnung | Lecture notes in computer science ; 3441.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 11402060Publication details: Berlin ; New York : Springer, ©2005Other title: FOSSACS 2005 | Joint European Conferences on Theory and Practice of Software | ETAPS 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Rapid integration of software engineering techniques : first international workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004 : revised selected papers / Nicolas Guelfi (ed.).

by RISE 2004 (2004 : Kirchberg, Luxembourg) | Guelfi, Nicolas, 1965-.

Series: Serienbezeichnung | Lecture notes in computer science ; 3475.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 11423331Publication details: Berlin ; New York : Springer, ©2005Other title: Software engineering techniques | RISE 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Software architecture : 2nd European workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005 : proceedings / Ron Morrison, Flavio Oquendo (eds.).

by EWSA 2005 (2005 : Pisa, Italy) | Oquendo, Flavio, 1958- | Morrison, R. (Ronald), 1946-.

Series: Serienbezeichnung | Lecture notes in computer science ; 3527.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2005Other title: EWSA 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Quality of software architectures and software quality : First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005 ; proceedings / Ralf Reussner [and others] (eds.).

by International Conference on the Quality of Software Architectures (1st : 2005 : Erfurt, Germany) | Reussner, Ralf | International Workshop on Software Quality (2nd : 2005 : Erfurt, Germany).

Series: Serienbezeichnung | Lecture notes in computer science ; 3712.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 11558569Publication details: Berlin ; New York : Springer, ©2005Other title: QoSA 2005 | SOQUA 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
SOFSEM 2006 : theory and practice of computer science : 32nd conference on current trends in theory and practice of computer science, Měřín, Czech Republic, January 21-27, 2006 : proceedings / Jiří Wiedermann [and others] (eds.).

by SOFSEM (Conference) (32nd : 2006 : Merin, Czech Republic) | Wiedermann, J. (Juraj).

Series: Serienbezeichnung | Lecture notes in computer science ; 3831.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, ©2006Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Foundations of software science and computation structures : 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006 : proceedings / Luca Aceto, Anna Ingólfsdottir (eds.).

by FOSSACS (Conference) (9th : 2006 : Vienna, Austria) | Aceto, Luca | Anna Ingólfsdóttir, 1952- | ETAPS (Conference) (9th : 2006 : Vienna, Austria).

Series: Serienbezeichnung | Lecture notes in computer science ; 3921.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2006Other title: FOSSACS 2006 | ETAPS 2006 | Joint European Conferences on Theory and Practice of Software | European Joint Conferences on Theory and Practice of Software 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Rapid integration of software engineering techniques : second international workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005 ; revised selected papers / Nicolas Guelfi, Anthony Savidis (eds.).

by RISE 2005 (2005 : Ērakleion, Greece) | Guelfi, Nicolas, 1965- | Savidis, Anthony.

Series: Serienbezeichnung | Lecture notes in computer science ; 3943.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2006Other title: RISE 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Software process change : International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006 : proceedings / Qing Wang [and others] (eds.).

by SPW/ProSim 2006 (2006 : Shanghai, China) | Wang, Qing, 1964 January 29- | Software Process Workshop (2006 : Shanghai, China) | International Workshop on Software Process Simulation and Modeling.

Series: Serienbezeichnung | Lecture notes in computer science ; 3966.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2006Other title: International Software Process Workshop | International Workshop on Software Process Simulation and Modeling | SPW/ProSim 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Mathematical software - ICMS 2006 : Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006 : proceedings / Andres Iglesias, Nobuki Takayama (eds.).

by International Congress of Mathematical Software (2nd : 2006 : Castro Urdiales, Spain) | Iglesias, Andrés (Iglesias Prieto) | Takayama, Nobuki, 1959-.

Series: Serienbezeichnung | Lecture notes in computer science ; 4151. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2006Other title: ICMS 2006 | International Congress on Mathematical Software | 2nd International Congress on Mathematical Software.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
FSTTCS 2004 : foundations of software technology and theoretical computer science : 24th international conference, Chennai, India, December 16-18, 2004 : proceedings / Kamal Lodaya, Meena Mahajan (eds.).

by Conference on Foundations of Software Technology and Theoretical Computer Science (24th : 2004 : Madras, India) | Lodaya, Kamal | Mahajan, Meena.

Series: Serienbezeichnung | Lecture notes in computer science ; 3328.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2005Other title: Foundations of software technology and theoretical computer science.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Foundations of software technology and theoretical computer science : fourth conference, Bangalore, India, Dec. 13-15, 1984, proceedings / edited by Mathai Joseph and Rudrapatna Shyamasundar.

by Conference on Foundations of Software Technology and Theoretical Computer Science (4th : 1984 : Bangalore, India) | Joseph, M | Shyamasundar, Rudrapatna, 1950-.

Series: Serienbezeichnung | Lecture notes in computer science ; 181.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1984Other title: FST & TCS.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
RIMS symposia on software science and engineering II : proceedings of the symposia 1983 and 1984, Kyoto, Japan / edited by Eiichi Goto, Keijiro Araki, and Taiichi Yuasa.

by Gotō, Eiichi, 1931-2005 | Araki, Keijirō, 1954- | Yuasa, T. (Taiichi) | Kyōto Daigaku. Sūri Kaiseki Kenkyūjo.

Series: Serienbezeichnung | Lecture notes in computer science ; 220.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1986Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Logics of Programs : Workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen.

by Logics of Programs Workshop (1981 : Yorktown Heights, N.Y.) | Kozen, Dexter, 1951-.

Series: Serienbezeichnung | Lecture notes in computer science ; 131.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, 1982Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 / edited by Edmund Clarke and Dexter Kozen.

by Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020 | Kozen, Dexter, 1951- | Logics of Programs Workshop (1983 : Carnegie Mellon University).

Series: Serienbezeichnung | Lecture notes in computer science ; 164.Material type: Text Text; Format: available online remote; 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).
Logics of programs : Brooklyn, June 17-19, 1985 : proceedings / edited by Rohit Parikh.

by Parikh, Rohit, 1936-.

Series: Serienbezeichnung | Lecture notes in computer science ; 193.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1985Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Programs as data objects : proceedings of a workshop, Copenhagen, Denmark, October 17-19, 1985 / edited by H. Ganzinger and N.D. Jones.

by Ganzinger, H. (Harald), 1950- | Jones, Neil D.

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

Powered by Koha