Programming and mathematical method /

Programming and mathematical method /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	NATO Advanced Study Institute on Programming and Mathematical Method Marktoberdorf
Άλλοι συγγραφείς:	Broy, M., 1949- (επιμελητής.)
Μορφή:	Πρακτικό Συνεδρίου Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin : Springer-Verlag, 1992.
Σειρά:	NATO ASI series. Computer and systems sciences 88.
Θέματα:	Ηλεκτρονικοί υπολογιστές > Προγραμματισμός

Παρόμοια τεκμήρια

Mathematical methods in program development /
Έκδοση: (1997)

A method of programming
ανά: Dijkstra, Edsger Wybe
Έκδοση: (1988)

Programming pearls /
ανά: Bentley, Jon Louis
Έκδοση: (1986)

The science of programming
ανά: Gries, David
Έκδοση: (1981)

Systems programming
ανά: Donovan, John J.
Έκδοση: (1972)

Systematic programming An introduction
ανά: Wirth, Niklaus
Έκδοση: (1973)

Introduction to programming a basic approach
ανά: Hare, Van Court
Έκδοση: (1970)

Programs and machines an introduction to the theory of computation
ανά: Bird, Richard 1943-
Έκδοση: (1976)

First steps in programming
ανά: Lee, David
Έκδοση: (1976)

Principles of constraint programming
ανά: Krzysztof, Apt R.
Έκδοση: (2003)

Component-oriented programming
ανά: Wang, Andy Ju An
Έκδοση: (2005)

Visual programming environments paradigms and systems
ανά: Glinert, Ephraim P.
Έκδοση: (1990)

Quality programs for the BBC micro
ανά: Simon
Έκδοση: (1983)

Problem solving and programming concepts /
ανά: Sprankle, Maureen
Έκδοση: (2006)

Multithreaded programming with windows NT
ανά: Pham, Thuan Q.
Έκδοση: (1995)

From logic to logic programming
ανά: Doets, Kees
Έκδοση: (1994)

Introduction to linear and nonlinear programming
ανά: Luenberger, David G.
Έκδοση: (1973)

Ιntroductory computer programming
ανά: Stuart, Fredric
Έκδοση: (1966)

Dynamic, genetic and chaotic programming the sixth - generation
ανά: Soucek, Branko
Έκδοση: (1992)

Assembly language programming on the BBC micro
ανά: Ferguson, John
Έκδοση: (1983)

Advances in programming and non-numerical computation /
Έκδοση: (1966)

NC machine programming and software design
ανά: Chang, Chao-Hwa, κ.ά.
Έκδοση: (1989)

Mathematical theory of computation
ανά: Manna, Zohar
Έκδοση: (2003)

Schaum's outline of theory and problems of computers and programming
ανά: Scheid, Francis 1920-2011
Έκδοση: (1982)

Cognitive models and intelligent environments for learning programming /
Έκδοση: (1993)

Programming the 80286, 80386, 80486 and Pentioum - based personal computer
ανά: Brey, Barry B.
Έκδοση: (1996)

Software system design methods : the challenge of advanced computing technology /
Έκδοση: (1986)

Mathematical foundations of software development : proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985.
Έκδοση: (1985)

Formal Methods and Software Development Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT). Berlin, March 25-29, 1985
Έκδοση: (1985)

Programming the 68000
ανά: Williams, Steve
Έκδοση: (1985)

Inductive logic programming from machine learning to software engineering
ανά: Bergadano, Francesco
Έκδοση: (1995)

An introduction to program design
ανά: Sargent, David
Έκδοση: (1991)

The art of computer programming /
ανά: Knuth, Donald Ervin, 1938-
Έκδοση: (1973)

Programming and algorithmic languages
ανά: Mitnik, Yu
Έκδοση: (1987)

Logic programming formal methods and practical aplications
Έκδοση: (1995)

Introduction to computer systems design : (planning files & programs) /
ανά: Waters, S. J.
Έκδοση: (1974)

Genetic programming on the programming of computers by means of natural selection
ανά: Koza, John R.
Έκδοση: (1992)

Concepts of programming languages
ανά: Sebesta, Robert W.
Έκδοση: (1996)

The art of computer programming /
ανά: Knuth, Donald Ervin, 1938-
Έκδοση: (2005)

Expert systems programming practical techniques for rule-based systems
ανά: Pedersen, Ken
Έκδοση: (1989)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών