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
-
-
Mathematical logic for computer science
Lu, Zhongwan
005.1 LU
1
-
Title:
Mathematical logic for computer science
Author:
Lu, Zhongwan
Year:
1989
Collections:
General.
-
Strutture, linguaggi, sintassi: una introduzione
Luccio, Fabrizio
005.1 LUC c.1
2
-
Title:
Strutture, linguaggi, sintassi: una introduzione
Author:
Luccio, Fabrizio
Year:
1974
Collections:
General.
-
Algebraic approaches to program semantics
Manes, Ernest G. 1943-
005.1 MAN
4
-
Title:
Algebraic approaches to program semantics
Author:
Manes, Ernest G. 1943-
Year:
1986
Collections:
General.
-
An introduction to formal language theory
Moll, Robert N.
005.1 MOL
5
-
Title:
An introduction to formal language theory
Author:
Moll, Robert N.
Year:
1988
Collections:
General.
-
Logic and computation: interactive proof with Cambridge LCF
Paulson, Lawrence C.
005.1 PAU
6
-
Title:
Logic and computation: interactive proof with Cambridge LCF
Author:
Paulson, Lawrence C.
Year:
1987
Collections:
General.
-
Logic for computer science
Reeves, Steve 1957-
005.1 REE
7
-
Title:
Logic for computer science
Author:
Reeves, Steve 1957-
Year:
1990
Collections:
General.
-
Petri nets: an introduction
Reisig, Wolfgang
005.1 REI
8
-
Title:
Petri nets: an introduction
Author:
Reisig, Wolfgang
Year:
1985
Collections:
General.
-
A connotational theory of program structure
Royer, James S.
005.1 ROY
9
-
Title:
A connotational theory of program structure
Author:
Royer, James S.
Year:
1987
Collections:
General.
-
Concepts of programming languages
Sebesta, Robert W.
005.1 SEB
10
-
Title:
Concepts of programming languages
Author:
Sebesta, Robert W.
Year:
1989
Collections:
General.
-
Previous Shelf
Bottom
Next Shelf
Bottom
-
Quick Search
Search for