| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910484476103321 |
|
|
Titolo |
Languages: from formal to natural : essays dedicated to Nissim Francez on the occasion of his 65th birthday / / Orna Grumberg ... [et al.] (eds.) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2009.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 245 p.) |
|
|
|
|
|
|
Collana |
|
Lecture notes in computer science, , 0302-9743 ; ; 5533 |
Festschrift |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
FrancezNissim |
GrumbergOrna |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer programming |
Programming languages (Electronic computers) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Festschrift. |
International conference proceedings. |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Languages: From Formal to Natural -- Modular Verification of Recursive Programs -- Semi-formal Evaluation of Conversational Characters -- Scope Dominance with Generalized Quantifiers -- Nonassociative Lambek Calculus with Additives and Context-Free Languages -- On Lazy Commutation -- Aspect Oriented Approach for Capturing and Verifying Distributed Properties -- No i-Sums for Nissim (and Shalom) -- The Power of Non-deterministic Reassignment in Infinite-Alphabet Pushdown Automata -- Modular Verification of Strongly Invasive Aspects -- Classes of Service under Perfect Competition and Technological Change -- On the Ontological Nature of Syntactic Categories in Categorial Grammar -- Masking Gateway for Enterprises -- No Syllogisms for the Numerical Syllogistic -- Formal Grammars of Early Language -- Hybrid BDD and All-SAT Method for Model Checking. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This Festschrift volume, published in honor of Nissim Francez on the occasion of his 65th birthday, contains 15 papers, written by friends and colleagues, many of whom congregated at a celebratory symposium held on May 24-25, 2009, in Haifa, Israel. The theme of the symposium was Languages: From Formal to Natural, reflecting the focus of Nissim Francez' research career, which started in program |
|
|
|
|
|
|
|
|
|
|
|
|
|
verification and the semantics of programming languages and later concentrated on natural languages and computational linguistics. The papers included in this volume cover the entire spectrum of this field of research. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910689862203321 |
|
|
Titolo |
Best business practices for securing America's borders : hearing of the Subcommittee on Infrastructure and Border Security before the Select Committee on Homeland Security, House of Representatives, One Hundred Eighth Congress, first session, July 23, 2003 |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (iii, 51 p.) : ill |
|
|
|
|
|
|
Soggetti |
|
National security - United States |
Terrorism - United States - Prevention |
International economic relations |
Border security - United States |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910872334603321 |
|
|
Autore |
Krelle Wilhelm |
|
|
Titolo |
Theorien des einzelwirtschaftlichen und des gesamtwirtschaftlichen Wachstums. |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin : , : Duncker & Humblot, , 2022 |
|
©1965 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (149 pages) |
|
|
|
|
|
|
Collana |
|
Schriften des Vereins für Socialpolitik |
|
|
|
|
|
|
Soggetti |
|
Economic development |
Economics |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Vorwort des Herausgebers -- Inhalt -- Prof. Dr. Horst Albach (Bonn): Zur Theorie des wachsenden Unternehmens -- I. Problemstellung -- II. Empirische Untersuchungen einzelbetrieblichen Wachstums -- 1. Bedingungen des einzelbetrieblichen Wachstums -- a) Die Wachstumsschwelle -- b) Das Lebensalter der Unternehmen -- c) Die Unternehmensform -- d) Die Unternehmensgröße -- 2. Empirische Untersuchungen des Wachstumsverlaufes -- a) Stetigkeit des Wachstumsverlaufes -- b) Wachstumsimpulse -- c) Wachstumshemmnisse -- III. Theoretische Modelle betrieblichen Wachstums -- 1. Ältere Erklärungsversuche des Wachstums von Unternehmen -- a) Die Erklärung des einzelwirtschaftlichen Wachstums durch einen mechanischen Prozeß -- b) Die Erklärung des einzelwirtschaftlichen Wachstums durch einen organischen Entwicklungsvorgang -- 2. Neuere Erklärungsversuche des Wachstums von Unternehmen -- a) Betriebliche Wachstumstheorie als Erweiterung investitionstheoretischer Modelle -- a1) Die Theorie der gleichgewichtigen Wachstumsrate des Unternehmens -- a2) Die Theorie der gleichgewichtigen Wachstumsschübe im Unternehmen -- b) Die Theorie der kontrollierten Wachstumsschübe im Unternehmen -- b1) Das Grundmodell -- b2) Das WG-Modell -- α) Das deterministische WG-Modell -- |
|
|
|
|
|
|
|
|
|
|
|
β) Das stochastische WG-Modell -- b3) Das UWG-Modell -- Symbolverzeichnis -- Abkürzungen |
|
|
|
|
|
|
Sommario/riassunto |
|
This book is a collection of works presented and discussed at meetings of the Theoretical Committee of the Society for Economics and Social Policy. It explores theories of economic growth and business expansion, delving into both empirical studies and theoretical models. Contributions from scholars such as Horst Albach, Martin Beckmann, Knut Borchardt, and Wilhelm Krelle examine various aspects of economic and business growth, including the conditions for growth, the impact of diminishing returns, and firm size dynamics. The book is intended for academics and professionals interested in economic theory and policy, providing insights into the factors influencing business growth and economic development. |
|
|
|
|
|
|
|
| |