Tietotekniikka

publyear: 1993
1-12 / yhteensä 164
vuosirajaus: 1993 - poista vuosirajaus
cover from: Google Books
Computing professionals : changing needs for the 1990s : a workshop report
prepared by the Steering Committee on Human Resources in Computer Science and Technology, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, and Office of Scientific and Engineering Personnel, Na
1993
23339
isbn:0309047900
cover from: Google Books
Bidoit, Michel.
Recent Trends in Data Type Specification : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers
by Michel Bidoit, Christine Choppy.
1993
64168
isbn:9783540563792
cover from: Google Books
Rusinowitch, Michael.
Conditional Term Rewriting Systems : Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings
by Michael Rusinowitch, Jean-Luc Remy.
1993
64169
isbn:9783540563938
cover from: Google Books
Mayr, Ernst W.
Graph-Theoretic Concepts in Computer Science : 18th International Workshop, WG '92, Wiesbaden-Naurod, Germany, June 18-20, 1992. Proceedings
by Ernst W. Mayr.
1993
64170
isbn:9783540564027
cover from: Google Books
Brewka, Gerhard.
Nonmonotonic and Inductive Logic : Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings
by Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt.
1993
64171
isbn:9783540564331
cover from: Google Books
Lamma, Evelina.
Extensions of Logic Programming : Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings
by Evelina Lamma, Paola Mello.
1993
64172
isbn:9783540564546
cover from: Google Books
Hanson, Stephen J.
Machine Learning: From Theory to Applications : Cooperative Research at Siemens and MIT
by Stephen J. Hanson, Werner Remmele, Ronald L. Rivest.
1993
64173
isbn:9783540564836
cover from: Google Books
Nitzberg, Mark.
Filtering, Segmentation and Depth
by Mark Nitzberg, David Mumford, Takahiro Shiota.
1993
64174
isbn:9783540564843
cover from: Google Books
Bochmann, Gregor von.
Computer Aided Verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
by Gregor von Bochmann, David K. Probst.
1993
64175
isbn:9783540564966
cover from: Google Books
Enjalbert, Patrice.
STACS 93 : 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings
by Patrice Enjalbert, Alain Finkel, Klaus W. Wagner.
1993
64176
isbn:9783540565031
cover from: Google Books
Bezem, Marc.
Typed Lambda Calculi and Applications : International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings
by Marc Bezem, Jan F. Groote.
1993
64177
isbn:9783540565178
cover from: Google Books
Bakker, J.W.de.
Semantics: Foundations and Applications : REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings
by J.W.de Bakker, W.-P.de Roever, G. Rozenberg.
1993
64178
isbn:9783540565963
Loading... loading more ...
device_type: computer thumb_size: normal
| grid | |