- Sprache
-
Englisch
- Umfang
-
25 S.
- Identifier
-
951452800
- Reihe
-
Dagstuhl-Seminar-Report; 162
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:47 MESZ
Objekttyp
- Monografie
Beteiligte
- Halbwachs, Nicolas
- Internationales Begegnungs- und Forschungszentrum für Informatik
Ähnliche Objekte (12)
Expressiveness in concurrency : 16.09. - 20.09.96
Semantics of programming languages and algebra : 07.06. - 11.06.93
New trends in database languages : 04.03. - 08.03.96
Computational geometry : 10.02. - 14.02.976
Graph transformations in computer science : 09.09. - 13.09.96
Molecular bioinformatics : 10.07. - 14.07.95
Logic for system engineering : 03.03. - 07.03.97
Algorithmic techniques in physics : 15.12. - 19.12.97
Petri nets and business process management : 05.07.1998 - 10.07.1998
Requirements capture, documentation, and validation : 13.06.1999 - 18.06.1999
Semi-formal and formal specification techniques for software systems : 12.07.1998 - 17.07.1998
Systems integration : 14.03.1999 - 19.03.1999
Expressiveness in concurrency : 16.09. - 20.09.96
Semantics of programming languages and algebra : 07.06. - 11.06.93
New trends in database languages : 04.03. - 08.03.96
Computational geometry : 10.02. - 14.02.976
Graph transformations in computer science : 09.09. - 13.09.96
Molecular bioinformatics : 10.07. - 14.07.95
Logic for system engineering : 03.03. - 07.03.97
Algorithmic techniques in physics : 15.12. - 19.12.97
Petri nets and business process management : 05.07.1998 - 10.07.1998
Requirements capture, documentation, and validation : 13.06.1999 - 18.06.1999
Semi-formal and formal specification techniques for software systems : 12.07.1998 - 17.07.1998
Systems integration : 14.03.1999 - 19.03.1999
Expressiveness in concurrency : 16.09. - 20.09.96
Semantics of programming languages and algebra : 07.06. - 11.06.93
New trends in database languages : 04.03. - 08.03.96
Computational geometry : 10.02. - 14.02.976
Graph transformations in computer science : 09.09. - 13.09.96
Molecular bioinformatics : 10.07. - 14.07.95
Logic for system engineering : 03.03. - 07.03.97
Algorithmic techniques in physics : 15.12. - 19.12.97
Petri nets and business process management : 05.07.1998 - 10.07.1998
Requirements capture, documentation, and validation : 13.06.1999 - 18.06.1999
Semi-formal and formal specification techniques for software systems : 12.07.1998 - 17.07.1998