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
-
-
The denotational description of programming languages: an introduction
Gordon, Michael J.C.
005.1 GOR
10
-
Title:
The denotational description of programming languages: an introduction
Author:
Gordon, Michael J.C.
Year:
1979
Collections:
General.
-
Mathematics for the analysis of algorithms
Greene, Daniel H. 1955-
005.1 GRE
9
-
Title:
Mathematics for the analysis of algorithms
Author:
Greene, Daniel H. 1955-
Year:
1990
Collections:
General.
-
The science of programming
Gries, David
005.1 GRI
8
-
Title:
The science of programming
Author:
Gries, David
Year:
1981
Collections:
General.
-
Algebraic semantics
Guessarian, Irène
005.1 GUE
7
-
Title:
Algebraic semantics
Author:
Guessarian, Irène
Year:
1981
Collections:
General.
-
High performance cluster computing, vol. 1: architectures and systems
005.1 HIG v.1
6
-
Title:
High performance cluster computing, vol. 1: architectures and systems
Author:
Year:
1999
Collections:
General.
-
High performance cluster computing, vol. 2: programming and applications
005.1 HIG v.2
5
-
Title:
High performance cluster computing, vol. 2: programming and applications
Author:
Year:
1999
Collections:
General.
-
Introduction to automata theory, languages, and computation
Hopcroft, John E. 1939-
005.1 HOP
4
-
Title:
Introduction to automata theory, languages, and computation
Author:
Hopcroft, John E. 1939-
Year:
1979
Collections:
General.
-
Confluent string rewriting
Jantzen, Matthias
005.1 JAN
3
-
Title:
Confluent string rewriting
Author:
Jantzen, Matthias
Year:
1988
Collections:
General.
-
A programming approach to computability
Kfoury, Assaf J.
005.1 KFO
2
-
Title:
A programming approach to computability
Author:
Kfoury, Assaf J.
Year:
1982
Collections:
General.
-
The DevOps handbook: how to create world-class agility, reliability, & security in technology organizations
Kim, Gene
005.1 KIM 2nd ed. ASK LIBRARIANS (PL)
1
-
Title:
The DevOps handbook: how to create world-class agility, reliability, & security in technology organizations
Author:
Kim, Gene
Year:
2021
Collections:
General.
-
Previous Shelf
Bottom
Next Shelf
Bottom
-
Quick Search
Search for