Refine your search

Your search returned 2534 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1921.
1922.
Supercomputing : 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings / Julian Martin Kunkel, Thomas Ludwig, Hans Werner Meuer (eds.). by Series: Lecture notes in computer science ; 7905. | 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, ©2013
Other title:
  • ISC 2013
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1923.
Developments in language theory : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings / Marie-Pierre Béal, Olivier Carton (eds.). by Series: Lecture notes in computer science ; 7907. | 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, ©2013
Other title:
  • DLT 2013
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1924.
Information processing in computer-assisted interventions : 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013 : proceedings / Dean Barratt [and others] (eds.). by Series: Lecture notes in computer science ; 7915. | 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: Heidelberg : Springer, ©2013
Other title:
  • IPCAI 2013
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1925.
Trust and trustworthy computing : 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings / Michael Huth [and others] (eds.). by Series: Lecture notes in computer science ; 7904. | 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, ©2013
Other title:
  • TRUST 2013
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1926.
Tests and proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / Margus Veanes, Luca Viganò (eds.). by Series: 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, ©2013
Other title:
  • TAP 2013
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1927.
SDL 2013 : model-driven dependability engineering : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013 : proceedings / Ferhat Khendek [and others] (eds.). by Series: Lecture notes in computer science ; 7916. | 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, ©2013
Other title:
  • SDL Forum
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1928.
Advances in nonlinear speech processing : 6th International Conference, NOLISP 2013, Mons, Belgium, June 19-21, 2013 : proceedings / Thomas Drugman, Thierry Dutoit (eds.). by Series: Lecture notes in computer science ; 7911. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2013
Other title:
  • NOLISP 2013
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1929.
1930.
Theory and practice of model transformations : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings / Keith Duddy, Gerti Kappel (eds.). by Series: 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: ©2013
Other title:
  • ICMT 2013
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1931.
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 Series: Lecture notes in computer science ; 7984. | 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, ©2013
Other title:
  • ASMTA 2013
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1932.
1933.
Software composition : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings / edited by Walter Binder, Eric Bodden, Welf Löwe. by Series: Lecture notes in computer science ; 8088. | 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, ©2013
Other title:
  • SC 2013
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1934.
Virtual, augmented and mixed reality : designing and developing augmented and virtual environments : 5th International Conference, VAMR 2013, held as part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings. Part I / Randall Shumaker (ed.). by Series: Lecture notes in computer science ; 8021. | 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: ©2013
Other title:
  • VAMR 2013
  • HCI International 2013
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1935.
Static analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings / Francesco Logozzo, Manuel Fähndrich (eds.). by Series: Lecture notes in computer science ; 7935. | 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, ©2013
Other title:
  • SAS 2013
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1936.
Descriptional complexity of formal systems : 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings / Helmut Jürgensen, Rogério Reis (eds.). by Series: Lecture notes in computer science ; 8031. | 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:
  • DCFS 2013
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1937.
Information security and privacy : 18th Australasian Conference, ACISP 2013, Brisbane, Australia, July 1-3, 2013. Proceedings / Colin Boyd, Leonie Simpson (eds.). by Series: Lecture notes in computer science ; 7959. | 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, ©2013
Other title:
  • ACISP 2013
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1938.
Inclusive society : Health and wellbeing in the community, and care at home : 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, Singapore, June 19-21, 2013. Proceedings / edited by Jit Biswas [and others] (eds.). by Series: Lecture notes in computer science ; 7910. | 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
Publication details: Berlin ; New York : Springer, ©2013
Other title:
  • ICOST 2013
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1939.
1940.
Advances in depth image analysis and applications : international workshop, WDIA 2012, Tsukuba, Japan, November 11, 2012 : revised selected and invited papers / Xiaoyi Jiang, Olga Regina Pereira Bellon, Dmitry Goldgof, Takeshi Oishi (eds.). by Series: Lecture notes in computer science ; 7854. | 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, ©2013
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha