27 treff

computer science mathematics congresses
Mathematical foundations of computer science 1993 : 18th international symposium, MFCS'93, Gdańsk, Poland, August 30-September 3, 1993 : proceedings
International Symposium on Mathematical Foundations of Computer Science
Bok Engelsk 1993 · Vis mer
Mathematical foundations of computer science 1992 : 17th international symposium, Prague, Czechoslovakia, August 24-28, 1992 : proceedings
International Symposium on Mathematical Foundations of Computer Science
Bok Engelsk 1992 · Vis mer
CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 1990 · Vis mer
Selected topics in discrete mathematics : proceedings of the Moscow Discrete Mathematics Seminar, 1972-1990
Moscow Discrete Mathematics Seminar
Bok Engelsk 1994 · Vis mer
Combinatorics and computer science : 8th Franco-Japanese and 4th Franco-Chinese conference, Brest, France, July 3-5, 1995 : selected papers

Bok Engelsk 1996 · Vis mer
Constructivity in computer science : proceedings : summer symposium, San Antonio, TX, June 19-22, 1991
J. P. Myers, Jr., M. J. O'Donnell (eds.)
Bok Engelsk 1992 · Vis mer
Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
CTCS '95
Bok Engelsk 1995 · Vis mer
Mathematical foundations of computer science, 1990 : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings
B. Rovan (ed.)
Bok Engelsk 1990 · Vis mer
MFDBS 91 : 3rd Symposium on Mathematical Fundamentals of Database andKnowledge Base Systems, Rostock, Germany, May 6-9, 1991 : proceedings
Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems
Bok Engelsk 1991 · Vis mer
Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings
D. H. Pitt ... [et al.] (eds.)
Bok Engelsk 1991 · Vis mer
Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1996 · Vis mer
Rewriting techniques and applications : 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1997 · Vis mer
Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation
AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic
Bok Engelsk 1989 · Vis mer
Discovery science : first international conference, DS'98, Fukuoka, Japan, December 14-16, 1998 : proceedings
DS'98
Bok Engelsk 1998 · Vis mer
International Workshop on Gate Insulator

Bok Engelsk · Vis mer
Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
R. S. Bird, C. C. Morgan, J. C. P. Woodco...
Bok Engelsk 1993 · Vis mer
Contemporary trends in discrete mathematics : from DIMACS and DIMATIA to the future : DIMATIA-DIMACS conference, May 19-25, 1997, Štiřín Castle, Czech Republic
Ronald L. Graham ... [et al.] editors
Bok Engelsk 1999 · Vis mer
Graph grammars and their application to computer science : 5th international workshop, Williamsburg, VA, USA, November 13-18, 1994 : selected papers

Bok Engelsk 1996 · Vis mer
Computer assisted decision making : expert systems, decision analysis, mathematical programming
edited by Gautam Mitra and Unicom Consult...
Bok Språk ikke angitt 1986 · Vis mer
Symbolic computation : applications to scientific computing
edited by Robert Grossman
Bok Engelsk 1989 · Vis mer
Federalism and disaster response : examining the roles and responsibilities of local, state, and federal agencies : hearing before the Committee on Homeland Security, House of Representatives, One Hundred Ninth Congress, first session, October 19, 2005.
United States.
Bok Engelsk · Vis mer
International bibliography of vegetation maps. 36. Vegetation maps of Africa, South America and The World (general)

Bok Engelsk 1970 · Vis mer
International yearbook of education 1963

Bok Nederlandsk 1963 · Vis mer
Internationalizing "International Communication"

Bok Engelsk · Les boka på nett · Vis mer
The Mathematical revolution inspired by computing : based on the proceedings of a conference on the mathematical revolution inspired by computing, organized by the Institute of Mathematics and its applications and held at Brighton Polytechnic in April 1989
[edited by] J. H. Johnson, M. J. Loomes
Bok Engelsk 1991 · Vis mer
Iterative methods for large linear systems
edited by David R. Kincaid and Linda J. H...
Bok Språk ikke angitt 1990 · Vis mer
Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
M. Main ... [et al.] (eds.)
Bok Engelsk 1990 · Vis mer