Your search returned 70 results.

Not what you expected? Check for suggestions
Sort
Results
Performance characterization and benchmarking : 5th TPC Technology Conference, TPCTC 2013, Trento, Italy, August 26, 2013, Revised selected papers / Raghunath Nambiar, Meikel Poess (eds.).

by TPC Technology Conference (5th : 2013 : Trento, Italy) | Nambiar, Raghunath [editor.] | Poess, Meikel [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8391. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2014Other title: TPCTC 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Coordination models and languages : 16th IFIP WG 6.1 International Conference, COORDINATION 2014, held as part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 : proceedings / Eva Kühn, Rosario Pugliese (Eds.).

by COORDINATION (Conference) (16th : 2014 : Berlin, Germany) | Kühn, Eva [editor.] | Pugliese, Rosario [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8459. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2014]Copyright date: ©2014Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Reliable software technologies -- Ada-Europe 2014 : 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings / Laurent George, Tullio Vardanega (eds.).

by Ada-Europe International Conference on Reliable Software Technologies (19th : 2014 : Paris, France) | George, Laurent [editor.] | Vardanega, T. (Tullio) [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8454. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2014Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Coordination models and languages : 15th International Conference, COORDINATION 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, proceedings / Rocco De Nicola, Christine Julien (eds.).

by COORDINATION (Conference) (15th : 2013 : Florence, Italy) | De Nicola, Rocco [editor.] | Julien, Christine, D. Sc [editor.] | International Federation for Information Processing [sponsor.] | International Federated Conferences on Distributed Computing Techniques (8th : 2013 : Florence, Italy).

Series: Serienbezeichnung | Lecture notes in computer science ; 7890. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Heidelberg ; New York : Springer, ©2013Other title: COORDINATION 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised selected papers / edited by Maurice H. ter Beek, Niels Lohmann.

by WS-FM (Workshop) (9th : 2012 : Tallinn, Estonia) | Beek, Maurice H. ter [editor.] | Lohmann, N. (Niels) [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 7843. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, [2013]Copyright date: ©2013Other title: WS-FM 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Reliable Software Technologies-- Ada-Europe 2013 : 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings / Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk (eds.).

by Ada-Europe International Conference on Reliable Software Technologies (18th : 2013 : Berlin, Germany) | Keller, H. B. (Hubert B.) [editor.] | Plödereder, Hubert B [editor.] | Dencker, Peter [editor.] | Klenk, Herbert [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 7896. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Other title: Ada-Europe 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Foundations of health information engineering and systems : second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised selected papers / [edited by] Jens Weber, Isabelle Perseil.

by FHIES (Symposium) (2nd : 2012 : Paris, France) | Weber, Jens (Professor of Software Engineering) [editor.] | Perseil, Isabelle [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 7789. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Copyright date: ©2013Other title: FHIES 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Formal methods for dynamical systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced lectures / Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky (eds.).

by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (13th : 2013 : Bertinoro, Italy) | Bernardo, Marco [editor.] | Vink, Erik de [editor.] | Di Pierro, Alessandra [editor.] | Wiklicky, Herbert [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 7938. | 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, ©2013Other title: SFM 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Tests and proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / Margus Veanes, Luca Viganò (eds.).

by TAP (Conference) (7th : 2013 : Budapest, Hungary) | Veanes, Margus | Viganò, Luca.

Series: Serienbezeichnung | Lecture notes in computer science ; 7942. | 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, ©2013Other title: TAP 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Theory and practice of model transformations : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings / Keith Duddy, Gerti Kappel (eds.).

by ICMT (Conference) (6th : 2013 : Budapest, Hungary) | Duddy, Keith, 1967- [editor.] | Kappel, Gerti [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 7909. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, [2013]Copyright date: ©2013Other title: ICMT 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Modelling foundations and applications : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings / Pieter van Gorp, Tom Ritter, Louis M. Rose (eds.).

by ECMFA (Conference) (9th : 2013 : Montpellier, France) | Gorp, Pieter van [editor.] | Ritter, Tom [editor.] | Rose, Louis M [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 7949. | 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, ©2013Other title: ECMFA 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Hardware and software : verification and testing ; 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers / Armin Biere, Amir Nahir, Tanja Vos (eds.).

by International Haifa Verification Conference (8th : 2012 : Haifa, Israel) | Biere, Armin [editor.] | Nahir, Amir [editor.] | Vos, Tanja [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 7857. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: New York : Springer, [2013]Copyright date: ©2013Other title: HVC 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Theory, practice, and applications of rules on the web : 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings / Leora Morgenstern, Petros Stefaneas, Franc̜ois Lévy, Adam Wyner, Adrian Paschke (eds.).

by RuleML (Symposium : Rule-based modeling) (7th : 2013 : Seattle, Wash.) | Morgenstern, Leora [editor.] | Stefaneas, Petros [editor.] | Lévy, Franc̜ois [editor.] | Wyner, Adam [editor.] | Paschke, Adrian [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8035. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Other title: RuleML 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
OpenMP in the era of low power devices and accelerators : 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings / Alistair P. Rendell, Barbara M. Chapman, Matthias S. Müller (eds.).

by IWOMP (Conference) (9th : 2013 : Canberra, A.C.T.) | Rendell, Alistair P [editor.] | Chapman, Barbara, 1954- [editor.] | Müller, Matthias S [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8122, | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, 2013Other title: IWOMP 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Fundamentals of software engineering : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, revised selected papers / Farhad Arbab, Marjan Sirjani (eds.).

by International Symposium on Fundamentals of Software Engineering (5th : 2013 : Tehran, Iran) | Arbab, F. (Farhad) [editor.] | Sirjani, Marjan [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8161. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, 2013Other title: FSEN 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Formal methods: foundations and applications : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings / Juliano Iyoda, Leonardo de Moura (eds.).

by Brazilian Symposium on Formal Methods (16th : 2013 : Brasilia, Brazil) | Iyoda, Juliano [editor.] | Moura, Leonardo de [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8195. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Copyright date: ©2013Other title: SBMF 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
The beauty of functional code : essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday / Peter Achten, Pieter Koopman (eds.).

by Achten, Peter, 1967- [editor.] | Koopman, Pieter [editor.] | Plasmeijer, M. J. (Marinus Jacobus) [honouree.] | International Symposium on Implementation and Application of Functional Languages (25th : 2013 : Nijmegen, Netherlands).

Series: Serienbezeichnung | Lecture notes in computer science ; 8106. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Heidelberg : Springer, 2013Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Model and data engineering : third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013. Proceedings / Alfredo Cuzzocrea, Sofian Maabout (eds.).

by MEDI (Conference) (3rd : 2013 : Amantea, Italy) | Cuzzocrea, Alfredo, 1974- [editor.] | Maabout, Sofian [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8216. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, 2013Other title: MEDI 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Software engineering for resilient systems : 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings / Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko (eds.).

by SERENE (Workshop) (5th : 2013 : Kiev, Ukraine) | Gorbenko, A. (Anatoliy) [editor.] | Romanovsky, Alexander, 1954- [editor.] | Kharchenko, Vyacheslav [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8166. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, 2013Other title: SERENE 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Service-oriented and cloud computing : Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013 : proceedings / Kung-Kiu Lau, Winfried Lamersdorf, Ernesto Pimentel (eds.).

by ESOCC (Conference) (2nd : 2013 : Málaga, Spain) | Lau, K.-K. (Kung-Kiu), 1953- [editor.] | Lamersdorf, Winfried [editor.] | Pimentel, Ernesto [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8135. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Copyright date: ©2013Other title: ESOCC 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha