![]() |
Selected Papers
ISBN: 9781461381792 / Angielski / Miękka / 460 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Cal Elgot was a very serious and thoughtful researcher, who with great determi- nation attempted to find basic explanations for certain mathematical phenomena- as the selection of papers in this volume well illustrate. His approach was, for the most part, rather finitist and constructivist, and he was inevitably drawn to studies of the process of computation. It seems to me that his early work on decision problems relating automata and logic, starting with his thesis under Roger Lyndon and continuing with joint work with Biichi, Wright, Copi, Rutledge, Mezei, and then later with Rabin, set...
Cal Elgot was a very serious and thoughtful researcher, who with great determi- nation attempted to find basic explanations for certain mathematical p...
|
cena:
201,24 |
![]() |
Real-Time Systems Engineering and Applications: Engineering and Applications
ISBN: 9781475769845 / Angielski / Miękka / 444 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Real-Time Systems Engineering and Applications is a well-structured collection of chapters pertaining to present and future developments in real-time systems engineering. After an overview of real-time processing, theoretical foundations are presented. The book then introduces useful modeling concepts and tools. This is followed by concentration on the more practical aspects of real-time engineering with a thorough overview of the present state of the art, both in hardware and software, including related concepts in robotics. Examples are given of novel real-time applications which...
Real-Time Systems Engineering and Applications is a well-structured collection of chapters pertaining to present and future developments in r...
|
cena:
885,61 |
![]() |
The Testability of Distributed Real-Time Systems
ISBN: 9781475770001 / Angielski / Miękka / 144 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. BY H. KOPETZ A real-time computer system must provide the intended service in two di- mensions: the functional (value) dimension and the temporal dimension. The verification of a real-time system implementation is thus necessarily more com- plex than the verification of a non-real-time system which has to be checked in the value dimension only. Since the formal verification techniques of temporal properties have not yet matured to the point where these techniques can be used in practical system development, systematic design and testing are the only alternatives for the development of...
BY H. KOPETZ A real-time computer system must provide the intended service in two di- mensions: the functional (value) dimension and the temporal dime...
|
cena:
402,53 |
![]() |
Oracle Database 12c Backup and Recovery Survival Guide
ISBN: 9781782171201 / Angielski / Miękka / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The three main responsibilities of a successful DBA are to ensure the availability, recoverability, and performance of any database. To ensure the recoverability of any database, a DBA needs to have a strong backup and recovery skills set. Every DBA is always looking for a reference book that will help them to solve any possible backup and recovery situation that they can come across in their professional life. Oracle Database 12c Backup and Recovery Survival Guide has the unique advantage to be a reference to all Oracle backup and recovery options available, making it essential for any DBA...
The three main responsibilities of a successful DBA are to ensure the availability, recoverability, and performance of any database. To ensure the rec...
|
cena:
284,81 |
![]() |
Revision in Der Datenverarbeitung
ISBN: 9783528085803 / Niemiecki / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Leben in dem Bereich verbringen, uber den sie schreiben. Die konzen triert und knapp gehaltenen Kapitel sind dazu bestimmt, dem Leser zu helfen, die darin enthaltenen Hinweise direkt auf seine Umgebung an zuwenden. AUERBACH hat seit mehr als 25 Jahren die Informationsbedurfnisse der Computerfachleute zufriedenstellend beantwortet und weiss, wie ihnen geholfen werden kann, ihre Effektivitat zu steigern und ihre Karriere voranzutreiben. Das AUE RBACH-Managementwissen der Datenverarbeitung ist auf diesem Gebiet nur eines von vielen Angeboten des Herausgebers. James Hannan Stellvertretender...
Leben in dem Bereich verbringen, uber den sie schreiben. Die konzen triert und knapp gehaltenen Kapitel sind dazu bestimmt, dem Leser zu helfen, die d...
|
cena:
206,88 |
![]() |
Electronic Participation: Third Ifip Wg 8.5 International Conference, Epart 2011, Delft, the Netherlands, August 29 - September 1, 2011. Proceed
ISBN: 9783642233326 / Angielski / Miękka / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Third International Conference on Electronic Participation, ePart 2011, held in Delft, The Netherlands, in August/September 2011. The 26 revised full papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on appreciation of social media; visualizing arguments; understanding eParticipation; eParticipation initiatives and country studies; participation and eServices; and innovative technologies.
This book constitutes the refereed proceedings of the Third International Conference on Electronic Participation, ePart 2011, held in Delft, The Nethe...
|
cena:
201,24 |
![]() |
Soft Computing in Measurement and Information Acquisition
ISBN: 9783642535093 / Angielski / Miękka / 284 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume covers the fields of measurement and information acqulSltlon. It contains a collection of papers representing the current research trends in these areas. What are those trends? The first one is the enormous growth in the amount of information and the amazing technologies, which make this information available anywhere and anytime. The second one is a substantial development of methods of the information presentation including, to name just a few, multimedia, virtual environment, computer animation. The third one is the all-time boosting demand for improving the quality of...
This volume covers the fields of measurement and information acqulSltlon. It contains a collection of papers representing the current research trends ...
|
cena:
603,81 |
![]() |
Digitale Datenverarbeitung Für Das Technische Studium
ISBN: 9783663000501 / Niemiecki / Miękka / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
206,88 |
![]() |
The 3rd International Workshop on Intelligent Data Analysis and Management
ISBN: 9789400772922 / Angielski / Twarda / 132 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These papers on Intelligent Data Analysis and Management (IDAM) examine issues related to the research and applications of Artificial Intelligence techniques in data analysis and management across a variety of disciplines. The papers derive from the 2013 IDAM conference in Kaohsiung ,Taiwan. It is an interdisciplinary research field involving academic researchers in information technologies, computer science, public policy, bioinformatics, medical informatics, and social and behavior studies, etc. The techniques studied include (but are not limited to): data visualization, data...
These papers on Intelligent Data Analysis and Management (IDAM) examine issues related to the research and applications of Artificial Intelligence tec...
|
cena:
603,81 |
![]() |
Selected Topics in Algebra: And Its Interrelations with Logic, Number Theory and Algebraic Geometry
ISBN: 9789400962910 / Angielski / Miękka / 406 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Approach your problems from the right It isn't that they can't see the solution. end and begin with the answers. Then It is that they can't see the problem. one day, perhaps you will find the final G. K. Chesterton. The Scandal of question. Father Brown 'The Point of a Pin'. 'The Hermit Clad in Crane Feathers' in R. van Gulik's The Chinese Maze Murders. Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. However, the "tree" of knowledge of mathematics and related fields does not grow only by putting forth new branches....
Approach your problems from the right It isn't that they can't see the solution. end and begin with the answers. Then It is that they can't see the pr...
|
cena:
402,53 |
![]() |
Ten Applications of Graph Theory
ISBN: 9789400971561 / Angielski / Miękka / 264 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. However, the "tree" of knowledge of mathematics and related fields does not grow only by putting forth new bran- ches. It also happens, quite often in fact, that branches which were thought to be completely disparate are suddenly seen to be related. Further, the kind and level of sophistication of mathematics applied in various sciences has changed drastically in recent years: measure theory is used (non-tri- vially) in regional and theoretical economics; algebraic...
Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. However, the "tree" of ...
|
cena:
201,24 |
![]() |
Lattice-Ordered Groups: An Introduction
ISBN: 9789401077927 / Angielski / Miękka / 204 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The study of groups equipped with a compatible lattice order ("lattice-ordered groups" or "I!-groups") has arisen in a number of different contexts. Examples of this include the study of ideals and divisibility, dating back to the work of Dedekind and continued by Krull; the pioneering work of Hahn on totally ordered abelian groups; and the work of Kantorovich and other analysts on partially ordered function spaces. After the Second World War, the theory of lattice-ordered groups became a subject of study in its own right, following the publication of fundamental papers by Birkhoff, Nakano...
The study of groups equipped with a compatible lattice order ("lattice-ordered groups" or "I!-groups") has arisen in a number of different contexts. E...
|
cena:
402,53 |
![]() |
Orthomodular Lattices: Algebraic Approach
ISBN: 9789401088077 / Angielski / Miękka / 394 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. Bowever, the "tree" of knowledge of mathematics and related fields does not grow only by putting forth new branches. It also happens, quite often in fact, that branches which were thought to be completely disparate are suddenly seen to be related. Further, the kind and level of sophistication of mathematics applied in various sciences has changed drastically in recent years: measure theory is used (non-trivially) in regional and theoretical economics; algebraic...
Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. Bowever, the "tree" of ...
|
cena:
402,53 |
![]() |
Concise Computer Mathematics: Tutorials on Theory and Problems
ISBN: 9783319017501 / Angielski / Miękka / 109 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Adapted from a modular undergraduate course on computational mathematics, Concise Computer Mathematics delivers an easily accessible, self-contained introduction to the basic notions of mathematics necessary for a computer science degree. The text reflects the need to quickly introduce students from a variety of educational backgrounds to a number of essential mathematical concepts. The material is divided into four units: discrete mathematics (sets, relations, functions), logic (Boolean types, truth tables, proofs), linear algebra (vectors, matrices and graphics), and special topics (graph...
Adapted from a modular undergraduate course on computational mathematics, Concise Computer Mathematics delivers an easily accessible, self-contained i...
|
cena:
261,63 |
![]() |
Lexical Challenges in a Multilingual Europe: Contributions to the Annual Conference 2012 of Efnil in Budapest
ISBN: 9783631643945 / Angielski / Twarda / 239 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The tenth EFNIL conference investigated the different ways in which people in Europe access lexical information both in their own language and in other languages and how governments, language institutions, publishers, and others go about the business of compiling and disseminating this lexical information. In this volume, general reflections by several experts on the history, the present state and new developments of lexicography in Europe are presented, followed by reports on special lexicographic projects in several European countries. The Budapest Resolution of EFNIL on the Lexical...
The tenth EFNIL conference investigated the different ways in which people in Europe access lexical information both in their own language and in othe...
|
cena:
349,74 |
| |
Translation Studies and Eye-Tracking Analysis
ISBN: 9783631634486 / Angielski / Twarda / 213 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. For some time already, a discourse within the field of Translation Studies has increasingly focused on the translator, his/her translation properties and mental processes resulting from their application. Recent years and advances in technology have opened up many possibilities of gaining a deeper insight into these processes. This publication presents the theoretical foundations, the results of scientific experiments, and a broad range of questions to be asked and answered by eye-tracking supported translation studies. The texts have been arranged into two thematic parts. The first part...
For some time already, a discourse within the field of Translation Studies has increasingly focused on the translator, his/her translation properties ...
|
cena:
287,73 |
![]() |
Freemium Economics: Leveraging Analytics and User Segmentation to Drive Revenue
ISBN: 9780124166905 / Angielski / Miękka / 233 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Freemium Economics presents a practical, instructive approach to successfully implementing the freemium model into your software products by building analytics into product design from the earliest stages of development. Your freemium product generates vast volumes of data, but using that data to maximize conversion, boost retention, and deliver revenue can be challenging if you don't fully understand the impact that small changes can have on revenue. In this book, author Eric Seufert provides clear guidelines for using data and analytics through all stages of development to... Freemium Economics presents a practical, instructive approach to successfully implementing the freemium model into your software products by... |
cena:
195,86 |
![]() |
Bounded Queries in Recursion Theory
ISBN: 9781461268482 / Angielski / Miękka / 353 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. One of the major concerns of theoretical computer science is the classifi- cation of problems in terms of how hard they are. The natural measure of difficulty of a function is the amount of time needed to compute it (as a function of the length of the input). Other resources, such as space, have also been considered. In recursion theory, by contrast, a function is considered to be easy to compute if there exists some algorithm that computes it. We wish to classify functions that are hard, i.e., not computable, in a quantitative way. We cannot use time or space, since the functions are not...
One of the major concerns of theoretical computer science is the classifi- cation of problems in terms of how hard they are. The natural measure of di...
|
cena:
402,53 |
![]() |
Variational Inequalities and Network Equilibrium Problems
ISBN: 9781489913609 / Angielski / Miękka / 305 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume brings forth a set of papers presented at the conference on "Varia- tional Inequalities and network equilibrium problems," held in Erice at the "G. Stam- pacchia" School of the "E. Majorana" Centre for Scientific Culture in the period 19 25 June 1994. The meeting was conceived to contribute to the exchange between Variational Analysis and equilibrium problems, especially those related to network design. Most of the approaches and viewpoints of these fields are present in the volume, both as concerns the theory and the applications of equilibrium problems to transportation,...
This volume brings forth a set of papers presented at the conference on "Varia- tional Inequalities and network equilibrium problems," held in Erice a...
|
cena:
402,53 |
![]() |
Combinatorial Optimization and Applications: 7th International Conference, Cocoa 2013, Chengdu, China, December 12-14, 2013, Proceedings
ISBN: 9783319037790 / Angielski / Miękka / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 7th International Conference on Combinatorial Optimization and Applications, COCOA 2013, held in Chengdu, China, in December 2013. The 36 full papers presented were carefully reviewed and selected from 72 submissions. The papers feature original research in the areas of combinatorial optimization and its applications. In addition to theoretical results there are reports on experimental and applied research of general algorithmic interest.
This book constitutes the refereed proceedings of the 7th International Conference on Combinatorial Optimization and Applications, COCOA 2013, held in...
|
cena:
201,24 |