Refine your search

Your search returned 4219 results.

Not what you expected? Check for suggestions
Sort
Results
1941.
Software engineering and formal methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / Radu Calinescu, Bernhard Rumpe (eds.). by Series: Lecture notes in computer science ; 9276. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2015
Other title:
  • SEFM 2015
Online resources:
Availability: Items available for loan: e-Library (1).
1942.
Information Security Theory and Practice : 9th IFIP WG 11.2 International Conference, WISTP 2015 Heraklion, Crete, Greece, August 24-25, 2015 Proceedings / Raja Naeem Akram, Sushil Jajodia (eds.). by Series: Lecture notes in computer science ; 9311. | LNCS sublibrary. SL 4, Security and cryptology.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2015
Other title:
  • WISTP 2015
Online resources:
Availability: Items available for loan: e-Library (1).
1943.
1944.
Algorithmic decision theory : 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings / Toby Walsh (ed.). by Series: Lecture notes in computer science ; 9346. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2015
Other title:
  • ADT 2015
Online resources:
Availability: Items available for loan: e-Library (1).
1945.
Software engineering for resilient systems : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings / Alessandro Fantechi, Patrizio Pelliccione (eds.). by Series: Lecture notes in computer science ; 9274. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2015
Other title:
  • SERENE 2015
Online resources:
Availability: Items available for loan: e-Library (1).
1946.
1947.
Multiple access communications : 8th International Workshop, MACOM 2015, Helsinki, Finland, September 3-4, 2015, Proceedings / Magnus Jonsson, Alexey Vinel, Boris Bellalta, Olav Tirkkonen (eds.). by Series: Lecture notes in computer science ; 9305. | LNCS sublibrary. SL 5, Computer communication networks and telecommunications.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2015
Other title:
  • MACOM 2015
Online resources:
Availability: Items available for loan: e-Library (1).
1948.
Cryptographic hardware and embedded systems -- CHES 2015 : 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings / Tim Güneysu, Helena Handschuh (eds.). by Series: Lecture notes in computer science ; 9293. | LNCS sublibrary. SL 4, Security and cryptology.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Heidelberg : Springer, 2015
Other title:
  • CHES 2015
Online resources:
Availability: Items available for loan: e-Library (1).
1949.
Security and trust management : 11th International Workshop, STM 2015, Vienna, Austria, September 21-22, 2015, Proceedings / Sara Foresti (ed.). by Series: Lecture notes in computer science ; 9331. | LNCS sublibrary. SL 4, Security and cryptology.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2015
Other title:
  • STM 2015
Online resources:
Availability: Items available for loan: e-Library (1).
1950.
1951.
1952.
Cyber physical systems : design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, the Netherlands, October 8, 2015 : proceedings / Christian Berger, Mohammad Reza Mousavi (eds.). by Series: Lecture notes in computer science ; 9361. | 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: Cham : Springer, [2015]
Other title:
  • CyPhy 2015
Online resources:
Availability: Items available for loan: e-Library (1).
1953.
1954.
1955.
Agent environments for multi-agent systems IV : 4th International Workshop, E4MAS 2014-10 Years Later, Paris, France, May 6, 2014, Revised Selected and Invited Papers / edited by Danny Weyns, Fabien Michel. by Series: Lecture notes in computer science ; 9068. | 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
Publisher: Cham : Springer, 2015
Other title:
  • Agent environments for multi-agent systems 4
  • E4MAS 2014
Online resources:
Availability: Items available for loan: e-Library (1).
1956.
Technology and practice of passwords : International Conference on Passwords, PASSWORDS'14, Trondheim, Norway, December 8-10, 2014, Revised Selected Papers / edited by Stig F. Mjølsnes. by Series: Lecture notes in computer science ; 9393. | LNCS sublibrary. SL 4, Security and cryptology.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2015
Other title:
  • PASSWORDS'14
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
1957.
1958.
Dynamic data-driven environmental systems science : First International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014, Revised Selected Papers / edited by Sai Ravela, Adrian Sandu. by Series: Lecture notes in computer science ; 8964. | 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: Cham : Springer, 2015
Other title:
  • DyDESS 2014
Online resources:
Availability: Items available for loan: e-Library (1).
1959.
Knowledge Science, Engineering and Management : 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings / edited by Songmao Zhang, Martin Wirsing, Zili Zhang. by Series: Lecture notes in computer science ; 9403. | 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
Publisher: Cham : Springer, 2015
Other title:
  • KSEM 2015
Online resources:
Availability: Items available for loan: e-Library (1).
1960.
Structural Information and Communication Complexity : 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings / edited by Christian Scheideler. by Series: Lecture notes in computer science ; 9439. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2015
Other title:
  • SIROCCO 2015
Online resources:
Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha