Showing 1 - 6
of 6
for search: '',
query time: 0.05s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
Computer programming
Software engineering
3
Computer logic
2
Computer science
2
Programming languages (Electronic computers)
1
Algorithms
more ...
1
Computer multitasking
1
Computer networks
1
Computer simulation
1
Computer software Verification
1
Formal methods (Computer science)
1
Graph grammars
1
Logic, Symbolic and mathematical
1
Rewriting systems (Computer science)
see all ...
less ...
Author
6
SpringerLink (Online service)
1
Bodei, Chiara,
1
Breitman, K. K.
1
De Nicola, Rocco
1
Degano, Pierpaolo, 1950-
1
Ferrari, Gian-Luigi,
more ...
1
He, Jifeng, 1943-
1
Horspool, R. Nigel, 1948-
1
Lindley, Sam,
1
Liu, Zhiming, 1961-
1
McBride, Conor,
1
Meseguer, José
1
Montanari, Ugo
1
Priami, Corrado,
1
Sannella, D. 1956-
1
Trinder, Phil,
1
Woodcock, Jim,
1
Zhu, Huibiao,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication