Your search returned 354 results.

Not what you expected? Check for suggestions
1.
Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings / Jim Davies, Jeremy Gibbons (eds.).

by International Conference on Integrated Formal Methods (6th : 2007 : Oxford, England) | Davies, Jim, 1964- | Gibbons, Jeremy, 1966-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: IFM 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
ECOOP 2007-- object-oriented programming : 21st European conference, Berlin, Germany, July 30-August 3, 2007 : proceedings / Erik Ernst (ed.).

by ECOOP (Conference) (21st : 2007: Berlin, Germany) | Ernst, Erik.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2007Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Model driven engineering languages and systems : 10th international conference, MODELS 2007, Nashville, USA, September 30-October 5, 2007 : proceedings / Gregor Engels [and others] (eds.).

by MODELS (Conference) (10th : 2007 : Nashville, Tenn.) | Engels, G.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: MODELS 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Formal methods and stochastic models for performance evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings / Katinka Wolter (ed.).

by EPEW (Workshop) (4th : 2007 : Berlin, Germany) | Wolter, Katinka.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: Fourth European Performance Engineering Workshop | European Performance Engineering Workshop | EPEW 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
All about Maude-- a high-performance logical framework : how to specify, program and verify systems in rewriting logic / Manuel Clavel [and others].

by Clavel, Manuel, 1969-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2007Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Task models and diagrams for user interface design : 6th international workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007 ; proceedings / Marco Winckler, Hilary Johnson, Philippe Palanque (eds.).

by TAMODIA 2007 (2007 : Toulouse, France) | Winckler, Marco | Johnson, Hilary, 1953- | Palanque, Philippe, 1966-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2007Other title: TAMODIA 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Object-oriented technology : ECOOP 2006 workshop reader ; ECOOP 2006 workshops, Nantes, France, July 3-7, 2006 : final reports / Mario Südholt, Charles Consel (eds.).

by ECOOP (Conference) (20th : 2006: Nantes, France) | Südholt, Mario | Consel, C. (Charles).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: ECOOP 2006 workshop reader | ECOOP 2006 workshops | ECOOP 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Formal techniques for networked and distributed systems-- FORTE 2007 : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings / John Derrick, Jüri Vain (eds.).

by FORTE 2007 (2007 : Tallinn, Estonia) | Derrick, John, 1963- | Vain, Jüri | IFIP Working Group 6.1.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: FORTE 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Principles and practice of constraint programming--CP 2007 : 13th international conference, CP 2007, Providence, RI, USA, September 23-27, 2007 : proceedings / Christian Bessiere (ed.).

by CP (Conference) (13th : 2007 : Providence, R.I.) | Bessière, Christian.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
International Symposium on Fundamentals of Software Engineering : international symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007 : proceedings / Farhad Arbab, Marjan Sirjani (eds.).

by International Symposium on Fundamentals of Software Engineering (2nd : 2007 : Tehran, Iran) | Arbab, F. (Farhad) | Sirjani, Marjan.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: FSEN 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Programming languages and systems : 5th Asian symposium, APLAS 2007, Singapore, November 29-December 1, 2007 : proceedings / Zhong Shao (ed.).

by APLAS (Symposium) (5th : 2007 : Singapore) | Shao, Zhong, 1968-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: APLAS 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Formal methods and software engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings / Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie (eds.).

by International Conference on Formal Engineering Methods (9th : 2007 : Boca Raton, Fla.) | Butler, Michael, 1967- | Hinchey, Michael G. (Michael Gerard), 1969- | Larrondo-Petrie, María M.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: 9th International Conference on Formal Engineering Methods | Ninth International Conference on Formal Engineering Methods | International Conference on Formal Engineering Methods | ICFEM 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Agent-oriented software engineering VIII : 8th international workshop, AOSE 2007, Honolulu, Hi, USA, May 14, 2007 : revised selected papers / Michael Luck, Lin Padgham (eds.).

by AOSE 2007 (2007 : Honolulu, Hawaii) | Luck, Michael (Michael M.) | Padgham, Lin.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Formal methods for components and objects : 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lectures / Frank S. de Boer [and others] (eds.).

by FMCO (Symposium) (5th : 2006 : Amsterdam, Netherlands) | Boer, Frank S. de.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: FMCO 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Software composition : 6th international symposium, SC 2007, Braga, Portugal, March 24-25, 2007 : revised selected papers / Markus Lumpe, Wim Vanderperren (eds.).

by SC (Conference : Software Composition) (6th : 2007 : Braga, Portugal) | Lumpe, Markus | Vanderperren, Wim.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: SC 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers / Oleg Sokolsky, Serdar Taşiran (eds.).

by RV (Workshop) (7th : 2007 : Vancouver, B.C.) | Sokolsky, Oleg | Tasiran, Serdar.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: RV 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Object-oriented technology : ECOOP 2007 workshop reader : ECOOP 2007 workshops, Berlin, Germany, July 30-31, 2007 : final reports / Michael Cebulla (ed.).

by ECOOP (Conference) (21st : 2007: Berlin, Germany) | Cebulla, Michael.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Formal methods and testing : an outcome of the FORTEST network : revised selected papers / Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.).

by Hierons, Robert M | Bowen, J. P. (Jonathan Peter), 1956- | Harman, Mark, Ph.D | FORTEST (Network).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2008Other title: FORTEST network.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings / Jacques Garrigue, Manuel Hermenegildo (eds.).

by Fuji International Symposium on Functional and Logic Programming (9th : 2008 : Ise-shi, Japan) | Garrigue, Jacques | Hermenegildo, Manuel.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2008Other title: FLOPS 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Tests and proofs : second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings / Bernhard Beckert, Reiner Hähnle (eds.).

by TAP 2008 (2008 : Prato, Italy) | Beckert, Bernhard | Hähnle, Reiner.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2008Other title: TAP 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha