A discipline of programming :: SCD d'Orléans

A discipline of programming

A discipline of programming

সংরক্ষণ করুন:

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Dijkstra, Edsger Wybe, 1930-2002
বিন্যাস:	Livre papier
ভাষা:	Anglais
প্রকাশিত:	Englewood Cliffs (N.J.) : Prentice-Hall C 1976.
মালা:	Prentice-Hall series in automatic computation
বিষয়গুলি:	Ordinateurs Langages de programmation > sémantique
Autres localisations:	Voir dans le Sudoc

অনুরূপ উপাদানগুলি

Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings

Programming language pragmatics
অনুযায়ী: Scott, Michael Lee, 1959-
প্রকাশিত: (2015)

Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings

Programming languages, information structures and machine organization
অনুযায়ী: Wegner, Peter, 19..-
প্রকাশিত: (1971)

Programming Kotlin : creating elegant, expresive, and performant JVM and Android applications
অনুযায়ী: Subramaniam, Venkat
প্রকাশিত: (2019)

A primer on scientific programming with Python
অনুযায়ী: Langtangen, Hans Petter, 1962-2016

Mathematical foundations of programming semantics : 7th International conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings
অনুযায়ী: Brookes, Stephen

Practical aspects of declarative languages : 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings

Practical aspects of declarative languages : ; proceedings 6th international symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004
অনুযায়ী: Jayaraman, Bharat

Practical Aspects of Declarative Languages : 4th International Symposium, PADL 2002, Portland, OR, USA, January 19 20, 2002 : proceedings

Structured programming and problem-solving with PASCAL
অনুযায়ী: Kieburtz, Richard B., 1933-
প্রকাশিত: (1978)

Functional programming languages and computer architecture : Portland, Oregon, USA, September 14-16, 1987 : proceedings

Induction, recursion, and programming
অনুযায়ী: Wand, Mitchell
প্রকাশিত: (1980)

Languages and compilers for parallel computing : 12th International Workshop, LCPC 99 La Jolla, CA, USA, August 4 6, 1999 : proceedings

Functional programming languages and computer architecture : 5th ACM conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings

Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings

Programming languages implementation and logic programming : [first] International Workshop PLILP '88 Orléans, France, May 16 18, 1988 : proceedings

Genetic programming and evolvable machines.
প্রকাশিত: (2002)

Programming constraint services : high-level programming of standard and new constraint services
অনুযায়ী: Schulte, Christian, 19..-

Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings

Practical aspects of declarative languages : second InternationalWorkshop, PADL 2000, Boston, MA, USA, January 17 18, 2000 : proceedings

Internet programming languages : ICCL 98 Workshop, Chicago, IL, USA, May 13, 1998 : proceedings

Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16 18, 2001 : proceedings

Modular programming languages : Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003 : proceedings

Programming computer vision with Python
অনুযায়ী: Solem, Jan Erick
প্রকাশিত: (2012)

Symposium on semantics of algorithmic languages
অনুযায়ী: Engeler, Erwin, 1930-
প্রকাশিত: (1971)

Modular programming languages : Joint Modular Languages Conference, JMLC '97, Linz, Austria, March 19 21, 1997 : proceedings

Reasoning with logic programming
অনুযায়ী: Alferes, José Júlio, 1966-, অন্যান্য

Programming with Qt
অনুযায়ী: Dalheimer, Matthias Kalle
প্রকাশিত: (2002)

Principles and practice of declarative programming : International Conference, PPDP 99, Paris, France, September, 29 - October 1, 1999 : proceedings

Advanced functional programming : second international school, Olympia, WA, USA, August 26-30, 1996 : tutorial text

Modular programming languages : Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000 : proceedings

Advanced functional programming : first International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995 : tutorial text

Programming language implementation and logic programming : 6th International Symposium, PLILP '94 Madrid, Spain, September 14 16, 1994 : proceedings

Logic programming '85 : proceedings of the 4th Conference, Tokyo, Japan, July 1 3, 1985

Semirings for soft constraint solving and programming
অনুযায়ী: Bistarelli, Stefano

Automata, languages, and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings

Attribute grammars, applications and systems : international summer school, Prague, Czechoslovakia, June 4-13, 1991 : proceedings

Mastering embedded Linux programming : harness the power of Linux to create versatile and robust embedded solutions
অনুযায়ী: Simmonds, Chris, 19..-, অন্যান্য
প্রকাশিত: (2015)

The data parallel programming model : foundations, HPF realization, and scientific applications
অনুযায়ী: Perrin, Guy-René

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales