|
|
|
|
|
1 - 10 of 18 |
|
|
results |
search (Subject headings (XSWW)) computation by abstract devices
|
|
|
|
|
|
1. |
Hybrid systems III : verification and control Alur, Rajeev. - [Online-Ausg.]. - Berlin [u.a.] : Springer, 1996
|
|
|
|
2. |
Parcella '88 : fourth International Workshop on Parallel Processing by Cellular Automata and Arrays, Berlin, GDR, October 17 - 21, 1988 ; proceedings Wolf, Gottfried. - [Online-Ausg.]. - Berlin [u.a.] : Springer, 1989
|
|
|
|
3. |
Distributed algorithms : 3rd international workshop, Nice, France, September 26 - 28, 1989 ; proceedings Bermond, Jean-Claude. - [Online-Ausg.]. - Berlin [u.a.] : Springer, 1989
|
|
|
|
4. |
STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16 - 18, 1986 Monien, Burkhard. - [Online-Ausg.]. - Berlin [u.a.] : Springer, 1986
|
|
|
|
5. |
RIMS Symposia on Software Science and Engineering II : proceedings of the symposia 1983 and 1984, Kyoto, Japan Goto, Eiichi. - [Online-Ausg.]. - Berlin [u.a.] : Springer, 1986
|
|
|
|
6. |
Automata, languages and programming : 13th international colloquium, Rennes, France, July 15 - 19, 1986 ; proceedings Kott, Laurent. - [Online-Ausg.]. - Berlin [u.a.] : Springer, 1986
|
|
|
|
7. |
VLSI algorithms and architectures : Aegean Workshop on Computing, Loutraki, Greece, July 8 -11, 1986 ; proceedings Makedon, Filia. - [Online-Ausg.]. - Berlin [u.a.] : Springer, 1986
|
|
|
|
8. |
STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3 - 5, 1985 Mehlhorn, Kurt *1949-*. - [Online-Ausg.]. - Berlin [u.a.] : Springer, 1985
|
|
|
|
9. |
Logics of programs : Brooklyn, June 17 - 19, 1985 ; proceedings Parikh, Rohit. - [Online-Ausg.]. - Berlin [u.a.] : Springer, 1985
|
|
|
|
10. |
Automata, languages and programming : 12th colloquium, Nafplion, Greece, July 15 - 19, 1985 Brauer, Wilfried *1937-2014*. - [Online-Ausg.]. - Berlin [u.a.] : Springer, 1985
|
|
|
|
|
|
|
1 - 10 of 18 |
|
|
|
|
1 - 10 of 18 |
|
|