Central Library

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
Higher-Order Computability [electronic resource] / by John Longley, Dag Normann.

by Longley, John [author.] | Normann, Dag [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Models of Computation in Context [electronic resource] : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings / edited by Benedikt Löwe, Dag Normann, Ivan Soskov, Alexandra Soskova.

by Löwe, Benedikt [editor.] | Normann, Dag [editor.] | Soskov, Ivan [editor.] | Soskova, Alexandra [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available