Suggested Topics... within your search.
Computation By Abstract Devices 15
Programming Techniques 14
Analysis Of Algorithms And Problem Complexity 11
Computación Mediante Dispositivos Abstractos 11
Análisis De Algoritmos Y Problemas De Complejidad 10
Deducción Y Prueba De Teoremas 10
Showing 1 - 20
of 75
for search: '"science"',
query time: 0.12s
Search Tools:
Get RSS Feed
—
Narrow Search
Remove Filters
Suggested Topics: Logics And Meanings Of Programs
Institution
Collection
Format
Author
2
Albers, Susanne B., 1965-
2
Broy, Manfred, 1949-
2
Heering, Jan,
2
Marchetti-Spaccamela, Alberto,
2
Matias, Yossi,
2
Meinke, Karl,
more ...
2
Montanari, Ugo,
2
Nikoletseas, Sotiris,
2
Thomas, Wolfgang,
2
Wirsing, Martin,
1
APLAS 2004 Taipei, Taiwan)
1
APPSEM 2000 Carminha, Portugal)
1
Adian, Segei Ivanovich, 1931-
1
Alagar, Vangalur S., 1940-
1
Alfaro, Luca de, 1966-
1
Alferes, José Júlio, 1966-
1
Alur, Rajeev, 1966-
1
Amadio, Roberto
1
Apt, Krzysztof R., 1949-
1
Araki, Keijiro, 1954-
1
Asian Computing Science Conference Singapore)
1
Azéma, Pierre
1
Baaz, Matthias, 1960-
1
Backhouse, Roland C., 1948-
1
Balbo, Gianfranco
1
Barthe, Gilles, 1967-,
1
Barwise, Jon, 1942-2000
1
Bezem, Marc 1956-
1
Bidoit, Michel, 1957-
1
Biham, Eli
see all ...
less ...
Language
Year of Publication