top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Cyber Physical Systems. Design, Modeling, and Evaluation [[electronic resource] ] : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers / / edited by Roger Chamberlain, Walid Taha, Martin Törngren
Cyber Physical Systems. Design, Modeling, and Evaluation [[electronic resource] ] : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers / / edited by Roger Chamberlain, Walid Taha, Martin Törngren
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Descrizione fisica 1 online resource (X, 159 p. 70 illus., 31 illus. in color.)
Disciplina 001.53
Collana Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico Application software
Software engineering
Computer hardware
Special purpose computers
Architecture, Computer
Computer logic
Information Systems Applications (incl. Internet)
Software Engineering/Programming and Operating Systems
Computer Hardware
Special Purpose and Application-Based Systems
Computer System Implementation
Logics and Meanings of Programs
ISBN 3-030-17910-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Design -- Simulation -- Formal Methods -- Workshop on Embedded and Cyber-Physical Systems Education.
Record Nr. UNISA-996466319303316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Cyber Physical Systems. Design, Modeling, and Evaluation : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers / / edited by Roger Chamberlain, Walid Taha, Martin Törngren
Cyber Physical Systems. Design, Modeling, and Evaluation : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers / / edited by Roger Chamberlain, Walid Taha, Martin Törngren
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Descrizione fisica 1 online resource (X, 159 p. 70 illus., 31 illus. in color.)
Disciplina 001.53
629.8
Collana Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico Application software
Software engineering
Computer hardware
Special purpose computers
Architecture, Computer
Computer logic
Information Systems Applications (incl. Internet)
Software Engineering/Programming and Operating Systems
Computer Hardware
Special Purpose and Application-Based Systems
Computer System Implementation
Logics and Meanings of Programs
ISBN 3-030-17910-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Design -- Simulation -- Formal Methods -- Workshop on Embedded and Cyber-Physical Systems Education.
Record Nr. UNINA-9910337853003321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Cyber Physical Systems. Model-Based Design [[electronic resource] ] : 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers / / edited by Roger Chamberlain, Martin Edin Grimheden, Walid Taha
Cyber Physical Systems. Model-Based Design [[electronic resource] ] : 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers / / edited by Roger Chamberlain, Martin Edin Grimheden, Walid Taha
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Descrizione fisica 1 online resource (XII, 285 p. 170 illus., 57 illus. in color.)
Disciplina 629.895
Collana Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico Application software
Special purpose computers
Architecture, Computer
Microprogramming 
Programming languages (Electronic computers)
Information Systems Applications (incl. Internet)
Special Purpose and Application-Based Systems
Computer System Implementation
Control Structures and Microprogramming
Programming Languages, Compilers, Interpreters
ISBN 3-030-41131-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Models and Design -- Simulation and Tools -- Formal Methods -- Embedded and Cyber-Physical Systems Education.
Record Nr. UNISA-996418210903316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Cyber Physical Systems. Model-Based Design : 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers / / edited by Roger Chamberlain, Martin Edin Grimheden, Walid Taha
Cyber Physical Systems. Model-Based Design : 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers / / edited by Roger Chamberlain, Martin Edin Grimheden, Walid Taha
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Descrizione fisica 1 online resource (XII, 285 p. 170 illus., 57 illus. in color.)
Disciplina 629.895
004.6
Collana Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico Application software
Special purpose computers
Architecture, Computer
Microprogramming 
Programming languages (Electronic computers)
Information Systems Applications (incl. Internet)
Special Purpose and Application-Based Systems
Computer System Implementation
Control Structures and Microprogramming
Programming Languages, Compilers, Interpreters
ISBN 3-030-41131-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Models and Design -- Simulation and Tools -- Formal Methods -- Embedded and Cyber-Physical Systems Education.
Record Nr. UNINA-9910380759003321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Cyber Physical Systems. Model-Based Design [[electronic resource] ] : 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers / / edited by Roger Chamberlain, Walid Taha, Martin Törngren
Cyber Physical Systems. Model-Based Design [[electronic resource] ] : 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers / / edited by Roger Chamberlain, Walid Taha, Martin Törngren
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Descrizione fisica 1 online resource (XII, 231 p. 236 illus., 58 illus. in color.)
Disciplina 001.53
Collana Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico Computer simulation
Application software
Special purpose computers
Architecture, Computer
Computers
Microprogramming 
Simulation and Modeling
Information Systems Applications (incl. Internet)
Special Purpose and Application-Based Systems
Computer System Implementation
Computing Milieux
Control Structures and Microprogramming
ISBN 3-030-23703-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Design -- Simulation and Tools -- Formal Methods -- Workshop on Embedded and Cyber-Physical Systems Education.
Record Nr. UNISA-996465608003316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Cyber Physical Systems. Model-Based Design : 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers / / edited by Roger Chamberlain, Walid Taha, Martin Törngren
Cyber Physical Systems. Model-Based Design : 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers / / edited by Roger Chamberlain, Walid Taha, Martin Törngren
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Descrizione fisica 1 online resource (XII, 231 p. 236 illus., 58 illus. in color.)
Disciplina 001.53
006.22
Collana Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico Computer simulation
Application software
Special purpose computers
Architecture, Computer
Computers
Microprogramming 
Simulation and Modeling
Information Systems Applications (incl. Internet)
Special Purpose and Application-Based Systems
Computer System Implementation
Computing Milieux
Control Structures and Microprogramming
ISBN 3-030-23703-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Design -- Simulation and Tools -- Formal Methods -- Workshop on Embedded and Cyber-Physical Systems Education.
Record Nr. UNINA-9910349316003321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Generative Programming and Component Engineering [[electronic resource] ] : ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002. Proceedings / / edited by Don Batory, Charles Consel, Walid Taha
Generative Programming and Component Engineering [[electronic resource] ] : ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002. Proceedings / / edited by Don Batory, Charles Consel, Walid Taha
Edizione [1st ed. 2002.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002
Descrizione fisica 1 online resource (VIII, 338 p.)
Disciplina 005.1/1
Collana Lecture Notes in Computer Science
Soggetto topico Software engineering
Management information systems
Computer science
Application software
Computer programming
Programming languages (Electronic computers)
Software Engineering/Programming and Operating Systems
Software Engineering
Management of Computing and Information Systems
Computer Appl. in Administrative Data Processing
Programming Techniques
Programming Languages, Compilers, Interpreters
ISBN 3-540-45821-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Papers -- Program Generation, Termination, and Binding-Time Analysis -- Generative Programming for Embedded Systems -- Regular Papers -- Self Reflection for Adaptive Programming -- DataScript- A Specification and Scripting Language for Binary Data -- Memoization in Type-Directed Partial Evaluation -- A Protocol Stack Development Tool Using Generative Programming -- Building Composable Aspect-Specific Languages with Logic Metaprogramming -- Architectural Refactoring in Framework Evolution: A Case Study -- Towards a Modular Program Derivation via Fusion and Tupling -- Generative Programming for Embedded Software: An Industrial Experience Report -- A Framework for the Detection and Resolution of Aspect Interactions -- Aspect-Oriented Modeling: Bridging the Gap between Implementation and Design -- Macros That Compose: Systematic Macro Programming -- Program Termination Analysis in Polynomial Time -- Generators for Synthesis of QoS Adaptation in Distributed Real-Time Embedded Systems -- Optimizing Content Management System Pipelines Separation and Merging of Concerns -- Component-Based Programming for Higher-Order Attribute Grammars -- Altering Java Semantics via Bytecode Manipulation -- Meta-programming with Concrete Object Syntax -- Managing Dynamic Changes in Multi-stage Program Generation Systems.
Record Nr. UNISA-996465422403316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Generative Programming and Component Engineering : ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002. Proceedings / / edited by Don Batory, Charles Consel, Walid Taha
Generative Programming and Component Engineering : ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002. Proceedings / / edited by Don Batory, Charles Consel, Walid Taha
Edizione [1st ed. 2002.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002
Descrizione fisica 1 online resource (VIII, 338 p.)
Disciplina 005.1/1
Collana Lecture Notes in Computer Science
Soggetto topico Software engineering
Management information systems
Computer science
Application software
Computer programming
Programming languages (Electronic computers)
Software Engineering/Programming and Operating Systems
Software Engineering
Management of Computing and Information Systems
Computer Appl. in Administrative Data Processing
Programming Techniques
Programming Languages, Compilers, Interpreters
ISBN 3-540-45821-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Papers -- Program Generation, Termination, and Binding-Time Analysis -- Generative Programming for Embedded Systems -- Regular Papers -- Self Reflection for Adaptive Programming -- DataScript- A Specification and Scripting Language for Binary Data -- Memoization in Type-Directed Partial Evaluation -- A Protocol Stack Development Tool Using Generative Programming -- Building Composable Aspect-Specific Languages with Logic Metaprogramming -- Architectural Refactoring in Framework Evolution: A Case Study -- Towards a Modular Program Derivation via Fusion and Tupling -- Generative Programming for Embedded Software: An Industrial Experience Report -- A Framework for the Detection and Resolution of Aspect Interactions -- Aspect-Oriented Modeling: Bridging the Gap between Implementation and Design -- Macros That Compose: Systematic Macro Programming -- Program Termination Analysis in Polynomial Time -- Generators for Synthesis of QoS Adaptation in Distributed Real-Time Embedded Systems -- Optimizing Content Management System Pipelines Separation and Merging of Concerns -- Component-Based Programming for Higher-Order Attribute Grammars -- Altering Java Semantics via Bytecode Manipulation -- Meta-programming with Concrete Object Syntax -- Managing Dynamic Changes in Multi-stage Program Generation Systems.
Record Nr. UNINA-9910143898403321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Practical Aspects of Declarative Languages [[electronic resource] ] : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings / / edited by Yuliya Lierler, Walid Taha
Practical Aspects of Declarative Languages [[electronic resource] ] : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings / / edited by Yuliya Lierler, Walid Taha
Edizione [1st ed. 2017.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Descrizione fisica 1 online resource (X, 215 p. 31 illus.)
Disciplina 005.131
Collana Programming and Software Engineering
Soggetto topico Programming languages (Electronic computers)
Computer programming
Computer logic
Software engineering
Artificial intelligence
Application software
Programming Languages, Compilers, Interpreters
Programming Techniques
Logics and Meanings of Programs
Software Engineering
Artificial Intelligence
Computer Appl. in Administrative Data Processing
ISBN 3-319-51676-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Eliminating Irrelevant Non-determinism in Functional Logic Programs -- Canonicalizing High-Level Constructs in Picat -- An Overview of P_rhoLog -- Integrating Answer Set Programming with Object-oriented Languages -- Extending Answer Set Programs with Interpreted Functions as First-class Citizens -- Lowering the learning curve for declarative programming: a Python API for the IDP system -- Failing Faster: Overlapping Patterns for Property-Based Testing -- Boltzmann Samplers for Closed Simply-Typed Lambda Terms -- Selection Equilibria of Higher-Order Games -- DALI for Cognitive Robotics: Principles and Prototype Implementation -- Funky Grooves: Declarative Programming of Full-Fledged Musical Applications -- A Domain-Specific Language for Software-Defined Radio -- A Declarative DSL for Customizing ASCII Art -- Using Iterative Deepening for Probabilistic Logic Inference.
Record Nr. UNISA-996466082403316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Practical Aspects of Declarative Languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings / / edited by Yuliya Lierler, Walid Taha
Practical Aspects of Declarative Languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings / / edited by Yuliya Lierler, Walid Taha
Edizione [1st ed. 2017.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Descrizione fisica 1 online resource (X, 215 p. 31 illus.)
Disciplina 005.131
Collana Programming and Software Engineering
Soggetto topico Programming languages (Electronic computers)
Computer programming
Computer logic
Software engineering
Artificial intelligence
Application software
Programming Languages, Compilers, Interpreters
Programming Techniques
Logics and Meanings of Programs
Software Engineering
Artificial Intelligence
Computer Appl. in Administrative Data Processing
ISBN 3-319-51676-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Eliminating Irrelevant Non-determinism in Functional Logic Programs -- Canonicalizing High-Level Constructs in Picat -- An Overview of P_rhoLog -- Integrating Answer Set Programming with Object-oriented Languages -- Extending Answer Set Programs with Interpreted Functions as First-class Citizens -- Lowering the learning curve for declarative programming: a Python API for the IDP system -- Failing Faster: Overlapping Patterns for Property-Based Testing -- Boltzmann Samplers for Closed Simply-Typed Lambda Terms -- Selection Equilibria of Higher-Order Games -- DALI for Cognitive Robotics: Principles and Prototype Implementation -- Funky Grooves: Declarative Programming of Full-Fledged Musical Applications -- A Domain-Specific Language for Software-Defined Radio -- A Declarative DSL for Customizing ASCII Art -- Using Iterative Deepening for Probabilistic Logic Inference.
Record Nr. UNINA-9910483323403321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui