Linear Determinants with Applications to the Picard Scheme of a Family of Algebraic Curves, Birger Iversen
Автор: Tischler Julia Название: Light and Power for a Multiracial Nation: The Kariba Dam Scheme in the Central African Federation ISBN: 113726876X ISBN-13(EAN): 9781137268761 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: `Modernisation` was one of the most pervasive ideologies of the twentieth century. Focusing on a case study of the Kariba Dam in central-southern Africa and based on an array of primary sources and interviews the book provides a nuanced understanding of development in the turbulent late 1950s, a time when most colonies moved towards independence.
A unique reference to leading Jewish figures who helped shape the modern world
This superb collection presents more than forty incisive portraits of leading Jewish thinkers, artists, scientists, and other public figures of the last hundred years who, in their own unique ways, engaged with and helped shape the modern world.
Makers of Jewish Modernity features entries on political figures such as Walther Rathenau, Rosa Luxemburg, and David Ben-Gurion; philosophers and critics such as Walter Benjamin, Hannah Arendt, Isaiah Berlin, Jacques Derrida, and Judith Butler; and artists such as Mark Rothko. The book provides fresh insights into the lives and careers of novelists like Franz Kafka, Saul Bellow, and Philip Roth; the filmmakers Joel and Ethan Coen; social scientists such as Sigmund Freud; religious leaders and thinkers such as Avraham Kook and Martin Buber; and many others. Written by a diverse group of leading contemporary scholars from around the world, these vibrant and frequently surprising portraits offer a global perspective that highlights the multiplicity of Jewish experience and thought.
A reference book like no other, Makers of Jewish Modernity includes an informative general introduction that situates its subjects within the broader context of Jewish modernity as well as a rich selection of photos.
-- "Publishers Weekly"
Автор: Guang R. Gao Название: A Code Mapping Scheme for Dataflow Software Pipelining ISBN: 1461367824 ISBN-13(EAN): 9781461367826 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: As a major result, we show the optimal balancing problem of acyclic data flow graphs is reduceable to a class of linear programming problem, the net- work flow problem, for which well-known efficient algorithms exist.
Автор: Mark Watson Название: Programming in SCHEME ISBN: 0387946810 ISBN-13(EAN): 9780387946818 Издательство: Springer Рейтинг: Цена: 81050.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Scheme provides a flexible and powerful language for programming, embodying many features of logical and functional programming. This book provides readers with an introduction to programming in Scheme by constructing a series of re-usable programs. The disks contain MIT Scheme for Windows.
Автор: Luis M. Camarinha-Matos; Willy Picard Название: Pervasive Collaborative Networks ISBN: 1441946543 ISBN-13(EAN): 9781441946546 Издательство: Springer Рейтинг: Цена: 175160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: VBE Management.- Competency Modeling Targeted on Promotion of Organizations Towards VO Involvement.- A Virtual Breeding Environment Reference Model and Its Instantiation Methodology.- Systemic Strategic Management for VBEs in the Manufacturing Sector.- Networking Agrifood SMEs and Consumer Groups in Local Agribusiness.- Social Capital, Value Systems and Soft Issues.- Collaborative Networks and Social Capital: A Theoretical and Practical Convergence.- Analysis of Core-Values Alignment in Collaborative Networks.- Quantitative Analysis of the Soft Factor "Cooperation Climate" in Collaborative Networks.- Value Creation in Networks.- Value Creation Elements in Learning Collaborative Networked Organizations.- Sustainability of Virtual Collaborative Networks.- Going Virtual in the European Biopharmaceutical Industry: Conductors and Oxpeckers Make It.- Negotiation in Collaborative Networks.- Agreement Negotiation Support in VO Creation.- Using UML/WS-CDL for Modeling Negotiation Scenarios.- Automating Decisions for Inter-Enterprise Collaboration Management.- Construction of Collaboration Structures.- Data Mining to Discover Enterprise Networks.- Life Cycle of the Cooperation Networks Environment: A Case Study of a Construction Company's Project of an Automotive Motor Firm.- Critical Thinking and Concept Design Generation in a Collaborative Network.- Management of Collaborative Networks.- A TOC Perspective to Improve the Management of Collaborative Networks.- The Application of the Closed-Loop Lifecycle Management in Virtual Organization.- Qualitative Monitoring to Support Pro-Active VO Management.- Coordination of Supply Chain Activities: A Coalition-Based Approach.- Process Definition and Modeling.- Collaborative Process Definition Using An Ontology-Based Approach.- Business Process Modelling for Academic Virtual Organizations.- Using BPEL for Behavioural Concepts in ODP Enterprise Language.- Risk Treatment Templates for Configurable Reference Modeling in the Construction Industry.- Knowledge Management and Ontologies.- A Rule-Based Approach for Customizing Knowledge Search in CNOs.- Exploring Ontology Adoption and Diffusion in the Construction Virtual Enterprise.- Understanding of Knowledge from Two Mutually Related Aspects.- Collaborative Decision Making.- Decentralised Decision Making in Non-Hierarchical Networks.- A Reference Model for Distributed Decision Making Through A Multi-Agent Approach.- VirtualECare: Group Decision Supported by idea Generation and Argumentation.- Communication Protocols for Collaborative Forecasting.- Affective Computing and Cultural Issues.- Affective Computing and Collaborative Networks: Towards Emotion-Aware Interaction.- Cultural Determinants of Creating Modern Organisations - The Role of Trust.- Squeak, an Invisible Laboratory for Teachers as Learners.- Virtual Teams and Social Protocols.- Modelling Multithreaded Social Protocols with Coloured Petri Nets.- Virtual Team Working: Current Issues and Directions for the Future.- Framework for Open, Distributed and Self-Managed Social Platforms.- Complex Adaptive Systems.- Towards a Collaborative Model for Wireless Sensor Networks.- Supporting Complex Adaptive Processes with Lightweight Platforms.- Software Agents in Virtual Organizations: Good Faith and Trust.- Network Analysis and Strategic Processes.- Network Structure Analysis for Multicultural Industrial CNO.- Strategic Information System (SIS) of Virtual Organization (VO).- Proactive Management of Business Change.- Quality, Governance and Legal Issues.- On Quality Issues in Networked Value Constellations.- Devolution in a Virtual Enterprise.- Legal Framework for eCommerce Tax Analysis.- Collaboration Infrastructures.- The Ecolead Collaborative Business Infrastructure for Networked Organizations.- Web Services-Based Collaborative System for Distributed Engineering.- Discovery and Selection of Certified Web Services Through Registry-Based Testing and Verification.- Service-Oriented A
Автор: Jon Pearce Название: Programming and Meta-Programming in Scheme ISBN: 1461272432 ISBN-13(EAN): 9781461272434 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: By now, Scheme is a well-established programming language and is finding increasing popularity in programming courses for undergraduates. Its expressive capabilities are matched by a simplicity of language and ease-of-use which have made its adherents disciples This textbook provides a comprehensive first course in Scheme and covers all of its major features: abstraction, functional programming, data types, recursion, and semantic programming. Although the primary goal of this text is to teach students to program in Scheme, it will be suitable for any student studying a general programming principles course. Each chapter is divided into three sections: core, appendix, and problems. Most essential topics are covered in the core section, but it is assumed that most students will read the appendices and solve most of the problems. (Nearly all of the problems require students to write short Scheme procedures.) As well as providing a thorough grounding in Scheme, the author discusses in depth different programming paradigms. An important theme throughout is that of "meta-programming": the perspective that programs themselves can be treated as data, and hence can be analyzed and modified as objects. This provides insight into topics such as type-checking and overloading which might otherwise be missed.
Автор: Susan G. Clark; Aaron M. Hohl; Catherine H. Picard Название: Large-Scale Conservation in the Common Interest ISBN: 3319074180 ISBN-13(EAN): 9783319074184 Издательство: Springer Рейтинг: Цена: 111790.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Many people working toward sustainability recognize the important role of conservation but are inadequately prepared to deal with the large spatial, temporal and complexity scales that are involved in large-scale conservation efforts. Problems in large-scale conservation require navigating an intermixture of geophysical, biological and political dimensions. Coming to grips with these many natural and human forces and factors at large scales, much less the myriad details in any single case, is challenging in the extreme and becomes more critical with each day that passes. Large-scale conservation poses many complex challenges that single disciplines, approaches or methods cannot fully address alone. Interdisciplinarity can significantly strengthen large-scale conservation efforts. Throughout Large-Scale Conservation in the Common Interest the editors and authors argue that a more holistic and genuinely interdisciplinary approach is required to solve the complex and growing challenges associated with large-scale conservation. The chapters within offer such an approach and define key terms, bring challenges to light and employ case studies to offer concrete practical and strategic recommendations to help those who are engaged in the interactive tasks of promoting sustainability and human dignity. This book is intended for a broad audience, including students and professors new to the field of large-scale conservation, experienced field-based practitioners in science and management and decision and policy makers who set specific and strategic direction for large landscapes. Professors can use this book to introduce students to the challenges of successful large-scale conservation design and implementation and to teach interdisciplinarity as a framework, concept and tool. Professionals will find this book offers a new way of using science, management and policy to make decisions. Finally, this volume can be used as a guide to set up workshops, seminars, or projects involving diverse people and perspectives.
Автор: Picard Название: Innovations and Techno-ecological Transition ISBN: 1848218761 ISBN-13(EAN): 9781848218765 Издательство: Wiley Рейтинг: Цена: 146730.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book aims to present a systemic perspective to energetic transition to a discarbonated society implying an increase of energetic efficiency of current production process, new way of energy production - integration of renewable energies, re-use of wastes.
Автор: Joshua D. Guttman; Mitchell Wand Название: VLISP A Verified Implementation of Scheme ISBN: 1461359910 ISBN-13(EAN): 9781461359913 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The VLISP project showed how to produce a comprehensively verified implemen- tation for a programming language, namely Scheme 4, 15). Some of the major elements in this verification were: - The proof was based on the Clinger-Rees denotational semantics of Scheme given in 15). Our goal was to produce a "warts-and-all" verification of a real language. With very few exceptions, we constrained ourselves to use the se- mantic specification as published. The verification was intended to be rigorous, but. not. complet.ely formal, much in the style of ordinary mathematical discourse. Our goal was to verify the algorithms and data types used in the implementat.ion, not their embodiment. in code. See Section 2 for a more complete discussion ofthese issues. Our decision to be faithful to the published semantic specification led to the most difficult portions ofthe proofs; these are discussed in 13, Section 2.3-2.4). - Our implementation was based on the Scheme48 implementation of Kelsey and Rees 17). This implementation t.ranslates Scheme into an intermediate-level "byte code" language, which is interpreted by a virtual machine. The virtual machine is written in a subset of Scheme called PreScheme. The implementationissufficient.ly complete and efficient to allow it to bootstrap itself. We believe that this is the first. verified language implementation with these properties.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
