0
Your cart

Your cart is empty

Browse All Departments
Price
  • R0 - R50 (1)
  • R50 - R100 (10)
  • R100 - R250 (587)
  • R250 - R500 (2,218)
  • R500+ (30,970)
  • -
Status
Format
Author / Contributor
Publisher

Books > Computing & IT > General theory of computing

Advances in Intelligent Computing (Hardcover, 1st ed. 2019): J K Mandal, Paramartha Dutta, Somnath Mukhopadhyay Advances in Intelligent Computing (Hardcover, 1st ed. 2019)
J K Mandal, Paramartha Dutta, Somnath Mukhopadhyay
R3,365 Discovery Miles 33 650 Ships in 10 - 15 working days

This edited volume on computational intelligence algorithms-based applications includes work presented at the International Conference on Computational Intelligence, Communications, and Business Analytics (CICBA 2017). It provides the latest research findings on the significance of computational intelligence and related application areas. It also introduces various computation platforms involving evolutionary algorithms, fuzzy logic, swarm intelligence, artificial neural networks and several other tools for solving real-world problems. It also discusses various tools that are hybrids of more than one solution framework, highlighting the theoretical aspects as well as various real-world applications.

Discrete Structures (Hardcover, 4th Revised edition): B.S. Vatsa, Suchi Vasta Discrete Structures (Hardcover, 4th Revised edition)
B.S. Vatsa, Suchi Vasta
R1,247 Discovery Miles 12 470 Ships in 12 - 17 working days

This book has been designed to deal with the topics which are indispensable in the advanced age of computer science. The first three chapters cover mathematical logic, sets, relations and function. Next come the chapters on ordered sets, Boolean albegra and switching circuits and matrices. Finally there are individual chapters on combinatorics, discrete numeric functions, generating functinos, recurrence relations, algebraic structures and graph theory; Graphs are binary trees. The purpose of this book is to present principles and concepts of discrete structures as relevant to student learning. The matter has been presented in as simple and lucid manner as possible and a large number of solved examples to understand the concept and principle of the theory have been introduced.

VLSI-SoC: Design Trends - 28th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2020, Salt... VLSI-SoC: Design Trends - 28th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2020, Salt Lake City, UT, USA, October 6-9, 2020, Revised and Extended Selected Papers (Hardcover, 1st ed. 2021)
Andrea Calimera, Pierre-Emmanuel Gaillardon, Kunal Korgaonkar, Shahar Kvatinsky, Ricardo Reis
R3,667 Discovery Miles 36 670 Ships in 10 - 15 working days

This book contains extended and revised versions of the best papers presented at the 28th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2020, held in Salt Lake City, UT, USA, in October 2020.*The 16 full papers included in this volume were carefully reviewed and selected from the 38 papers (out of 74 submissions) presented at the conference. The papers discuss the latest academic and industrial results and developments as well as future trends in the field of System-on-Chip (SoC) design, considering the challenges of nano-scale, state-of-the-art and emerging manufacturing technologies. In particular they address cutting-edge research fields like low-power design of RF, analog and mixed-signal circuits, EDA tools for the synthesis and verification of heterogenous SoCs, accelerators for cryptography and deep learning and on-chip Interconnection system, reliability and testing, and integration of 3D-ICs. *The conference was held virtually.

The Digital Flood - The Diffusion of Information Technology Across the U.S., Europe, and Asia (Hardcover): James W. Cortada The Digital Flood - The Diffusion of Information Technology Across the U.S., Europe, and Asia (Hardcover)
James W. Cortada
R3,586 Discovery Miles 35 860 Ships in 12 - 17 working days

No technology seems to have spread so fast around the world in such a short period of time as computers. It was a phenomenon that predated the arrival of the Internet and that began to change how businesses, governments, and whole societies functioned. The diffusion of information technologies occurred in dozens of countries all over the world with fascinating similarities and differences.
In this book, historian James W. Cortada provides the first world-wide history of how computers appeared and were used in North America, all of Europe, and in most of Asia in barely a half century. He explores the causes of diffusion, arguing that more than the technology itself, other conditions were required for the spread of computers, such as standards of living, education, the Cold War, and globalization of the economy. He argues that these technologies are the glue that hold together today's economies and are propelling increases in the quality of life of over a billion people moving into the middle class.
Based on archival and secondary research, extensive use of economic data, and detailed country case studies of over a dozen nations, Cortada tells the history of how computers were discovered, invented, built, and used, and the consequences for whole regions. This is the first attempt by any expert to write a global history of information technologies, and specifically, about how these spread. It is economic and business history, but also a guide to those who want to understand what is happening today in such nations as India, China, and other emerging economies as the Computer Revolution continues. He has insights for historians, economists, public officials, and business executives.

Proceedings of ELM-2015 Volume 1 - Theory, Algorithms and Applications (I) (Hardcover, 1st ed. 2016): Jiuwen Cao, Kezhi Mao,... Proceedings of ELM-2015 Volume 1 - Theory, Algorithms and Applications (I) (Hardcover, 1st ed. 2016)
Jiuwen Cao, Kezhi Mao, Jonathan Wu, Amaury Lendasse
R7,596 R6,705 Discovery Miles 67 050 Save R891 (12%) Ships in 12 - 17 working days

This book contains some selected papers from the International Conference on Extreme Learning Machine 2015, which was held in Hangzhou, China, December 15-17, 2015. This conference brought together researchers and engineers to share and exchange R&D experience on both theoretical studies and practical applications of the Extreme Learning Machine (ELM) technique and brain learning. This book covers theories, algorithms ad applications of ELM. It gives readers a glance of the most recent advances of ELM.

Digital Fictions - Storytelling in a Material World (Hardcover): Sarah Sloane Digital Fictions - Storytelling in a Material World (Hardcover)
Sarah Sloane
R2,771 Discovery Miles 27 710 Ships in 10 - 15 working days

When researchers in computer-mediated communications discuss digital textuality, they rarely venture beyond the now commonplace notion that computer textuality embodies contemporary post-structuralist theories. Written for students and faculty of contemporary literature and composition theories, this book is the first to move from general to specific considerations. Advancing from general considerations of how computers are changing literacy, Digital Fictions moves on to a specific consideration of how computers are altering one particular set of literature practices: reading and writing fiction. Suffused through the sensibility of a creative writer, this book includes an historical overview of writing stories on computers. In addition, Sloane conducts interviews with the makers of hypertext fictions (including Stuart Moulthrop, Michael Joyce, and Carolyn Guyer) and offers close reading of digital fictions. Making careful analyses of the meaning-making activities of both readers and writers of this emerging genre, this work is embedded in a perspective both feminist and semiotic. Digital Fictions explores and distinguishes among four distinct iterations of text-based digital fictions; text adventures, Carnegie Mellon University Oz Project, hypertext fictions, and MUDs. Ultimately, Sloane revises the rhetorical triangle and proposes a new rhetorical theory, one that attends to the materials, processes, and locations of stories told on-line.

Infusing Technology into the Classroom - Continuous Practice Improvement (Hardcover): Catherine Schifter Infusing Technology into the Classroom - Continuous Practice Improvement (Hardcover)
Catherine Schifter
R2,771 Discovery Miles 27 710 Ships in 12 - 17 working days

Technology has impacted how many teachers develop methods of instruction in their classroom settings. The Continuous Practice Improvement (CPI) professional development program introduces teachers to infusing computers into the curriculum and classroom activities seamlessly. ""Infusing Technology into the Classroom: Continuous Practice Improvement"" retells compelling stories of a successful computer-related professional development program that was implemented into Kindergarten through eighth grade classrooms of a Philadelphia school. Through an analysis of the study, a theoretical model to guide technology infused professional development for teachers is discovered.

Variable Domain-specific Software Languages with DjDSL - Design and Implementation (Hardcover, 1st ed. 2020): Stefan Sobernig Variable Domain-specific Software Languages with DjDSL - Design and Implementation (Hardcover, 1st ed. 2020)
Stefan Sobernig
R2,911 Discovery Miles 29 110 Ships in 10 - 15 working days

