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.
Coordination Models and Languages [[electronic resource] ] : 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings / / edited by Giovanna Di Marzo Serugendo, Michele Loreti
| Coordination Models and Languages [[electronic resource] ] : 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings / / edited by Giovanna Di Marzo Serugendo, Michele Loreti |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XII, 281 p. 66 illus.) |
| Disciplina | 005 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Operating systems (Computers) Programming languages (Electronic computers) Architecture, Computer Computer communication systems Special purpose computers Software Engineering Operating Systems Programming Languages, Compilers, Interpreters Computer System Implementation Computer Communication Networks Special Purpose and Application-Based Systems |
| ISBN | 3-319-92408-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | System Coordination -- Agent-Oriented Techniques -- Software Architecture -- Formal Analysis -- Design -- Implementation of Languages -- Models -- Multicore Software Systems. |
| Record Nr. | UNISA-996465800203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Coordination Models and Languages : 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings / / edited by Giovanna Di Marzo Serugendo, Michele Loreti
| Coordination Models and Languages : 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings / / edited by Giovanna Di Marzo Serugendo, Michele Loreti |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XII, 281 p. 66 illus.) |
| Disciplina | 005 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Operating systems (Computers) Programming languages (Electronic computers) Architecture, Computer Computer communication systems Special purpose computers Software Engineering Operating Systems Programming Languages, Compilers, Interpreters Computer System Implementation Computer Communication Networks Special Purpose and Application-Based Systems |
| ISBN | 3-319-92408-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | System Coordination -- Agent-Oriented Techniques -- Software Architecture -- Formal Analysis -- Design -- Implementation of Languages -- Models -- Multicore Software Systems. |
| Record Nr. | UNINA-9910349436203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Models, Languages, and Tools for Concurrent and Distributed Programming [[electronic resource] ] : Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday / / edited by Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese
| Models, Languages, and Tools for Concurrent and Distributed Programming [[electronic resource] ] : Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday / / edited by Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIII, 498 p. 2003 illus., 53 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Computer programming Computer systems Computer networks Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters Programming Techniques Computer System Implementation Computer Communication Networks |
| ISBN | 3-030-21485-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Homage from Friends -- Observational Semantics -- Coordination Models and Languages -- Logics and Types -- Distributed Systems Modelling -- Security. |
| Record Nr. | UNISA-996466073003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Models, Languages, and Tools for Concurrent and Distributed Programming : Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday / / edited by Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese
| Models, Languages, and Tools for Concurrent and Distributed Programming : Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday / / edited by Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIII, 498 p. 2003 illus., 53 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Computer programming Computer systems Computer networks Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters Programming Techniques Computer System Implementation Computer Communication Networks |
| ISBN | 3-030-21485-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Homage from Friends -- Observational Semantics -- Coordination Models and Languages -- Logics and Types -- Distributed Systems Modelling -- Security. |
| Record Nr. | UNINA-9910349314803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Trustworthy Global Computing [[electronic resource] ] : 10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers / / edited by Pierre Ganty, Michele Loreti
| Trustworthy Global Computing [[electronic resource] ] : 10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers / / edited by Pierre Ganty, Michele Loreti |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (IX, 163 p. 30 illus.) |
| Disciplina | 005.8 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Data protection
Machine theory Application software Computer engineering Computer networks Data and Information Security Formal Languages and Automata Theory Computer and Information Systems Applications Computer Engineering and Networks |
| ISBN | 3-319-28766-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466003103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Trustworthy Global Computing : 10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers / / edited by Pierre Ganty, Michele Loreti
| Trustworthy Global Computing : 10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers / / edited by Pierre Ganty, Michele Loreti |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (IX, 163 p. 30 illus.) |
| Disciplina | 005.8 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Data protection
Machine theory Application software Computer engineering Computer networks Data and Information Security Formal Languages and Automata Theory Computer and Information Systems Applications Computer Engineering and Networks |
| ISBN | 3-319-28766-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910483857403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||