Results
|
1961.
|
|
|
1962.
|
|
|
1963.
|
|
|
1964.
|
|
|
1965.
|
|
|
1966.
|
|
|
1967.
|
|
|
1968.
|
Advances in Information Retrieval [electronic resource] : 42nd European Conference on IR Research, ECIR 2020, Lisbon, Portugal, April 14–17, 2020, Proceedings, Part II / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12036
Edition: 1st ed. 2020.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020
In:
Springer Nature eBook
Availability: No items available.
|
|
1969.
|
|
|
1970.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 12078
Edition: 1st ed. 2020.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020
In:
Springer Nature eBook
Availability: No items available.
|
|
1971.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 12079
Edition: 1st ed. 2020.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020
In:
Springer Nature eBook
Availability: No items available.
|
|
1972.
|
|
|
1973.
|
|
|
1974.
|
|
|
1975.
|
|
|
1976.
|
|
|
1977.
|
|
|
1978.
|
|
|
1979.
|
|
|
1980.
|
|