Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Livro
|
![]() |
practical introduction to denotational semanticsL. AllisonCambridge University Press 1986Acesso online. A biblioteca também possui exemplares impressos. |
12 |
Material Type: Livro
|
![]() |
|
13 |
Material Type: Livro
|
![]() |
Modeling Languages in Mathematical OptimizationJosef KallrathSpringer US 2004Acesso online. A biblioteca também possui exemplares impressos. |
14 |
Material Type: Livro
|
![]() |
LISP Lore: A Guide to Programming the LISP MachineBromley Richard LamsonSpringer US 1987Acesso online. A biblioteca também possui exemplares impressos. |
15 |
Material Type: Livro
|
![]() |
Computational semantics with functional programmingJan Eijck Christina Unger; Jan van Eijck Christina UngerLeiden Cambridge University Press 2010Acesso online. A biblioteca também possui exemplares impressos. |
16 |
Material Type: Livro
|
![]() |
Compiling Natural SemanticsMikael Pettersson Juris Hartmanis; Jan van LeeuwenSpringer Berlin Heidelberg 1999Acesso online. A biblioteca também possui exemplares impressos. |
17 |
Material Type: Livro
|
![]() |
Purely Functional Data StructuresChris OkasakiCambridge Cambridge University Press 1998Acesso online. A biblioteca também possui exemplares impressos. |
18 |
Material Type: Livro
|
![]() |
Current Issues in Computer SimulationNabil R. Adam Ali DogramaciAcademic Press 1979Acesso online. A biblioteca também possui exemplares impressos. |
19 |
Material Type: Livro
|
![]() |
Languages, Compilers and Run-time Environments for Distributed Memory MachinesJ. Saltz P MehrotraNorth-Holland 1992Acesso online. A biblioteca também possui exemplares impressos. |
20 |
Material Type: Livro
|
![]() |
Guidebook to Fortran on SupercomputersJohn M. Levesque Joel W WilliamsonAcademic Press 1989Acesso online. A biblioteca também possui exemplares impressos. |