Algebraic methods : :: SCD d'Orléans

Algebraic methods : theory, tools and applications

Algebraic methods : theory, tools and applications

Shranjeno v:

Bibliografske podrobnosti
Korporativna značnica:	Workshop on algebraic methods, theory, tools and applications :Passau, Allemagne
Drugi avtorji:	Wirsing, Martin, 1948- (Directeur de la publication), Bergstra, Johannes Aldert, 1951- (Directeur de la publication)
Format:	Livre numérique
Jezik:	Anglais
Izdano:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serija:	Lecture notes in computer science 394
Teme:	Génie logiciel Informatique Langages de programmation Ordinateurs Réseaux d'ordinateurs Logiciels > Développement Algèbre Actes de congrès
Online dostop:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Sporočilo:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Algebraic methods, theory, tools and applications, M. Wirsing, J.A. Bergstra (eds.), Berlin, Springer-Verlag, 1989, 1 vol. (VI-558 p.), Lecture notes in computer science, 3-540-51698-0 • Algebraic Methods: Theory, Tools and Applications, Texte imprimé, 9783662193068

Podobne knjige/članki

Algebraic methods II : theory, tools and applications

Reliable software technologies : Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedings
od: Llamosí, Albert

Reliable software technologies - Ada-Europe 2003 : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16 20, 2003 : proceedings

Reliable software technologies - Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10 14, 1996 : proceedings

Reliable software technologies : Ada Europe 2000 : 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000 : proceedings

Reliable software technologies - Ada-Europe '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2 6, 1997 : proceedings

Reliable software technologies : Ada-Europe 2002 : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : proceedings

Software engineering and middleware : third international workshop, SEM 2002, Orlando, FL, USA, May 20-21, 2002 : revised papers

Reliable software technologies - Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14 18, 2001 : proceedings

Lectures on formal methods and performance analysis : first EEF Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures

Reliable software technologies - Ada-Europe 99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7 11, 1999 : proceedings

ECOOP 99 - object oriented programming : 13th European Conference Lisbon, Portugal, June 14 18, 1999 : proceedings

ECOOP 2001 - object-oriented programming : 15th European Conference Budapest, Hungary, June 18 22, 2001 : proceedings

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

SOFSEM'98 : theory and practice of informatics : 25th Conference on Current Trends in Theory and Practice of Informatics, Jasná, Slovakia, November 21 27, 1998 : proceedings

SOFSEM'99 : theory and practice of informatics : 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999 : proceedings

Telecommunications and beyond : the broader applicability of SDL and MSC : third international workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002 : revised papers

Software and compilers for embedded systems : 8th international workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004 : proceedings

Software and compilers for embedded systems : 7th international workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003 : proceedings

High-level parallel programming models and supportive environments : 6th international workshop, HIPS 2001, San Francisco, CA, USA, April 23, 2001 : proceedings

Coordination languages and models : second international conference, COORDINATION '97, Berlin, Germany, September 1-3, 1997 : proceedings

Middleware 2001 : IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12 16, 2001 : proceedings

Middleware 2004 : ACM/IFIP/USENIX International Middleware Conference, Toronto, Canada, October 18-22, 2004 : roceedings
od: Jacobsen, Hans-Arno, 1969-

Middleware 2003 : ACM/IFIP/USENIX International Middleware Conference Rio de Janeiro, Brazil, June 16 20, 2003 : proceedings

SOFSEM 2002 : theory and practice of informatics : 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22 29, 2002 : proceedings

Advances in computing science ASIAN 2003 : programming languages and distributed computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003 : proceedings

Scientific engineering of distributed Java applications : Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003 : revised papers
od: Guelfi, Nicolas, 1965-

Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings

Tools and algorithms for the construction and analysis of sytems : 4th International Conference, TACAS '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

Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings

Approaches to intelligent agents : Second Pacific Rim International Workshop on Multi-Agents, PRIMA 99, Kyoto, Japan, December 2-3, 1999 : proceedings
od: Nakashima, Hideyuki

Agent-oriented software engineering III : third international workshop AOSE 2002, Bologna, Italy, July 15, 2002 : revised papers and invited contributions

ECOOP 2000 - object-oriented programming : 14th European Conference Sophia Antipolis and Cannes, France, June 12 16, 2000 : proceedings

Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings

Algebraic and coalgebraic methods in the mathematics of program construction : international Summer school and workshop, Oxford, UK, April 10-14, 2000 : revised lectures

Metalevel architectures and separation of crosscutting concerns : third international conference, REFLECTION 2001 Kyoto, Japan, September 25 28, 2001 : proceedings

Distributed memory computing : 2nd European Conference, EDMCC2, Munich, FRG, April 22-24, 1991 : proceedings

SOFSEM'96 : theory and practice of informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 30, 1996 : proceedings

SOFSEM 2001 : theory and practice of informatics : 28th Conference on Current Trends in Theory and Practice of Informatics, Piešt any, Slovak Republic, November 24 December 1, 2001 : proceedings

Active networks : First International Working Conference, IWAN 99, Berlin, Germany, June 30 - July 2, 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