| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA990001942500203316 |
|
|
Autore |
VITALE, Carmine |
|
|
Titolo |
V. 2 : Legislazione minorile : commentata con la giurisprudenza della Corte costituzionale e delle altre autorita' giudiziarie / Carmine Vitale, Francesco Verdoliva |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Azzano San Paolo : Edizioni Junior |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910826903503321 |
|
|
Autore |
Fisk Peter (Peter Robert) |
|
|
Titolo |
Gamechangers : are you ready to change the world? Creating innovative strategies for business and brands / / Peter Fisk |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Chichester, West Sussex ; ; New York, New York : , : Wiley, , 2015 |
|
|
|
|
|
|
|
ISBN |
|
1-118-95695-8 |
1-322-39381-8 |
|
|
|
|
|
|
|
|
Edizione |
[1st edition] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (317 pages) : illustrations |
|
|
|
|
|
|
Classificazione |
|
BUS043000BUS063000BUS043000 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Strategic planning |
Competition |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
Machine generated contents note: INTRODUCTION Are you ready to change the world? 1 PART 1 Are You Ready? 8 1. Play 11 2. Change 21 3. Win 29 PART 2 Change the Game 36 4. Think 39 5. Explore 53 6. Disrupt 67 7. Inspire 81 8. Design 97 9. Resonate 111 10. Enable 121 11. Mobilize 129 12. Impact 139 13. Amplify 151 PART 3 The Gamechangers 166 14. Futurestore 173 15. Futurebank 185 16. Futurehealth 197 17. Futuregadget 209 18. Futuremedia 219 19. Futurefashion 229 20. Futuretravel 239 21. Futurefood 249 22. Futuretech 259 23. Futuremakers 271 PART 4 Gamechanger Labs 280 Future Lab 282 Creative Lab 286 Brand Lab 290 Performance Lab 294 APPENDIX Doing More 298 The Author 299 The Book 300 What's New? 300 What's More? 300 What's Next? 301. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Shake up and redefine the market by changing your game! Gamechangers are brands that have turned the world of business upside down. They win through ambition and innovation rather than legacy and scale, out-thinking the competition, focusing on the growth markets, and embracing technology in more human ways. Gamechangers provides you with the tools to help you generate innovative ideas that will set you apart as a gamechanger. Its detailed case studies will inspire you by exploring extraordinary next generation brands who are changing the game. . . and winning. Gamechangers is a highly practical book packed with smart "tools" and accompanied by a |
|
|
|
|
|
|
|
|
|
|
|
|
|
digital platform, the Gamechanger Studio, to help you apply and implement the best game-changing ideas from around the world into your own business. Gamechangers offers guidance on: Thinking smarter and acting faster Embracing the new tricks of business Understanding how gamechangers dream and disrupt Delivering practical results and winning |
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910483511203321 |
|
|
Titolo |
CONCUR 2005 - Concurrency Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings / / edited by Martín Abadi, Luca de Alfaro |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
|
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2005.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XXIV, 1280 p.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 3653 |
|
|
|
|
|
|
Altri autori (Persone) |
|
AbadiMartín |
De AlfaroLuca <1966-> |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer systems |
Computer science |
Compilers (Computer programs) |
Computer programming |
Computer System Implementation |
Theory of Computation |
Computer Science Logic and Foundations of Programming |
Compilers and Interpreters |
Programming Techniques |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Lectures -- Static Analysis Versus Model Checking for Bug Finding -- The Benefits of Exposing Calls and Returns -- A Compositional Approach to the Stochastic Dynamics of Gene Networks -- Contributed Papers -- Games Other People Play -- Type-Directed |
|
|
|
|
|
|
|
|
|
|
|
Concurrency -- Multiport Interaction Nets and Concurrency -- Model Checking for ?-Calculus Using Proof Search -- A Game Semantics of the Asynchronous ?-Calculus -- Efficient On-the-Fly Algorithms for the Analysis of Timed Games -- Modal Logics for Timed Control -- Timed Shuffle Expressions -- A New Modality for Almost Everywhere Properties in Timed Automata -- The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation -- A Behavioural Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement -- Probabilistic Anonymity -- Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus -- Timed Spi-Calculus with Types for Secrecy and Authenticity -- Selecting Theories and Recursive Protocols -- Constraint Solving for Contract-Signing Protocols -- A Ground-Complete Axiomatization of Finite State Processes in Process Algebra -- Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP -- Bisimulations Up-to for the Linear Time Branching Time Spectrum -- Deriving Weak Bisimulation Congruences from Reduction Systems -- SOS for Higher Order Processes -- The Individual and Collective Token Interpretations of Petri Nets -- Merged Processes — A New Condensed Representation of Petri Net Behaviour -- Concurrent Clustered Programming -- A Theory of System Behaviour in the Presence of Node and Link Failures -- Comparing Two Approaches to Compensable Flow Composition -- Transactions in RCCS -- Two-Player Nonzero-Sum ?-Regular Games -- Games Where You Can PlayOptimally Without Any Memory -- On Implementation of Global Concurrent Systems with Local Asynchronous Controllers -- Defining Fairness -- Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems -- Termination Analysis of Integer Linear Loops -- A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs -- Verification of Qualitative ? Constraints -- Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces -- Taming Interface Specifications -- Synthesis of Distributed Systems from Knowledge-Based Specifications. |
|
|
|
|
|
|
Sommario/riassunto |
|
This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose of the CONCUR series of conferences is to bring together researchers,developers, and students in order to advance the theory of concurrency and to promote its applications. This year’s conference was in San Francisco, California, from August 23 to August 26. We received 100 submissions in response to a call for papers. Each subm- sionwasassignedto at leastthreemembers ofthe ProgramCommittee; in many cases, reviews were solicited from outside experts. The ProgramCommittee d- cussed the submissions electronically, judging them on their perceived imp- tance, originality, clarity, and appropriateness to the expected audience. The Program Committee selected 38 papers for presentation. Because of the format of the conference and the high number of submissions, many good papers could not be included. Although submissions werereadand evaluated, the papers that appear in this volume may di?er in form and contents from the corresponding submissions. It is expected that many of the papers will be further revised and submitted to refereed archival journals for publication. |
|
|
|
|
|
|
|
| |