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.
Advanced Functional Programming [[electronic resource] ] : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures / / edited by Johan Jeuring, Simon Peyton Jones
| Advanced Functional Programming [[electronic resource] ] : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures / / edited by Johan Jeuring, Simon Peyton Jones |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (VIII, 216 p.) |
| Disciplina | 005.114 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Software engineering Programming languages (Electronic computers) Computer logic Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| ISBN | 3-540-44833-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Arithmetic Coding with Folds and Unfolds -- An Approach to Fast Arrays in Haskell -- Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat -- Developing Interactive Web Programs -- JoCaml: A Language for Concurrent Distributed and Mobile Programming -- Arrows, Robots, and Functional Reactive Programming -- XQuery: A Typed Functional Language for Querying XML. |
| Record Nr. | UNISA-996465606003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advanced Functional Programming : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures / / edited by Johan Jeuring, Simon Peyton Jones
| Advanced Functional Programming : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures / / edited by Johan Jeuring, Simon Peyton Jones |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (VIII, 216 p.) |
| Disciplina | 005.114 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Software engineering Programming languages (Electronic computers) Computer logic Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| ISBN | 3-540-44833-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Arithmetic Coding with Folds and Unfolds -- An Approach to Fast Arrays in Haskell -- Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat -- Developing Interactive Web Programs -- JoCaml: A Language for Concurrent Distributed and Mobile Programming -- Arrows, Robots, and Functional Reactive Programming -- XQuery: A Typed Functional Language for Querying XML. |
| Record Nr. | UNINA-9910144602203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Games and Learning Alliance [[electronic resource] ] : 5th International Conference, GALA 2016, Utrecht, The Netherlands, December 5–7, 2016, Proceedings / / edited by Rosa Bottino, Johan Jeuring, Remco C. Veltkamp
| Games and Learning Alliance [[electronic resource] ] : 5th International Conference, GALA 2016, Utrecht, The Netherlands, December 5–7, 2016, Proceedings / / edited by Rosa Bottino, Johan Jeuring, Remco C. Veltkamp |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIV, 456 p. 117 illus.) |
| Disciplina | 371.337 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Personal computers
Education—Data processing Application software Artificial intelligence Computer communication systems Personal Computing Computers and Education Computer Appl. in Social and Behavioral Sciences Artificial Intelligence Computer Communication Networks |
| ISBN | 3-319-50182-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Games and sustainability -- Games for math and programming -- Games and health -- Games and soft skills -- Games and management -- Games and learning -- Game development and assessment -- Mobile games. |
| Record Nr. | UNISA-996465491303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Games and Learning Alliance : 5th International Conference, GALA 2016, Utrecht, The Netherlands, December 5–7, 2016, Proceedings / / edited by Rosa Bottino, Johan Jeuring, Remco C. Veltkamp
| Games and Learning Alliance : 5th International Conference, GALA 2016, Utrecht, The Netherlands, December 5–7, 2016, Proceedings / / edited by Rosa Bottino, Johan Jeuring, Remco C. Veltkamp |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIV, 456 p. 117 illus.) |
| Disciplina | 371.337 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Personal computers
Education—Data processing Application software Artificial intelligence Computer communication systems Personal Computing Computers and Education Computer Appl. in Social and Behavioral Sciences Artificial Intelligence Computer Communication Networks |
| ISBN | 3-319-50182-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Games and sustainability -- Games for math and programming -- Games and health -- Games and soft skills -- Games and management -- Games and learning -- Game development and assessment -- Mobile games. |
| Record Nr. | UNINA-9910484516603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Intelligent Computer Mathematics [[electronic resource] ] : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Proceedings / / edited by Johan Jeuring, John Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge
| Intelligent Computer Mathematics [[electronic resource] ] : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Proceedings / / edited by Johan Jeuring, John Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XVIII, 473 p. 117 illus.) |
| Disciplina | 005.131 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computer science—Mathematics
Artificial intelligence Mathematical logic Computer logic Information storage and retrieval Symbolic and Algebraic Manipulation Artificial Intelligence Math Applications in Computer Science Mathematical Logic and Formal Languages Logics and Meanings of Programs Information Storage and Retrieval |
| ISBN | 3-642-31374-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465534503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematics of Program Construction [[electronic resource] ] : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings / / edited by Johan Jeuring
| Mathematics of Program Construction [[electronic resource] ] : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings / / edited by Johan Jeuring |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (X, 388 p.) |
| Disciplina | 004.2/1/0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Software engineering Computer programming Algorithms Computer logic Theory of Computation Software Engineering/Programming and Operating Systems Programming Techniques Software Engineering Algorithm Analysis and Problem Complexity Logics and Meanings of Programs |
| ISBN | 3-540-69345-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On the aesthetics of diagrams -- Generalising monads -- A proof rule for control loops -- Relation-algebraic derivation of spanning tree algorithms -- An application of program derivation techniques to 18th-century mathematics -- Nested datatypes -- An approach to object-orientation in action systems -- Layered graph traversals and Hamiltonian path problems — An algebraic approach -- A unifying framework for correct program construction -- Computation calculus bridging a formalization gap -- An elementary derivation of the alternating bit protocol -- A set-theoretic model for real-time specification and reasoning -- Polytypic downwards accumulations -- Formal derivation of a loadable asynchronous counter -- A semantic approach to secure information flow -- Slack elasticity in concurrent computing -- Beyond fun: Order and membership in polytypic imperative programming -- Convergence of program transformers in the metric space of trees -- Realizability of monotone coinductive definitions and its application to program synthesis -- Calculating a round-robin scheduler. |
| Record Nr. | UNINA-9910143504303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematics of Program Construction [[electronic resource] ] : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings / / edited by Johan Jeuring
| Mathematics of Program Construction [[electronic resource] ] : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings / / edited by Johan Jeuring |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (X, 388 p.) |
| Disciplina | 004.2/1/0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Software engineering Computer programming Algorithms Computer logic Theory of Computation Software Engineering/Programming and Operating Systems Programming Techniques Software Engineering Algorithm Analysis and Problem Complexity Logics and Meanings of Programs |
| ISBN | 3-540-69345-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On the aesthetics of diagrams -- Generalising monads -- A proof rule for control loops -- Relation-algebraic derivation of spanning tree algorithms -- An application of program derivation techniques to 18th-century mathematics -- Nested datatypes -- An approach to object-orientation in action systems -- Layered graph traversals and Hamiltonian path problems — An algebraic approach -- A unifying framework for correct program construction -- Computation calculus bridging a formalization gap -- An elementary derivation of the alternating bit protocol -- A set-theoretic model for real-time specification and reasoning -- Polytypic downwards accumulations -- Formal derivation of a loadable asynchronous counter -- A semantic approach to secure information flow -- Slack elasticity in concurrent computing -- Beyond fun: Order and membership in polytypic imperative programming -- Convergence of program transformers in the metric space of trees -- Realizability of monotone coinductive definitions and its application to program synthesis -- Calculating a round-robin scheduler. |
| Record Nr. | UNISA-996466141303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings of the ACM SIGPLAN 2003 Haskell Workshop : August 28, 2003, Uppsala, Sweden
| Proceedings of the ACM SIGPLAN 2003 Haskell Workshop : August 28, 2003, Uppsala, Sweden |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM Press, 2003 |
| Descrizione fisica | 1 online resource (114 p.;) |
| Disciplina | 005.13/3 |
| Altri autori (Persone) | JeuringJohan |
| Collana | ACM Conferences |
| Soggetto topico |
Haskell (Computer program language)
Computer software Engineering & Applied Sciences Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Haskell '03 |
| Record Nr. | UNINA-9910375843203321 |
| [Place of publication not identified], : ACM Press, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||