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
1881.
1882.
The semantic web : semantics and big data : 10th International Conference, ESWC 2012, Montpellier, France, May 26-30, 2013 : proceedings / Philipp Cimiano [and others] (eds.). by Series: Lecture notes in computer science ; 7882. | 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: Heidelberg : Springer, ©2013
Other title:
  • ESWC 2013
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1883.
Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings / Einar Broch Johnsen, Luigia Petre (eds.). by Series: Lecture notes in computer science ; 7940. | 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:
  • IFM 2013
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1884.
Advances in swarm intelligence : 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings. Part I / Ying Tan, Yuhui Shi, Hongwei Mo (eds.). by Series: Lecture notes in computer science ; 7928. | 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:
  • ICSI 2013
(MP) Advances in swarm intelligence
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1885.
Transactions on computational science XVIII : special issue on cyberworlds / Marina L. Gavrilova, C.J. Kenneth Tan, Arjan Kuijper (eds.). by Series: Lecture notes in computer science ; 7848. | Lecture notes in computer science. Journal subline.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2013
Other title:
  • Transactions on computational science 18
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1886.
Computational intelligence methods for bioinformatics and biostatistics : 9th International Meeting, CIBB 2012, Houston, TX, USA, July 12-14, 2012 : revised selected papers / Leif E. Peterson, Francesco Masulli, Giuseppe Russo (eds.). by Series: Lecture notes in computer science ; 7845. | Lecture notes in computer science. Lecture notes in bioinformatics. | LNCS sublibrary. SL 8, Bioinformatics.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2013
Other title:
  • CIBB 2012
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1887.
Transactions on computational collective intelligence X / Ngoc-Thanh Nguyen, Joanna Kolodziej, Tadeusz Burczyński, Marenglen Biba (ed.). by Series: Lecture notes in computer science ; 7776. | Transactions on computational collective intelligence ; X.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin : Springer, [2013]Copyright date: ©2013
Other title:
  • Transactions on computational collective intelligence 10
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1888.
Advances in swarm intelligence : 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings. Part II / Ying Tan, Yuhui Shi, Hongwei Mo (eds.). by Series: Lecture notes in computer science ; 7929. | 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:
  • ICSI 2013
(MP) Advances in swarm intelligence
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1889.
Information security theory and practice : security of mobile and cyber-physical systems : 7th IFIP WG 11.2 international workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013 : proceedings / Lorenzo Cavallaro, Dieter Gollmann (eds.). IFIP WG 11.2 International Workshop on Information Security Theory and Practice �Erakleion, Greece) by Series: Lecture notes in computer science ; 7886. | LNCS sublibrary. SL 4, Security and cryptology.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Heidelberg : Springer, ©2013
Other title:
  • WISTP 2013
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1890.
Hybrid metaheuristics : 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013, Proceedings / María J. Blesa [and others] (eds.). by Series: Lecture notes in computer science ; 7919. | 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:
  • HM 2013
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1891.
Combinatorial pattern matching : 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings / Johannes Fischer, Peter Sanders (eds.). by Series: Lecture notes in computer science ; 7922. | 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:
  • CPM 2013
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1892.
Algorithms and complexity : 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings / Paul G. Spirakis, Maria Serna (eds.). by Series: Lecture notes in computer science ; 7878. | 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:
  • CIAC 2013
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1893.
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 Series: 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: ©2013
Other title:
  • WS-FM 2012
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1894.
Computing and combinatorics : 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings / Ding-Zhu Du, Guochuan Zhang (eds.). by Series: Lecture notes in computer science ; 7936. | 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:
  • COCOON 2013
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1895.
Scale space and variational methods in computer vision : 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings / Arjan Kuijper, Kristian Bredies, Thomas Pock, Horst Bischof (eds.). by Series: Lecture notes in computer science ; 7893. | 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
Other title:
  • SSVM 2013
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1896.
Automated deduction -- CADE-24 : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013 : proceedings / Maria Paola Bonacina (ed.). by Series: Lecture notes in computer science ; 7898. | 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:
  • CADE-24
  • CADE-twenty-four
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1897.
Computer science--theory and applications : 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013 : proceedings / Andrei A. Bulatov, Arseny M. Shur (eds.). by Series: Lecture notes in computer science ; 7913. | 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 : Springer, ©2013
Other title:
  • CSR 2013
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1898.
1899.
Advances in brain inspired cognitive systems : 6th International Conference, BICS 2013, Beijing, China, June 9-11, 2013 : proceedings / Derong Liu, Cesare Alippi, Dongbin Zhao, Amir Hussain (editors). by Series: Lecture notes in computer science ; 7888. | 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:
  • BICS 2013
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1900.
The nature of computation : logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.). by Series: Lecture notes in computer science ; 7921. | 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:
  • CiE 2013
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha