Shortcuts
SISSA Library . Default .
PageMenu- Main Menu-
Page content

Browse Shelf



- -


- Optimizing HPC applications with Intel® cluster tools Optimizing HPC applications with Intel® cluster tools004 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- Clausal form logic: an introduction to the logic of computer reasoning004 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 Theoretical computer science: proceedings of the Fourth Italian conference, L' Aquila, Italy, 28-30 October 1992004 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 Structure and interpretation of computer programs005.1 ABE 4 -
Title: Structure and interpretation of computer programs
Author: Abelson, Harold
Year: 1985
Collections: General.
- Algebraic specification Algebraic specification005.1 ALG 5 -
Title: Algebraic specification
Author:
Year: 1989
Collections: General.
- Computing skills for biologists: a toolbox Allesina, Stefano Computing skills for biologists: a toolbox005.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- A basis for theoretical computer science005.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 Systems of reductions005.1 BEN 9 -
Title: Systems of reductions
Author: Benninghofen, Benjamin
Year: 1987
Collections: General.
- Programming Rust: fast, safe systems development Blandy, Jim Programming Rust: fast, safe systems development005.1 BLA 10 -
Title: Programming Rust: fast, safe systems development
Author: Blandy, Jim
Year: c2018
Collections: General.


- -


Quick Search