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
Remove Filters
Author: *-*
Genre: Conference papers and proceedings
Genre: Dictionaries
Subject: Computer logic
Institution
Collection
Format
Subject
Computer logic
6
Computer science
4
Software engineering
3
Logic, Symbolic and mathematical
3
Programming languages (Electronic computers)
2
Computer networks
more ...
2
Management information systems
1
Artificial intelligence
1
Computer organization
1
Computer programming
1
Computer simulation
1
Computers
1
Domain-specific programming languages
see all ...
less ...
Author
6
SpringerLink (Online service)
1
Bojańczyk, Mikołaj,
1
Cheng, Betty H. C.,
1
Combemale, Benoit,
1
Fischer, Joachim (Computer scientist)
1
France, Robert
more ...
1
Globalizing Domain-Specific Languages (Seminar)
1
Globalizing Domain-Specific Languages (Seminar) Dagstuhl, Wadern, Germany)
1
ICTAC (Colloquium)
1
ICTAC (Colloquium) Cali, Colombia)
1
International Haifa Verification Conference
1
International Haifa Verification Conference Haifa, Israel)
1
Jézéquel, Jean-Marc, 1964-
1
Lasota, Sławomir,
1
Leucker, Martin,
1
Li, Xuandong,
1
Liu, Zhiming, 1961-
1
Piterman, Nir,
1
Potapov, Igor,
1
RP (Workshop)
1
RP (Workshop) Warsaw, Poland)
1
Reed, Rick,
1
Rueda, Camilo,
1
Rumpe, Bernhard,
1
SDL Forum
1
SDL Forum Berlin, Germany)
1
Scheidgen, Markus,
1
Schieferdecker, Ina,
1
Symposium on Dependable Software Engineering: Theories, Tools and Applications
1
Symposium on Dependable Software Engineering: Theories, Tools and Applications Nanjing, China)
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication