Tietotekniikka

publyear: 1985
1-12 / yhteensä 41
vuosirajaus: 1985 - poista vuosirajaus
cover from: Google Books
Rembold, U.
Methods and Tools for Computer Integrated Manufacturing : Advanced CREST Course on Computer Integrated Manufacturing (CIM 83) Karlsruhe, Germany September 5-16, 1983
by U. Rembold, R. Dillmann.
1985
62060
isbn:9783540129264
no cover image
Mehlhorn, K.
STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985
by K. Mehlhorn.
1985
62072
isbn:9783540139126
cover from: Google Books
Hutchison, D.
Local Area Networks: An Advanced Course : Glasgow, July 11-22, 1983. Proceedings
by D. Hutchison, J.A. Mariani, W.D. Shepherd.
1985
62074
isbn:9783540151913
cover from: Google Books
Ehrig, Hartmut.
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Volume 1: Colloquium on Trees in Algebra and
by Hartmut Ehrig, Christiane Floyd, Maurice Nivat.
1985
62075
isbn:9783540151982
cover from: Google Books
Ehrig, Hartmut.
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Volume 2: Colloquium on Software Engineering (CSE)
by Hartmut Ehrig, Christiane Floyd, Maurice Nivat.
1985
62076
isbn:9783540151999
cover from: Google Books
Rozenberg, G.
Advances in Petri Nets 1984
by G. Rozenberg.
1985
62078
isbn:9783540152040
cover from: Google Books
Sherman, Mark S.
Paragon : A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types
by Mark S. Sherman.
1985
62079
isbn:9783540152125
cover from: Google Books
Barringer, Howard.
A Survey of Verification Techniques for Parallel Programs
by Howard Barringer.
1985
62080
isbn:9783540152392
cover from: Google Books
Nivat, M.
Automata on Infinite Words : Ecole de Printemps d'Informatique Theorique, Le Mont Dore, May 14-18, 1984
by M. Nivat, D. Perrin.
1985
62081
isbn:9783540156413
cover from: Google Books
Parikh, Rohit.
Logics of Programs : Brooklyn, June 17-19, 1985
by Rohit Parikh.
1985
62082
isbn:9783540156482
cover from: Google Books
Brauer, Wilfried.
Automata, Languages and Programming : 12th Colloquium, Nafplion, Greece, July 15-19, 1985. Proceedings
by Wilfried Brauer.
1985
62083
isbn:9783540156505
cover from: Google Books
Stüttgen, Heinrich J.
A Hierarchical Associative Processing System
by Heinrich J. Stüttgen.
1985
62084
isbn:9783540156529
Loading... loading more ...
device_type: computer thumb_size: normal
| grid | |