Your search returned 187 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
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).
Place hold Log in to add tags
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).
Place hold Log in to add tags
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).
Place hold Log in to add tags
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).
Place hold Log in to add tags
Biomimetic and biohybrid systems : second International Conference, Living Machines 2013, London, UK, July 29-August 2, 2013. Proceedings / Nathan F. Lepora, Anna Mura, Holger G. Krapp, Paul F.M.J. Verschure, Tony J. Prescott (eds.).

by Living Machines (Conference) (2nd : 2013 : London, England) | Lepora, Nathan [editor] | Mura, Anna [editor.] | Krapp, Holger G [editor.] | Verschure, Paul F. M. J, 1962- [editor.] | Prescott, Tony J [editor.].

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 8064. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Other title: Living Machines 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Engineering psychology and cognitive ergonomics : understanding human cognition : 10th International Conference, EPCE 2013, held as part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings. Part I / Don Harris (ed.).

by International Conference on Engineering Psychology and Cognitive Ergonomics (10th : 2013 : Las Vegas, Nev.) | Harris, Don, 1961- | International Conference on Human-Computer Interaction (15th : 2013 : Las Vegas, Nev.).

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 8019. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2013Other title: EPCE 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
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).
Place hold Log in to add tags
Engineering psychology and cognitive ergonomics : applications and services ; 10th International Conference, EPCE 2013, held as part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings. Part II / edited by Don Harris.

by International Conference on Engineering Psychology and Cognitive Ergonomics (10th : 2013 : Las Vegas, Nev.) | Harris, Don, 1961- | International Conference on Human-Computer Interaction (15th : 2013 : Las Vegas, Nev.).

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 8020. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2013Other title: EPCE 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
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).
Place hold Log in to add tags
E-voting and identify : 4th international conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, proceedings / James Heather, Steve Schneider, Vanessa Teague (eds.).

by Vote-ID (Conference) (4th : 2013 : Guildford, England) | Heather, James [editor.] | Schneider, S. A. (Steve A.) [editor.] | Teague, Vanessa [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 7985. | LNCS sublibrary. SL 4, Security and cryptology.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2013Other title: Vote-ID 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Web engineering : 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013. Proceedings / Florian Daniel, Peter Dolog, Qing Li (eds.).

by ICWE (Conference) (13th : 2013 : Aalborg, Denmark) | Daniel, Florian [editor.] | Dolog, Peter [editor.] | Li, Qing, 1962- [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 7977. | 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]Copyright date: ©2013Other title: ICWE 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Benchmarking peer-to-peer systems : understanding quality of service in large-scale distributed systems / Wolfgang Effelsberg, Ralf Steinmetz, Thorsten Strufe (eds.).

by Effelsberg, Wolfgang [editor.] | Steinmetz, Ralf [editor.] | Strufe, Thorsten [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 7847. | LNCS sublibrary. SL 5, Computer communication networks and telecommunications.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).
Place hold Log in to add tags
Computer aided verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings / Natasha Sharygina, Helmut Veith (eds.).

by CAV (Conference) (25th : 2013 : Saint Petersburg, Russia) | Sharygina, Natasha | Veith, Helmut.

Series: Serienbezeichnung | Lecture notes in computer science ; 8044. | 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, ©2013Other title: CAV 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
The personal web : a research agenda / Mark Chignell, James R. Cordy, Ryan Kealey, Joanna Ng, Yelena Yesha (eds.).

by Chignell, Mark [editor.] | Cordy, James R [editor.] | Kealey, Ryan [editor.] | Ng, Joanna [editor.] | Yesha, Yelena, 1962- [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 7855.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, [2013]Copyright date: ©2013Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Euro-Par 2013 parallel processing : 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings / Felix Wolf, Bernd Mohr, Dieter an Mey (eds.).

by International EURO-PAR Conference (19th : 2013 : Aachen, Germany) | Wolf, Felix [editor.] | Mohr, Bernd [editor.] | Mey, Dieter an [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8097. | 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, ©2013Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Human-computer interaction - INTERACT 2013 : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013 : proceedings / Paula Kotzé, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler (eds.). Part III.

by Kotzé, Paula [edt] | Marsden, Gary [edt] | Lindgaard, Gitte [edt] | Wesson, Janet [edt] | Winckler, Marco [edt] | IFIP Technical Committee 13 on Human Computer Interaction | IFIP Conference on Human-Computer Interaction, INTERACT (14 : 02-09-2013 - 06-09-2013 : Cape Town, South Africa).

Series: Serienbezeichnung | Lecture notes in computer science ; 8119.Source: Human-computer interaction - INTERACT 2013Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, 2013Other title: INTERACT 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Human-computer interaction - INTERACT 2013 : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013 : proceedings / Paula Kotzé, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler (eds.). Part IV.

by Kotzé, Paula [edt] | Marsden, Gary [edt] | Lindgaard, Gitte [edt] | Wesson, Janet [edt] | Winckler, Marco [edt] | IFIP Technical Committee 13 on Human Computer Interaction | IFIP Conference on Human-Computer Interaction, INTERACT (14 : 02-09-2013 - 06-09-2013 : Cape Town, South Africa).

Series: Serienbezeichnung | Lecture notes in computer science ; 8120.Source: Human-computer interaction - INTERACT 2013Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, 2013Other title: INTERACT 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Theoretical aspects of computing -- ICTAC 2013 : 10th international colloquium, Shanghai, China, September 4-6, 2013, proceedings / Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.).

by ICTAC (Colloquium) (10th : 2013 : Shanghai, China) | Liu, Zhiming, 1961- [editor.] | Woodcock, Jim [editor.] | Zhu, Huibiao [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8049. | 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, [2013]Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
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).
Place hold Log in to add tags
Unifying theories of programming and formal engineering methods : International Training School on Software Engineering, held at ICTAC 2013, Shanghai, China, August 26-30, 2013, advanced lectures / Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.).

by International Training School on Software Engineering (2013 : Shanghai, China) | Liu, Zhiming, 1961- [editor.] | Woodcock, Jim [editor.] | Zhu, Huibiao [editor.] | ICTAC (Colloquium) (10th : 2013 : Shanghai, China).

Series: Serienbezeichnung | Lecture notes in computer science ; 8050. | Lecture notes in computer science. Tutorial. | 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, [2013]Copyright date: ©2013Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Pages

Powered by Koha