Info
Logic and algebra of specification / edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
| Logic and algebra of specification / edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, c1993 |
| Descrizione fisica | 442 p. ; 25 cm |
| Disciplina |
004.01
004.015113 |
| Collana | NATO ASI series, . Series F, Computer and systems sciences |
| Soggetto topico |
LOGICA MATEMATICA - CONGRESSI - 1991
Informatica - Metodi matematici CONGRESSI - MARKTOBERDORF - 1991 |
| ISBN |
0387558136
3540558136 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10001456 |
| Berlin [etc.], : Springer, c1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Modern computer algebra / Joachim von zur Gathen and Jurgen Gerhard
| Modern computer algebra / Joachim von zur Gathen and Jurgen Gerhard |
| Autore | Gathen, Joachim : von zur |
| Pubbl/distr/stampa | Cambridge, : Cambridge university press, 1999 |
| Descrizione fisica | XIII, 753 p. : ill. ; 26 cm |
| Disciplina | 512.00285 |
| Altri autori (Persone) | Gerhard, Jürgen <1967- > |
| Soggetto topico |
Algebra - Elaborazione elettronica
Informatica - Metodi matematici |
| ISBN | 0521641764 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-TO00899413 |
Gathen, Joachim : von zur
|
||
| Cambridge, : Cambridge university press, 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Petri nets for systems engineering : a guide to modeling, verification, and applications / Claude Girault, Rüdiger Valk
| Petri nets for systems engineering : a guide to modeling, verification, and applications / Claude Girault, Rüdiger Valk |
| Autore | Girault, Claude |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, 2010 |
| Descrizione fisica | XVI, 607 p. : ill. ; 24 cm |
| Disciplina |
004.01
004.0151 |
| Altri autori (Persone) | Valk, Rudiger |
| Soggetto topico | Informatica - Metodi matematici |
| ISBN | 9783642074479 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0512982 |
|
Girault, Claude
|
||
| Berlin [etc.], : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Probability and statistics for computer science / James L. Johnson
| Probability and statistics for computer science / James L. Johnson |
| Autore | Johnson, James Lee <1942- > |
| Pubbl/distr/stampa | Hoboken, : Wiley Interscience, c2008 |
| Descrizione fisica | XVI, 744 p. ; 24 cm. |
| Disciplina |
004.01
004.0151 |
| Soggetto topico |
Informatica - Metodi matematici
Probabilità Statistica - Metodi matematici |
| ISBN | 9780470383421 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-UBO3562947 |
|
Johnson, James Lee <1942- >
|
||
| Hoboken, : Wiley Interscience, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Probability with R : an introduction with computer science applications / Jane M. Horgan
| Probability with R : an introduction with computer science applications / Jane M. Horgan |
| Autore | Horgan, Jane M. <1947- > |
| Pubbl/distr/stampa | Hoboken (N.J.), : Wiley, 2009 |
| Descrizione fisica | XVIII, 393 p. ; 25 cm |
| Disciplina |
004.01
004.015113 |
| Soggetto topico |
Informatica - Metodi matematici
Probabilità Microelaboratori elettronici - Programmazione - Linguaggio R |
| ISBN | 9780470280737 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNISANNIO-USM1830987 |
|
Horgan, Jane M. <1947- >
|
||
| Hoboken (N.J.), : Wiley, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
