Mathematics of program construction proceedings of the ...held July 3 - 5, 2000

Mathematics of program construction proceedings of the ...held July 3 - 5, 2000

Saved in:

Bibliographic Details
Corporate Author:	International conference
Format:	Book
Published:	Berlin Springer 2000
Series:	Lecture notes in computer science 1837
Subjects:	Computer science > Congresses > Congresses > Mathematics Computer programming > Congresses > Mathematics > Congresses
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Computer mathematics proceedings of the Special Program at Nankai Institute of Mathematics
Published: (1993)

Mathematics and computer science proceedings of the CWI symposium, November 1983
Published: (1986)

MFDBS 89 2nd Symposium on Mathematical Fundame ntals of Database Systems, Visegrad, Hungary, June 26-30, 1989 : proceedings
Published: (1989)

Advances in Mathematics Scientific Developments and Engineering Applications
by: S. Lakshmi, et al.
Published: (2010)

Advances in Mathematics Scientific Developments and Engineering Applications
Published: (2010)

Mathematical software proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002
Published: (2002)

Computer assisted decision making expert systems, decision analysis, mathematical programming
Published: (1986)

Optimization in industry 2 mathematical programming and modeling techniques in practice
Published: (1994)

Semantics, applications, and implementation of program generation proceedings of the ...held September 20, 2000
Published: (2000)

Natural language understanding and logic programming proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984
Published: (1985)

Rewriting techniques and applications proceedings of the ...held July 10 - 12, 2000
Published: (2000)

Optimization in industry 3 mathematical programming and modeling techniques in practice
Published: (1995)

Frontiers of combining systems proceedings of the ...held March 22 - 24, 2000
Published: (2000)

Simulation and modeling methodologies, technologies and applications International Conference, SIMULTECH 2011 Noordwijkerhout, the Netherlands, July 29-31, 2011
Published: (2013)

Compiler construction proceedings of the ... held October 5-7, 1992
Published: (1992)

Modeling and simulation. Proceedings of ...
Published: (1973)

EXTENDING THE HORIZONS ADVANCES IN COMPUTING, OPTIMIZATION, AND DECISION TECHNOLOGIES
Published: (2007)

Modular programming languages proceedings of the...held September 6 - 8, 2000
Published: (2000)

Scientific software systems based on the proceedings of the International Symposium on Scientific Software and Systems, held at Royal Military College of Science, Shrivenham, July 1988
Published: (1990)

Mathematical and Computational Models Recent Trends
Published: (2010)

Research issues in structured and semistructured database programming proceedings of ... 1-3 September 1999
Published: (2000)

Logic and computer science
Published: (1990)

Static analysis proceedings of the ... held on the 16-18 July 2001
Published: (2001)

Vision algorithms theory and practice proceedings of the ...held September 21 - 22, 1999
Published: (2001)

Semantics, applications, and implementation of program generation proceedings of the...held September 6, 2001
Published: (2001)

Algorithmic aspects in information and management third international conference, AAIM 2007, Portland, OR, USA, June 6-8, 2007 : proceedings
Published: (2007)

ECOOP 2000-Object oriented programming proceedings of the ...held June 12 - 16, 2000
Published: (2000)

Information security and privacy proceedings of the ...held July 10 - 12, 2000
Published: (2000)

Asian Mathematical Conference proceedings of ... held August 14-18, 1990
Published: (1992)

Discrete event modeling and simulation technologies a tapestry of systems and AI-based theories and methodologies
Published: (2001)

Second annual Pittsburgh conference on modeling and simulation
Published: (1971)

Computer animation and simulation 2001 proceedings of the ...held September 2 - 3, 2001
Published: (2001)

Generic programming selected papers of the ... held on the 27 April - 1st May 1998
Published: (2000)

PROCEEDING BOOK INTERNATIONAL CONFERENCE ON APPLIED ANALYSIS AND ALGEBRA
Published: (2012)

Logic from computer science proceedings of a ... held November 13-17, 1989
Published: (1992)

COLOG-88 International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
Published: (1990)

Database applications semantics proceedings of the ... held May 30 - June 2, 1995
Published: (1997)

High-level parallel programming models and supportive environments proceeding of the ...held April 23, 2001
Published: (2001)

Metalevel architectures and separation of crosscutting concerns proceedings of the ...held September 25 - 28, 2001
Published: (2001)

Functional and logic planning proceedings of the ... held March 7-9, 2001
Published: (2001)