Refine your search

Your search returned 4219 results.

Not what you expected? Check for suggestions
Sort
Results
1961.
1962.
1963.
1964.
Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings / edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi. by Series: Lecture notes in computer science ; 9407.
Edition: 1st ed. 2015.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint : Springer, 2015
Online resources:
Availability: Items available for loan: e-Library (1).
1965.
Programming languages with applications to biology and security : essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday / edited by Chiara Bodei, Gian-Luigi Ferrari, Corrado Priami. by Series: Lecture notes in computer science ; 9465. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction
Publisher: Cham : Springer, 2015
Online resources:
Availability: Items available for loan: e-Library (1).
1966.
1967.
1968.
1969.
1970.
1971.
1972.
1973.
1974.
1975.
1976.
1977.
1978.
1979.
1980.
Pages

Powered by Koha