SOFSEM'98 : :: SCD d'Orléans

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'98 : theory and practice of informatics : 25th Conference on Current Trends in Theory and Practice of Informatics, Jasná, Slovakia, November 21 27, 1998 : proceedings

Uloženo v:

Podrobná bibliografie
Korporativní autor:	International Conference on Current Trends in Theory and Practice of Informatics :Jasná, Slovaquie
Další autoři:	Rovan, Branislav, 1947- (Šéfredaktor, odpovědný redaktor)
Médium:	Livre numérique
Jazyk:	Anglais
Vydáno:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Edice:	Lecture notes in computer science 1521
Témata:	Génie logiciel Informatique Réseaux d'ordinateurs Logiciels Ordinateurs Actes de congrès
On-line přístup:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Poznámka:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• SOFSEM'98, theory and practice of informatics, 25th Seminar on Current Trends in Theory and Practice of Informatics, Jasná, Slovakia, November 21-27, 1998, proceedings, Branislav Rovan, ed, 1998, Berlin, Springer, 1 vol. (XI-452 p.), Lecture notes in computer science, 3-540-65260-4 • SOFSEM '98: Theory and Practice of Informatics, Texte imprimé, 9783662166802

Podobné jednotky

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

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

SOFSEM 2000 : theory and practice of informatics : 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25 December 2, 2000 : 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

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'97 : theory and practice of informatics : 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22 29, 1997 : proceedings

SOFSEM '95 : theory and practice of informatics : 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic November 23 December 1, 1995 : proceedings

ECOOP '98 - object-oriented programming : 12th European Conference Brussels, Belgium, July 20 24, 1998 : 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

Application and theory of Petri nets 1999 : 20th International Conference, ICATPN 99, Williamsburg, Virginia, USA, June 21 25, 1999 : proceedings

Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings

Application on Theory of Petri Nets 1998 : 19th International conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998 : proceedings

Application and theory of Petri Nets 2000 : ; proceedings 21st international conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000

Applications and Theory of Petri Nets 2004 : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21 25, 2004. Proceedings
Autor: Cortadella, Jordi, 1962-

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

Interactive multimedia on next generation networks : First International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2003, Naples, Italy, November 18-21, 2003 : proceedings

Language, compilers, and run-time systems for scalable computers : 4th International Workshop, LCR'98, Pittsburgh, PA, USA, May 1998 : selected papers

Euro-Par 99 parallel processing : 5th International Euro-Par Conference Toulouse, France, August 31 September 3, 1999 : proceedings

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

Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

Trends in distributed systems : towards a universal service market : Third International IFIP/GI Working Conference, USM 2000, Munich, Germany, September 12-14, 2000 proceedings

Algebraic methods : theory, tools and applications

Engineering societies in the agents world IV : 4th international workshop, ESAW 2003, London, UK, October 29-31, 2003 : revised selected and invited papers
Autor: Omicini, Andrea, 1965-

SOFSEM 2004 : theory and practice of computer science : 30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 24-30, 2004 : proceedings
Autor: Emde Boas, Peter van

Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8 12, 2002 : proceedings

Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

Tools and algorithms for the construction and analysis of systems : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 11, 2003 : proceedings

Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings

Coordination models and languages : 6th international conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004 : proceedings
Autor: De Nicola, Rocco

Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
Autor: Godefroid, Patrice, 19..-

Mobile data management : second international conference, MDM 2001, Hong Kong, China, January 2001 : proceedings

Algebraic methods II : theory, tools and applications

Iterative software engineering for multiagent systems : the MASSIVE method
Autor: Lind, Jürgen, 1968-

High-Performance Computing and Networking : International Conference and Exhibition, HPCN EUROPE 1996, Brussels, Belgium, April 15-19, 1996 : proceedings

Conceptual modeling - ER 2001 : 20th International Conference on Conceptual Modeling Yokohama, Japan, November 27 30, 2001 : proceedings

Formal techniques for networked and distributed systems : FORTE 2004 : 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004 : proceedings

Unifying Petri nets : advances in Petri nets
Autor: Ehrig, Hartmut, 1944-

Petri net technology for communication-based systems : advances in Petri nets
Autor: Ehrig, Hartmut, 1944-

Mobile agents : Second International Workshop, MA '98, Stuttgart, Germany, September 9-11, 1998 : proceedings

Mobile data management : 4th international conference, MDM 2003, Melbourne, Australia, January 21-24, 2003 : 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