Refine your search

Your search returned 2534 results.

Not what you expected? Check for suggestions
Sort
Results
2521.
2522.
2523.
2524.
2525.
Model checking software : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings / Bernd Fischer, Jaco Geldenhuys (eds.). by Series: Lecture notes in computer science ; 9232. | 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:
  • SPIN 2015
Online resources:
Availability: Items available for loan: e-Library (1).
2526.
Combinatorics on words : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings / Florin Manea, Dirk Nowotka (eds.). by Series: Lecture notes in computer science ; 9304. | 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:
  • WORDS 2015
Online resources:
Availability: Items available for loan: e-Library (1).
2527.
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).
2528.
2529.
Modeling decisions for artificial intelligence : 12th International Conference, MDAI 2015, Skövde, Sweden, September 21-23, 2015, Proceedings / Vicenc Torra, Yasuo Narukawa (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 9321. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2015
Other title:
  • MDAI 2015
Online resources:
Availability: Items available for loan: e-Library (1).
2530.
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).
2531.
The cultural logic of computation / David Golumbia. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge, Mass. : Harvard University Press, 2009Copyright date: ©2009
Online resources:
Availability: Items available for loan: e-Library (1).
2532.
Mathematical knowledge management : 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papers / Michael Kohlhase (ed.). by Series: Lecture notes in computer science ; 3863. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11618027
Publisher: Berlin ; New York : Springer, ©2006
Other title:
  • MKM 2005
Online resources:
Availability: Items available for loan: e-Library (1).
2533.
Third International Conference on Advances in Pattern Recognition : ICAPR 2005, Bath, UK, August 22-25, 2005 : proceedings / Sameer Singh [and others] (eds.). by Series: Lecture notes in computer science ; 3686-3687.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer, ©2005
Other title:
  • ICAPR 2005
Online resources:
Availability: Items available for loan: e-Library (1).
2534.
Software process improvement : 14th European conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007 : proceedings / Pekka Abrahamsson [and others] (eds.). by Series: Lecture notes in computer science ; 4764. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12167821
Publication details: Berlin ; New York : Springer, ©2007
Online resources:
Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha