Unifying Theories of Programming : :: SCD d'Orléans

Unifying Theories of Programming : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Unifying Theories of Programming : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012. The 8 revised full papers presented together with 2 inv...

Descrizione completa

Salvato in:

Dettagli Bibliografici
Autore principale:	Wolff, Burkhart
Altri autori:	Wolff, Burkhard (Direttore editoriale), Gaudel, Marie-Claude, 1946- (Direttore editoriale), Feliachi, Abderrahmane (Direttore editoriale)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Berlin, Heidelberg : Springer Berlin Heidelberg 2013. Cham : Springer Nature
Serie:	Theoretical Computer Science and General Issues 7681
Soggetti:	Actes de congrès
Accesso online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Unifying Theories of Programming, 9783642357046 • Unifying Theories of Programming, 9783642357060

Documenti analoghi

Foundations of Health Information Engineering and Systems : Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers

Unifying themes in complex cystems. Proceedings of the Seventh International Conference on Complex Systems
Pubblicazione: (2012)

Inductive logic programming : 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers
di: Muggleton, Stephen H.

Programming methodology : 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974
Pubblicazione: (2005)

Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
di: Liu, Zhiming
Pubblicazione: (2013)

Programming language implementation and logic programming : 4th International Symposium, PLILP'92, Leuven, Belgium, August 26 28, 1992 : proceedings

Programming language implementation and logic programming : 5th International Symposium, PLILP '93 Tallinn, Estonia, August 25 27, 1993 : proceedings

International symposium on theoretical programming
Pubblicazione: (2005)

Programming Languages : 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings

Advanced functional programming : 4th international school, AFP 2002, Oxford, UK, August 19-24, 2002 : revised lectures

International symposium on programming : 5th Colloquium, Turin, April 6-8, 1982 : proceedings

Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26 28, 1991 : proceedings

Nonlinear programming. proceedings of the Special Interest Group on Mathematical Programming symposium
Pubblicazione: (1978)

International symposium on programming : 6th Colloquium, Toulouse, April 17-19, 1984 : proceedings
di: Paul, Manfred

Inductive logic programming : 12th international conference, ILP 2002, Sydney, Australia, July 9-11, 2002 : revised papers

International symposium on programming : proceedings of the fourth Colloque International sur la Programmation , Paris, 22 24 April 1980

Optical supercomputing : 4th international workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012 : revised selected papers
di: Dolev, Shlomi

Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings

Digital Forensics and Watermaking : 11th International Workshop, IWDW 2012, Shanghai, China, October 31 November 3, 2012, Revised Selected Papers
di: Shi, Yun Q.
Pubblicazione: (2013)

Critical Information Infrastructures Security : 7th International Workshop, CRITIS 2012, Lillehammer, Norway, September 17-18, 2012, Revised Selected Papers
di: Hämmerli, Bernhard M.
Pubblicazione: (2013)

DNA Computing and Molecular Programming : 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings
di: Soloveichik, David
Pubblicazione: (2013)

Programming symposium : proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974
Pubblicazione: (2005)

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

Research issues in structured and semistructured database programming : 7th International Workshop on Database Programming Languages, DBPL'99, Kinloch, Rannoch, UK, September 1-3, 1999 : revised papers

Programming multi-agent systems : First international workshop, ProMAS 2003, Melbourne, Australia, July 15, 2003 : selected revised and invited papers
di: Dastani, Mehdi

Trends in functional programming : 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, revised selected papers
di: Loidl, Hans Wolfgang

Automata, languages and programming : proceedings of a symposium
Pubblicazione: (1973)

Constraint programming : basics and trends : 1994 Châtillon [22nd] Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers

Computer Vision - ACCV 2012 Workshops : ACCV 2012 International Workshops, Daejeon, Korea, November 5-6, 2012, Revised Selected Papers, Part II
di: Park, Jong-Il
Pubblicazione: (2013)

Computer Vision - ACCV 2012 Workshops : ACCV 2012 International Workshops, Daejeon, Korea, November 5-6, 2012, Revised Selected Papers, Part I
di: Park, Jong-Il
Pubblicazione: (2013)

Database programming languages : 6th international workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997 : proceedings

Functional and logic programming : 4th Fuji International Symposium, FLOPS 99, Tsukuba, Japan, November 11-13, 1999 : proceedings

Programming languages and systems : 7th European Symposium on Programming, ESOP '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 April 4, 1998 : proceedings

Advances in Depth Image Analysis and Applications : International Workshop, WDIA 2012, Tsukuba, Japan, November 11, 2012, Revised Selected and Invited Papers
di: Jiang, Xiaoyi
Pubblicazione: (2013)

Stochastic programming

Clinical Image-Based Procedures. From Planning to Intervention : International Workshop, CLIP 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers
di: Drechsler, Klaus
Pubblicazione: (2013)

Graph drawing : 10th international symposium, GD 2002, Irvine, CA, USA, August 26-28, 2002 : revised papers

Logic programming : 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 August 1, 2002 : proceedings

Logic Programming and Nonmonotonic Reasoning : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
di: Cabalar, Pedro

Inductive logic programming : 9th International Workshop, ILP-99, Bled, Slovenia, June 24 27, 1999 : proceedings

© 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