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.
2859-2023 - IEEE Standard for Biometric Multi-modal Fusion / / IEEE
| 2859-2023 - IEEE Standard for Biometric Multi-modal Fusion / / IEEE |
| Pubbl/distr/stampa | New York, USA : , : IEEE, , 2023 |
| Descrizione fisica | 1 online resource (24 pages) |
| Disciplina | 658.4013 |
| Soggetto topico |
Performance - Evaluation
Functional programming (Computer science) |
| ISBN | 1-5044-9937-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996543359303316 |
| New York, USA : , : IEEE, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advanced functional programming : 6th International School, AFP 2008, Heijen, The Netherlands, May 2008 ; revised lectures / / Pieter Koopman, Rinus Plasmeijer, Doaitse Swierstra (eds.)
| Advanced functional programming : 6th International School, AFP 2008, Heijen, The Netherlands, May 2008 ; revised lectures / / Pieter Koopman, Rinus Plasmeijer, Doaitse Swierstra (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, : Springer, c2009 |
| Descrizione fisica | 1 online resource (XVI, 331 p.) |
| Disciplina | 005.1/14 |
| Altri autori (Persone) |
KoopmanPieter
PlasmeijerM. J (Marinus Jacobus) SwierstraS. Doaitse |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Functional programming (Computer science)
Computer programming |
| ISBN | 3-642-04652-5 |
| Classificazione |
DAT 544f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Self-adjusting Computation with Delta ML -- Spider Spinning for Dummies -- From Reduction-Based to Reduction-Free Normalization -- Libraries for Generic Programming in Haskell -- Dependently Typed Programming in Agda -- A Tutorial on Parallel and Concurrent Programming in Haskell -- An iTask Case Study: A Conference Management System. |
| Record Nr. | UNINA-9910483763203321 |
| Berlin, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced functional programming : 5th international school, AFP 2004, Tartu, Estonia, August 14-21, 2004 : revised lectures / / Varmo Vene, Tarmo Uustalu (eds.)
| Advanced functional programming : 5th international school, AFP 2004, Tartu, Estonia, August 14-21, 2004 : revised lectures / / Varmo Vene, Tarmo Uustalu (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2005 |
| Descrizione fisica | 1 online resource (X, 362 p.) |
| Disciplina | 005.1/14 |
| Altri autori (Persone) |
VeneVarmo
UustaluTarmo |
| Collana | Lecture notes in computer science |
| Soggetto topico | Functional programming (Computer science) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Typing Haskell with an Attribute Grammar -- Programming with Arrows -- Epigram: Practical Programming with Dependent Types -- Combining Datatypes and Effects -- GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications -- A Functional Shell That Operates on Typed and Compiled Applications -- Declarative Debugging with Buddha -- Server-Side Web Programming in WASH -- Refactoring Functional Programs. |
| Record Nr. | UNINA-9910483483603321 |
| Berlin ; ; New York, : Springer, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Functional Programming : First International Spring School on Advanced Functional Programming Techniques, Bastad, Sweden, May 24 - 30, 1995. Tutorial Text / / edited by Johan Jeuring, Erik Meijer
| Advanced Functional Programming : First International Spring School on Advanced Functional Programming Techniques, Bastad, Sweden, May 24 - 30, 1995. Tutorial Text / / edited by Johan Jeuring, Erik Meijer |
| Edizione | [1st ed. 1995.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
| Descrizione fisica | 1 online resource (VII, 336 p.) |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Functional programming (Computer science) |
| ISBN | 3-540-49270-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Functional parsers -- Monads for functional programming -- The design of a pretty-printing library -- Functional programming with overloading and higher-order polymorphism -- Programming with Fudgets -- Constructing medium sized efficient functional programs in Clean -- Merging monads and folds for functional programming -- Programming with algebras -- Graph algorithms with a functional flavour. |
| Record Nr. | UNISA-996466118903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Approaches and applications of inductive programming : third international workshop, AAIP 2009, Edinburgh, UK, September 4, 2009 : revised papers / / Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer (eds.)
| Approaches and applications of inductive programming : third international workshop, AAIP 2009, Edinburgh, UK, September 4, 2009 : revised papers / / Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, : Springer, c2010 |
| Descrizione fisica | 1 online resource (IX, 195 p. 14 illus.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
SchmidU (Ute)
KitzelmannEmanuel PlasmeijerM. J (Marinus Jacobus) |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
| Soggetto topico |
Inductive programming
Functional programming (Computer science) |
| ISBN |
1-280-38580-4
9786613563729 3-642-11931-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Deriving a Relationship from a Single Example -- Synthesis of Functions Using Generic Programming -- Regular Papers -- Inductive Programming: A Survey of Program Synthesis Techniques -- Incremental Learning in Inductive Programming -- Enumerating Well-Typed Terms Generically -- Generalisation Operators for Lists Embedded in a Metric Space -- Porting IgorII from Maude to Haskell -- Automated Method Induction: Functional Goes Object Oriented -- Recent Improvements of MagicHaskeller. |
| Altri titoli varianti | AAIP 2009 |
| Record Nr. | UNINA-9910484298903321 |
| Berlin, : Springer, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Beginning Kotlin : Build Applications with Better Code, Productivity, and Performance / / by Ted Hagos
| Beginning Kotlin : Build Applications with Better Code, Productivity, and Performance / / by Ted Hagos |
| Autore | Hagos Ted |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2023 |
| Descrizione fisica | 1 online resource (241 pages) |
| Disciplina | 005.3 |
| Soggetto topico |
Kotlin (Computer program language)
Functional programming (Computer science) Application software - Development |
| ISBN | 1-4842-8698-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1 – Introduction to Kotlin -- Chapter 2 – Quick Tour of the Kotlin Language -- Chapter 3 – Functions -- Chapter 4 – Types -- Chapter 5 – Higher Order Functions -- Chapter 6 – Working with Collections -- Chapter 7- Working with Generics -- Chapter 8 – Debugging -- Chapter 9 - Unit Testing -- Chapter 10 - Idiomatic Kotlin -- Chapter 11 - Creating a Spring Boot project. |
| Record Nr. | UNINA-9910632475703321 |
Hagos Ted
|
||
| Berkeley, CA : , : Apress : , : Imprint : Apress, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Central European Functional Programming School : Third Summer School, CEFP 2009 ; Budapest, Hungary, May 21-23, 2009 and Komarno, Slovakia, May 25-30, 2009 : revised selected lectures / / Zoltan Horvath, Rinus Plasmeijer, Viktoria Zsok (eds.)
| Central European Functional Programming School : Third Summer School, CEFP 2009 ; Budapest, Hungary, May 21-23, 2009 and Komarno, Slovakia, May 25-30, 2009 : revised selected lectures / / Zoltan Horvath, Rinus Plasmeijer, Viktoria Zsok (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2010 |
| Descrizione fisica | 1 online resource (IX, 391 p. 44 illus., 10 illus. in color.) |
| Disciplina | 005.1/14 |
| Altri autori (Persone) |
HorvathZoltan <1962->
PlasmeijerM. J (Marinus Jacobus) ZsokViktoria |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico |
Computer science
Functional programming (Computer science) |
| ISBN |
1-283-47741-6
9786613477415 3-642-17685-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | CEFP 2009 |
| Record Nr. | UNINA-9910484626503321 |
| Berlin, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Central European Functional Programming School : first summer school, CEFP 2005, Budapest, Hungary, July 4-15, 2005 : revised selected lectures / / Zoltan Horvath (ed.)
| Central European Functional Programming School : first summer school, CEFP 2005, Budapest, Hungary, July 4-15, 2005 : revised selected lectures / / Zoltan Horvath (ed.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2006 |
| Descrizione fisica | 1 online resource (VII, 257 p.) |
| Disciplina | 005.11 |
| Altri autori (Persone) | HorvathZoltan <1962-> |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico | Functional programming (Computer science) |
| ISBN | 3-540-46845-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Generic Editors for the World Wide Web -- Fully Automatic Testing with Functions as Specifications -- Functional Array Programming in SaC -- Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach -- The Essence of Dataflow Programming -- Temporal Properties of Clean Programs Proven in Sparkle-T -- Tutorial on Subtype Marks -- Designing Distributed Computational Skeletons in D-Clean and D-Box. |
| Altri titoli varianti | CEFP 2005 |
| Record Nr. | UNINA-9910483082503321 |
| Berlin ; ; New York, : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Clojure : high performance JVM programming : explore the world of lightning fast Clojure apps with asynchronous channels, logic, reactive programming, and more : a course in three modules / / Eduardo Díaz, Shantanu Kumar, Akhil Wali
| Clojure : high performance JVM programming : explore the world of lightning fast Clojure apps with asynchronous channels, logic, reactive programming, and more : a course in three modules / / Eduardo Díaz, Shantanu Kumar, Akhil Wali |
| Autore | Díaz Eduardo |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Birmingham : , : Packt, , 2017 |
| Descrizione fisica | 1 online resource (565 pages) : illustrations |
| Soggetto topico |
Clojure (Computer program language)
Java (Computer program language) Functional programming (Computer science) |
| ISBN | 1-78728-801-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910162761103321 |
|
Díaz Eduardo
|
||
| Birmingham : , : Packt, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
F# for scientists / / Jon Harrop ; foreword by Don Syme
| F# for scientists / / Jon Harrop ; foreword by Don Syme |
| Autore | Harrop Jon |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Hoboken, New Jersey : , : Wiley, , 2008 |
| Descrizione fisica | 1 online resource (370 p.) |
| Disciplina |
005.1/14
005.114 005.133 |
| Soggetto topico |
F# (Computer program language)
Science - Data processing Functional programming (Computer science) |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-118-21081-6
1-281-76688-7 9786611766887 0-470-38595-2 0-470-38594-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction. Programming guidelines -- A brief history of F# -- Benefits of F# -- Introducing F# -- Imperative programming -- Functional programming -- Program structure. Nesting -- Factoring -- Modules. Objects -- Functional design patterns -- F# development -- Data structures. Algorithmic complexity -- Arrays -- Lists -- Sets -- Hash tables -- Maps -- Choosing a data structure -- Sequences -- Heterogeneous containers -- Trees -- Numerical Analysis. Number -- Algebra --Interpolation -- Quadratic solutions -- Mean and variance -- Other forms of arithmetic -- Input and Output. Printing -- Generic printing -- Reading from and writing to files -- Serialization -- Lexing and parsing -- Simple Examples. Functional -- Numerical -- String related -- List related -- Array related -- Higher order functions -- Visualization. Windows forms -- Managed directX -- Tesselating objects into triangles -- Optimization. Timing -- Profiling -- Algorithmic optimizations -- Lower level optimizations -- Libraries. Loading .NET libraries -- Charting and graphing -- Threads -- Random numbers -- Regular expressions -- Vectors and matrices -- Downloading from the Web -- Compression -- Handling XML -- Calling native libraries -- Fourier transform -- Metaprogramming -- Databases. Protein data bank -- Web services -- Relational databases -- Interoperability. Excel interoperability -- MATLAB interoperability -- Mathematica interoperability -- Complete examples. Fast Fourier transform -- Semicircle law -- Finding nth nearest neighbors -- Logistic map -- Real time particle dynamics -- Appendix A: Troubleshooting. |
| Record Nr. | UNINA-9910144113203321 |
|
Harrop Jon
|
||
| Hoboken, New Jersey : , : Wiley, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
