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.
18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP 2007): Porto Alegre, RS, Brazil - 28-30 May 2007
| 18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP 2007): Porto Alegre, RS, Brazil - 28-30 May 2007 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2007 |
| Descrizione fisica | 1 online resource (xi, 209 pages) : illustrations |
| Disciplina | 005.1015113 |
| Soggetto topico | Computer software - Development |
| ISBN | 1-5090-9035-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996202088403316 |
| [Place of publication not identified], : IEEE Computer Society Press, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP 2007): Porto Alegre, RS, Brazil - 28-30 May 2007
| 18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP 2007): Porto Alegre, RS, Brazil - 28-30 May 2007 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2007 |
| Descrizione fisica | 1 online resource (xi, 209 pages) : illustrations |
| Disciplina | 005.1015113 |
| Soggetto topico | Computer software - Development |
| ISBN |
9781509090358
1509090355 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910142658503321 |
| [Place of publication not identified], : IEEE Computer Society Press, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2013 1st International Workshop on Release Engineering (RELENG) / / Institute of Electrical and Electronics Engineers
| 2013 1st International Workshop on Release Engineering (RELENG) / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE, , 2013 |
| Descrizione fisica | 1 online resource (36 pages) |
| Disciplina | 005.1015113 |
| Soggetto topico | Computer software |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foreword iii -- Adding Automatic Dependency Processing to Makefile-Based Build Systems with Amake -- Jim Buffenbarger - Boise State University, USA 1 -- Eliciting Operations Requirements for Applications -- Len Bass, Ross Jeffery, Hiroshi Wada, Ingo Weber, and Liming Zhu - NICTA, Australia; UNSW, Australia 5 -- Kanbanize the Release Engineering Process -- Noureddine Kerzazi and Pierre N. Robillard - Payza, Canada; Polytechnique Montréal, Canada . 9 -- Ant Build Maintenance with Formiga -- Ryan Hardt and Ethan V. Munson - University of Wisconsin-Milwaukee, USA 13 -- Charon: Declarative Provisioning and Deployment -- Eelco Dolstra, Rob Vermaas, and Shea Levy - LogicBlox, USA 17 -- Releasing Sooner or Later: An Optimization Approach and Its Case Study Evaluation -- Jason Ho and Guenther Ruhe - University of Calgary, Canada; Expert Decisions, Canada 21 -- Branching Strategies Based on Social Networks -- Noureddine Kerzazi - Payza, Canada . 25 -- What Effect does Distributed Version Control have on OSS Project Organization? -- Peter C. Rigby, Earl T. Barr, Christian Bird, Premkumar Devanbu, and Daniel M. German - Concordia University, Canada; -- University College London, UK; Microsoft Research, USA; UC Davis, USA; University of Victoria, Canada 29 -- The Future of Continuous Integration in GNOME -- Colin Walters, Germán Poo-Caamaño, and Daniel M. German - Red Hat, USA; University of Victoria, Canada 33. |
| Altri titoli varianti |
2013 1st International Workshop on Release Engineering
Release Engineering |
| Record Nr. | UNISA-996279763503316 |
| Piscataway, New Jersey : , : IEEE, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2020 12th International Conference on Communication Software and Networks (ICCSN) / / Institute of Electrical and Electronics Engineers
| 2020 12th International Conference on Communication Software and Networks (ICCSN) / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE, , 2020 |
| Descrizione fisica | 1 online resource |
| Disciplina | 005.1015113 |
| Soggetto topico | Computer software |
| ISBN | 1-7281-9815-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2020 12th International Conference on Communication Software and Networks |
| Record Nr. | UNINA-9910437191903321 |
| Piscataway, New Jersey : , : IEEE, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2020 12th International Conference on Communication Software and Networks (ICCSN) / / Institute of Electrical and Electronics Engineers
| 2020 12th International Conference on Communication Software and Networks (ICCSN) / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE, , 2020 |
| Descrizione fisica | 1 online resource |
| Disciplina | 005.1015113 |
| Soggetto topico | Computer software |
| ISBN | 1-7281-9815-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2020 12th International Conference on Communication Software and Networks |
| Record Nr. | UNISA-996575570203316 |
| Piscataway, New Jersey : , : IEEE, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
ABZ 2014: The Landing Gear Case Study : Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings / / edited by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe
| ABZ 2014: The Landing Gear Case Study : Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings / / edited by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XII, 161 p. 47 illus.) |
| Disciplina | 005.1015113 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Computer logic
Mathematical logic Computers Computer simulation Logics and Meanings of Programs Mathematical Logic and Formal Languages Computation by Abstract Devices Simulation and Modeling |
| ISBN | 3-319-07512-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal techniques: B, ASM, Fiacre -- Kinds of verification -- Proof -- Model checking -- Test generation -- Run-time monitoring -- Simulation. |
| Record Nr. | UNINA-9910298563803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Adjunct Publication of the 32nd Annual ACM Symposium on User Interface Software and Technology / / François Guimbretière, Michael Bernstein, Katharina Reinecke, editors
| Adjunct Publication of the 32nd Annual ACM Symposium on User Interface Software and Technology / / François Guimbretière, Michael Bernstein, Katharina Reinecke, editors |
| Pubbl/distr/stampa | New York, NY : , : Association for Computing Machinery, , 2019 |
| Descrizione fisica | 1 online resource (192 pages) : illustrations |
| Disciplina | 005.1015113 |
| Collana | ACM international conference proceedings series |
| Soggetto topico |
Computer software
Interactive computer systems User interfaces (Computer systems) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910412290303321 |
| New York, NY : , : Association for Computing Machinery, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algebraic Informatics [[electronic resource] ] : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings / / edited by Traian Muntean, Robert Rolland, Dimitrios Poulakis
| Algebraic Informatics [[electronic resource] ] : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings / / edited by Traian Muntean, Robert Rolland, Dimitrios Poulakis |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 275 p. 14 illus.) |
| Disciplina | 005.1015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Computer science—Mathematics Software engineering Discrete mathematics Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Symbolic and Algebraic Manipulation Software Engineering Discrete Mathematics in Computer Science Mathematics of Computing |
| ISBN | 3-642-40663-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Data models and coding theory -- Fundamental aspects of cryptography and security -- Algebraic and stochastic models of computing -- Logic and program modelling. |
| Record Nr. | UNISA-996466037903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algebraic Informatics : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings / / edited by Traian Muntean, Robert Rolland, Dimitrios Poulakis
| Algebraic Informatics : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings / / edited by Traian Muntean, Robert Rolland, Dimitrios Poulakis |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 275 p. 14 illus.) |
| Disciplina | 005.1015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Computer science—Mathematics Software engineering Discrete mathematics Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Symbolic and Algebraic Manipulation Software Engineering Discrete Mathematics in Computer Science Mathematics of Computing |
| ISBN | 3-642-40663-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Data models and coding theory -- Fundamental aspects of cryptography and security -- Algebraic and stochastic models of computing -- Logic and program modelling. |
| Record Nr. | UNINA-9910484892603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algebraic Informatics [[electronic resource] ] : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings / / edited by Franz Winkler
| Algebraic Informatics [[electronic resource] ] : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings / / edited by Franz Winkler |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (X, 261 p. 23 illus., 1 illus. in color.) |
| Disciplina | 005.1015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Computer science—Mathematics Software engineering Discrete mathematics Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Symbolic and Algebraic Manipulation Software Engineering Discrete Mathematics in Computer Science Mathematics of Computing |
| ISBN | 3-642-21493-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465402803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
