| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990003004630403321 |
|
|
Titolo |
Adaptive Economic Models : Proceedings of a Symposium Conducted by the Mathematics Research Center, University of Wisconsin-Madison, October 21-23, 1974 / edited by Richard H.Day, Theodore Groves. |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York ; San Francisco ; London : Academic Press, 1975 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Mathematics Research Center / The University of Wisconsin-Madison ; 34 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA990009236220403321 |
|
|
Titolo |
Model Checking Software [Risorsa elettronica] : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings / edited by Dragan Bošnacki, Stefan Edelkamp |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; Heidelberg : Springer, 2007 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science , 0302-9743 ; 4595 |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Risorsa elettronica |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |