| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990004044100403321 |
|
|
Autore |
Palagiano, Cosimo <1939- > |
|
|
Titolo |
Cartografia e territorio nei secoli / Cosimo Palagiano, Angela Asole, Gabriella Arena |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Studi superiori NIS , Geografia ; 4 |
|
|
|
|
|
|
Altri autori (Persone) |
|
Asole, Angela |
Arena, Gabriella <1948-2011> |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliografia: p. [185]-192 |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910483392703321 |
|
|
Titolo |
Functional and Logic Programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings / / edited by Michael Codish, Eijiro Sumii |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2014.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVI, 353 p. 81 illus.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 8475 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer science |
Compilers (Computer programs) |
Machine theory |
Artificial intelligence |
Computer programming |
Software Engineering |
Computer Science Logic and Foundations of Programming |
Compilers and Interpreters |
Formal Languages and Automata Theory |
Artificial Intelligence |
Programming Techniques |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 12th International Symposium on Functional and Logic Programming, FLOPS 2014, held in Kanazawa, Japan, in June 2014. The 21 full papers and 3 invited talks presented in this volume were carefully reviewed and selected from 41 submissions. They deal with declarative programming, including functional programming and logic programming. |
|
|
|
|
|
|
|
| |