A calculus of communicating systems / Robin Milner |
Autore | MILNER, Robin |
Pubbl/distr/stampa | Berlin : Springer Verlag, 1980 |
Descrizione fisica | VI, 171 p. : ill. ; 24 cm |
Disciplina | 511.3 |
Collana | Lecture notes in computer science |
Soggetto topico |
Teoria delle macchine
Linguaggi formali |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000483000203316 |
MILNER, Robin | ||
Berlin : Springer Verlag, 1980 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Les systèmes dynamiques discrets / François Robert |
Autore | ROBERT, François |
Pubbl/distr/stampa | Berlin : Springer, c1995 |
Descrizione fisica | 296 p ; 24 cm |
Disciplina | 511.3 |
Collana | Mathématiques & applications |
Soggetto topico |
Teoria delle macchine
Metodi iterativi |
ISBN | 3-540-60086-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | fre |
Record Nr. | UNISA-990000856380203316 |
ROBERT, François | ||
Berlin : Springer, c1995 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Simulated annealing and Boltzmann machines : a sthochastic approach to combinatorial optimization and neural computing / Aarts Emile H., Korst Jan |
Autore | AARTS, Emile |
Pubbl/distr/stampa | Chichester [etc.] : J. Wiley, copyr. 1989 |
Descrizione fisica | XII, 272 p. : ill. ; 25 cm |
Disciplina | 519 |
Altri autori (Persone) | KORST, Jan |
Collana | Wiley interscience series in discrete mathematics and optimization |
Soggetto topico | Teoria delle macchine |
ISBN | 0-471-92146-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990001186100203316 |
AARTS, Emile | ||
Chichester [etc.] : J. Wiley, copyr. 1989 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|