Your search returned 58 results.

Not what you expected? Check for suggestions
1.
Runtime verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, selected papers / Saddek Bensalem, Doron A. Peled (eds.).

by RV (Workshop) (9th : 2009 : Grenoble, France) | Bensalem, Saddek | Peled, Doron A, 1962-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2009Other title: RV 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Automated technology for verification and analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, proceedings / Zhiming Liu, Anders P. Ravn (eds.).

by ATVA (Symposium) (7th : 2009 : Macau, China) | Liu, Zhiming, 1961- | Ravn, Anders P.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2009Other title: ATVA 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Experimental algorithms : 9th international symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010 : proceedings / Paola Festa (ed.).

by SEA (Symposium) (9th : 2010 : Ischia, Italy) | Festa, Paola.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2010Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Methods and tools of parallel programming multicomputers : second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010 : revised selected papers / Ching-Hsien Hsu, Victor Malyshkin (eds.).

by MTPP 2010 (2010 : Vladivostok, Russia) | Hsu, Ching-Hsien | Malyshkin, V. Ė. (Viktor Ėmmanuilovich).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2010Other title: MTPP 2010.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Principles and Practice of Constraint Programming - CP 2010 : 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings / David Cohen (Ed.).

by CP (Conference) (16th : 2010 : St. Andrews, Scotland) | Cohen, David, Prof.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg : Springer-Verlag, ©2010Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Runtime verification : first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010 : proceedings / Howard Barringer [and others] (eds.).

by RV (Conference) (1st : 2010 : San Ġiljan, Malta) | Barringer, Howard, 1951-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2010Other title: RV 2010.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Performance evaluation, measurement and characterization of complex systems : second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010 : revised selected papers / Raghunath Nambiar, Meikel Poess (eds.).

by TPC Technology Conference (2nd : 2010 : Singapore) | Nambiar, Raghunath | Poess, Meikel.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg ; New York : Springer, ©2011Other title: TPCTC 2010.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Experimental algorithms : 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011, proceedings / Panos M. Pardalos, Steffen Rebennack (Eds.).

by SEA (Symposium) (10th : 2011 : Kolymparion, Greece) | Pardalos, P. M. (Panos M.), 1954- | Rebennack, Steffen.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg ; New York : Springer, ©2011Other title: SEA 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Runtime verification : second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers / Sarfraz Khurshid, Koushik Sen (eds.).

by RV (Conference) (2nd : 2011 : San Francisco, Calif.) | Khurshid, Sarfraz | Sen, Koushik.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: RV 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Experimental algorithms : 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings / Ralf Klasing (eds.).

by SEA (Symposium) (11th : 2012 : Bordeaux, France) | Klasing, Ralf.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: SEA 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Analytical and stochastic modeling techniques and applications : 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings / Khalid Al-Begain, Dieter Fiems, Jean-Marc Vincent (eds.).

by ASMTA (Conference) (19th : 2012 : Grenoble, France) | Al-Begain, Khalid | Fiems, Dieter | Vincent, Jean-Marc.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: ASMTA 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Principles and practice of constraint programming : 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings / Michela Milano (ed.).

by CP (Conference) (18th : 2012 : Québec, Québec) | Milano, Michela.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: CP 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Applications of graph transformations with industrial relevance : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised selected and invited papers / Andy Schürr, Dániel Varró, Gergely Varró (eds.).

by AGTIVE (Symposium) (4th : 2011 : Budapest, Hungary) | Schürr, Andreas | Varró, Dániel | Varró, Gergely.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: AGTIVE 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Middleware 2012 : ACM/IFIP/USENIX 13th international middleware conference, Montreal, QC, Canada, December 3-7, 2012, proceedings / Priya Narasimhan, Peter Triantafillou (eds.).

by ACM/IFIP/USENIX International Middleware Conference (13th : 2012 : Montréal, Québec) | Narasimhan, Priya | Triantafillou, Peter, 1963-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg ; New York : Springer, 2012Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Runtime verification : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers / Shaz Qadeer, Serdar Tasiran (eds.).

by RV (Conference) (3rd : 2012 : Istanbul, Turkey) | Qadeer, Shaz | Tasiran, Serdar.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2013Other title: RV 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Reversible computation : 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, revised papers / Robert Glück, Tetsuo Yokoyama (eds.).

by RC (Workshop : Reversible computation) (4th : 2012 : Copenhagen, Denmark) | Glück, R. (Robert), 1961- | Yokoyama, Tetsuo.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2013Other title: RC 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Experimental algorithms : 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013, proceedings / Vincenzo Bonifaci, Camil Demetrescu, Alberto Marchetti-Spaccamela (eds.).

by SEA (Symposium) (12th : 2013 : Rome, Italy) | Bonifaci, Vincenzo [editor.] | Demetrescu, Camil [editor.] | Marchetti-Spaccamela, Alberto [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg ; New York : Springer, ©2013Other title: SEA 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Analytical and Stochastic Modelling Techniques and Applications : 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings / Alexander Dudin, Koen de Turck (eds.).

by ASMTA (Conference) (20th : 2013 : Ghent, Belgium) | Dudin, Alexander | Turck, Koen de.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2013Other title: ASMTA 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Reversible computation : 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013, proceedings / Gerhard W. Dueck, D. Michael Miller (eds.).

by RC (Workshop : Reversible Computation) (5th : 2013 : Victoria, B.C.) | Dueck, Gerhard W | RC (Workshop : Reversible Computation).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2013Other title: RC 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29-November 1, 2013, Proceedings / Lindsay Groves, Jing Sun (eds.).

by International Conference on Formal Engineering Methods (15th : 2013 : Queenstown, N.Z.) | Groves, Lindsay, 1951- [editor.] | Sun, Jing (Computer scientist) [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Copyright date: ©2013Other title: ICFEM 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha