General

Logic is, and should be, the core subject area of modern mathemat ics. The blueprint for twentieth century mathematical thought, thanks to Hilbert and Bourbaki, is the axiomatic development of the subject. As a result, logic plays a central conceptual...

Open source software has emerged as a major field of scientific inquiry across a number of disciplines. When the concept of open source began to gain mindshare in the global business community, decision makers faced a challenge: to convert hype and...

This book is a revised edition of the monograph which appeared under the same title in the series Research Notes in Theoretical Computer Science, Pit man, in 1986. In addition to a general effort to improve typography, English, and presentation, the main...

This textbook provides a firm foundation to the field of error control codes, leading the student step by step through this complex topic, beginning with single parity code checks and repetition codes. Through these basic error-control mechanisms the...

Steiner's Problem concerns finding a shortest interconnecting network for a finite set of points in a metric space. A solution must be a tree, which is called a Steiner Minimal Tree (SMT), and may contain vertices different from the points which are to...

This monograph studies the logical aspects of domains as used in de notational semantics of programming languages. Frameworks of domain logics are introduced; these serve as foundations for systematic derivations of proof systems from denotational...

Invariant, or coordinate-free methods provide a natural framework for many geometric questions. Invariant Methods in Discrete and Computational Geometry provides a basic introduction to several aspects of invariant theory, including the ...

To construct a compiler for a modern higher-level programming languagel one needs to structure the translation to a machine-like intermediate language in a way that reflects the semantics of the language. little is said about such struc turing in...

In recent years there has been a remarkable convergence of interest in programming languages based on ALGOL 60. Researchers interested in the theory of procedural and object-oriented languages discovered that ALGOL 60 shows how to add procedures and...

Guide to this Book My main objective is to teach programming in Pascal to people in the hard sciences and technology, who don't have much patience with the standard textbooks with their lengthy, pedantic approach, and their many examples of no interest...

This monograph is a slightly revised version of my PhD thesis [86], com pleted in the Department of Computer Science at the University of Edin burgh in June 1988, with an additional chapter summarising more recent developments. Some of the material has...

This monograph provides a theoretical treatment of the problems related to the embeddability of graphs. Among these problems are the planarity and planar embeddings of a graph, the Gaussian crossing problem, the isomorphisms of polyhedra, surface...

Combinatorial research has proceeded vigorously in Russia over the last few decades, based on both translated Western sources and original Russian material. The present volume extends the extremal approach to the solution of a large class of problems,...

'Et moi, ... , so j'avait su comment en revenir, One service mathematics has rendered the je n'y serais point al!e.' human race. It has put common sense back Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled...

This book has grown out of graduate courses given by the author at Southern Illinois University, Carbondale, as well as a series of seminars delivered at Curtin University of Technology, Western Australia. The book is intended to be used both as a...

Implicit definition and description of geometric objects and surfaces plays a critical role in the appearance and manipulation of computer graphics. In addition, the mathematical definition of shapes, using an implicit form, has pivotal applications for...

This book constitutes the thoroughly refereed proceedings of the CAiSE Forum 2021 which was held as part of the 33rd International Conference on Advanced Information Systems Engineering, CAiSE 2021, in June 2021. The conference was held virtually due to...

Graph algorithms is a well-established subject in mathematics and computer science. Beyond classical application fields, such as approximation, combinatorial optimization, graphics, and operations research, graph algorithms have recently attracted...

This book offers practical advice on managing enterprise modeling (EM) projects and facilitating participatory EM sessions. Modeling activities often involve groups of people, and models are created in a participatory way. Ensuring that this is done...

The growth of a global digital economy has enabled rapid communication, instantaneous movement of funds, and availability of vast amounts of information. With this come challenges such as the vulnerability of digitalized sociotechnological systems (STSs)...

This volume constitutes the proceedings of the 8th International Conference on Variable Neighborhood Search, ICVNS 2021, held in Abu Dhabi, United Arab Emirates, in March 2021.The 13 full papers presented in this volume were carefully reviewed and...

In this book the authors aim to endow the reader with an operational, conceptual, and methodological understanding of the discrete mathematics that can be used to study, understand, and perform computing. They want the reader to understand the elements...

This book is designed to help administrators and web developers create custom applications with the Content Server. It contains step-by-step instructions on how to create many different types of applications, including simple business forms, new web...

This book gives you all you need to know in order to install and configure OCS for use, but it is much more than a to-do list. It covers the architecture of the server processes and the applications, giving you the theoretical knowledge necessary to take...

Pro Crystal Enterprise/BusinessObjects XI Programming shows you how to create customized solutions using the Business Objects/Crystal Enterprise object model. Here youll see the object model utilized to create professional-quality tools like on-demand...

This book presents a process-based approach to implementing Oracle's Identity and Access Management Suite. Learn everything from basic installation through to advanced topics such as leveraging Oracle Virtual Directory and Identity Federation. Also...

CRM Fundamentals is a critical and comprehensive resource for executives and project leaders tasked with managing customer relationship management (CRM) initiatives. It provides an introduction to CRM and how it delivers value to organizations, and...

Comprehensive resource covering tools and techniques used for predictive analytics with practical applications across various industries Intelligent Techniques for Predictive Data Analytics provides an in-depth introduction of the tools and techniques...

In this age of data economy, data analytics is recognized as a key differentiator for companies trying to gain a sustainable competitive advantage and outperform their peers. However, the complexity of establishing an analytical architecture due to a...

* Only in-depth guide on the market focused purely on telling J2EE developers exactly what they need to know to get their J2EE applications up and running on Oracle AS 10g. * Covers the very latest release and provides tons of tips/workarounds compiled...

Leading tech companies such as Netflix, Amazon and Uber use data science and machine learning at scale in their core business processes, whereas most traditional companies struggle to expand their machine learning projects beyond a small pilot scope...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781941043011Author Jared M MaruskinFormat PaperbackPage Count 892Imprint Cayenne Canyon PressPublisher Cayenne Canyon PressWeight(grams) 1225g

Explore the Ethereum ecosystem step by step with extensive theory, labs, and live use cases. This book takes you through BlockChain concepts; decentralized applications; Ethereum's architecture; Solidity smart contract programming with examples; and...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783390563362Author Paul DavisFormat PaperbackPage Count 120Imprint Zain KhanPublisher Zain KhanWeight(grams) 172g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781946390714Author Y Lakshmi PrasadFormat PaperbackPage Count 194Imprint Notion Press, Inc.Publisher Notion Press, Inc.Weight(grams) 290g

Reduce the time spent analyzing infrastructure modules while lowering your cost and resources in the process. Most software project teams that develop custom software build the systems from scratch. With limited budgets and time, they often concentrate...

What the heck is Facebook? Twitter? Blogging? This book answers these questions and explains how to use a variety of social networking sites to keep in touch, stay in business, and have fun. This book covers the main social networking "spaces," and...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781912037704Author Ibrahim KushchuFormat PaperbackPage Count 54Imprint Mobilegov UKPublisher Mobilegov UKWeight(grams) 86gDimensions(mm) 229mm * 152mm * 3mm

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781943873173Author Scott McCoyPage Count 592Imprint Mike Murach & Associates Inc.Publisher Mike Murach & Associates Inc.Weight(grams) 1814g

Learn how to form and execute an enterprise information strategy: topics include data governance strategy, data architecture strategy, information security strategy, big data strategy, and cloud strategy. Manage information like a pro, to achieve much...