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.
DNA Computing and Molecular Programming [[electronic resource] ] : 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011, Proceedings / / edited by Luca Cardelli, William Shih
| DNA Computing and Molecular Programming [[electronic resource] ] : 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011, Proceedings / / edited by Luca Cardelli, William Shih |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (X, 217 p.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Bioinformatics Artificial intelligence Artificial intelligence—Data processing Computer science—Mathematics Discrete mathematics Theory of Computation Computational and Systems Biology Artificial Intelligence Data Science Discrete Mathematics in Computer Science |
| ISBN | 3-642-23638-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465719203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
ECOOP 2003 - Object-Oriented Programming [[electronic resource] ] : 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings / / edited by Luca Cardelli
| ECOOP 2003 - Object-Oriented Programming [[electronic resource] ] : 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings / / edited by Luca Cardelli |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (X, 505 p.) |
| Disciplina | 005.1/17 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Software engineering Computer communication systems Computer logic Database management Application software Programming Techniques Software Engineering/Programming and Operating Systems Computer Communication Networks Logics and Meanings of Programs Database Management Computer Appl. in Administrative Data Processing |
| ISBN | 3-540-45070-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk 1 -- Built-in Object Security -- Aspects and Components -- Modeling Crosscutting in Aspect-Oriented Mechanisms -- Spontaneous Container Services -- A Calculus of Untyped Aspect-Oriented Programs -- Patterns, Architecture, and Collaboration -- Language Support for Connector Abstractions -- Walkabout Revisited: The Runabout -- MX: Mobile Object Exchange for Collaborative Applications -- Types -- Regular Object Types -- External Uniqueness Is Unique Enough -- A Nominal Theory of Objects with Dependent Types -- Invited Talk 2 -- Open APIs for Embedded Security -- Modeling -- Traits: Composable Units of Behaviour -- A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information -- Higher-Order Hierarchies -- Algorithms, Optimization and Runtimes -- Two-Dimensional Bi-directional Object Layout -- LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications -- Java Subtype Tests in Real-Time -- Invited Talk 3 -- Growing XQuery -- Formal Techniques and Methodology -- Discovering Algebraic Specifications from Java Classes -- A Refinement Algebra for Object-Oriented Programming -- Object-Oriented Reading Techniques for Inspection of UML Models – An Industrial Experiment. |
| Record Nr. | UNISA-996465695003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
ECOOP 2003 - Object-Oriented Programming : 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings / / edited by Luca Cardelli
| ECOOP 2003 - Object-Oriented Programming : 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings / / edited by Luca Cardelli |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (X, 505 p.) |
| Disciplina | 005.1/17 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Software engineering Computer communication systems Computer logic Database management Application software Programming Techniques Software Engineering/Programming and Operating Systems Computer Communication Networks Logics and Meanings of Programs Database Management Computer Appl. in Administrative Data Processing |
| ISBN | 3-540-45070-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk 1 -- Built-in Object Security -- Aspects and Components -- Modeling Crosscutting in Aspect-Oriented Mechanisms -- Spontaneous Container Services -- A Calculus of Untyped Aspect-Oriented Programs -- Patterns, Architecture, and Collaboration -- Language Support for Connector Abstractions -- Walkabout Revisited: The Runabout -- MX: Mobile Object Exchange for Collaborative Applications -- Types -- Regular Object Types -- External Uniqueness Is Unique Enough -- A Nominal Theory of Objects with Dependent Types -- Invited Talk 2 -- Open APIs for Embedded Security -- Modeling -- Traits: Composable Units of Behaviour -- A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information -- Higher-Order Hierarchies -- Algorithms, Optimization and Runtimes -- Two-Dimensional Bi-directional Object Layout -- LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications -- Java Subtype Tests in Real-Time -- Invited Talk 3 -- Growing XQuery -- Formal Techniques and Methodology -- Discovering Algebraic Specifications from Java Classes -- A Refinement Algebra for Object-Oriented Programming -- Object-Oriented Reading Techniques for Inspection of UML Models – An Industrial Experiment. |
| Record Nr. | UNINA-9910767535403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Internet programming languages : ICCL'98 Workshop,Chicago, il, USA, May 13, 1998, proceedings / / Henri E. Bal, Boumediened Belkhouche, Luca Cardelli (Eds.)
| Internet programming languages : ICCL'98 Workshop,Chicago, il, USA, May 13, 1998, proceedings / / Henri E. Bal, Boumediened Belkhouche, Luca Cardelli (Eds.) |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (VIII, 152 p.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Logic design |
| ISBN | 3-540-47959-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Location-Independent Communication for Mobile Agents: A Two-Level Architecture -- A Lightweight Reliable Object Migration Protocol -- Seal: A Framework for Secure Mobile Computations -- A Run-Time System for WCL -- PML: A Language Interface to Distributed Voice-Response Units -- Derivatives: A Construct for Internet Programming -- Network Programming Using PLAN. |
| Record Nr. | UNINA-9910143648703321 |
| Berlin ; ; Heidelberg : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Internet programming languages : ICCL'98 Workshop,Chicago, il, USA, May 13, 1998, proceedings / / Henri E. Bal, Boumediened Belkhouche, Luca Cardelli (Eds.)
| Internet programming languages : ICCL'98 Workshop,Chicago, il, USA, May 13, 1998, proceedings / / Henri E. Bal, Boumediened Belkhouche, Luca Cardelli (Eds.) |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (VIII, 152 p.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Logic design |
| ISBN | 3-540-47959-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Location-Independent Communication for Mobile Agents: A Two-Level Architecture -- A Lightweight Reliable Object Migration Protocol -- Seal: A Framework for Secure Mobile Computations -- A Run-Time System for WCL -- PML: A Language Interface to Distributed Voice-Response Units -- Derivatives: A Construct for Internet Programming -- Network Programming Using PLAN. |
| Record Nr. | UNISA-996465861003316 |
| Berlin ; ; Heidelberg : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on Computational Systems Biology IV [[electronic resource] /] / edited by Luca Cardelli, Stephen Emmott
| Transactions on Computational Systems Biology IV [[electronic resource] /] / edited by Luca Cardelli, Stephen Emmott |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (VII, 141 p.) |
| Disciplina | 004.0151 |
| Collana | Transactions on Computational Systems Biology |
| Soggetto topico |
Computers
Bioinformatics Biodiversity Database management Computation by Abstract Devices Database Management |
| ISBN | 3-540-33248-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Scientific Foundation for Global Computing -- Interdisciplinary Innovation in International Initiatives -- A Grand Challenge for Converging Sciences -- Applying Computer Science Research to Biodiversity Informatics: Some Experiences and Lessons -- e-Science and the VL-e Approach -- From Syntax to Semantics in Systems Biology Towards Automated Reasoning Tools -- SYMBIONIC: A European Initiative on the Systems Biology of the Neuronal Cell -- A Biological Approach to Autonomic Communication Systems -- The Twilight of the Despotic Digital Civilization -- A Compositional Approach to the Stochastic Dynamics of Gene Networks -- A Weighted Profile Based Method for Protein-RNA Interacting Residue Prediction. |
| Record Nr. | UNISA-996465935103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on computational systems biology IV / / Corrado Priami, Luca Cardelli, Stephen Emmott (eds.)
| Transactions on computational systems biology IV / / Corrado Priami, Luca Cardelli, Stephen Emmott (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2006 |
| Descrizione fisica | 1 online resource (VII, 141 p.) |
| Disciplina | 004.0151 |
| Altri autori (Persone) |
PriamiCorrado
CardelliLuca EmmottStephen |
| Collana |
Lecture notes in computer science. Lecture notes in bioinformatics
LNCS sublibrary. SL 8, Bioinformatics |
| Soggetto topico |
Molecular biology - Data processing
Systems biology Bioinformatics Proteomics |
| ISBN | 3-540-33248-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Scientific Foundation for Global Computing -- Interdisciplinary Innovation in International Initiatives -- A Grand Challenge for Converging Sciences -- Applying Computer Science Research to Biodiversity Informatics: Some Experiences and Lessons -- e-Science and the VL-e Approach -- From Syntax to Semantics in Systems Biology Towards Automated Reasoning Tools -- SYMBIONIC: A European Initiative on the Systems Biology of the Neuronal Cell -- A Biological Approach to Autonomic Communication Systems -- The Twilight of the Despotic Digital Civilization -- A Compositional Approach to the Stochastic Dynamics of Gene Networks -- A Weighted Profile Based Method for Protein-RNA Interacting Residue Prediction. |
| Altri titoli varianti |
Transactions on computational systems biology 4
Transactions on computational systems biology four |
| Record Nr. | UNINA-9910483699403321 |
| Berlin ; ; New York, : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||