Computer aided systems theory - EUROCAST '95 : a selection of papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995 : proceedings
This book presents a collection of revised refereed papers selected from the contributions to the Fifth International Workshop on Computer Aided Systems Theory, EUROCAST '95, held in Innsbruck, Austria in May 1995. The 42 full papers contained have been contributed by CAST theoreticians, tool-m...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in computer science
1030 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Computer aided systems theory--EUROCAST '95, a selection of papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995, proceedings, F. Pichler, R. Moreno Díaz, R. Albrecht, eds, 1996, Berlin, Springer, 1 vol. (X-538 p.), Lecture notes in computer science, 3-540-60748-X • Computer Aided Systems Theory - EUROCAST '95, Texte imprimé, 9783662180877 |