Algebraic and Coalgebraic Methods in the Mathematics of Program Construction [[electronic resource] ] : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures / / edited by Roland Backhouse, Roy Crole, Jeremy Gibbons |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (XIV, 390 p.) |
Disciplina | 005 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computers Programming languages (Electronic computers) Computer logic Mathematical logic Software Engineering Theory of Computation Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages |
ISBN | 3-540-47797-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Ordered Sets and Complete Lattices -- Algebras and Coalgebras -- Galois Connections and Fixed Point Calculus -- Calculating Functional Programs -- Algebra of Program Termination -- Exercises in Coalgebraic Specification -- Algebraic Methods for Optimization Problems -- Temporal Algebra. |
Record Nr. | UNINA-9910145793503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction [[electronic resource] ] : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures / / edited by Roland Backhouse, Roy Crole, Jeremy Gibbons |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (XIV, 390 p.) |
Disciplina | 005 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computers Programming languages (Electronic computers) Computer logic Mathematical logic Software Engineering Theory of Computation Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages |
ISBN | 3-540-47797-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Ordered Sets and Complete Lattices -- Algebras and Coalgebras -- Galois Connections and Fixed Point Calculus -- Calculating Functional Programs -- Algebra of Program Termination -- Exercises in Coalgebraic Specification -- Algebraic Methods for Optimization Problems -- Temporal Algebra. |
Record Nr. | UNISA-996466039903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Bidirectional Transformations [[electronic resource] ] : International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures / / edited by Jeremy Gibbons, Perdita Stevens |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (IX, 189 p.) |
Disciplina | 511.326 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Management information systems Computer science Database management Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Management of Computing and Information Systems Database Management |
ISBN | 3-319-79108-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction to Bidirectional Transformations -- An Introduction to Triple Graph Grammars as an Implementation of the Delta-Lens Framework -- Modular Edit Lenses -- Principles and Practice of Bidirectional Programming in BiGUL -- Engineering Bidirectional Transformations. |
Record Nr. | UNINA-9910349425103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Bidirectional Transformations [[electronic resource] ] : International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures / / edited by Jeremy Gibbons, Perdita Stevens |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (IX, 189 p.) |
Disciplina | 511.326 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Management information systems Computer science Database management Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Management of Computing and Information Systems Database Management |
ISBN | 3-319-79108-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction to Bidirectional Transformations -- An Introduction to Triple Graph Grammars as an Implementation of the Delta-Lens Framework -- Modular Edit Lenses -- Principles and Practice of Bidirectional Programming in BiGUL -- Engineering Bidirectional Transformations. |
Record Nr. | UNISA-996466227503316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Foundations of Health Information Engineering and Systems [[electronic resource] ] : Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers / / edited by Jeremy Gibbons, Wendy MacCaull |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (X, 291 p. 71 illus.) |
Disciplina | 610.285 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Application software Database management Computer simulation Health informatics Computer science Software Engineering Information Systems Applications (incl. Internet) Database Management Simulation and Modeling Health Informatics Computer Science, general |
Soggetto genere / forma | Kongress2013.Macau |
ISBN | 3-642-53956-4 |
Classificazione | SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Intelligent Tools for Reducing Medication Dispensing and Administration Error -- Panel Position Statements -- Pathways -- Modelling Care Pathways in a Connected Health Setting -- A Resource Flow Approach to Modelling Care Pathways -- ICT-powered Health Care Processes (Position Paper) -- Generation and Certification -- Approach and Method for Generating Realistic Synthetic Electronic Healthcare Records for Secondary Use -- Insulin Pump Software Certification -- Interoperability -- An Ontology for Regulating eHealth Interoperability in Developing African Countries -- Use of XML Schema Definition for the Development of Semantically Interoperable Healthcare Applications -- Patient Safety -- A Bayesian Patient-Based Model for Detecting Deterioration in Vital Signs Using Manual Observations -- Performance of Early Warning Scoring Systems to Detect Patient Deterioration in the Emergency Department -- Early Fault Detection Using Design Models for Collision Prevention in Medical Equipment -- Device Safety -- OR.NET: Safe Interconnection of Medical Devices (Position Paper) -- Formal Methods -- A Modal Specification Approach for On-Demand Medical Systems -- Towards Formal Safety Analysis in Feature-Oriented Product Line Development -- HIV/AIDS and Privacy -- An Investigation of Classification Algorithms for Predicting HIV Drug Resistance without Genotype Resistance Testing -- Characterisation of Knowledge Incorporation into Solution Models for the Meal Planning Problem -- A Quantitative Analysis of the Performance and Scalability of De-identification Tools for Medical Data. |
Record Nr. | UNISA-996205181803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Foundations of Health Information Engineering and Systems [[electronic resource] ] : Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers / / edited by Jeremy Gibbons, Wendy MacCaull |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (X, 291 p. 71 illus.) |
Disciplina | 610.285 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Application software Database management Computer simulation Health informatics Computer science Software Engineering Information Systems Applications (incl. Internet) Database Management Simulation and Modeling Health Informatics Computer Science, general |
Soggetto genere / forma | Kongress2013.Macau |
ISBN | 3-642-53956-4 |
Classificazione | SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Intelligent Tools for Reducing Medication Dispensing and Administration Error -- Panel Position Statements -- Pathways -- Modelling Care Pathways in a Connected Health Setting -- A Resource Flow Approach to Modelling Care Pathways -- ICT-powered Health Care Processes (Position Paper) -- Generation and Certification -- Approach and Method for Generating Realistic Synthetic Electronic Healthcare Records for Secondary Use -- Insulin Pump Software Certification -- Interoperability -- An Ontology for Regulating eHealth Interoperability in Developing African Countries -- Use of XML Schema Definition for the Development of Semantically Interoperable Healthcare Applications -- Patient Safety -- A Bayesian Patient-Based Model for Detecting Deterioration in Vital Signs Using Manual Observations -- Performance of Early Warning Scoring Systems to Detect Patient Deterioration in the Emergency Department -- Early Fault Detection Using Design Models for Collision Prevention in Medical Equipment -- Device Safety -- OR.NET: Safe Interconnection of Medical Devices (Position Paper) -- Formal Methods -- A Modal Specification Approach for On-Demand Medical Systems -- Towards Formal Safety Analysis in Feature-Oriented Product Line Development -- HIV/AIDS and Privacy -- An Investigation of Classification Algorithms for Predicting HIV Drug Resistance without Genotype Resistance Testing -- Characterisation of Knowledge Incorporation into Solution Models for the Meal Planning Problem -- A Quantitative Analysis of the Performance and Scalability of De-identification Tools for Medical Data. |
Record Nr. | UNINA-9910482963503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Generic and Indexed Programming [[electronic resource] /] / edited by Jeremy Gibbons |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (VII, 259 p. 24 illus.) |
Disciplina | 005.13 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Compilers (Computer programs)
Computer programming Software engineering Artificial intelligence—Data processing Computer science Machine theory Compilers and Interpreters Programming Techniques Software Engineering Data Science Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
ISBN | 3-642-32202-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465647003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Generic Programming [[electronic resource] ] : Advanced Lectures / / edited by Roland Backhouse, Jeremy Gibbons |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (X, 230 p.) |
Disciplina | 005.1/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Data structures (Computer science) Computer logic Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Data Structures Logics and Meanings of Programs |
ISBN | 3-540-45191-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Generic Haskell: Practice and Theory -- 2. Generic Haskell: Applications -- 3. Generic Properties of Datatypes -- 4. Basic Category Theory for Models of Syntax -- 5. A Mathematical Semantics for Architectural Connectors. |
Record Nr. | UNINA-9910143865203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Generic Programming [[electronic resource] ] : Advanced Lectures / / edited by Roland Backhouse, Jeremy Gibbons |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (X, 230 p.) |
Disciplina | 005.1/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Data structures (Computer science) Computer logic Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Data Structures Logics and Meanings of Programs |
ISBN | 3-540-45191-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Generic Haskell: Practice and Theory -- 2. Generic Haskell: Applications -- 3. Generic Properties of Datatypes -- 4. Basic Category Theory for Models of Syntax -- 5. A Mathematical Semantics for Architectural Connectors. |
Record Nr. | UNISA-996465818703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Haskell '10 : proceedings of the 2010 ACM SIGPLAN Haskell Symposium, September 30, 2010, Baltimore, Maryland, USA |
Autore | Gibbons Jeremy |
Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2010 |
Descrizione fisica | 1 online resource (160 pages) |
Collana | ACM Conferences |
Soggetto topico |
Engineering & Applied Sciences
Computer Science |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
Haskell '10 : proceedings of the 2010 Association for Computing Machinery Special Interest Group on Programming Languages Haskell Symposium, September 30, 2010, Baltimore, Maryland, USA
Proceedings of the third ACM Haskell Symposium on Haskell ICFP '10 ACM SIGPLAN International Conference on Functional Programming, Baltimore, MD, USA - September 27 - 29, 2010 |
Record Nr. | UNINA-9910376012603321 |
Gibbons Jeremy
![]() |
||
[Place of publication not identified], : ACM, 2010 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|