eBooks-share Computers Latest eBooks http://www.books-share.com/rss/computers Latest Computers eBooks from Books-share.com en-us admin@ebooks-share.net admin@ebooks-share.net Tue, 27 Jun 2017 11:56:10 GMT Books-share.com http://www.books-share.com/images/logo.png http://www.books-share.com/ 158 57 Multicomponent and Multiscale Systems: Theory, Methods, and Applications in Engineering (by Juergen Geiser) http://www.books-share.com/ebook/multicomponent-and-multiscale-systems-theory-methods-and-applications-in-engineering
Author(s): Juergen Geiser
Categories: Computers > Computer Science, Mathematics > General, Reference > General, Science > Mathematical Physics, Science > Physics
Publisher: Springer
Publish date: 2015-08-23
ISBN-10: 3319151169
ISBN-13: 9783319151168
Language: English
Description: This book examines the latest research results from combined multi-component and multi-scale explorations. It provides theory, considers underlying numerical methods and presents brilliant computational experimentation. Engineering computations featured in this monograph further offer particular interest to many researchers, engineers and computational scientists working in frontier modeling and applications of multicomponent and multiscale problems. Professor Geiser gives specific attention to the aspects of decomposing and splitting delicate structures and controlling decomposition and the rationale behind many important applications of... more...
]]>
Tue, 27 Jun 2017 11:56:10 GMT
Windows 10 Revealed: The Universal Windows Operating System for PC, Tablets, and Windows Phone (by Kinnary Jangla) http://www.books-share.com/ebook/windows-10-revealed-the-universal-windows-operating-system-for-pc-tablets-and-windows-phone
Author(s): Kinnary Jangla
Categories: Computers > Computer Science, Computers > Hardware, Computers > Operating Systems
Publisher: Apress
Publish date: 2015-08-24
ISBN-10: 1484206878
ISBN-13: 9781484206874
Language: English
Description: Windows 10 Revealed is your essential step-by-step guide to using a desktop, laptop, Surface or Windows Phone running Microsoft Windows 10, providing a complete resource for both the beginner and the enthusiast. Techniques are illustrated step-by-step using photography and screen shots throughout, together with concise, easy to follow text from an established expert in the field, providing a comprehensive guide to Windows. Whether you have just bought your first computer, laptop or are a keen computer user who has just upgraded to Windows 10, this book will provide you with a firm grasp of the underpinning foundations and... more...
]]>
Tue, 27 Jun 2017 11:46:15 GMT
Twenty-First Century Quantum Mechanics: Hilbert Space to Quantum Computers: Mathematical Methods and Conceptual Foundations (UNITEXT for Physics) (by Guido Fano, S M Blinder) http://www.books-share.com/ebook/twenty-first-century-quantum-mechanics-hilbert-space-to-quantum-computers-mathematical-methods-and-conceptual-foundations-unitext-for-physics
Author(s): Guido Fano, S M Blinder
Categories: Computers > Computer Science, Mathematics > General, Science > Mathematical Physics, Science > Physics, Science > Quantum Theory
Publisher: Springer
Publish date: 2017-07-30
ISBN-10: 3319587315
ISBN-13: 9783319587318
Language: English
Description: This book is designed to make accessible to nonspecialists the still evolving concepts of quantum mechanics and the terminology in which these are expressed. The opening chapters summarize elementary concepts of twentieth century quantum mechanics and describe the mathematical methods employed in the field, with clear explanation of, for example, Hilbert space, complex variables, complex vector spaces and Dirac notation, and the Heisenberg uncertainty principle. After detailed discussion of the Schrödinger equation, subsequent chapters focus on isotropic vectors, used to construct spinors, and on conceptual problems associated with measurement,... more...
]]>
Tue, 27 Jun 2017 11:42:18 GMT
Python Data Analytics (by Fabio Nelli) http://www.books-share.com/ebook/python-data-analytics
Author(s): Fabio Nelli
Categories: Computers > Programming Languages, Reference > General, Computers > Web Development
Publisher: Apress
Publish date: 2015-08-21
ISBN-10: 1484209591
ISBN-13: 9781484209592
Language: English
Description: Python Data Analytics will help you tackle the world of data acquisition and analysis using the power of the Python language. At the heart of this book lies the coverage of pandas, an open source, BSD-licensed library providing high-performance, easy-to-use data structures and data analysis tools for the Python programming language. Author Fabio Nelli expertly shows the strength of the Python programming language when applied to processing, managing and retrieving information. Inside, you will see how intuitive and flexible it is to discover and communicate meaningful patterns of data using Python scripts, reporting... more...
]]>
Tue, 27 Jun 2017 11:42:07 GMT
Windows Software Compatibility and Hardware Troubleshooting (by MVP, Mike Halsey, MVP, Andrew Bettany) http://www.books-share.com/ebook/windows-software-compatibility-and-hardware-troubleshooting
Author(s): MVP, Mike Halsey, MVP, Andrew Bettany
Categories: Computers > Computer Science, Computers > Hardware, Computers > Operating Systems
Publisher: Apress
Publish date: 2015-08-24
ISBN-10: 148421062X
ISBN-13: 9781484210628
Language: English
Description: As companies keep their existing hardware and operating systems for more years than ever before, the need to diagnose and repair problems is becoming ever more important for IT Pros and system administrators. Whatever version of Windows you’re using (including Windows 10) you’ll likely need to maintain compatibility with older software that the company must use for mission-critical operations, or older hardware that’s required for specific purposes, but you don’t want to sacrifice security for the sake of compatibility. In this briefbook you’ll learn how to maintain optimal compatibility with the older software... more...
]]>
Tue, 27 Jun 2017 11:32:02 GMT
Introduction to Concurrency Theory: Transition Systems and CCS (Texts in Theoretical Computer Science. An EATCS Series) (by Roberto Gorrieri, Cristian Versari) http://www.books-share.com/ebook/introduction-to-concurrency-theory-transition-systems-and-ccs-texts-in-theoretical-computer-science-an-eatcs-series
Author(s): Roberto Gorrieri, Cristian Versari
Categories: Computers > Artificial Intelligence, Computers > Computer Science, Computers > Development
Publisher: Springer
Publish date: 2015-09-14
ISBN-10: 331921490X
ISBN-13: 9783319214900
Language: English
Description: This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose them, and to prove properties they enjoy. The rest of the book relies on Milner's Calculus of Communicating Systems, tailored versions of which are used to study various notions of equality between systems, and to investigate in detail the expressive power of the models considered. The authors proceed from very basic results to increasingly complex issues, with many examples and... more...
]]>
Tue, 27 Jun 2017 11:22:02 GMT
Exploring Robotics with ROBOTIS Systems (by Chi N. Thai) http://www.books-share.com/ebook/exploring-robotics-with-robotis-systems
Author(s): Chi N. Thai
Categories: Computers > Artificial Intelligence, Computers > Programming, Reference > General
Publisher: Springer
Publish date: 2015-08-23
ISBN-10: 3319204173
ISBN-13: 9783319204178
Language: English
Description: This book presents foundational robotics concepts using the ROBOTIS BIOLOID and OpenCM-904 robotic systems, and is suitable as a curriculum for a first course in robotics for undergraduate students or a self-learner. It covers wheel-based robots, as well as walking robots. Although it uses the standard “Sense, Think, Act” approach, communications (bot-to-bot and PC-to-bot) programming concepts are treated in more depth (wired and wireless ZigBee/BlueTooth). Algorithms are developed and described via ROBOTIS’ proprietary RoboPlus IDE, as well as the more open Arduino-based Embedded C environments. Additionally, web-based multimedia materials... more...
]]>
Tue, 27 Jun 2017 11:16:02 GMT
Hybrid Soft Computing Approaches: Research and Applications (Studies in Computational Intelligence) (by Siddhartha Bhattacharyya, Paramartha Dutta, Susanta Chakraborty) http://www.books-share.com/ebook/hybrid-soft-computing-approaches-research-and-applications-studies-in-computational-intelligence
Author(s): Siddhartha Bhattacharyya, Paramartha Dutta, Susanta Chakraborty
Categories: Computers > Artificial Intelligence, Computers > Programming Languages, Computers > Development, Computers > Software Engineering
Publisher: Springer
Publish date: 2015-08-23
ISBN-10: 8132225430
ISBN-13: 9788132225430
Language: English
Description: The book provides a platform for dealing with the flaws and failings of the soft computing paradigm through different manifestations. The different chapters highlight the necessity of the hybrid soft computing methodology in general with emphasis on several application perspectives in particular. Typical examples include (a) Study of Economic Load Dispatch by Various Hybrid Optimization Techniques, (b) An Application of Color Magnetic Resonance Brain Image Segmentation by Para Optimus LG Activation Function, (c) Hybrid Rough-PSO Approach in Remote Sensing Imagery Analysis, (d) A Study and Analysis of Hybrid Intelligent... more...
]]>
Tue, 27 Jun 2017 11:12:02 GMT
Pro SQL Server Wait Statistics (by Enrico van de Laar) http://www.books-share.com/ebook/pro-sql-server-wait-statistics
Author(s): Enrico van de Laar
Categories: Computers > Database Management, Computers > Programming, Computers > Programming Languages, Reference > General
Publisher: Apress
Publish date: 2015-08-26
ISBN-10: 1484211405
ISBN-13: 9781484211403
Language: English
Description: Pro SQL Server Wait Statistics is a practical guide for analyzing and troubleshooting SQL Server performance using wait statistics. Whether you are new to wait statistics, or already familiar with them, this book will help you gain a deeper understanding of how wait statistics are generated and what they can mean for your SQL Server’s performance. Besides the most common wait types, Pro SQL Server Wait Statistics goes further into the more complex and performance threatening wait types. The different wait types are categorized by their area of impact, and include CPU, IO, Lock, and many more different wait type categories. Filled with clear... more...
]]>
Tue, 27 Jun 2017 11:06:02 GMT
Pro Freeware and Open Source Solutions for Business (by Phillip Whitt) http://www.books-share.com/ebook/pro-freeware-and-open-source-solutions-for-business
Author(s): Phillip Whitt
Categories: Business & Economics > General, Computers > Computer Science, Computers > Operating Systems
Publisher: Apress
Publish date: 2015-08-27
ISBN-10: 1484211316
ISBN-13: 9781484211311
Language: English
Description: Pro Freeware and Open Source Solutions for Business is a practical guide for the small business owner seeking viable alternative to expensive commercial software packages and subscriptions. This reference guide provides an overview of many popular and powerful free alternatives to proprietary software. Not only can small business owners benefit from this book, but educators and students can as well. In this book you will find free and open source solutions for office productivity, PDF creation, accounting, image editing and graphic design, desktop publishing, 3D design, CAD, audio and video editing, website and blog creation, customer... more...
]]>
Tue, 27 Jun 2017 10:56:02 GMT
New Tools of Economic Dynamics (Lecture Notes in Economics and Mathematical Systems) (by Jacek Leskow, Martin Puchet, Lionello F. Punzo) http://www.books-share.com/ebook/new-tools-of-economic-dynamics-lecture-notes-in-economics-and-mathematical-systems
Author(s): Jacek Leskow, Martin Puchet, Lionello F. Punzo
Categories: Business & Economics > Econometrics, Business & Economics > Economics, Computers > Computer Science, Mathematics > General, Poetry > American
Publisher: Springer
Publish date: 2010-06-02
ISBN-10: 3540242821
ISBN-13: 9783540242826
Language: English
Description: New Tools of Economic Dynamics gives an introduction and overview of recently developed methods and tools, most of them developed outside economics, to deal with the qualitative analysis of economic dynamics. It reports the results of a three-year research project by a European and Latin American network on the intersection of economics with mathematical, statistical, and computational methods and techniques. Focusing upon the evolution and manifold structure of complex dynamic phenomena, the book reviews and shows applications of a variety of tools, such as symbolic and coded dynamics, interacting agents models,... more...
]]>
Tue, 27 Jun 2017 06:12:02 GMT
Interactive Stories and Video Game Art: A Storytelling Framework for Game Design (by Chris Solarski) http://www.books-share.com/ebook/interactive-stories-and-video-game-art-a-storytelling-framework-for-game-design
Author(s): Chris Solarski
Categories: Computers > Programming
Publisher: A K Peters/CRC Press
Publish date: 2017-01-19
ISBN-10: 1498781500
ISBN-13: 9781498781503
Language: English
Description: The success of storytelling in games depends on the entire development team―game designers, artists, writers, programmers and musicians, etc.―working harmoniously together towards a singular artistic vision. Interactive Stories and Video Game Art is first to define a common design language for understanding and orchestrating interactive masterpieces using techniques inherited from the rich history of art and craftsmanship that games build upon. Case studies of hit games like The Last of Us, Journey, and Minecraft illustrate the vital components needed to create emotionally-complex stories that are mindful of gaming’s... more...
]]>
Tue, 27 Jun 2017 05:14:02 GMT
Java Illuminated: An Active Learning Approach (by Julie Anderson, Hervé J. Franceschi) http://www.books-share.com/ebook/java-illuminated-an-active-learning-approach
Author(s): Julie Anderson, Hervé J. Franceschi
Categories: Computers > Computer Science, Computers > Programming, Computers > Programming Languages
Publisher: Jones & Bartlett Learning
Publish date: 2014-09-29
ISBN-10: 1284045315
ISBN-13: 9781284045314
Language: English
Description: Each new print copy includes Navigate 2 Advantage Access that unlocks a comprehensive and interactive eBook, student practice activities and assessments, a full suite of instructor resources, and learning analytics reporting tools. Fully revised and updated to reflect the most recent features in Java 7 and Java 8, Java Illuminated, Fourth Edition is one of the most interactive and user-friendly texts available. Comprehensive but accessible, the text takes a progressive approach to object-oriented programming, allowing students to build on established skills to develop new and increasingly complex classes. Java Illuminated follows an activity-based... more...
]]>
Tue, 27 Jun 2017 04:46:02 GMT
Reversible Computation: 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings (Lecture Notes in Computer Science) (by Hafizur Rahaman, Iain Phillips) http://www.books-share.com/ebook/reversible-computation-9th-international-conference-rc-2017-kolkata-india-july-6-7-2017-proceedings-lecture-notes-in-computer-science
Author(s): Hafizur Rahaman, Iain Phillips
Categories: Computers > Artificial Intelligence, Computers > Hardware, Computers > Programming, Computers > Development, Computers > Software Engineering
Publisher: Springer
Publish date: 2017-05-25
ISBN-10: 3319599356
ISBN-13: 9783319599359
Language: English
Description: This book constitutes the refereed proceedings of the 9th International Conference on Reversible Computation, RC 2017, held in Kolkata, India, in July 2017. The 13 full and 5 short papers included in this volume together with one invited paper were carefully reviewed and selected from 47 submissions. The papers are organized in the following topical sections: foundations; reversible circuit synthesis; reversible circuit optimization; testing and fault tolerance; and quantum circuits.
]]>
Tue, 27 Jun 2017 04:12:17 GMT
The Art of Interpretation in the Age of Computation (by Paul Kockelman) http://www.books-share.com/ebook/the-art-of-interpretation-in-the-age-of-computation
Author(s): Paul Kockelman
Categories: Computers > Computer Science, Language Arts & Disciplines > Linguistics, Language Arts & Disciplines > Translating & Interpreting
Publisher: Oxford University Press
Publish date: 2017-07-18
ISBN-10: 019063653X
ISBN-13: 9780190636531
Language: English
Description: This book is about media, mediation, and meaning. The Art of Interpretation focuses on a set of interrelated processes whereby ostensibly human-specific modes of meaning become automated by machines, formatted by protocols, and networked by infrastructures. That is, as computation replaces interpretation, information effaces meaning, and infrastructure displaces interaction. Or so it seems. Paul Kockelman asks: What does it take to automate, format, and network meaningful practices? What difference does this make for those who engage in such practices? And what is at stake? Reciprocally: How can we better understand computational processes from... more...
]]>
Tue, 27 Jun 2017 03:06:10 GMT
Security Solutions and Applied Cryptography in Smart Grid Communications (Advances in Information Security, Privacy, and Ethics) (by Mohamed Amine Ferrag) http://www.books-share.com/ebook/security-solutions-and-applied-cryptography-in-smart-grid-communications-advances-in-information-security-privacy-and-ethics
Author(s): Mohamed Amine Ferrag
Categories: Computers > Cryptography, Computers > Networking
Publisher: IGI Global
Publish date: 2016-11-29
ISBN-10: 1522518290
ISBN-13: 9781522518297
Language: English
Description: Electrical energy usage is increasing every year due to population growth and new forms of consumption. As such, it is increasingly imperative to research methods of energy control and safe use. Security Solutions and Applied Cryptography in Smart Grid Communications is a pivotal reference source for the latest research on the development of smart grid technology and best practices of utilization. Featuring extensive coverage across a range of relevant perspectives and topics, such as threat detection, authentication, and intrusion detection, this book is ideally designed for academicians, researchers, engineers and... more...
]]>
Tue, 27 Jun 2017 01:50:21 GMT
The Secret Guide to Computers (by Russ Walter) http://www.books-share.com/ebook/the-secret-guide-to-computers
Author(s): Russ Walter
Categories: Computers > Hardware, Mathematics > General
Publisher: Birkhauser Boston
Publish date: 1984
ISBN-10: 0817631909
ISBN-13: 9780817631901
Language: English
Description: Book by Walter, Russ
]]>
Mon, 26 Jun 2017 23:32:01 GMT
Testing Computer Software, 2nd Edition (by Cem Kaner, Jack Falk, Hung Q. Nguyen) http://www.books-share.com/ebook/testing-computer-software-2nd-edition
Author(s): Cem Kaner, Jack Falk, Hung Q. Nguyen
Categories: Computers > Programming, Reference > General, Computers > Development, Computers > Software Engineering, Computers > Software
Publisher: Wiley
Publish date: 1999-04-12
ISBN-10: 0471358460
ISBN-13: 9780471358466
Language: English
Description: No description available
]]>
Mon, 26 Jun 2017 22:36:07 GMT
The C# Programmer’s Study Guide (MCSD): Exam: 70-483 (by Ali Asad, Hamza Ali) http://www.books-share.com/ebook/the-c-programmer-s-study-guide-mcsd-exam-70-483
Author(s): Ali Asad, Hamza Ali
Categories: Computers > Compilers, Computers > Programming, Computers > Programming Languages, Computers > Development, Computers > Software Engineering
Publisher: Apress
Publish date: 2017-07-22
ISBN-10: 1484228596
ISBN-13: 9781484228593
Language: English
Description: Prepare for Microsoft Certification Exam 70-483: Programming in C#. The “What, Why, and How” of each concept is presented along with quick summaries, code challenges, and exam questions to review and practice key concepts. You will learn how to use: Lambda expressions to write LINQ query expressions Asynchronous programming with the Async and Await keywords to maximize performance of slow applications Regular expressions to validate user input Reflection to create and handle types at runtime  and much more The source code in the book will be... more...
]]>
Mon, 26 Jun 2017 22:32:02 GMT
The B2B Social Media Book: Become a Marketing Superstar by Generating Leads with Blogging, LinkedIn, Twitter, Facebook, Email, and More (by Kipp Bodnar, Jeffrey L. Cohen) http://www.books-share.com/ebook/the-b2b-social-media-book-become-a-marketing-superstar-by-generating-leads-with-blogging-linkedin-twitter-facebook-email-and-more
Author(s): Kipp Bodnar, Jeffrey L. Cohen
Categories: Business & Economics > E-Commerce, Business & Economics > Marketing, Computers > Web Development
Publisher: Wiley
Publish date: 2012-01-24
ISBN-10: 1118167767
ISBN-13: 9781118167762
Language: English
Description: Advance your B2B marketing plans with proven social media strategiesLearn social media's specific application to B2B companies and how it can be leveraged to drive leads and revenue. B2B marketers are undervalued and under appreciated in many companies. Social media and online marketing provide the right mix of rich data and reduction in marketing expenses to help transform a marketer into a superstar. The B2B Social Media Book provides B2B marketers with actionable advice on leveraging blogging, LinkedIn, Twitter, Facebook and more, combined with key strategic imperatives that serve as the backbone of effective B2B social media strategies.This... more...
]]>
Mon, 26 Jun 2017 22:30:06 GMT
SystemC: From the Ground Up (the Kluwer International Series in Engineering & Computer Science) (by David C. Black, Jack Donovan, Bill Bunton, Anna Keist) http://www.books-share.com/ebook/systemc-from-the-ground-up-the-kluwer-international-series-in-engineering-and-computer-science
Author(s): David C. Black, Jack Donovan, Bill Bunton, Anna Keist
Categories: Computers > Computer Graphics, Computers > Hardware, Computers > Programming, Reference > General, Technology & Engineering > Engineering (General)
Publisher: Springer
Publish date: 2004-05-31
ISBN-10: 1402079885
ISBN-13: 9781402079887
Language: English
Description: SystemC provides a robust set of extensions to C++ that enables rapid development of complex hardware/software systems. This book focuses on the practical uses of the language for modeling real systems. The wealth of examples and downloadable code methodically guide the reader through the finer points of the SystemC language. This book will show you: Well known consultants in the EDA industry, both David Black and Jack Donovan have been involved in the adoption and teaching of new technologies and methodologies for a combined total of 42+ years. Recently, they jointly founded a consultancy, Eklectic Ally, focused on helping companies... more...
]]>
Mon, 26 Jun 2017 22:22:02 GMT
Semistructured Database Design (Web Information Systems Engineering and Internet Technologies Book Series) (by Tok Wang Ling, Gillian Dobbie) http://www.books-share.com/ebook/semistructured-database-design-web-information-systems-engineering-and-internet-technologies-book-series
Author(s): Tok Wang Ling, Gillian Dobbie
Categories: Computers > Cryptography, Computers > Database Management, Computers > Networking, Computers > Software
Publisher: Springer
Publish date: 2004-11-19
ISBN-10: 0387235671
ISBN-13: 9780387235677
Language: English
Description: Semistructured Database Design provides an essential reference for anyone interested in the effective management of semsistructured data. Since many new and advanced web applications consume a huge amount of such data, there is a growing need to properly design efficient databases. This volume responds to that need by describing a semantically rich data model for semistructured data, called Object-Relationship-Attribute model for Semistructured data (ORA-SS). Focusing on this new model, the book discuss problems and present solutions for a number of topics, including schema extraction, the design of non-redundant storage organizations for... more...
]]>
Mon, 26 Jun 2017 21:34:02 GMT
Role-Based Access Control, Second Edition (by David F. Ferraiolo) http://www.books-share.com/ebook/role-based-access-control-second-edition
Author(s): David F. Ferraiolo
Categories: Computers > Networking, Technology & Engineering > Engineering (General)
Publisher: Artech Print on Demand
Publish date: 2007-01-31
ISBN-10: 1596931132
ISBN-13: 9781596931138
Language: English
Description: This newly revised edition of the Artech House bestseller, Role-Based Access Control, offers you the very latest details on this sophisticated security model aimed at reducing the cost and complexity of security administration for large networked applications. The second edition provides more comprehensive and updated coverage of access control models, new Rbac standards, new in-depth case studies and discussions on role engineering and the design of role-based systems. The book shows you how Rbac simplifies security administration by using roles, hierarchies, and constraints to manage the review and control of organizational privileges. Moreover,... more...
]]>
Mon, 26 Jun 2017 21:22:01 GMT
Physics of the Pulsar Magnetosphere (by A. V. Gurevich, V. S. Beskin, Ya. N Istomin) http://www.books-share.com/ebook/physics-of-the-pulsar-magnetosphere-1
Author(s): A. V. Gurevich, V. S. Beskin, Ya. N Istomin
Categories: Computers > General, Science > Astronomy, Science > Astrophysics & Space Science
Publisher: Cambridge University Press
Publish date: 1993-08-27
ISBN-10: 0521417465
ISBN-13: 9780521417464
Language: English
Description: This book presents the theory of the electrodynamic phenomena that occur in the magnetosphere of a pulsar. It also provides a clear picture of the formation and evolution of neutron stars. The authors address the basic physical processes of electron-positron plasma production, the generation of electric fields and currents, and the emission of radio waves and gamma rays. The book also reviews the current observational data, and devotes a complete chapter to a detailed comparison of this data with accepted theory and with some recent theoretical predictions. Tables containing the values of the physical parameters of all observed radio pulsars are... more...
]]>
Mon, 26 Jun 2017 20:24:01 GMT
PHP Programming Solutions (by Vikram Vaswani) http://www.books-share.com/ebook/php-programming-solutions
Author(s): Vikram Vaswani
Categories: Computers > Internet, Computers > Programming, Reference > General, Computers > Web Design, Computers > Software
Publisher: McGraw-Hill Osborne Media
Publish date: 2007-06-08
ISBN-10: 007148745X
ISBN-13: 9780071487450
Language: English
Description: Find real-world solutions to PHP programming problems Simplify and shorten the PHP application development cycle using the in-depth information contained in this hands-on guide. PHP Programming Solutions clearly lays out more than 250 programming challenges alongside practical solutions, functioning code, detailed explanations, and usage tips. Inside, you'll learn to manipulate strings and arrays, work with HTML and Web pages, accept and validate user input, parse XML code, and resolve programming problems using PEAR and PECL widgets and extensions. Plus, you'll get detailed coverage of PHP security issues, SQL database... more...
]]>
Mon, 26 Jun 2017 20:10:02 GMT
Mobile Communications: Re-negotiation of the Social Sphere (Computer Supported Cooperative Work) (by Rich Ling, Per E. Pedersen) http://www.books-share.com/ebook/mobile-communications-re-negotiation-of-the-social-sphere-computer-supported-cooperative-work
Author(s): Rich Ling, Per E. Pedersen
Categories: Computers > Computer Graphics, Computers > Computer Science, Family & Relationships > Interpersonal Relations, Humor > General, Social Science > General
Publisher: Springer
Publish date: 2008-10-10
ISBN-10: 1852339314
ISBN-13: 9781852339319
Language: English
Description: This book surveys some of the broader issues associated with the adoption & use of mobile communication, & explores developing areas of inquiry. Mobile communications are looked at in the context of other types of mediated interaction, demonstrating the uniqueness of this form of communication & how it is influencing the renegotiation of the social sphere. The book considers how mobile communication has impacted on society and reflects on how it is used (& sometimes resented) in various public & private spaces. It provides an in-depth analysis of specific areas which complement our understanding of the... more...
]]>
Mon, 26 Jun 2017 19:14:01 GMT
Fuzzy Relational Calculus: Theory, Applications and Software [With CDROM] (Advances in Fuzzy Systems-Applications and Theory) (by Ketty Peeva, Yordan Kyosev) http://www.books-share.com/ebook/fuzzy-relational-calculus-theory-applications-and-software-with-cdrom-advances-in-fuzzy-systems-applications-and-theory
Author(s): Ketty Peeva, Yordan Kyosev
Categories: Computers > Artificial Intelligence, Mathematics > General, Technology & Engineering > Engineering (General)
Publisher: World Scientific Publishing Company
Publish date: 2005-01
ISBN-10: 9812560769
ISBN-13: 9789812560766
Language: English
Description: This book examines fuzzy relational calculus theory with applications in various engineering subjects. The scope of the text covers unified and exact methods with algorithms for direct and inverse problem resolution in fuzzy relational calculus. Extensive engineering applications of fuzzy relation compositions and fuzzy linear systems (linear, relational and intuitionistic) are discussed. Some examples of such applications include solutions of equivalence, reduction and minimization problems in fuzzy machines, pattern recognition in fuzzy languages, optimization and inference engines in textile and chemical engineering, etc. A comprehensive... more...
]]>
Mon, 26 Jun 2017 19:10:07 GMT
Mathematical Aspects Of Quantum Computing 2007 (Kinki University Series on Quantum Computing) (by Mikio Nakahara, Robabeh Rahimi, Akira SaiToh) http://www.books-share.com/ebook/mathematical-aspects-of-quantum-computing-2007-kinki-university-series-on-quantum-computing
Author(s): Mikio Nakahara, Robabeh Rahimi, Akira SaiToh
Categories: Computers > Computer Science, Mathematics > General, Reference > General, Science > Physics
Publisher: World Scientific Publishing Company
Publish date: 2008-04-01
ISBN-10: 9812814477
ISBN-13: 9789812814470
Language: English
Description: This book provides a comprehensive overview of the mathematical aspects of quantum computing. It will be useful for graduate students and researchers interested in quantum computing from different areas of physics, mathematics, informatics and computer science. The lecture notes in this volume are written in a self-contained style, and hence are accessible for graduate students and researchers with even less background in the topics.
]]>
Mon, 26 Jun 2017 18:52:17 GMT
Advanced FPGA Design: Architecture, Implementation, and Optimization (by Steve Kilts) http://www.books-share.com/ebook/advanced-fpga-design-architecture-implementation-and-optimization
Author(s): Steve Kilts
Categories: Computers > Computer Science, Computers > Programming, Technology & Engineering > Engineering (General)
Publisher: Wiley-IEEE Press
Publish date: 2007-06-29
ISBN-10: 0470054379
ISBN-13: 9780470054376
Language: English
Description: This book provides the advanced issues of FPGA design as the underlying theme of the work. In practice, an engineer typically needs to be mentored for several years before these principles are appropriately utilized. The topics that will be discussed in this book are essential to designing FPGA's beyond moderate complexity. The goal of the book is to present practical design techniques that are otherwise only available through mentorship and real-world experience.
]]>
Mon, 26 Jun 2017 18:52:15 GMT
Master VISUALLY Microsoft Windows Vista (by Rob Tidrow) http://www.books-share.com/ebook/master-visually-microsoft-windows-vista
Author(s): Rob Tidrow
Categories: Computers > Operating Systems, Computers > Software
Publisher: Visual
Publish date: 2007-03-12
ISBN-10: 0470045779
ISBN-13: 9780470045770
Language: English
Description: "One picture is worth a thousand words." If you prefer instructions that show you how rather than tell you why, then this intermediate to advanced level reference is for you. Hundreds of succinctly captioned, step-by-step screen shots reveal how to accomplish more than 200 Windows Vista tasks, including: * Handling new, upgrade, or dual-boot installation * Using the new desktop and start menu * Creating toolbars and changing display settings * Managing the firewall and antivirus software * Installing CD and DVD burners * Working with the new productivity features * "Master It" sidebars answer questions and present shortcuts * High-resolution screen... more...
]]>
Mon, 26 Jun 2017 18:52:02 GMT
The Graphic Designer's Digital Toolkit: A Project-Based Introduction to Adobe Photoshop CS5, Illustrator CS5 & InDesign CS5 (by Allan Wood) http://www.books-share.com/ebook/the-graphic-designers-digital-toolkit-a-project-based-introduction-to-adobe-photoshop-cs5-illustrator-cs5-and-indesign-cs5
Author(s): Allan Wood
Categories: Art > Design, Business & Economics > Careers, Computers > Programming, Computers > Web Development, Computers > Digital Photography & Video
Publisher: Delmar Cengage Learning
Publish date: 2010-08-02
ISBN-10: 111113801X
ISBN-13: 9781111138011
Language: English
Description: Being a successful graphic designer today requires more than knowing the essential features of industry-standard software applications. It also requires an understanding of how to integrate these programs into a seamless whole while producing work that conforms to design principles and client expectations. This fully revised fifth edition of THE GRAPHIC DESIGNER'S DIGITAL TOOLKIT provides comprehensive overview of Macintosh OS X Leopard and Windows 7 operating systems, design fundamentals, and the "Big 3" digital design programs used in the graphics industry today: Adobe Illustrator CS5, Adobe Photoshop CS5, and Adobe InDesign CS5. The book... more...
]]>
Mon, 26 Jun 2017 18:00:13 GMT
Introduction to Genetic Algorithms for Scientists and Engineers (by David A Coley) http://www.books-share.com/ebook/introduction-to-genetic-algorithms-for-scientists-and-engineers
Author(s): David A Coley
Categories: Computers > Artificial Intelligence, Computers > Programming, Mathematics > General
Publisher: Wspc
Publish date: 1999-01-29
ISBN-10: 9810236026
ISBN-13: 9789810236021
Language: English
Description: This invaluable book has been designed to be useful to most practising scientists and engineers, whatever their field and however rusty their mathematics and programming might be. The approach taken is largely practical, with algorithms being presented in full and working code (in Basic, Fortran, Pascal And C) included on a floppy disk to help the reader get up and running as quickly as possible. The text could also be used as part of an undergraduate course on search and optimisation. Student exercises are included at the end of several of the chapters, many of which are computer-based and designed to encourage exploration of the method.
]]>
Mon, 26 Jun 2017 17:56:02 GMT
Information Systems Security: 10th International Conference, ICISS 2014, Hyderabad, India, December 16-20, 2014. Proceedings (Lecture Notes in Computer Science) (by Atul Prakash, Rudrapatna Shyamasundar) http://www.books-share.com/ebook/information-systems-security-10th-international-conference-iciss-2014-hyderabad-india-december-16-20-2014-proceedings-lecture-notes-in-computer
Author(s): Atul Prakash, Rudrapatna Shyamasundar
Categories: Business & Economics > Information Management, Computers > Computer Science, Computers > Cryptography, Computers > Hardware, Computers > Networking
Publisher: Springer
Publish date: 2015-01-17
ISBN-10: 3319138405
ISBN-13: 9783319138404
Language: English
Description: This book constitutes the refereed proceedings of the 10th International Conference on Information Systems Security, ICISS 2014, held in Hyderabad, India, in December 2014. The 20 revised full papers and 5 short papers presented together with 3 invited papers were carefully reviewed and selected from 129 submissions. The papers address the following topics: security inferences; security policies; security user interfaces; security attacks; malware detection; forensics; and location based security services.
]]>
Mon, 26 Jun 2017 17:48:11 GMT
How To Create An App (by Duong Tran) http://www.books-share.com/ebook/how-to-create-an-app
Author(s): Duong Tran
Categories: Computers > Development
Publisher: CreateSpace Independent Publishing Platform
Publish date: 2017-01-21
ISBN-10: 154268904X
ISBN-13: 9781542689045
Language: English
Description: Mobile App Developer Mobile App Development Flow Mobile App Architecture iOS Architecture Xcode Android Architecture Android Studio Universal Windows Platform Visual Studio (add-on Xamarin)
]]>
Mon, 26 Jun 2017 17:34:01 GMT
Getting Started with FortiGate (by Fabrizio Volpe, Rosato Fabbri) http://www.books-share.com/ebook/getting-started-with-fortigate
Author(s): Fabrizio Volpe, Rosato Fabbri
Categories: Computers > Networking
Publisher: Packt Publishing
Publish date: 2013-11-25
ISBN-10: 1782178201
ISBN-13: 9781782178200
Language: English
Description: Simplify and protect your network using the FortiGate network security appliance Overview Learn about FortiGate and FortiOS 5 starting from the ground up, with no previous knowledge of Fortinet products Understand and deliver Routing, VLANs, NAT, and high availability solutions using FortiGate units Design and deploy security policies, content filters, and endpoint security using UTM features inside a FortiGate unit In Detail FortiGate from Fortinet is a highly successful family of appliances enabled to manage routing and security on different layers, supporting dynamic protocols, IPSEC and VPN with SSL,... more...
]]>
Mon, 26 Jun 2017 17:22:08 GMT
GLSL Essentials (by Jacobo Rodríguez) http://www.books-share.com/ebook/glsl-essentials
Author(s): Jacobo Rodríguez
Categories: Computers > Computer Graphics, Computers > Programming
Publisher: Packt Publishing
Publish date: 2013-12-26
ISBN-10: 1849698007
ISBN-13: 9781849698009
Language: English
Description: Enrich your 3D scenes with the power of GLSL! Overview Learn about shaders in a step-by-step, interactive manner Create stunning visual effects using vertex and fragment shaders Simplify your CPU code and improve your overall performance with instanced drawing through the use of geometry shaders In Detail Shader programming has been the largest revolution in graphics programming. OpenGL Shading Language (abbreviated: GLSL or GLslang), is a high-level shading language based on the syntax of the C programming language.With GLSL you can execute code on your GPU (aka graphics card). More sophisticated effects... more...
]]>
Mon, 26 Jun 2017 17:14:04 GMT
Fuzzing: Brute Force Vulnerability Discovery (by Michael Sutton, Adam Greene, Pedram Amini) http://www.books-share.com/ebook/fuzzing-brute-force-vulnerability-discovery
Author(s): Michael Sutton, Adam Greene, Pedram Amini
Categories: Computers > Networking, Computers > Development, Computers > Software Engineering
Publisher: Addison-Wesley Professional
Publish date: 2007-07-09
ISBN-10: 0321446119
ISBN-13: 9780321446114
Language: English
Description: FUZZING Master One of Today’s Most Powerful Techniques for Revealing Security Flaws! Fuzzing has evolved into one of today’s most effective approaches to test software security. To “fuzz,” you attach a program’s inputs to a source of random data, and then systematically identify the failures that arise. Hackers have relied on fuzzing for years: Now, it’s your turn. In this book, renowned fuzzing experts show you how to use fuzzing to reveal weaknesses in your software before someone else does.   Fuzzing is the first and only book to cover fuzzing from start to finish, bringing disciplined best... more...
]]>
Mon, 26 Jun 2017 17:12:02 GMT
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings (Lecture Notes in Computer Science) (by Narciso Martí-Oliet, Christiano Braga) http://www.books-share.com/ebook/formal-methods-foundations-and-applications-17th-brazilian-symposium-sbmf-2014-macei-al-brazil-september-29-october-1-2014-proceedings-lecture-notes
Author(s): Narciso Martí-Oliet, Christiano Braga
Categories: Business & Economics > Information Management, Computers > Compilers, Computers > Computer Science, Mathematics > General, Computers > Development
Publisher: Springer
Publish date: 2015-01-27
ISBN-10: 331915074X
ISBN-13: 9783319150741
Language: English
Description: This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014. The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area.
]]>
Mon, 26 Jun 2017 17:04:06 GMT
Enterprise Web Services Security (Networking & Security) (by Richard Murphy, Rickland Hollar) http://www.books-share.com/ebook/enterprise-web-services-security-networking-and-security
Author(s): Richard Murphy, Rickland Hollar
Categories: Computers > Certification Guides, Computers > Networking
Publisher: Charles River Media
Publish date: 2005-09-27
ISBN-10: 1584504137
ISBN-13: 9781584504139
Language: English
Description: The use of Web Services for Business-to-Business (B2B) and Business-to-Consumer (B2C) transactions has created risks that expose critical assets to increasingly greater threats. Enterprise Web Services Security provides the information developers, application architects, and security professionals need to build security policies and strategies from the ground up in a Web Services environment. Most security books focus on computer or network security in isolation, relegating the other areas to overview chapters or appendices. A single-system view of security, however, is not adequate to describe a distributed Web Services-based environment as it... more...
]]>
Mon, 26 Jun 2017 16:42:13 GMT
Energy Efficient Data Centers: Third International Workshop, E2DC 2014, Cambridge, UK, June 10, 2014, Revised Selected Papers (Lecture Notes in Computer Science) (by Sonja Klingert, Marta Chinnici, Milagros Rey Porto) http://www.books-share.com/ebook/energy-efficient-data-centers-third-international-workshop-e2dc-2014-cambridge-uk-june-10-2014-revised-selected-papers-lecture-notes-in-computer
Author(s): Sonja Klingert, Marta Chinnici, Milagros Rey Porto
Categories: Business & Economics > Information Management, Computers > Computer Science, Computers > Database Management, Computers > Hardware
Publisher: Springer
Publish date: 2015-02-17
ISBN-10: 331915785X
ISBN-13: 9783319157856
Language: English
Description: This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Energy Efficient Data Centers, E2DC 2014, held in Cambridge, UK, in June 2014. The 10 revised full papers presented were carefully selected from numerous submissions. They are organized in three topical sections named: energy optimization algorithms and models, the future role of data centres in Europe and energy efficiency metrics for data centres.
]]>
Mon, 26 Jun 2017 16:42:09 GMT
Empowering Users through Design: Interdisciplinary Studies and Combined Approaches for Technological Products and Services (by David Bihanic) http://www.books-share.com/ebook/empowering-users-through-design-interdisciplinary-studies-and-combined-approaches-for-technological-products-and-services
Author(s): David Bihanic
Categories: Business & Economics > Production & Operations Management, Computers > Computer Graphics, Computers > Computer Science, Reference > General
Publisher: Springer
Publish date: 2015-01-12
ISBN-10: 331913017X
ISBN-13: 9783319130170
Language: English
Description: At the crossroads of various disciplines, this collective work examines the possibility of a new end-user “engagement” in ongoing digital/technological products and services development. It provides an overview of recent research specifically focused on the user’s democratic participation and empowerment. It also enables readers to better identify the main opportunities of participatory design, a concept which encourages the blurring of the role between user and designer. This allows people to escape their status as “end-user” and to elevate themselves to the level of creator. This book explores new avenues for... more...
]]>
Mon, 26 Jun 2017 16:38:04 GMT
Automotive Software Architectures: An Introduction (by Miroslaw Staron) http://www.books-share.com/ebook/automotive-software-architectures-an-introduction
Author(s): Miroslaw Staron
Categories: Technology & Engineering > Engineering (General), Computers > Development, Computers > Software Engineering
Publisher: Springer
Publish date: 2017-07-25
ISBN-10: 3319586092
ISBN-13: 9783319586090
Language: English
Description: This book introduces the concept of software architecture as one of the cornerstones of software in modern cars. Following a historical overview of the evolution of software in modern cars and a discussion of the main challenges driving that evolution, Chapter 2 describes the main architectural styles of automotive software and their use in cars’ software. In Chapter 3, readers will find a description of the software development processes used to develop software on the car manufacturers’ side. Chapter 4 then introduces AUTOSAR – an important standard in automotive software. Chapter 5 goes beyond simple architecture and... more...
]]>
Mon, 26 Jun 2017 16:14:02 GMT
Design Patterns for Searching in C# (by Fred Mellender) http://www.books-share.com/ebook/design-patterns-for-searching-in-c
Author(s): Fred Mellender
Categories: Computers > General
Publisher: Lulu.com
Publish date: 2008-07-06
ISBN-10: 1435723015
ISBN-13: 9781435723016
Language: English
Description: No description available
]]>
Mon, 26 Jun 2017 16:06:18 GMT
Cloud Broker and Cloudlet for Workflow Scheduling (KAIST Research Series) (by Min Chen, Chan-Hyun Youn, Patrizio Dazzi) http://www.books-share.com/ebook/cloud-broker-and-cloudlet-for-workflow-scheduling-kaist-research-series
Author(s): Min Chen, Chan-Hyun Youn, Patrizio Dazzi
Categories: Business & Economics > Information Management, Computers > Artificial Intelligence, Computers > Networking, Computers > Development, Computers > Software Engineering
Publisher: Springer
Publish date: 2017-07-26
ISBN-10: 9811050708
ISBN-13: 9789811050701
Language: English
Description: This book blends the principles of cloud computing theory and discussion of emerging technologies in cloud broker systems, enabling users to realise the potential of an integrated broker system for scientific applications and the Internet of Things (IoT). Due to dynamic situations in user demand and cloud resource status, scalability has become crucial in the execution of complex scientific applications. Therefore, data analysts and computer scientists must grasp workflow management issues in order to better understand the characteristics of cloud resources, allocate these resources more efficiently and make critical... more...
]]>
Mon, 26 Jun 2017 16:06:11 GMT
Data Mining: Opportunities and Challenges (by John Wang) http://www.books-share.com/ebook/data-mining-opportunities-and-challenges
Author(s): John Wang
Categories: Business & Economics > Information Management, Computers > Artificial Intelligence, Computers > Database Management, Mathematics > General, Computers > Software
Publisher: Idea Group Pub
Publish date: 2003-02-04
ISBN-10: 1591400511
ISBN-13: 9781591400516
Language: English
Description: Presents an overview of the state of the art approaches in this new and multidisciplinary field of data mining. The primary objective of this book is to explore the myriad issues regarding data mining, specifically focusing on those areas that explore new methodologies or examine case studies. This book contains numerous chapters written by an international team of forty-four experts representing leading scientists and talented young scholars from seven different countries.
]]>
Mon, 26 Jun 2017 15:42:12 GMT
Cyber Security and Privacy: Third Cyber Security and Privacy EU Forum, CSP Forum 2014, Athens, Greece, May 21-22, 2014, Revised Selected Papers (Communications in Computer and Information Science) (by Massimo Felici, Frances Cleary) http://www.books-share.com/ebook/cyber-security-and-privacy-third-cyber-security-and-privacy-eu-forum-csp-forum-2014-athens-greece-may-21-22-2014-revised-selected-papers
Author(s): Massimo Felici, Frances Cleary
Categories: Computers > Computer Science, Computers > Cryptography, Computers > Hardware, Computers > Networking
Publisher: Springer
Publish date: 2014-11-19
ISBN-10: 3319125737
ISBN-13: 9783319125732
Language: English
Description: This book constitutes the thoroughly refereed, selected papers on the Second Cyber Security and Privacy EU Forum, CSP 2014, held in Athens, Greece, in May 2014. The 14 revised full papers presented were carefully reviewed and selected from 90 submissions. The papers are organized in topical sections on security; accountability, data protection and privacy; research and innovation.
]]>
Mon, 26 Jun 2017 15:40:02 GMT
Concurrent and Real-Time Programming in Ada (by Alan Burns, Andy Wellings) http://www.books-share.com/ebook/concurrent-and-real-time-programming-in-ada
Author(s): Alan Burns, Andy Wellings
Categories: Computers > Programming Languages, Computers > Development, Computers > Software Engineering
Publisher: Cambridge University Press
Publish date: 2007-07-16
ISBN-10: 0521866979
ISBN-13: 9780521866972
Language: English
Description: Ada is the only ISO-standard, object-oriented, concurrent, real-time programming language. It is intended for use in large, long-lived applications where reliability and efficiency are essential, particularly real-time and embedded systems. In this book, Alan Burns and Andy Wellings give a thorough, self-contained account of how the Ada tasking model can be used to construct a wide range of concurrent and real-time systems. This is the only book that focuses on an in-depth discussion of the Ada tasking model. Following on from the authors' earlier title Concurrency in Ada, this book brings the discussion up to date to include the new Ada 2005... more...
]]>
Mon, 26 Jun 2017 15:26:21 GMT
Engineering Mathematics Through Applications (by Kuldeep Singh) http://www.books-share.com/ebook/engineering-mathematics-through-applications
Author(s): Kuldeep Singh
Categories: Computers > Computer Science, Mathematics > General, Technology & Engineering > Engineering (General)
Publisher: Palgrave
Publish date: 2011-07-26
ISBN-10: 023027479X
ISBN-13: 9780230274792
Language: English
Description: This text teaches maths in a step-by-step fashion – ideal for students on first-year engineering and pre-degree courses. - Hundreds of examples and exercises, the majority set in an applied engineering context so that you immediately see the purpose of what you are learning - Introductory chapter revises indices, fractions, decimals, percentages and ratios - Fully worked solutions to every problem on the companion website at www.palgrave.com/engineering/singh plus searchable glossary, e-index, extra exercises, extra content and more!
]]>
Mon, 26 Jun 2017 15:26:09 GMT
Concurrent Programming on Windows (by Joe Duffy) http://www.books-share.com/ebook/concurrent-programming-on-windows
Author(s): Joe Duffy
Categories: Computers > Hardware, Computers > Networking, Computers > Programming, Reference > General, Computers > Software
Publisher: Addison-Wesley Professional
Publish date: 2008-11-07
ISBN-10: 032143482X
ISBN-13: 9780321434821
Language: English
Description: “When you begin using multi-threading throughout an application, the importance of clean architecture and design is critical. . . . This places an emphasis on understanding not only the platform’s capabilities but also emerging best practices. Joe does a great job interspersing best practices alongside theory throughout his book.” – From the Foreword by Craig Mundie, Chief Research and Strategy Officer, Microsoft Corporation   Author Joe Duffy has risen to the challenge of explaining how to write software that takes full advantage of concurrency and hardware parallelism. In Concurrent Programming on Windows, he explains how to design,... more...
]]>
Mon, 26 Jun 2017 15:24:07 GMT
Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and Its Applications) (by Katalin Bimbó) http://www.books-share.com/ebook/combinatory-logic-pure-applied-and-typed-discrete-mathematics-and-its-applications
Author(s): Katalin Bimbó
Categories: Computers > Programming, Mathematics > General
Publisher: Chapman and Hall/CRC
Publish date: 2011-07-27
ISBN-10: 1439800006
ISBN-13: 9781439800003
Language: English
Description: Combinatory logic is one of the most versatile areas within logic that is tied to parts of philosophical, mathematical, and computational logic. Functioning as a comprehensive source for current developments of combinatory logic, this book is the only one of its kind to cover results of the last four decades. Using a reader-friendly style, the author presents the most up-to-date research studies. She includes an introduction to combinatory logic before progressing to its central theorems and proofs. The text makes intelligent and well-researched connections between combinatory logic and lambda calculi and presents models and applications to... more...
]]>
Mon, 26 Jun 2017 15:16:04 GMT