This book details the conceptual foundations, design and implementation of the domain-specific language (DSL) development system DjDSL. DjDSL facilitates design-decision-making on and implementation of reusable DSL and DSL-product lines, and represents the state-of-the-art in language-based and composition-based DSL development. As such, it unites elements at the crossroads between software-language engineering, model-driven software engineering, and feature-oriented software engineering. The book is divided into six chapters. Chapter 1 ("DSL as Variable Software") explains the notion of DSL as variable software in greater detail and introduces readers to the idea of software-product line engineering for DSL-based software systems. Chapter 2 ("Variability Support in DSL Development") sheds light on a number of interrelated dimensions of DSL variability: variable development processes, variable design-decisions, and variability-implementation techniques for DSL. The three subsequent chapters are devoted to the key conceptual and technical contributions of DjDSL: Chapter 3 ("Variable Language Models") explains how to design and implement the abstract syntax of a DSL in a variable manner. Chapter 4 ("Variable Context Conditions") then provides the means to refine an abstract syntax (language model) by using composable context conditions (invariants). Next, Chapter 5 ("Variable Textual Syntaxes") details solutions to implementing variable textual syntaxes for different types of DSL. In closing, Chapter 6 ("A Story of a DSL Family") shows how to develop a mixed DSL in a step-by-step manner, demonstrating how the previously introduced techniques can be employed in an advanced example of developing a DSL family. The book is intended for readers interested in language-oriented as well as model-driven software development, including software-engineering researchers and advanced software developers alike. An understanding of software-engineering basics (architecture, design, implementation, testing) and software patterns is essential. Readers should especially be familiar with the basics of object-oriented modelling (UML, MOF, Ecore) and programming (e.g., Java).

Multi-Objective Optimization - Evolutionary to Hybrid Framework (Hardcover, 1st ed. 2018): Jyotsna K Mandal, Somnath... Multi-Objective Optimization - Evolutionary to Hybrid Framework (Hardcover, 1st ed. 2018)
Jyotsna K Mandal, Somnath Mukhopadhyay, Paramartha Dutta
R4,637 Discovery Miles 46 370 Ships in 10 - 15 working days

This book brings together the latest findings on efficient solutions of multi/many-objective optimization problems from the leading researchers in the field. The focus is on solving real-world optimization problems using strategies ranging from evolutionary to hybrid frameworks, and involving various computation platforms. The topics covered include solution frameworks using evolutionary to hybrid models in application areas like Analytics, Cancer Research, Traffic Management, Networks and Communications, E-Governance, Quantum Technology, Image Processing, etc. As such, the book offers a valuable resource for all postgraduate students and researchers interested in exploring solution frameworks for multi/many-objective optimization problems.

Cybernetics - From Past to Future (Hardcover, 1st ed. 2016): D. A. Novikov Cybernetics - From Past to Future (Hardcover, 1st ed. 2016)
D. A. Novikov
R2,873 Discovery Miles 28 730 Ships in 10 - 15 working days

This book is a concise navigator across the history of cybernetics, its state-of-the-art and prospects. The evolution of cybernetics (from N. Wiener to the present day) and the reasons of its ups and downs are presented. The correlation of cybernetics with the philosophy and methodology of control, as well as with system theory and systems analysis is clearly demonstrated. The book presents a detailed analysis focusing on the modern trends of research in cybernetics. A new development stage of cybernetics (the so-called cybernetics 2.0) is discussed as a science on general regularities of systems organization and control. The author substantiates the topicality of elaborating a new branch of cybernetics, i.e. organization theory which studies an organization as a property, process and system. The book is intended for theoreticians and practitioners, as well as for students, postgraduates and doctoral candidates. In the first place, the target audience includes tutors and lecturers preparing courses on cybernetics, control theory and systems science.

The Impact of Telemedicine on Health Care Management (Hardcover): M. Nerlich, Roberto R. Kretschmer The Impact of Telemedicine on Health Care Management (Hardcover)
M. Nerlich, Roberto R. Kretschmer
R2,298 Discovery Miles 22 980 Ships in 12 - 17 working days

Telemedicine has the potential to significantly alter structures, procedures, and eventually outcomes in healthcare structures worldwide. Today the field of telemedicine is still dominated by very committed efforts of research and development. However, there is a growing number of concepts and applications which have been implemented in clinical routine or are ready to be implemented. Health care providers, patients, third party payers, and not at least policy makers should be informed about these rapidly emerging applications, which could have a considerable impact on the delivery of health care. This book offers a comprehensive source of information not only for experts but also for the target groups mentioned above. It provides background information on legal aspects, issues concerning further development, and evaluation of telemedicine applications. The work also presents numerous projects covering the clinical fields of emergency medicine, surgery, oncology, cardiology, endocrinology, ophthalmology, dermatology, radiology, pathology, psychiatry and other clinical specialties. Recognizing the Internet as a major source of information on issues related to telemedicine and information technology in general, a 'Webliography' provides links to a selection of the most relevant Web sites on the Internet.

A Journey Through Discrete Mathematics - A Tribute to Jiri Matousek (Hardcover, 1st ed. 2017): Martin Loebl, Jaroslav Nesetril,... A Journey Through Discrete Mathematics - A Tribute to Jiri Matousek (Hardcover, 1st ed. 2017)
Martin Loebl, Jaroslav Nesetril, Robin Thomas
R4,785 Discovery Miles 47 850 Ships in 10 - 15 working days

This collection of high-quality articles in the field of combinatorics, geometry, algebraic topology and theoretical computer science is a tribute to Jiri Matousek, who passed away prematurely in March 2015. It is a collaborative effort by his colleagues and friends, who have paid particular attention to clarity of exposition - something Jirka would have approved of. The original research articles, surveys and expository articles, written by leading experts in their respective fields, map Jiri Matousek's numerous areas of mathematical interest.

Unhackable - Your Online Security Playbook: Recreating Cyber Security in an Unsecure World (Hardcover): George Mansour Unhackable - Your Online Security Playbook: Recreating Cyber Security in an Unsecure World (Hardcover)
George Mansour
R670 Discovery Miles 6 700 Ships in 10 - 15 working days
Applications of Blockchain in Healthcare (Hardcover, 1st ed. 2021): Suyel Namasudra, Ganesh Chandra Deka Applications of Blockchain in Healthcare (Hardcover, 1st ed. 2021)
Suyel Namasudra, Ganesh Chandra Deka
R5,065 Discovery Miles 50 650 Ships in 12 - 17 working days

This book discusses applications of blockchain in healthcare sector. The security of confidential and sensitive data is of utmost importance in healthcare industry. The introduction of blockchain methods in an effective manner will bring secure transactions in a peer-to-peer network. The book also covers gaps of the current available books/literature available for use cases of Distributed Ledger Technology (DLT) in healthcare. The information and applications discussed in the book are immensely helpful for researchers, database professionals, and practitioners. The book also discusses protocols, standards, and government regulations which are very useful for policymakers.

Neural Networks - Neural Networks Tools and Techniques for Beginners (Hardcover): John Slavio Neural Networks - Neural Networks Tools and Techniques for Beginners (Hardcover)
John Slavio
R793 Discovery Miles 7 930 Ships in 10 - 15 working days
A Unifying Framework for Structured Analysis and Design Models - An Approach Using Initial Algebra Semantics and Category... A Unifying Framework for Structured Analysis and Design Models - An Approach Using Initial Algebra Semantics and Category Theory (Hardcover, New)
T. H. Tse
R3,081 R2,823 Discovery Miles 28 230 Save R258 (8%) Ships in 12 - 17 working days

Structured methodologies are a popular and powerful tool in information systems development. Many different ones exist, each employing a number of models and so a specification must be converted from one form to another during the development process. To solve this problem, Dr. Tse proposes a unifying framework behind popular structured models. He approaches the problem from the viewpoints of algebra and category theory. He not only develops the frameworks but also illustrates their practical and theoretical usefulness. Thus, this book will provide insight for software engineers into how methodologies can be formalized, and will open up a range of applications and problems for theoretical computer scientists.

Handbook of Large-Scale Distributed Computing in Smart Healthcare (Hardcover, 1st ed. 2017): Samee U. Khan, Albert Y. Zomaya,... Handbook of Large-Scale Distributed Computing in Smart Healthcare (Hardcover, 1st ed. 2017)
Samee U. Khan, Albert Y. Zomaya, Assad Abbas
R5,710 Discovery Miles 57 100 Ships in 10 - 15 working days

This volume offers readers various perspectives and visions for cutting-edge research in ubiquitous healthcare. The topics emphasize large-scale architectures and high performance solutions for smart healthcare, healthcare monitoring using large-scale computing techniques, Internet of Things (IoT) and big data analytics for healthcare, Fog Computing, mobile health, large-scale medical data mining, advanced machine learning methods for mining multidimensional sensor data, smart homes, and resource allocation methods for the BANs. The book contains high quality chapters contributed by leading international researchers working in domains, such as e-Health, pervasive and context-aware computing, cloud, grid, cluster, and big-data computing. We are optimistic that the topics included in this book will provide a multidisciplinary research platform to the researchers, practitioners, and students from biomedical engineering, health informatics, computer science, and computer engineering.

Data Analysis and Optimization for Engineering and Computing Problems - Proceedings of the 3rd EAI International Conference on... Data Analysis and Optimization for Engineering and Computing Problems - Proceedings of the 3rd EAI International Conference on Computer Science and Engineering and Health Services (Hardcover, 1st ed. 2020)
Pandian Vasant, Igor Litvinchev, Jose Antonio Marmolejo-Saucedo, Roman Rodriguez-Aguilar, Felix Martinez-Rios
R4,379 Discovery Miles 43 790 Ships in 10 - 15 working days

This book presents the proceedings of The EAI International Conference on Computer Science: Applications in Engineering and Health Services (COMPSE 2019). The conference highlighted the latest research innovations and applications of algorithms designed for optimization applications within the fields of Science, Computer Science, Engineering, Information Technology, Management, Finance and Economics and Health Systems. Focusing on a variety of methods and systems as well as practical examples, this conference is a significant resource for post graduate-level students, decision makers, and researchers in both public and private sectors who are seeking research-based methods for modelling uncertain and unpredictable real-world problems.

Recent Trends in Computational Engineering - CE2014 - Optimization, Uncertainty, Parallel Algorithms, Coupled and Complex... Recent Trends in Computational Engineering - CE2014 - Optimization, Uncertainty, Parallel Algorithms, Coupled and Complex Problems (Hardcover, 1st ed. 2015)
Miriam Mehl, Manfred Bischoff, Michael Schafer
R2,951 R2,030 Discovery Miles 20 300 Save R921 (31%) Ships in 12 - 17 working days

This book presents selected papers from the 3rd International Workshop on Computational Engineering held in Stuttgart from October 6 to 10, 2014, bringing together innovative contributions from related fields with computer science and mathematics as an important technical basis among others. The workshop discussed the state of the art and the further evolution of numerical techniques for simulation in engineering and science. We focus on current trends in numerical simulation in science and engineering, new requirements arising from rapidly increasing parallelism in computer architectures, and novel mathematical approaches. Accordingly, the chapters of the book particularly focus on parallel algorithms and performance optimization, coupled systems, and complex applications and optimization.

On Meaningful Scientific Laws (Hardcover, 1st ed. 2015): Jean-Claude Falmagne, Christopher Doble On Meaningful Scientific Laws (Hardcover, 1st ed. 2015)
Jean-Claude Falmagne, Christopher Doble
R3,138 R1,862 Discovery Miles 18 620 Save R1,276 (41%) Ships in 12 - 17 working days

The authors describe systematic methods for uncovering scientific laws a priori, on the basis of intuition, or "Gedanken Experiments". Mathematical expressions of scientific laws are, by convention, constrained by the rule that their form must be invariant with changes of the units of their variables. This constraint makes it possible to narrow down the possible forms of the laws. It is closely related to, but different from, dimensional analysis. It is a mathematical book, largely based on solving functional equations. In fact, one chapter is an introduction to the theory of functional equations.

Bionic Optimization in Structural Design - Stochastically Based Methods to Improve the Performance of Parts and Assemblies... Bionic Optimization in Structural Design - Stochastically Based Methods to Improve the Performance of Parts and Assemblies (Hardcover, 1st ed. 2016)
Rolf Steinbuch, Simon Gekeler
R3,332 Discovery Miles 33 320 Ships in 12 - 17 working days

The book provides suggestions on how to start using bionic optimization methods, including pseudo-code examples of each of the important approaches and outlines of how to improve them. The most efficient methods for accelerating the studies are discussed. These include the selection of size and generations of a study's parameters, modification of these driving parameters, switching to gradient methods when approaching local maxima, and the use of parallel working hardware. Bionic Optimization means finding the best solution to a problem using methods found in nature. As Evolutionary Strategies and Particle Swarm Optimization seem to be the most important methods for structural optimization, we primarily focus on them. Other methods such as neural nets or ant colonies are more suited to control or process studies, so their basic ideas are outlined in order to motivate readers to start using them. A set of sample applications shows how Bionic Optimization works in practice. From academic studies on simple frames made of rods to earthquake-resistant buildings, readers follow the lessons learned, difficulties encountered and effective strategies for overcoming them. For the problem of tuned mass dampers, which play an important role in dynamic control, changing the goal and restrictions paves the way for Multi-Objective-Optimization. As most structural designers today use commercial software such as FE-Codes or CAE systems with integrated simulation modules, ways of integrating Bionic Optimization into these software packages are outlined and examples of typical systems and typical optimization approaches are presented. The closing section focuses on an overview and outlook on reliable and robust as well as on Multi-Objective-Optimization, including discussions of current and upcoming research topics in the field concerning a unified theory for handling stochastic design processes.

Automated Workflow Scheduling in Self-Adaptive Clouds - Concepts, Algorithms and Methods (Hardcover, 1st ed. 2017): G.... Automated Workflow Scheduling in Self-Adaptive Clouds - Concepts, Algorithms and Methods (Hardcover, 1st ed. 2017)
G. Kousalya, P. Balakrishnan, C. Pethuru Raj
R1,632 Discovery Miles 16 320 Ships in 12 - 17 working days

