Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Relational and Algebraic Methods in Computer Science [[electronic resource] ] : 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings / / edited by Jules Desharnais, Walter Guttmann, Stef Joosten
| Relational and Algebraic Methods in Computer Science [[electronic resource] ] : 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings / / edited by Jules Desharnais, Walter Guttmann, Stef Joosten |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVI, 385 p. 30 illus.) |
| Disciplina | 511.324 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Artificial intelligence Computer science Compilers (Computer programs) Computer programming Numerical analysis Formal Languages and Automata Theory Artificial Intelligence Computer Science Logic and Foundations of Programming Compilers and Interpreters Programming Techniques Numerical Analysis |
| ISBN | 3-030-02149-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- Theoretical Foundations -- Reasoning about Computations and Programs -- Applications and Tools. |
| Record Nr. | UNISA-996466455803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Relational and Algebraic Methods in Computer Science : 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings / / edited by Jules Desharnais, Walter Guttmann, Stef Joosten
| Relational and Algebraic Methods in Computer Science : 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings / / edited by Jules Desharnais, Walter Guttmann, Stef Joosten |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVI, 385 p. 30 illus.) |
| Disciplina |
511.324
004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Artificial intelligence Computer science Compilers (Computer programs) Computer programming Numerical analysis Formal Languages and Automata Theory Artificial Intelligence Computer Science Logic and Foundations of Programming Compilers and Interpreters Programming Techniques Numerical Analysis |
| ISBN | 3-030-02149-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- Theoretical Foundations -- Reasoning about Computations and Programs -- Applications and Tools. |
| Record Nr. | UNINA-9910349395603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||