Refine your search

Your search returned 315 results.

Not what you expected? Check for suggestions
Sort
Results
1.
Transactions on computational science XXV / Marina L. Gavrilova [and more] (eds.). by Series: Lecture notes in computer science ; 9030.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin : Springer, [2015]Copyright date: ©2015
Other title:
  • Transactions on computational science 25
Online resources:
Availability: Items available for loan: e-Library (1).
2.
High performance computing : 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings / Julian M. Kunkel, Thomas Ludwig (eds.). by Series: Lecture notes in computer science ; 9137. | 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:
  • ISC High Performance 2015
Online resources:
Availability: Items available for loan: e-Library (1).
3.
4.
5.
Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings. Part II / Daniel Kroening, Corina S. Păsăreanu (eds.). by Series: Lecture notes in computer science ; 9207. | 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:
  • CAV 2015
Online resources:
Availability: Items available for loan: e-Library (1).
6.
Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings. Part I / Daniel Kroening, Corina S. Păsăreanu (eds.). by Series: Lecture notes in computer science ; 9206. | 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:
  • CAV 2015
Online resources:
Availability: Items available for loan: e-Library (1).
7.
Parallel computing technologies : 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings / edited by Victor Malyshkin. by Series: Lecture notes in computer science ; 9251. | 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:
  • PaCT 2015
Online resources:
Availability: Items available for loan: e-Library (1).
8.
9.
10.
11.
12.
Computer safety, reliability, and security : 34th International Conference, SAFECOMP 2015, Delft, the Netherlands, September 23-25, 2015, Proceedings / Floor Koornneef, Coen van Gulijk (eds.). by Series: Lecture notes in computer science ; 9337. | 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:
  • SAFECOMP 2015
Online resources:
Availability: Items available for loan: e-Library (1).
13.
14.
15.
16.
17.
Advances in network science : 12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016, Proceedings / Adam Wierzbicki, Ulrik Brandes, Frank Schweitzer, Dino Pedreschi (eds.). by Series: Lecture notes in computer science ; 9564. | 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, 2016
Other title:
  • NetSci-X 2016
Online resources:
Availability: Items available for loan: e-Library (1).
18.
Trustworthy global computing : 10th International Symposium, TGC 2015 Madrid, Spain, August 31-September 1, 2015, Revised selected papers / Pierre Ganty, Michele Loreti (eds.). by Series: Lecture notes in computer science ; 9533. | 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, 2016
Other title:
  • TGC 2015
Online resources:
Availability: Items available for loan: e-Library (1).
19.
Transactions on computational collective intelligence XX / Ngoc Thanh Nguyen [and more] (eds.). by Series: Lecture notes in computer science ; 9420.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Heidelberg : Springer, [2015]Copyright date: ©2015
Other title:
  • Transactions on computational collective intelligence 20
Online resources:
Availability: Items available for loan: e-Library (1).
20.
Applied reconfigurable computing : 12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22-24, 2016 Proceedings / Vanderlei Bonato, Christos Bouganis, Marek Gorgon (eds.). by Series: Lecture notes in computer science ; 9625. | 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, 2016
Other title:
  • ARC 2016
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha