Formalization of programming concepts /

Formalization of programming concepts /

41

Bibliografische gegevens
Hoofdauteurs:	International Colloquium on Formalization of Programming Concepts (1981 : Peniscola, Spain), Diaz, J. (Josep), 1950-, Ramos, I. (Isidro), 1943-
Formaat:
Gepubliceerd in:	Berlin : Springer-Verlag, 1981
Onderwerpen:	Programming (Mathematics)

Gelijkaardige items

Survey of mathematical programming /
door: International Mathematical Programming Symposium (1976 : Budapest), et al.
Gepubliceerd in: (1979)

Mathematical programming /
door: International Congress on Mathematical Programming (1981 : Rio de Janeiro, Brazil), et al.
Gepubliceerd in: (1984)

Mathematical programming/
door: Advanced seminar on Mathematical Programming 1972 : Madison, Wisconsin), et al.
Gepubliceerd in: (1973)

Multiobjective programming and goal programming : theoretical results and practical applications /
door: International Conference on Multi-Objective Programming and Goal Programming (7th : 2006 : Tours, France), et al.
Gepubliceerd in: (2009)

Computational mathematical programming/
door: Schittkowski, Klaus, et al.
Gepubliceerd in: (1985)

Mathematical programming : the state of the art /
door: Bachem, A., et al.
Gepubliceerd in: (1983)

Princeton symposium on mathematical programming, Princeton university, August 14-18, 1967 proceedings of the Princeton Symposium on mathematical programming /
door: 475854 Princeton symposium on mathematical programming, Princeton University, August 14 - 18,1967
Gepubliceerd in: (1970)

Automata, languages and programming : proceedings /
door: 11198 International Colloquium on Automata, Languages and Programming, et al.
Gepubliceerd in: (1974)

Mathematical programming with data perturbations I/
door: Symposium on Mathematical Programming with Data Perturbation ( 1979 : George Washington University), et al.
Gepubliceerd in: (1982)

Mathematical programming in theory and practice /
door: NATO Advanced Study Institute on Mathematical Programming in Theory and Practice (1972 : Figueira da Foz, Portugal), et al.
Gepubliceerd in: (1974)

Foundations of mathematical programming/
door: Claycombe, William W., 1943-
Gepubliceerd in: (1975)

Conpar 81 : analysing problem classes and programming for parallel computing /
door: Conference on Analysing Problem Classes and Programming for Parallel Computing (1981 : Nurnberg), et al.
Gepubliceerd in: (1981)

Mathematical programming with data perturbations 11/ edited by Anthony V Fiacco
door: Fiacco, Anthony V., et al.
Gepubliceerd in: (1983)

Semi-infinite programming /
door: Workshop on Semi-Infinite Programming (1978 : Bad Honnef), et al.
Gepubliceerd in: (1979)

An introduction to formal program verification /
door: 208742 Mili, Ali
Gepubliceerd in: (1985)

Computer programming and formal systems /
door: Braffort, P., et al.
Gepubliceerd in: (1963)

Formal description of programming concepts /
door: 282483 Neuhold, Erich J.

Structural stability in physics : applications of catastrophe theory and topological concepts in physics /
door: International Symposia an Applications of Catastrophe Theory and Topological Concepts in Physics (1978 : Tubingen), et al.
Gepubliceerd in: (1978)

Formal Verification of Programs in Functional Dataflow Parallel Language
door: M. S. Kropacheva, et al.
Gepubliceerd in: (2015-03-01)

Automation of Formal Veriﬁcation of Programs in the Pifagor Language
door: M. S. Ushakova, et al.
Gepubliceerd in: (2015-08-01)

Logic programming : formal methods and practical applications /
door: Beierle, Christoph, et al.
Gepubliceerd in: (1995)

Concave programming and piece-wise linear programming /
door: 433128 Rozvany, George I. N.
Gepubliceerd in: (1970)

Programming : proceedings/
door: International Symposium on Programming (4th : 1980 : Paris), et al.
Gepubliceerd in: (1980)

Nonlinear programming 3 : proceedings of the symposium on nonlinear programming
door: 196022 Symposium on Nonlinear Programming, 3rd

Dynamic programming and its applications : proceedings of the international conference on dynamic programming and its applications
door: 198718 International Conference on Dynamic Programming and its Applications, et al.
Gepubliceerd in: (1978)

Logic programming /
door: Lassez, Jean-Loius, et al.
Gepubliceerd in: (1987)

Logic programming : 23rd international conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 ; proceedings /
door: 474083 International Conference on Logic Programming (23rd : 2007 : Porto, Portugal), et al.
Gepubliceerd in: (2007)

Logic programming /
door: Levi, Giorgio, et al.
Gepubliceerd in: (1989)

Introduction to mathematical programming /
door: 397223 Hillier, Frederick S., et al.
Gepubliceerd in: (1995)

Formal specification of interactive graphics programming languages /
door: 456219 Mallgren, William R.
Gepubliceerd in: (1983)

Mathematical programming /
door: 170397 Mcmillan, Claude
Gepubliceerd in: (1975)

Mathematical programming
Gepubliceerd in: (1980)

Logic programming : proceedings of the fifth international conference and symposium /
door: Kowalski, Robert, et al.
Gepubliceerd in: (c198)

Mathematical programming at Obervolfach/
door: Konig, H., et al.
Gepubliceerd in: (1981)

Mathematical programming in use /
door: Balinski, M. L., et al.
Gepubliceerd in: (1978)

Applied mathematical programming /
door: 195550 Bradley, Stephen P., et al.
Gepubliceerd in: (1977)

Mathematical programming [mikrofilem]
Gepubliceerd in: (1971)

Introduction to dynamic programming /
door: 203908 Nemhauser, George L.
Gepubliceerd in: (1966)

Applied programming for management /
door: Loomba, N. Paul (Narendra Paul), 1927-, et al.
Gepubliceerd in: (1974)

Introduction to mathematical programming /
door: 443453 Winston, Wayne L., et al.
Gepubliceerd in: (2003)