Showing 1 - 20
of 75
for search: '"LNCS sublibrary. Theoretical computer science and general issues."',
query time: 0.65s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Subject: Formal methods (Computer science)
Institution
Collection
Format
Subject
Formal methods (Computer science)
18
Computer software Verification
15
Software engineering
14
Computer simulation
14
Temporal automata
12
Formal languages
more ...
9
Machine learning
9
System analysis
8
Computer science Mathematics
8
Robots Programming
7
Object-oriented methods (Computer science)
6
Artificial intelligence
5
Computer software Development
5
Machine theory
4
Computer science
3
Logic, Symbolic and mathematical
2
Computational linguistics
2
Computer programming
2
Computer software Validation
2
Computers, Special purpose
2
Logic design
2
Mathematical linguistics
2
Natural language processing (Computer science)
1
Blockchains (Databases)
1
Computational complexity
1
Computer architecture
1
Computer logic
1
Computer systems
1
Database management
1
Linguistics
see all ...
less ...
Author
75
SpringerLink (Online service)
15
ISoLA (Symposium)
15
Margaria-Steffen, Tiziana, 1964-
13
FORMATS (Conference)
11
DCFS (Workshop)
11
Steffen, Bernhard,
more ...
8
Liu, Shaoying, 1960-
7
SOFL+MSVL (Workshop)
6
Duan, Zhenhua,
6
International Conference on Software Engineering and Formal Methods
5
Steffen, Bernhard
5
WADT (Workshop)
4
ISoLA (Symposium) Kerkyra, Greece)
4
ISoLA (Symposium) Online)
3
ISoLA (Symposium) Limassol, Cyprus)
3
Kutrib, Martin
3
Nagoya, Fumiko,
2
Câmpeanu, Cezar,
2
FG (Conference)
2
FORMATS (Conference) Online)
2
Formal Methods Teaching Workshop and Tutorial
2
ISoLA (Symposium) Ērakleion, Greece)
2
International Conference on Software Engineering and Formal Methods Online)
2
Jirásková, Galina,
2
Jürgensen, Helmut,
2
Konstantinidis, Stavros,
2
Liu, Zhiming, 1961-
2
Morrill, Glyn V.,
2
Okhotin, Alexander,
2
Olderog, E.-R.,
see all ...
less ...
Language
Literary Form
Era
Year of Publication