Your search returned 123 results.

Not what you expected? Check for suggestions
Sort
Results
Functional and logic programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : proceedings / Michael Codish, Eijiro Sumii (Eds.).

by Fuji International Symposium on Functional and Logic Programming (12th : 2014 : Kanazawa, Japan) | Codish, Michael [editor.] | Sumii, Eijiro [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8475. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Source: Springer eBooksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, [2014]Copyright date: ©2014Online 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).
Experimental algorithms : 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29-July 1, 2014. Proceedings / Joachim Gudmundsson, Jyrki Katajainen (eds.).

by SEA (Symposium) (13th : 2014 : Copenhagen, Denmark) | Gudmundsson, Joachim [editor.] | Katajainen, Jyrki [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8504. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2014Other title: SEA 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Job scheduling strategies for parallel processing : 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised selected papers / Narayan Desai, Walfredo Cirne (eds.).

by JSSPP (Workshop) (17th : 2013 : Boston, Mass.) | Desai, Narayan (Narayan L.) [editor.] | Cirne, Walfredo [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8429. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, 2014Other title: JSSPP 2013.Online 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).
Business process models : change management / Christian Gerth.

by Gerth, Christian.

Series: Serienbezeichnung | Lecture notes in computer science ; 7849. | 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 Publisher: Berlin : Springer, [2013]Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Formal concept analysis : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, proceedings / Peggy Cellier, Felix Distel, Bernhard Ganter (eds.).

by International Conference on Formal Concept Analysis (11th : 2013 : Dresden, Germany) | Cellier, Peggy [editor.] | Distel, Felix [editor.] | Ganter, Bernhard [editor.].

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 7880. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2013Online 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).
Programming multi-agent systems : 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised selected papers / Mehdi Dastani, Jomi F. Hübner, Brian Logan (eds.).

by ProMAS (Conference) (10th : 2012 : Valencia, Spain) | Dastani, Mehdi [editor.] | Hübner, Jomi Fred [editor.] | Logan, Brian (Computer scientist) [editor.].

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 7837. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Other title: ProMAS 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Transactions on pattern languages of programming III / James Noble, Ralph Johnson, Uwe Zdun, Eugene Walingford (eds.).

by Noble, James, 1967- [editor.] | Johnson, Ralph E, 1955- [editor.] | Zdun, Uwe [editor.] | Wallingford, Eugene [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 7840.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, [2013]Copyright date: ©2013Other title: Transactions on pattern languages of programming 3.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).
Big data : 29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings / Georg Gottlob, Giovanni Grasso, Dan Olteanu, Christian Schallhart (eds.).

by British National Conference on Databases (29th : 2013 : Oxford, England) | Gottlob, G. (Georg).

Series: Serienbezeichnung | Lecture notes in computer science ; 7968. | 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 Publisher: Berlin ; New York : Springer, [2013]Other title: BNCOD 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).
Knowledge science, engineering and management : 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings / Mingzheng Wang (ed.).

by KSEM (Conference) (6th : 2013 : Dalian Shi, China) | Wang, Mingzheng [editor.].

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 8041. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Other title: KSEM 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).
Pages

Powered by Koha