Showing 1 - 3
of 3
for search: '',
query time: 0.04s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Author: ICTAC (Colloquium)
Call Number: Q - Science
Language: English
Subject: Computer programming
Subject: Formal methods (Computer science)
Institution
Collection
Format
Subject
Author
ICTAC (Colloquium)
3
SpringerLink (Online service)
1
Araki, Keijirō, 1954-
1
Cavalcanti, Ana
1
ICTAC (Colloquium) Guiyang Shi, China)
1
ICTAC (Colloquium) Kuala Lumpur, Malaysia)
more ...
1
ICTAC (Colloquium) Natal, Brazil)
1
Leucker, Martin
1
Liu, Zhiming, 1961-
1
Morgan, Carroll, 1952-
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication