Cognitive models and intelligent environments for learning programming /
| Corporate Authors: | SpringerLink (Online service), North Atlantic Treaty Organization. Scientific Affairs Division, NATO Advanced Research Workshop on Cognitive Models and Intelligent Environments for Learning Programming |
|---|---|
| Other Authors: | Lemut, Enrica, 1942- (Editor), Du Boulay, Ben (Editor), Dettori, Giuliana, 1955- (Editor) |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin :
Springer,
[1993]
|
| Series: | NATO ASI series. Computer and systems sciences ;
no. 111. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Language design and programming methodology : proceedings of a symposium held at Sydney, Australia, 10-11 September 1979 /
Published: (1980)
Published: (1980)
ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings /
Published: (1992)
Published: (1992)
Logics of Programs : Workshop, Yorktown Heights, New York, May 1981 /
Published: (1982)
Published: (1982)
Programming Symposium : proceedings. Colloque sur la programmation, Paris, April 9-11, 1974 /
Published: (1974)
Published: (1974)
Semantics, applications, and implementation of program generation : International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 : proceedings /
Published: (2000)
Published: (2000)
An introduction to digital computing
by: George, F. H. (Frank Honywill), 1921-1997
Published: (1966)
by: George, F. H. (Frank Honywill), 1921-1997
Published: (1966)
ESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986 : proceedings /
Published: (1986)
Published: (1986)
A connotational theory of program structure /
by: Royer, James S.
Published: (1987)
by: Royer, James S.
Published: (1987)
Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings /
Published: (1981)
Published: (1981)
An introduction to programming with specifications : a mathematical approach /
by: Kubiak, Ryszard
Published: (1991)
by: Kubiak, Ryszard
Published: (1991)
Computer programming and formal systems
Published: (1963)
Published: (1963)
Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
Published: (2001)
Published: (2001)
Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings /
Published: (1994)
Published: (1994)
Language hierarchies and interfaces : international summer school /
Published: (1976)
Published: (1976)
Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings /
Published: (1994)
Published: (1994)
Programming methodology : 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974 /
Published: (1975)
Published: (1975)
International Symposium on Theoretical Programming : [Proceedings held on August 7-11, 1972] /
Published: (1974)
Published: (1974)
Static analysis : 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings /
Published: (2001)
Published: (2001)
The art of computer programming /
by: Knuth, Donald Ervin, 1938-
Published: (1968)
by: Knuth, Donald Ervin, 1938-
Published: (1968)
Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 /
Published: (1983)
Published: (1983)
Software engineering : COINS III: proceedings of the Third Symposium on Computer and Information Sciences held in Miami Beach, Florida, December, 1969 /
Published: (1970)
Published: (1970)
ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings /
Published: (1990)
Published: (1990)
Programming.
Published: (2015)
Published: (2015)
The evolution of programs /
by: Dershowitz, Nachum
Published: (1983)
by: Dershowitz, Nachum
Published: (1983)
Genetic programming : 9th European conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006 : proceedings /
Published: (2006)
Published: (2006)
Simple program schemes and formal languages /
by: Engelfriet, Joost
Published: (1974)
by: Engelfriet, Joost
Published: (1974)
Programming languages : implementations, logics, and programs : 7th international symposium, PLILP '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /
Published: (1995)
Published: (1995)
Computing in object-oriented parallel environments : Second International Symposium, ISCOPE 98, Santa Fe, NM, USA, December 8-11, 1998 : proceedings /
Published: (1998)
Published: (1998)
Want to rule Silicon Valley? : first, learn to code /
Published: (2013)
Published: (2013)
Program construction : international summer school /
Published: (1979)
Published: (1979)
Intensional logics for programming /
Published: (2023)
Published: (2023)
Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures /
Published: (2002)
Published: (2002)
Programming fundamentals : introductions to functions.
Published: (2017)
Published: (2017)
Programming fundamentals : a function template.
Published: (2017)
Published: (2017)
Programming fundamentals : functions in separate files.
Published: (2017)
Published: (2017)
OpenMP shared memory parallel programming : International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 : proceedings /
Published: (2001)
Published: (2001)
The complexities of coding made simple /
Published: (2013)
Published: (2013)
Constraint programming : basics and trends : 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers /
Published: (1995)
Published: (1995)
Programming fundamentals : nested for loops.
Published: (2017)
Published: (2017)
Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings /
Published: (1994)
Published: (1994)