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.
Formal Techniques for Distributed Objects, Components, and Systems [[electronic resource] ] : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings / / edited by Ahmed Bouajjani, Alexandra Silva
| Formal Techniques for Distributed Objects, Components, and Systems [[electronic resource] ] : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings / / edited by Ahmed Bouajjani, Alexandra Silva |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIV, 243 p. 50 illus.) |
| Disciplina | 004.36 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer logic
Software engineering Artificial intelligence Mathematical logic Computer communication systems Logics and Meanings of Programs Software Engineering Artificial Intelligence Mathematical Logic and Formal Languages Computer Communication Networks |
| ISBN | 3-319-60225-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Session types for Link failures -- Learning-based compositional parameter synthesis for event-recording automata -- Modularising opacity verification for Hybrid Transactional Memory -- Proving opacity via linearizability: a sound and complete method -- On futures for streaming data in ABS -- Session-based concurrency, reactively -- Procedural choreographic programming -- An observational approach to defining linearizability on weak memory models -- Applying a dependency mechanism in the formal development of voting protocol models using event-B -- Weak simulation quasimetric in a gossip scenario -- Reasoning about distributed secrets -- Classical higher-order processes -- Weak nominal modal logic -- Type inference of simulink hierarchical block diagrams in Isabelle -- Creating Büchi automata for multi-valued model checking -- Privacy assessment using static taint analysis -- EPTL - a temporal logic for weakly consistent systems. |
| Record Nr. | UNISA-996466288503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings / / edited by Ahmed Bouajjani, Alexandra Silva
| Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings / / edited by Ahmed Bouajjani, Alexandra Silva |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIV, 243 p. 50 illus.) |
| Disciplina | 004.36 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer logic
Software engineering Artificial intelligence Mathematical logic Computer communication systems Logics and Meanings of Programs Software Engineering Artificial Intelligence Mathematical Logic and Formal Languages Computer Communication Networks |
| ISBN | 3-319-60225-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Session types for Link failures -- Learning-based compositional parameter synthesis for event-recording automata -- Modularising opacity verification for Hybrid Transactional Memory -- Proving opacity via linearizability: a sound and complete method -- On futures for streaming data in ABS -- Session-based concurrency, reactively -- Procedural choreographic programming -- An observational approach to defining linearizability on weak memory models -- Applying a dependency mechanism in the formal development of voting protocol models using event-B -- Weak simulation quasimetric in a gossip scenario -- Reasoning about distributed secrets -- Classical higher-order processes -- Weak nominal modal logic -- Type inference of simulink hierarchical block diagrams in Isabelle -- Creating Büchi automata for multi-valued model checking -- Privacy assessment using static taint analysis -- EPTL - a temporal logic for weakly consistent systems. |
| Record Nr. | UNINA-9910484171503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Foundations of probabilistic programming / / edited by Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva [[electronic resource]]
| Foundations of probabilistic programming / / edited by Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva [[electronic resource]] |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2021 |
| Descrizione fisica | 1 online resource (xiv, 568 pages) : digital, PDF file(s) |
| Disciplina | 001.642 |
| Soggetto topico |
Computer programming
Probabilities - Data processing |
| ISBN |
1-108-80574-4
1-108-77075-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910585962103321 |
| Cambridge : , : Cambridge University Press, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Language, Logic, and Computation [[electronic resource] ] : 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers / / edited by Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach
| Language, Logic, and Computation [[electronic resource] ] : 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers / / edited by Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIV, 353 p. 294 illus., 6 illus. in color.) |
| Disciplina | 004.015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Logic programming Computer science—Mathematics Mathematical statistics Formal Languages and Automata Theory Logic in AI Probability and Statistics in Computer Science |
| ISBN | 3-662-59565-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Compounds or Phrases? Pattern Borrowing from English into Georgian -- A Study of Subminimal Logics of Negation and their Modal Companions -- Finite identification with positive and with complete data -- Two Neighborhood Semantics for Subintuitionistic Logics -- Bare nouns and the Hungarian mass/count distinction -- Why aktionsart-based event structure templates are not enough – A frame account of leaking and droning -- The athlete tore a muscle: English Locative Subjects in the Extra Argument Construction -- An Axiomatization of the d-logic of Planar Polygons -- An Ehrenfeucht–Fraisse game for inquisitive first-order logic -- Computational Model of the Modern Georgian Language and Search Patterns for an Online Dictionary of Idioms -- Language as Mechanisms for Interaction: Towards An Evolutionary Tale -- Bridging inferences in a dynamic frame theory -- Misfits: On unexpected German ob-predicates -- A Non-factualist Semantics for Attributions of Comparative Value -- Spectra of Goedel Algebras -- From Semantic Memory to Semantic Content -- Explaining meaning: The interplay of syntax, semantics, and pragmatics. |
| Record Nr. | UNISA-996466365103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Language, Logic, and Computation : 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers / / edited by Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach
| Language, Logic, and Computation : 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers / / edited by Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIV, 353 p. 294 illus., 6 illus. in color.) |
| Disciplina | 004.015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Logic programming Computer science—Mathematics Mathematical statistics Formal Languages and Automata Theory Logic in AI Probability and Statistics in Computer Science |
| ISBN | 3-662-59565-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Compounds or Phrases? Pattern Borrowing from English into Georgian -- A Study of Subminimal Logics of Negation and their Modal Companions -- Finite identification with positive and with complete data -- Two Neighborhood Semantics for Subintuitionistic Logics -- Bare nouns and the Hungarian mass/count distinction -- Why aktionsart-based event structure templates are not enough – A frame account of leaking and droning -- The athlete tore a muscle: English Locative Subjects in the Extra Argument Construction -- An Axiomatization of the d-logic of Planar Polygons -- An Ehrenfeucht–Fraisse game for inquisitive first-order logic -- Computational Model of the Modern Georgian Language and Search Patterns for an Online Dictionary of Idioms -- Language as Mechanisms for Interaction: Towards An Evolutionary Tale -- Bridging inferences in a dynamic frame theory -- Misfits: On unexpected German ob-predicates -- A Non-factualist Semantics for Attributions of Comparative Value -- Spectra of Goedel Algebras -- From Semantic Memory to Semantic Content -- Explaining meaning: The interplay of syntax, semantics, and pragmatics. |
| Record Nr. | UNINA-9910349314903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic and Program Semantics [[electronic resource] ] : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday / / edited by Robert L. Constable, Alexandra Silva
| Logic and Program Semantics [[electronic resource] ] : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday / / edited by Robert L. Constable, Alexandra Silva |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XIII, 357 p. 45 illus.) |
| Disciplina | 005.1015113 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer logic
Mathematical logic Algorithms Software engineering Programming languages (Electronic computers) Computer programming Logics and Meanings of Programs Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques |
| ISBN | 3-642-29485-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466271503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic, Language, Information, and Computation [[electronic resource] ] : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings / / edited by Alexandra Silva, Renata Wassermann, Ruy de Queiroz
| Logic, Language, Information, and Computation [[electronic resource] ] : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings / / edited by Alexandra Silva, Renata Wassermann, Ruy de Queiroz |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (435 pages) |
| Disciplina | 511.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico | Logic |
| ISBN | 3-030-88853-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Logic -- Language -- Computation -- Proofs -- Formal Languages -- Category Theory -- Deduction systems. |
| Record Nr. | UNISA-996464528003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic, Language, Information, and Computation : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings / / edited by Alexandra Silva, Renata Wassermann, Ruy de Queiroz
| Logic, Language, Information, and Computation : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings / / edited by Alexandra Silva, Renata Wassermann, Ruy de Queiroz |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (435 pages) |
| Disciplina | 511.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico | Logic |
| ISBN | 3-030-88853-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Logic -- Language -- Computation -- Proofs -- Formal Languages -- Category Theory -- Deduction systems. |
| Record Nr. | UNINA-9910502990203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
New trends towards Mediterranean tourism sustainability [[electronic resource] /] / Luís Miguel Rosalino, Alexandra Silva and António Abreu, editors
| New trends towards Mediterranean tourism sustainability [[electronic resource] /] / Luís Miguel Rosalino, Alexandra Silva and António Abreu, editors |
| Pubbl/distr/stampa | Hauppauge, N.Y., : Nova Science Publishers, Inc., c2012 |
| Descrizione fisica | 1 online resource (183 p.) |
| Disciplina | 338.4/791091822 |
| Altri autori (Persone) |
RosalinoLuís M
SilvaAlexandra AbreuToño |
| Collana | Hospitality, tourism and marketing studies |
| Soggetto topico | Sustainable tourism - Mediterranean Region |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-62257-628-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910453815203321 |
| Hauppauge, N.Y., : Nova Science Publishers, Inc., c2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
New trends towards Mediterranean tourism sustainability [[electronic resource] /] / Luís Miguel Rosalino, Alexandra Silva and António Abreu, editors
| New trends towards Mediterranean tourism sustainability [[electronic resource] /] / Luís Miguel Rosalino, Alexandra Silva and António Abreu, editors |
| Pubbl/distr/stampa | Hauppauge, N.Y., : Nova Science Publishers, Inc., c2012 |
| Descrizione fisica | 1 online resource (183 p.) |
| Disciplina | 338.4/791091822 |
| Altri autori (Persone) |
RosalinoLuís M
SilvaAlexandra AbreuToño |
| Collana | Hospitality, tourism and marketing studies |
| Soggetto topico | Sustainable tourism - Mediterranean Region |
| ISBN | 1-62257-628-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910779776103321 |
| Hauppauge, N.Y., : Nova Science Publishers, Inc., c2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