This timely text/reference presents a comprehensive review of the workflow scheduling algorithms and approaches that are rapidly becoming essential for a range of software applications, due to their ability to efficiently leverage diverse and distributed cloud resources. Particular emphasis is placed on how workflow-based automation in software-defined cloud centers and hybrid IT systems can significantly enhance resource utilization and optimize energy efficiency. Topics and features: describes dynamic workflow and task scheduling techniques that work across multiple (on-premise and off-premise) clouds; presents simulation-based case studies, and details of real-time test bed-based implementations; offers analyses and comparisons of a broad selection of static and dynamic workflow algorithms; examines the considerations for the main parameters in projects limited by budget and time constraints; covers workflow management systems, workflow modeling and simulation techniques, and machine learning approaches for predictive workflow analytics. This must-read work provides invaluable practical insights from three subject matter experts in the cloud paradigm, which will empower IT practitioners and industry professionals in their daily assignments. Researchers and students interested in next-generation software-defined cloud environments will also greatly benefit from the material in the book.

Sell Like Crazy (Hardcover): Hans-Peter Oswald Sell Like Crazy (Hardcover)
Hans-Peter Oswald
R837 Discovery Miles 8 370 Ships in 12 - 17 working days

This book shows you 1000 ways to seduce your website's visitor: Make visitors to buyers. Better: Make customers to friends. It explains how to become a successful seller by viral marketing at the web.

Management Practices in High-tech Environments (Hardcover): Dariusz Jemielniak, Jerzy Kociatkiewicz Management Practices in High-tech Environments (Hardcover)
Dariusz Jemielniak, Jerzy Kociatkiewicz
R4,919 Discovery Miles 49 190 Ships in 12 - 17 working days

The concept of innovation management and learning organizations concepts strongly emphasize the high role of human/intellectual capital in the company and the crucial function of knowledge in modern society. However, there is often a paradox between managerial language and actual practice in many organizations: on one hand, knowledge-workers are perceived as the most valued members of organizations while, on the other, they are being manipulated and "engineered"-commonly driven to burn-out, and deprived of family life. All this leads to the emergence of new organizational phenomena that, up to now, have been insufficiently analyzed and described. Management Practices in High-Tech Environments studies this issue thoroughly from an international, comparative, cross-cultural perspective, presenting cutting-edge research on management practices in American, European, Asian and Middle-Eastern high-tech companies, with particular focus on fieldwork-driven, but reflective, contributions.

Collected Papers - Volume 1: 1921-1934 (Hardcover, 1st ed. 2019): Alfred Tarski Collected Papers - Volume 1: 1921-1934 (Hardcover, 1st ed. 2019)
Alfred Tarski
R5,130 Discovery Miles 51 300 Ships in 12 - 17 working days

Alfred Tarski was one of the two giants of the twentieth-century development of logic, along with Kurt Goedel. The four volumes of this collection contain all of Tarski's papers and abstracts published during his lifetime, as well as a comprehensive bibliography. Here will be found many of the works, spanning the period 1921 through 1979, which are the bedrock of contemporary areas of logic, whether in mathematics or philosophy. These areas include the theory of truth in formalized languages, decision methods and undecidable theories, foundations of geometry, set theory, and model theory, algebraic logic, and universal algebra.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
20 Hits
Powerhouse CD R347 Discovery Miles 3 470
Handy Dictionary of Poetical Quotations
George W. Powers Hardcover R1,106 Discovery Miles 11 060
Fikus
Marina Zettl & Thomas Mauerhofer CD R73 Discovery Miles 730
High Life CD (2001)
Brian Tarquin CD R251 Discovery Miles 2 510
Sunday at Village Vanguard
Bill Evans CD R715 Discovery Miles 7 150
The Trials of Apollo 4: The Tyrant's…
Rick Riordan Paperback R352 Discovery Miles 3 520
Speak Now - Taylor's Version
Taylor Swift CD R499 R200 Discovery Miles 2 000
English SATs Grammar, Punctuation and…
Kate Woodford, Elizabeth Walter Paperback  (1)
R187 Discovery Miles 1 870
Golden Girl CD (1999)
Doris Day CD R251 Discovery Miles 2 510
Toe by Toe - A Highly Structured…
Keda Cowling, Harry Cowling Paperback  (2)
R1,010 Discovery Miles 10 100

 

Partners