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.
Functional and Logic Programming [[electronic resource] ] : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings / / edited by John P. Gallagher, Martin Sulzmann
| Functional and Logic Programming [[electronic resource] ] : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings / / edited by John P. Gallagher, Martin Sulzmann |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVI, 281 p. 74 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer programming Computers Professions Electronic digital computers—Evaluation Computers, Special purpose Software Engineering Compilers and Interpreters Programming Techniques The Computing Profession System Performance and Evaluation Special Purpose and Application-Based Systems |
| ISBN | 3-319-90686-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466428003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Functional and Logic Programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings / / edited by John P. Gallagher, Martin Sulzmann
| Functional and Logic Programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings / / edited by John P. Gallagher, Martin Sulzmann |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVI, 281 p. 74 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer programming Computers Professions Electronic digital computers—Evaluation Computers, Special purpose Software Engineering Compilers and Interpreters Programming Techniques The Computing Profession System Performance and Evaluation Special Purpose and Application-Based Systems |
| ISBN | 3-319-90686-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910349422903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic-Based Program Synthesis and Transformation [[electronic resource] ] : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers / / edited by Fabio Fioravanti, John P. Gallagher
| Logic-Based Program Synthesis and Transformation [[electronic resource] ] : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers / / edited by Fabio Fioravanti, John P. Gallagher |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVI, 341 p. 59 illus.) |
| Disciplina | 005.115 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Computer programming Artificial intelligence Machine theory Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters Programming Techniques Artificial Intelligence Formal Languages and Automata Theory |
| ISBN | 3-319-94460-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Analysis -- Program development -- Term rewriting and CHR -- Theory -- Verification. |
| Record Nr. | UNISA-996466194203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic-Based Program Synthesis and Transformation : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers / / edited by Fabio Fioravanti, John P. Gallagher
| Logic-Based Program Synthesis and Transformation : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers / / edited by Fabio Fioravanti, John P. Gallagher |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVI, 341 p. 59 illus.) |
| Disciplina | 005.115 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Computer programming Artificial intelligence Machine theory Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters Programming Techniques Artificial Intelligence Formal Languages and Automata Theory |
| ISBN | 3-319-94460-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Analysis -- Program development -- Term rewriting and CHR -- Theory -- Verification. |
| Record Nr. | UNINA-9910349418903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
PEPM '10 : proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation : January 18-19,2010, Madrid, Spain
| PEPM '10 : proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation : January 18-19,2010, Madrid, Spain |
| Pubbl/distr/stampa | [Place of publication not identified], : Association for Computing Machinery, 2010 |
| Descrizione fisica | 1 online resource (168 p.;) |
| Collana | ACM Conferences |
| Soggetto topico | Information Technology - Computer Science (Hardware & Networks) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | PEPM '10 |
| Record Nr. | UNINA-9910376250803321 |
| [Place of publication not identified], : Association for Computing Machinery, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||