| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910779571303321 |
|
|
Titolo |
The corporate firm in a changing world economy : case studies in the geography of enterprise / / edited by Marc de Smidt and Egbert Wever |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London : , : Routledge, , 2013 |
|
|
|
|
|
|
|
ISBN |
|
0-203-07652-4 |
1-299-44866-6 |
1-135-12611-9 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (xiv, 247 pages) |
|
|
|
|
|
|
Collana |
|
Routledge library editions. International business ; ; v. 36 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
International business enterprises - Location - Case studies |
Industrial location - Case studies |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
First published in 1990 by Routledge. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Front Cover; Title; Copyright; Contents; Figures; Tables; Contributors; Preface; 1 Firms: Strategy and changing environments; 2 IBM: The corporate chameleon; 3 Philips: A global electronics firm restructures its home base; 4 Standard Elektrik Lorenz: Introducing CAD into a telecommunications firm: its impact on labour; 5 Goodman Fielder Wattie: Good Food World-wide? Internationalization and performance; 6 ccFriesland: Spatial dynamics within a dynamic company; 7 MacMillan Bloedel: Corporate restructuring and employment change |
8 Nissan Motor Company: Stages of international growth, locational profile, and subcontracting in the Tokyo region9 Volvo: The organization of work: a determinant of the future location of manufacturing enterprises; 10 Daewoo: Corporate growth and spatial organization; 11 The geography of enterprise: elements of a research agenda; Index |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book examines the economic environment and phenomena of multinational business with reference to case studies of major multinational companies, including IBM, Philips, Nissan and Volvo. It assesses how the major theories explaining the response of companies to changes are borne out by the experience of individual firms. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910484909103321 |
|
|
Titolo |
Programming Languages and Systems : 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings / / edited by Bor-Yuh Evan Chang |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2017.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIX, 555 p. 116 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering, , 2945-9168 ; ; 10695 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Compilers (Computer programs) |
Computer programming |
Computer science |
Computers |
Professions |
Electronic digital computers - Evaluation |
Compilers and Interpreters |
Programming Techniques |
Theory of Computation |
The Computing Profession |
System Performance and Evaluation |
Computer Hardware |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Contributions -- Programming by Examples: PL meets ML -- Synthesizing SystemC Code from Delay Hybrid CSP -- Security -- Taming Message-passing Communication in Compositional Reasoning about Confidentiality -- Capabilities for Java: Secure Access to Resources -- Enforcing Programming Guidelines with Region-Types and Effects -- Automatically generating secure wrappers for SGX enclaves from separation logic specifications -- Heap and Equivalence Reasoning -- Black-box equivalence checking across compiler optimizations -- Weakly Sensitive Analysis for Unbounded Iteration |
|
|
|
|
|
|
|
|
|
|
|
over JavaScript Objects -- Decision Procedure for Entailment of Symbolic Heaps with Arrays -- Bringing order to the separation logic jungle -- Concurrency and Verification -- Programming and proving with classical types -- Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-vous -- Verified Root-Balanced Trees -- Safety and Liveness of MCS Lock - Layer by Layer -- Domain-Specific Languages -- Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access -- Efficient Functional Reactive Programming through Incremental Behaviors -- Implementing Algebraic Effects in C - Monads for Free in C -- Sound and Efficient Language-Integrated Query: Maintaining the ORDER -- Semantics -- A Computational Interpretation of Context-Free Expressions -- Partiality and container monads -- The Negligible and Yet Subtle Cost of Pattern Matching -- A lambda calculus for density matrices wth classical and probabilistic controls -- Numerical Reasoning -- Compact Difference Bound Matrices -- Sharper and Simpler Nonlinear Interpolants for Program Verification -- A Nonstandard Functional Programming Language -- Counterexample-Guided Bit-Precision Selection. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017. The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages; semantics; and numerical reasoning. The volume also contains two invited talks in full-paper length. . |
|
|
|
|
|
|
|
| |