Your search returned 185 results.

Not what you expected? Check for suggestions
Sort
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).
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).
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).
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).
Automata, languages, and programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, proceedings. Part II / Fedor V. Fomin [and others] (eds.).

by International Colloquium on Automata, Languages, and Programming (40th : 2013 : Rīga, Latvia) | Fomin, Fedor V.

Series: Serienbezeichnung | Lecture notes in computer science ; 7966. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, 2013Other title: ICALP 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Automata, languages, and programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, proceedings. Part I / Fedor V. Fomin, Rūsin̜š Freivalds, Marta Kwiatkowska, David Peleg (eds.).

by International Colloquium on Automata, Languages, and Programming (40th : 2013 : Rīga, Latvia) | Fomin, Fedor V [editor.] | Freĭvald, R. V [editor.] | Kwiatkowska, Marta [editor.] | Peleg, D. (David) [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 7965. | Lecture notes in computer science. Advanced research in computing and software science. | 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]Other title: ICALP 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Similarity-based pattern recognition : second International Workshop, SIMBAD 2013, York, UK, July 3-5, 2013. Proceedings / Edwin Hancock, Marcello Pelillo (eds.).

by SIMBAD (Workshop) (2nd : 2013 : York, England) | Hancock, Edwin R [editor.] | Pelillo, Marcello [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 7953. | LNCS sublibrary. SL 6, Image processing, computer vision, pattern recognition, and graphics.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2013Other title: SIMBAD 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).
Pattern recognition in bioinformatics : 8th IAPR International Conference, PRIB 2013, Nice, France, June 17-20, 2013. Proceedings / Alioune Ngom, Enrico Formenti, Jin-Kao Hao, Xing-Ming Zhao, Twan van Laarhoven (eds.).

by PRIB (Meeting) (8th : 2013 : Nice, France) | Ngom, Alioune (Ph. D.) [editor.] | Formenti, Enrico, 1968- [editor.] | Hao, J.-K. (Jin-Kao) [editor.] | Zhao, Xing-Ming [editor.] | Laarhoven, Twan van [editor.].

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in bioinformatics ; ; 7986. | LNCS sublibrary. SL 8, Bioinformatics.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, [2013]Copyright date: ©2013Other title: PRIB 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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).
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).
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).
Algorithms and data structures : 13th international symposium, WADS 2013, London, ON, Canada, August 12-14, 2013, proceedings / Frank Dehne, Roberto Solis-Oba, Jörg-Rüdiger Sack (eds.).

by WADS (Symposium) (13th : 2013 : London, Ont.) | Dehne, F. (Frank), 1960- [editor.] | Solis-Oba, Roberto [editor.] | Sack, J.-R. (Jörg-Rüdiger), 1954- [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8037. | 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]Other title: WADS 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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).
Machine learning and data mining in pattern recognition : 9th International Conference, MLDM 2013, New York, NY, USA, July 19-25, 2013. Proceedings / Petra Perner (ed.).

by MLDM (Conference) (9th : 2013 : New York, N.Y.) | Perner, Petra [editor.].

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 7988. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Other title: MLDM 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Agreement technologies : second International Conference, AT 2013, Beijing, China, August 1-2, 2013. Proceedings / Carlos Iván Chesñevar [and others] (eds.).

by AT (Conference) (2nd : 2013 : Beijing, China) | Chesñevar, Carlos Iván.

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 8068. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Other title: AT 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Constructive side-channel analysis and secure design : 4th International Workshop, COSADE 2013, Paris, France, March 6-8, 2013, Revised selected papers / Emmanuel Prouff (ed.).

by COSADE (Workshop) (4th : 2013 : Paris, France) | Prouff, Emmanuel [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 7864. | LNCS sublibrary. SL 4, Security and cryptology.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Other title: COSADE 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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).
Cryptographic hardware and embedded systems-- CHES 2013 : 15th International Workshop, Santa Barbara, CA, USA, August 20-23, 2013. Proceedings / Guido Bertoni, Jean-Sébastien Coron (eds.).

by CHES (Workshop) (15th : 2013 : Santa Barbara, Calif.) | Bertoni, Guido [editor.] | Coron, Jean-Sébastien [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8086. | 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: CHES 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha