Refine your search

Your search returned 2534 results.

Not what you expected? Check for suggestions
Sort
Results
1701.
Reachability problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings / Alain Finkel, Jérôme Leroux, Igor Potapov (eds.). by Series: Lecture notes in computer science ; 7550. | 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, ©2012
Other title:
  • RP 2012
Online resources:
Availability: Items available for loan: e-Library (1).
1702.
Logics in artificial intelligence : 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings / Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 7519. | Lecture notes in computer science | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2012
Other title:
  • JELIA 2012
Online resources:
Availability: Items available for loan: e-Library (1).
1703.
KI 2012: Advances in artificial intelligence : 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012. Proceedings / Birte Glimm, Antonio Krüger (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 7526. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2012
Other title:
  • KI 2012
Online resources:
Availability: Items available for loan: e-Library (1).
1704.
Information security : 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012. Proceedings / Dieter Gollmann, Felix C. Freiling (eds.). by Series: Lecture notes in computer science ; 7483. | 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, ©2012
Other title:
  • ISC 2012
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
1705.
Medical image computing and computer-assisted intervention--MICCAI 2012. Part III : 15th International Conference, Nice, France, October 1-5, 2012, Proceedings / Nicholas Ayache [and others]. by Series: Lecture notes in computer science ; 7512. | 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, ©2012
Other title:
  • MICCAI 2012
Availability: Items available for loan: e-Library (1).
1706.
Software engineering for resilient systems : 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings / Paris Avgeriou (ed.). by Series: Lecture notes in computer science ; 7527. | 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, ©2012
Other title:
  • SERENE 2012
Online resources:
Availability: Items available for loan: e-Library (1).
1707.
Modeling and mining ubiquitous social media : International Workshops MSM 2011, Boston, MA, USA, October 9, 2011, and MUSE 2011, Athens, Greece, September 5, 2011, Revised selected papers / Martin Atzmueller [and others] (eds.). by Series: Lecture notes in computer science | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 7472. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2012
Other title:
  • MSM 2011
  • MUSE 2011
Online resources:
Availability: Items available for loan: e-Library (1).
1708.
Privacy in statistical databases : UNESCO Chair in Data Privacy, International Conference, PSD 2012, Palermo, Italy, September 26-28, 2012. Proceedings / edited by Josep Domingo-Ferrer, Ilenia Tinnirello. by Series: Lecture notes in computer science ; 7556. | 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, ©2012
Other title:
  • PSD 2012
Online resources:
Availability: Items available for loan: e-Library (1).
1709.
Fast software encryption : 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012. Revised selected papers / Anne Canteaut (ed.). by Series: Lecture notes in computer science ; 7549. | 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, ©2012
Other title:
  • FSE 2012
Online resources:
Availability: Items available for loan: e-Library (1).
1710.
Intelligent virtual agents : 12th International Conference, IVA 2012, Santa Cruz, CA, USA, September, 12-14, 2012. Proceedings / Yukiko Nakano [and others] (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 7502. | Lecture notes in computer science | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2012
Other title:
  • IVA 2012
Online resources:
Availability: Items available for loan: e-Library (1).
1711.
Multimodal brain image analysis : second International Workshop, MBIA 2012, held in conjunction with MICCAI 2012, Nice, France, October 1-5, 2012. Proceedings / Pew-Thian Yap [and others] (eds.). by Series: Lecture notes in computer science ; 7509. | 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, ©2012
Other title:
  • MBIA 2012
Online resources:
Availability: Items available for loan: e-Library (1).
1712.
Graph transformations : 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings / Hartmut Ehrig [and others] (eds.). by Series: Lecture notes in computer science ; 7562. | 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, ©2012
Other title:
  • ICGT 2012
Online resources:
Availability: Items available for loan: e-Library (1).
1713.
Artificial neural networks and machine learning-- ICANN 2012 : 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings. Part I / Alessandro E. Villa [and others] (eds.). by Series: Lecture notes in computer science ; 7552. | 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, ©2012
Other title:
  • ICANN 2012
Online resources:
Availability: Items available for loan: e-Library (1).
1714.
Model driven engineering languages and systems : 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012. Proceedings / Robert B. France [and others] (eds.). by Series: Lecture notes in computer science ; 7590. | 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, ©2012
Other title:
  • MODELS 2012
Online resources:
Availability: Items available for loan: e-Library (1).
1715.
21st century learning for 21st century skills : 7th European Conference of Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012. Proceedings / Andrew Ravenscroft [and others] (eds.). by Series: Lecture notes in computer science ; 7563. | 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, ©2012
Other title:
  • EC-TEL 2012
Online resources:
Availability: Items available for loan: e-Library (1).
1716.
Human behavior understanding : third International Workshop, HBU 2012, Vilamoura, Portugal, October 7, 2012. Proceedings / Albert Ali Salah [and others] (eds.). by Series: Lecture notes in computer science ; 7559. | 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, ©2012
Other title:
  • HBU 2012
Online resources:
Availability: Items available for loan: e-Library (1).
1717.
Computer information systems and industrial management : 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings / Agostino Cortesi [and others] (eds.). by Series: Lecture notes in computer science ; 7564. | 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, ©2012
Other title:
  • CISIM 2012
Online resources:
Availability: Items available for loan: e-Library (1).
1718.
Automated technology for verification and analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings / Supratik Chakraborty, Madhavan Mukund (eds.). by Series: Lecture notes in computer science ; 7561. | 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, ©2012
Other title:
  • ATVA 2012
Online resources:
Availability: Items available for loan: e-Library (1).
1719.
Intelligent robotics and applications : 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings. Part II / Chun-Yi Su, Subhash Rakheja, Honghai Liu (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 7507. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2012
Other title:
  • ICIRA 2012
Online resources:
Availability: Items available for loan: e-Library (1).
1720.
Cellular automata : 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012. Proceedings / Georgios Ch. Sirakoulis, Stefania Bandini (eds.). by Series: Lecture notes in computer science ; 7495. | 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, ©2012
Other title:
  • ACRI 2012
Online resources:
Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha