Andrei alexandru (34 Ergebnisse)

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Hardcover. Zustand: Very Good. Picture Boards. 1st Edition. Bottom tips of the boards have been bumped. Remnants of a past retailer's label on the rear board. In this book the authors present an alternative set theory dealing with a more relaxed notion of infiniteness, called finitely supported mathematics (FSM). It has strong connections to the Fraenkel-Mostowski (FM) permutative model of Zermelo-Fraenkel (ZF) set theory with atoms and to the theory of (generalized) nominal sets. More exactly, FSM is ZF mathematics rephrased in terms of finitely supported structures, where the set of atoms is infinite (not necessarily countable as for nominal sets). In FSM, 'sets' are replaced either by `invariant sets' (sets endowed with some group actions satisfying a finite support requirement) or by `finitely supported sets' (finitely supported elements in the powerset of an invariant set). It is a theory of `invariant algebraic structures' in which infinite algebraic structures are characterized by using their finite supports. After explaining the motivation for using invariant sets in the experimental sciences as well as the connections with the nominal approach, admissible sets and Gandy machines (Chapter 1), the authors present in Chapter 2 the basics of invariant sets and show that the principles of constructing FSM have historical roots both in the definition of Tarski `logical notions' and in the Erlangen Program of Klein for the classification of various geometries according to invariants under suitable groups of transformations. Furthermore, the consistency of various choice principles is analyzed in FSM. Chapter 3 examines whether it is possible to obtain valid results by replacing the notion of infinite sets with the notion of invariant sets in the classical ZF results. The authors present techniques for reformulating ZF properties of algebraic structures in FSM. In Chapter 4 they generalize FM set theory by providing a new set of axioms inspired by the theory of amorphous sets, and so defining the extended Fraenkel-Mostowski (EFM) set theory. In Chapter 5 they define FSM semantics for certain process calculi (e.g., fusion calculus), and emphasize the links to the nominal techniques used in computer science. They demonstrate a complete equivalence between the new FSM semantics (defined by using binding operators instead of side conditions for presenting the transition rules) and the known semantics of these process calculi. Size: 8vo - over 7¾" - 9¾" tall. Book.…

Zustand: New. In English.

Zustand: New. In English.

Paperback. Zustand: Brand New. 376 pages. 9.00x6.00x1.00 inches. In Stock.

Hardcover. Zustand: Brand New. 196 pages. 9.50x6.50x0.75 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - In this book the authors present an alternative set theory dealing with a more relaxed notion of infiniteness, called finitely supported mathematics (FSM). It has strong connections to the Fraenkel-Mostowski (FM) permutative model of Zermelo-Fraenkel (ZF) set theory with atoms and to the theory of (generalized) nominal sets. More exactly, FSM is ZF mathematics rephrased in terms of finitely supported structures, where the set of atoms is infinite (not necessarily countable as for nominal sets). In FSM, 'sets' are replaced either by `invariant sets' (sets endowed with some group actions satisfying a finite support requirement) or by `finitely supported sets' (finitely supported elements in the powerset of an invariant set). It is a theory of `invariant algebraic structures' in which infinite algebraic structures are characterized by using their finite supports. After explaining the motivation for using invariant sets in the experimental sciences as well as the connections with the nominal approach, admissible sets and Gandy machines (Chapter 1), the authors present in Chapter 2 the basics of invariant sets and show that the principles of constructing FSM have historical roots both in the definition of Tarski `logical notions' and in the Erlangen Program of Klein for the classification of various geometries according to invariants under suitable groups of transformations. Furthermore, the consistency of various choice principles is analyzed in FSM. Chapter 3 examines whether it is possible to obtain valid results by replacing the notion of infinite sets with the notion of invariant sets in the classical ZF results. The authors present techniques for reformulating ZF properties of algebraic structures in FSM. In Chapter 4 they generalize FM set theory by providing a new set of axioms inspired by the theory of amorphous sets, and so defining the extended Fraenkel-Mostowski (EFM) set theory. In Chapter 5 they define FSM semantics for certain process calculi (e.g., fusion calculus), and emphasize the links to the nominal techniques used in computer science. They demonstrate a complete equivalence between the new FSM semantics (defined by using binding operators instead of side conditions for presenting the transition rules) and the known semantics of these process calculi.The book is useful for researchers and graduate students in computer science and mathematics, particularly those engaged with logic and set theory. …

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - In this book the authors present an alternative set theory dealing with a more relaxed notion of infiniteness, called finitely supported mathematics (FSM). It has strong connections to the Fraenkel-Mostowski (FM) permutative model of Zermelo-Fraenkel (ZF) set theory with atoms and to the theory of (generalized) nominal sets. More exactly, FSM is ZF mathematics rephrased in terms of finitely supported structures, where the set of atoms is infinite (not necessarily countable as for nominal sets). In FSM, 'sets' are replaced either by `invariant sets' (sets endowed with some group actions satisfying a finite support requirement) or by `finitely supported sets' (finitely supported elements in the powerset of an invariant set). It is a theory of `invariant algebraic structures' in which infinite algebraic structures are characterized by using their finite supports. After explaining the motivation for using invariant sets in the experimental sciences as well as the connections with the nominal approach, admissible sets and Gandy machines (Chapter 1), the authors present in Chapter 2 the basics of invariant sets and show that the principles of constructing FSM have historical roots both in the definition of Tarski `logical notions' and in the Erlangen Program of Klein for the classification of various geometries according to invariants under suitable groups of transformations. Furthermore, the consistency of various choice principles is analyzed in FSM. Chapter 3 examines whether it is possible to obtain valid results by replacing the notion of infinite sets with the notion of invariant sets in the classical ZF results. The authors present techniques for reformulating ZF properties of algebraic structures in FSM. In Chapter 4 they generalize FM set theory by providing a new set of axioms inspired by the theory of amorphous sets, and so defining the extended Fraenkel-Mostowski (EFM) set theory. In Chapter 5 they define FSM semantics for certain process calculi (e.g., fusion calculus), and emphasize the links to the nominal techniques used in computer science. They demonstrate a complete equivalence between the new FSM semantics (defined by using binding operators instead of side conditions for presenting the transition rules) and the known semantics of these process calculi.The book is useful for researchers and graduate students in computer science and mathematics, particularly those engaged with logic and set theory.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This two-volume set LNCS16258-16259 constitutes the refereed proceedings of the 22nd European Conference on Multi-Agent Systems, EUMAS 2025, held in Bucharest, Romania, during September 3 5, 2025.The 33 full papers, 9 short papers, 3 demonstrators and 1 Agent Toolkits community report included in this book were carefully reviewed and selected from 60 submissions. They were organized into the following topical sections:Part I: Engineering Multi-Agent Systems; Agent-Based Modeling and Simulation; Human-Agent Interaction; and Agent Toolkits Community Report.Part II: Formal approaches, Networks and Learning; Short Papers; and Demonstrators.…

HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Taschenbuch. Zustand: Neu. Filling the Gaps | Intellectual Capital and the Internationalization of European SMEs | Elena-M¿d¿lina V¿t¿m¿nescu Vlad-Andrei Alexandru (u. a.) | Taschenbuch | Englisch | 2020 | LAP LAMBERT Academic Publishing | EAN 9786200534514 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu. …

Taschenbuch. Zustand: Neu. Renewable energy in the 21st century | The promise of dye sensitised solar cells | Codrin Alexandru Andrei | Taschenbuch | 116 S. | Englisch | 2010 | LAP LAMBERT Academic Publishing | EAN 9783843356848 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Finitely Supported Mathematics | An Introduction | Andrei Alexandru (u. a.) | Taschenbuch | vii | Englisch | 2018 | Springer | EAN 9783319825458 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Zustand: Neu. Multi-Agent Systems | 22nd European Conference, EUMAS 2025, Bucharest, Romania, September 3-5, 2025, Proceedings, Part II | Matteo Baldoni (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiii | Englisch | 2026 | Springer | EAN 9783032228192 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Hardcover. Zustand: Brand New. illustrated edition. 192 pages. 10.30x7.10x0.70 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This two-volume set LNCS16258-16259 constitutes the refereed proceedings of the 22nd European Conference on Multi-Agent Systems, EUMAS 2025, held in Bucharest, Romania, during September 3 5, 2025.The 33 full papers, 9 short papers, 3 demonstrators and 1 Agent Toolkits community report included in this book were carefully reviewed and selected from 60 submissions. They were organized into the following topical sections:Part I: Engineering Multi-Agent Systems; Agent-Based Modeling and Simulation; Human-Agent Interaction; and Agent Toolkits Community Report.Part II: Formal approaches, Networks and Learning; Short Papers; and Demonstrators.…

Zustand: New. In English.

Zustand: New. In English.

Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | In the framework of a fast-changing globalized economy, European small and medium-sized enterprises (SMEs) are at the crossroads of international external pressures and internal reaction constraints. This volume draws upon the importance of leveraging European SMEs¿ intellectual capital in the context of internationalization and development of sustainable international partnerships, in order to create and maintain relevant competitive advantages. At a practical level, it explores the European initiatives and the Romanian legal, governmental and institutional instruments aimed at supporting the SMEs in their various endeavors, from accessing relevant knowledge to deploying successful operations in foreign markets. Thus, it offers insight and valuable knowledge to academics and managers interested in the international expansion of SMEs.This volume was supported by a grant of the Ministry of Research and Innovation, CNCS - UEFISCDI, project number PN-III-P1-1.1-TE-2016-0232, within PNCDI III.…

Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | In the framework of a fast-changing globalized economy, European small and medium-sized enterprises (SMEs) are at the crossroads of international external pressures and internal reaction constraints. This volume draws upon the importance of leveraging European SMEs¿ intellectual capital in the context of internationalization and development of sustainable international partnerships, in order to create and maintain relevant competitive advantages. At a practical level, it explores the European initiatives and the Romanian legal, governmental and institutional instruments aimed at supporting the SMEs in their various endeavors, from accessing relevant knowledge to deploying successful operations in foreign markets. Thus, it offers insight and valuable knowledge to academics and managers interested in the international expansion of SMEs.This volume was supported by a grant of the Ministry of Research and Innovation, CNCS - UEFISCDI, project number PN-III-P1-1.1-TE-2016-0232, within PNCDI III.…

Taschenbuch. Zustand: Neu. Multi-Agent Systems | 22nd European Conference, EUMAS 2025, Bucharest, Romania, September 3-5, 2025, Proceedings, Part I | Matteo Baldoni (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiii | Englisch | 2026 | Springer | EAN 9783032228161 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents a set theoretical development for the foundations of the theory of atomic and finitely supported structures. It analyzes whether a classical result can be adequately reformulated by replacing a 'non-atomic structure' with an 'atomic, finitely supported structure'. It also presents many specific properties, such as finiteness, cardinality, connectivity, fixed point, order and uniformity, of finitely supported atomic structures that do not have non-atomic correspondents.In the framework of finitely supported sets, the authors analyze the consistency of various forms of choice and related results. They introduce and study the notion of 'cardinality' by presenting various order and arithmetic properties. Finitely supported partially ordered sets, chain complete sets, lattices and Galois connections are studied, and new fixed point, calculability and approximation properties are presented. In this framework, the authors study the finitely supported L-fuzzysubsets of a finitely supported set and the finitely supported fuzzy subgroups of a finitely supported group. Several pairwise non-equivalent definitions for the notion of 'infinity' (Dedekind infinity, Mostowski infinity, Kuratowski infinity, Tarski infinity, ascending infinity) are introduced, compared and studied in the new framework. Relevant examples of sets that satisfy some forms of infinity while not satisfying others are provided. Uniformly supported sets are analyzed, and certain surprising properties are presented. Finally, some variations of the finite support requirement are discussed.The book will be of value to researchers in the foundations of set theory, algebra and logic.…

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents a set theoretical development for the foundations of the theory of atomic and finitely supported structures. It analyzes whether a classical result can be adequately reformulated by replacing a 'non-atomic structure' with an 'atomic, finitely supported structure'. It also presents many specific properties, such as finiteness, cardinality, connectivity, fixed point, order and uniformity, of finitely supported atomic structures that do not have non-atomic correspondents.In the framework of finitely supported sets, the authors analyze the consistency of various forms of choice and related results. They introduce and study the notion of 'cardinality' by presenting various order and arithmetic properties. Finitely supported partially ordered sets, chain complete sets, lattices and Galois connections are studied, and new fixed point, calculability and approximation properties are presented. In this framework, the authors study the finitely supported L-fuzzysubsets of a finitely supported set and the finitely supported fuzzy subgroups of a finitely supported group. Several pairwise non-equivalent definitions for the notion of 'infinity' (Dedekind infinity, Mostowski infinity, Kuratowski infinity, Tarski infinity, ascending infinity) are introduced, compared and studied in the new framework. Relevant examples of sets that satisfy some forms of infinity while not satisfying others are provided. Uniformly supported sets are analyzed, and certain surprising properties are presented. Finally, some variations of the finite support requirement are discussed.The book will be of value to researchers in the foundations of set theory, algebra and logic.…

Paperback. Zustand: Brand New. 215 pages. 9.25x6.10x0.49 inches. In Stock.

Hardcover. Zustand: Brand New. 215 pages. 9.25x6.10x0.56 inches. In Stock.

Taschenbuch. Zustand: Neu. Foundations of Finitely Supported Structures | A Set Theoretical Viewpoint | Andrei Alexandru (u. a.) | Taschenbuch | xi | Englisch | 2021 | Springer | EAN 9783030529642 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Zustand: New. In English.

Zustand: New. Over the years, much progress has been achieved on finiteness conjectures, which are the offspring of the second part of Hilbert's 16th problem. This book describes this progress, the methods used (bifurcation theory, asymptotic expansions, methods of differential algebra, or geometry) and the specific results obtained. Series: CRM Monograph Series. Num Pages: 224 pages, illustrations. BIC Classification: PBKJ; PBMS. Category: (P) Professional & Vocational. Weight in Grams: 553. . 2005. Hardcover. . . . . Books ship from the US and Ireland. …

Zustand: NEW.