Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
.
Default
.
PageMenu
-
Main Menu
-
Simple Search
.
Advanced Search
.
Journal Search
.
Refine Search Results
.
Preferences
.
Search Menu
Simple Search
.
Advanced Search
.
New Items Search
.
Journal Search
.
Refine Search Results
.
Bottom Menu
Help
Italian
.
English
.
German
.
New Item Menu
New Items Search
.
New Items List
.
Links
SISSA Library
.
ICTP library
.
Italian National web catalog (SBN)
.
Trieste University web catalog
.
Udine University web catalog
.
© LIBERO v6.4.1sp220816
Page content
You are here
:
Browse Shelf
Browse Shelf
-
Previous Shelf
Top
Next Shelf
Top
-
-
Optimizing HPC applications with Intel® cluster tools
004 OPT
1
-
Title:
Optimizing HPC applications with Intel® cluster tools
Author:
Year:
2014
Collections:
General.
-
Clausal form logic: an introduction to the logic of computer reasoning
Richards, Tom 1940-
004 RIC
2
-
Title:
Clausal form logic: an introduction to the logic of computer reasoning
Author:
Richards, Tom 1940-
Year:
1989
Collections:
General.
-
Theoretical computer science: proceedings of the Fourth Italian conference, L' Aquila, Italy, 28-30 October 1992
004 THE
3
-
Title:
Theoretical computer science: proceedings of the Fourth Italian conference, L' Aquila, Italy, 28-30 October 1992
Author:
Year:
1992
Collections:
General.
-
Structure and interpretation of computer programs
Abelson, Harold
005.1 ABE
4
-
Title:
Structure and interpretation of computer programs
Author:
Abelson, Harold
Year:
1985
Collections:
General.
-
Algebraic specification
005.1 ALG
5
-
Title:
Algebraic specification
Author:
Year:
1989
Collections:
General.
-
Computing skills for biologists: a toolbox
Allesina, Stefano
005.1 ALL
6
-
Title:
Computing skills for biologists: a toolbox
Author:
Allesina, Stefano
Year:
2019
Collections:
General.
-
A basis for theoretical computer science
Arbib, Michael A. (Michael Anthony) 1940-
005.1 ARB
7
-
Title:
A basis for theoretical computer science
Author:
Arbib, Michael A. (Michael Anthony) 1940-
Year:
1981
Collections:
General.
-
Synthese des automates microprogrammes
Baranov, Sergei
005.1 BAR
8
-
Title:
Synthese des automates microprogrammes
Author:
Baranov, Sergei
Year:
1983
Collections:
General.
-
Systems of reductions
Benninghofen, Benjamin
005.1 BEN
9
-
Title:
Systems of reductions
Author:
Benninghofen, Benjamin
Year:
1987
Collections:
General.
-
Programming Rust: fast, safe systems development
Blandy, Jim
005.1 BLA
10
-
Title:
Programming Rust: fast, safe systems development
Author:
Blandy, Jim
Year:
c2018
Collections:
General.
-
Previous Shelf
Bottom
Next Shelf
Bottom
-
Quick Search
Search for