Resultados de Pesquisa

INGLÊS

Programming Language Design And Implementation

de Torben Ã†Gidius Mogensen

~~87,86€~~ 61,50€ 30% IMEDIATO

portes grátis

 This concise textbook is intended as a guide for programming-language designers and users to better help them understand consequences of design decisions. The text aims to provide readers with an overview of the design space for programming languages and how design choices affect implementation.
INGLÊS

Programming Language Design And Implementation

de Torben Ã†Gidius Mogensen

~~74,34€~~ 52,04€ 30% IMEDIATO

portes grátis

 This textbook is intended as a guide for programming-language designers and users to better help them understand consequences of design decisions. The text aims to provide readers with an overview of the design space for programming languages and how design choices affect implementation.
INGLÊS

Numbers And Computers

de Ronald T. Kneusel

~~79,49€~~ 71,54€ 10% IMEDIATO

DISPONIBILIDADE IMEDIATA

 This textbook details the variety of number formats used by computers, thereby helping to ground readers in what can and cannot be represented accurately, especially by floating-point numbers.The book''s first part details standard representations of integers and floating-point numbers. The second explores other number representations, including the wide variety recently developed to support artificial intelligence (AI) and its demand for efficiency in representation to accommodate the ever-expanding scope of neural network models. Chapters describe each format, with examples in code (Python and C) and exercises. This new edition includes three new chapters on posits, AI number formats, and a collaborative experiment with an AI to generate novel number formats.Topics and features:<ul><li>Explores how computers use numbers to complete operations</li><li>Adds new chapters on posits and AI number formats</li><li>Includes exercises and examples that are code snippets in C or Python</li><li>Implements and tests new AI-designed number formats (as designed by GPT-4)</li><li>Provides thorough grounding on what can and cannot be represented accurately</li></ul>A textbook eminently suitable for undergraduates in computer science, the work also will appeal to software developers, engineers, scientists, AI experts, and anyone who programs for fun.
INGLÊS

Introduction To Biometrics

de Anil K. Jain, Arun A. Ross, Karthik Nandakumar e Thomas Swearingen

~~92,74€~~ 83,47€ 10% IMEDIATO

DISPONIBILIDADE IMEDIATA

 This textbook introduces the fundamental concepts and techniques used in biometric recognition to students, practitioners, and non-experts in the field. Specifically, the book describes key methodologies used for sensing, feature extraction, and matching of commonly used biometric modalities such as fingerprint, face, iris, and voice. In addition, it presents techniques for fusion of biometric information to meet stringent accuracy requirements, also discussing various security issues and associated remedies involved in the deployment of biometric systems. Furthermore, this second edition captures the progress made in the field of biometric recognition, with highlights including:<ul><li>Lucid explanation of core biometric concepts (e.g., individuality and persistence), which builds a strong foundation for more in-depth study and research on biometrics</li><li>A new chapter on deep neural networks that provides a primer to recent advancements in machine learning and computer vision</li><li>Illustrative examples of how deep neural network models have contributed to the rapid evolution of biometrics in areas such as robust feature representation and synthetic biometric data generation</li><li>A new chapter on speaker recognition, which introduces the readers to person recognition based on the human voice characteristics</li><li>Presentation of emerging security threats such as deepfakes and adversarial attacks and sophisticated countermeasures such as presentation attack detection and template security</li></ul>While this textbook has been designed for senior undergraduate students and first-year graduate students studying a course on biometrics, it is also a useful reference guide for biometric system designers, developers, and integrators.
INGLÊS

Animated Program Design - Intermediate Program Design Using Video Game Development

de Marco T. Morazan

~~60,82€~~ 42,57€ 30% IMEDIATO

portes grátis

 It introduces the reader to generative recursion, heuristic searching, accumulative recursion, tail recursion, iteration, mutation, loops, program correctness, and vectors. Part III then explores a new type of recursion called accumulative (or accumulator) recursion.
INGLÊS

Fundamentals Of Digital Forensics - A Guide To Theory, Research And Applications

de Joakim Kavrestad, Marcus Birath e Nathan Clarke

~~72,86€~~ 65,57€ 10% IMEDIATO

DISPONIBILIDADE IMEDIATA

 This textbook describes the theory and methodology of digital forensic examinations, presenting examples developed in collaboration with police authorities to ensure relevance to real-world practice. The coverage includes discussions on forensic artifacts and constraints, as well as forensic tools used for law enforcement and in the corporate sector. Emphasis is placed on reinforcing sound forensic thinking, and gaining experience in common tasks through hands-on exercises.This enhanced third edition describes practical digital forensics with open-source tools and includes an outline of current challenges and research directions.Topics and features:<ul><li>Outlines what computer forensics is, and what it can do, as well as what its limitations are</li><li>Discusses both the theoretical foundations and the fundamentals of forensic methodology</li><li>Reviews broad principles that are applicable worldwide</li><li>Explains how to find and interpret several important artifacts</li><li>Describes free and open-source software tools</li><li>Features content on corporate forensics, ethics, SQLite databases, triage, and memory analysis</li><li>Includes new supporting video lectures on YouTube</li></ul>This easy-to-follow primer is an essential resource for students of computer forensics, and will also serve as a valuable reference for practitioners seeking instruction on performing forensic examinations.
INGLÊS

Guide To Computer Network Security

de Joseph Migga Kizza

~~92,74€~~ 83,47€ 10% IMEDIATO

DISPONIBILIDADE IMEDIATA

 <div>This timely textbook presents a comprehensive guide to the core topics in computing and information security and assurance realms, going beyond the security of networks to the ubiquitous mobile communications and online social networks that have become part of daily life.In the context of growing human dependence on a digital ecosystem, this book stresses the importance of security awareness—whether in homes, businesses, or public spaces. It also embraces the new and more agile and artificial-intelligence-boosted computing systems models, online social networks, and virtual platforms that are interweaving and fueling growth of an ecosystem of intelligent digital and associated social networks. This fully updated edition features new material on new and developing artificial intelligence models across all computing security systems spheres, blockchain technology, and the metaverse, leading toward security systems virtualizations.Topics and features:<ul><li>Explores the range of risks and vulnerabilities in all connected digital systems</li><li>Presents exercises of varying levels of difficulty at the end of each chapter, and concludes with a diverse selection of practical projects</li><li>Describes the fundamentals of traditional computer network security, and common threats to security</li><li>Discusses the role and challenges of artificial intelligence in advancing the security of computing systems’ algorithms, protocols, and best practices</li><li>Raises thought-provoking questions regarding legislative, legal, social, technical, and ethical challenges, such as the tension between privacy and security</li><li>Offers supplementary material for students and instructors at an associated website, including slides, additional projects, and syllabus suggestions</li></ul>This important textbook/reference is an invaluable resource for students of computer science, engineering, and information management, as well as for practitioners working in data- and information-intensive industries.Professor Joseph Migga Kizza is a professor, former Head of the Department of Computer Science and Engineering, and a former Director of the UTC InfoSec Center, at the University of Tennessee at Chattanooga, USA. He also authored the successful Springer textbooks Ethical and Social Issues in the Information Age and Ethical and Secure Computing: A Concise Module. </div><div></div>
INGLÊS

Programming-Based Formal Languages And Automata Theory - Design, Implement, Validate, And Prove

de Marco T. Morazan

~~72,86€~~ 65,57€ 10% IMEDIATO

DISPONIBILIDADE IMEDIATA

 This textbook introduces formal languages and automata theory for upper-level undergraduate or beginning graduate students. Part II starts the study of formal languages and automata theory in earnest with regular languages. Part III starts the exploration of languages that are not regular with context-free languages.
INGLÊS

Programming-Based Formal Languages And Automata Theory - Design, Implement, Validate, And Prove

de Marco T. Morazan

~~74,34€~~ 52,04€ 30% IMEDIATO

portes grátis

 This textbook introduces formal languages and automata theory for upper-level undergraduate or beginning graduate students. Part II starts the study of formal languages and automata theory in earnest with regular languages. Part III starts the exploration of languages that are not regular with context-free languages.
INGLÊS

Computational Methods For Deep Learning - Theory, Algorithms, And Implementations

de Wei Qi Yan

105,34€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 The first edition of this textbook was published in 2021. Over the past two years, we have invested in enhancing all aspects of deep learning methods to ensure the book is comprehensive and impeccable. Taking into account feedback from our readers and audience, the author has diligently updated this book. The second edition of this textbook presents control theory, transformer models, and graph neural networks (GNN) in deep learning. We have incorporated the latest algorithmic advances and large-scale deep learning models, such as GPTs, to align with the current research trends. Through the second edition, this book showcases how computational methods in deep learning serve as a dynamic driving force in this era of artificial intelligence (AI). This book is intended for research students, engineers, as well as computer scientists with interest in computational methods in deep learning. Furthermore, it is also well-suited for researchers exploring topics such as machine intelligence, robotic control, and related areas.<div> </div>
INGLÊS

Essentials Of Cloud Computing - A Holistic, Cloud-Native Perspective

de Chellammal Surianarayanan e Pethuru Raj Chelliah

72,86€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Numerous advancements are being brought in and incorporated into the cloud domain with the aim of realizing a trove of deeper and decisive automations.Rather than discussing the cloud paradigm in isolation, this fully updated text examines how cloud computing can work collaboratively with other computing models to meet the needs of evolving trends.This multi-dimensional approach encompasses the challenges of fulfilling the storage requirements of big data, the use of the cloud as a remote server for Internet of Things and sensor networks, and an investigation of how cloud computing is interlinked with other established computing phenomenon such as edge computing. New chapters illustrate the distinct ideals of the cloud-native computing, proclaimed as the next-generation cloud computing paradigm.Topics and features:<ul><li>Includes learning objectives, motivating questions, and self-test exercises</li><li>Introduces the underlying concepts, fundamental features, and key technological foundations of cloud computing</li><li>Examines how enterprise networking and cloud networking can work together to achieve business goals</li><li>Reviews the different types of cloud storage available to address the evolution of data and the need for digitization</li><li>Discusses the challenges and approaches to implementing cloud governance, security, and the hot topic of cloud management</li><li>Describes the details of cloud migration, the crucial role of monitoring in optimizing the cloud, and the basics of disaster recovery using cloud infrastructure</li></ul>This technically rigorous, yet simple-to-follow textbook is an ideal resource for graduate courses on cloud computing. Professional software developers and cloud architects will also find the work to be an invaluable reference.
INGLÊS

Concise Guide To Software Verification - From Model Checking To Annotation Checking

de Anton Wijs e Marieke Huisman

72,86€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the user has some control over the properties that are being checked. More specifically, it shows a wide range of techniques covering the whole spectrum: from abstract system design to implementation, from bug finding to full proofs, and from techniques that are push-button by design and give a yes/no answer to techniques that require the user to provide explicit guidance to steer the analysis process.Topics and features:<ul><li>Covers a broad spectrum of software verification techniques, from model checking to annotation checking</li><li>Provides numerous examples to demonstrate the techniques</li><li>Focuses on how techniques can be used (and the main ideas behind how they work), as opposed to how they are implemented</li><li>Explainsstrengths and weaknesses of the techniques, providing insight into when to use which technique in practice</li></ul>This unique textbook has been written primarily for master’s level students in computer science studying embedded systems and specializing in software technology. The book will also be of interest for students studying cyber security and data science technology, as well as for system or software developers interested in techniques that offer formal guarantees about software.
INGLÊS

Item Writing For Nurse Educators

de Vicki Moran

~~94,62€~~ 66,23€ 30% IMEDIATO

portes grátis

 The book provides guidance and direction for any nurse educator teaching in the professional environment and must write questions to evaluate learning.
INGLÊS

Wheat Evolution And Domestication

de Avraham A. Levy e Moshe Feldman

~~60,82€~~ 42,57€ 30% IMEDIATO

portes grátis

 This open access book covers a century of research on wheat genetics and evolution, starting with the discovery in 1918 of the accurate number of chromosomes in wheat.
INGLÊS

Mathematical Foundations Of Software Engineering - A Practical Guide To Essentials

de Gerard O'Regan

72,86€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 This textbook presents an introduction to the mathematical foundations of software engineering. It presents the rich applications of mathematics in areas such as error-correcting codes, cryptography, the safety and security critical fields, the banking and insurance fields, as well as traditional engineering applications. Topics and features:<ul> <li>Addresses core mathematics for critical thinking and problem solving</li> <li>Discusses propositional and predicate logic and various proof techniques to demonstrate the correctness of a logical argument.</li> <li>Examines number theory and its applications to cryptography</li> <li>Considers the underlying mathematics of error-correcting codes</li> <li>Discusses graph theory and its applications to modelling networks</li> <li>Reviews tools to support software engineering mathematics, including automated and interactive theorem provers and model checking</li><li>Discusses financial software engineering, including simple and compound interest, probability and statistics, and operations research</li> <li>Discusses software reliability and dependability and explains formal methods used to derive a program from its specification</li> <li>Discusses calculus, matrices, vectors, complex numbers, and quaternions, as well as applications to graphics and robotics</li> <li>Includes key learning topics, summaries, and review questions in each chapter, together with a useful glossary</li> </ul>This practical and easy-to-follow textbook/reference is ideal for computer science students seeking to learn how mathematics can assist them in building high-quality and reliable software on time and on budget. The text also serves as an excellent self-study primer for software engineers, quality professionals, and software managers.
INGLÊS

Quantum Mechanics For Chemistry

de Seogjoo J. Jang

~~121,66€~~ 85,16€ 30% IMEDIATO

portes grátis

 This textbook forms the basis for an advanced undergraduate or graduate level quantum chemistry course, and can also serve as a reference for researchers in physical chemistry and chemical physics.
INGLÊS

Programming Language Design And Implementation

de Torben Ã†Gidius Mogensen

~~94,62€~~ 66,23€ 30% IMEDIATO

portes grátis

 This textbook is intended as a guide for programming-language designers and users to better help them understand consequences of design decisions. The text aims to provide readers with an overview of the design space for programming languages and how design choices affect implementation.
INGLÊS

Animated Program Design - Intermediate Program Design Using Video Game Development

de Marco T. Morazan

~~60,82€~~ 42,57€ 30% IMEDIATO

portes grátis

 It introduces the reader to generative recursion, heuristic searching, accumulative recursion, tail recursion, iteration, mutation, loops, program correctness, and vectors. Part III then explores a new type of recursion called accumulative (or accumulator) recursion.
INGLÊS

Animated Problem Solving - An Introduction To Program Design Using Video Game Development

de Marco T. Morazan

~~74,34€~~ 52,04€ 30% IMEDIATO

portes grátis

 This textbook is about systematic problem solving and systematic reasoning using type-driven design. Divide and conquer is the process by which a large problem is broken into two or more smaller problems that are easier to solve and then the solutions for the smaller pieces are combined to create an answer to the problem.
INGLÊS

Algorithms On Trees And Graphs - With Python Code

de Gabriel Valiente

~~74,34€~~ 52,04€ 30% IMEDIATO

portes grátis

 This textbook introduces graph algorithms on an intuitive basis followed by a detailed exposition using structured pseudocode, with correctness proofs as well as worst-case analyses.
INGLÊS

Guide To Discrete Mathematics - An Accessible Introduction To The History, Theory, Logic And Applications

de Gerard O'Regan

~~60,82€~~ 42,57€ 30% IMEDIATO

portes grátis

 explains the fundamentals of automata theory, matrices, graph theory, cryptography, coding theory, language theory, and the concepts of computability and decidability;
INGLÊS

Guide To Graph Colouring - Algorithms And Applications

de R. M. R. Lewis

~~67,58€~~ 47,31€ 30% IMEDIATO

portes grátis

 This textbook treats graph colouring as an algorithmic problem, with a strong emphasis on practical applications. and whether they can produce better solutions than other algorithms for certain types of graphs, and why. The introductory chapters explain graph colouring, complexity theory, bounds and constructive algorithms.
INGLÊS

Ethical And Social Issues In The Information Age

de Joseph Migga Kizza

72,86€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 This textbook examines the ethical, social, and policy challenges arising from our rapidly and continuously evolving computing technology—ranging from the Internet, over to the cross-platforms consisting of ubiquitous portable and wearable devices to the eagerly anticipated metaverse—and how we can responsibly access and use these spaces. The text emphasizes the need for a strong ethical framework for all applications of computer science and engineering in our professional and personal life.This comprehensive seventh edition features thoroughly revised chapters with new and updated content, hardened by the bedrock ethical and moral values. Because of the rapidly changing computing and telecommunication ecosystem, a new chapter on Ethics and Social Responsibility in the Metaverse has been added. The interface between our current universe and the evolving metaverse presents a security quagmire. The discussion throughout the book is candid and intended to ignite students'' interest and participation in class discussions and beyond. Topics and features:<ul><li>Establishes a philosophical framework and analytical tools for discussing moral theories and problems in ethical relativism</li><li>Offers pertinent discussions on privacy, surveillance, employee monitoring, biometrics, civil liberties, harassment, the digital divide, and discrimination</li><li>Discusses the security and ethical quagmire in the platforms of the developing metaverse</li>Provides exercises, objectives, and issues for discussion with every chapter<li>Examines the ethical, cultural and economic realities of mobile telecommunications, computer social network ecosystems, and virtualization technology</li><li>Reviews issues of property rights, responsibility and accountability relating to information technology and software</li><li>Explores the evolution of electronic crime, network security, and computer forensics</li><li>Introduces the new frontiers of ethics: virtual reality, artificial intelligence, and the Internet</li></ul>This extensive textbook/reference addresses the latest curricula requirements for understanding the cultural, social, legal, and ethical issues in computer science and related fields, and offers invaluable advice for industry professionals wishing to put such principles into practice.
INGLÊS

Mathematical Foundations Of Data Science

de Bernhard Bermeitinger, Matthias Cetto, Siegfried Handschuh e Tomas Hrycej

72,86€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 This textbook aims to point out the most important principles of data analysis from the mathematical point of view. Specifically, it selected these questions for exploring: Which are the principles necessary to understand the implications of an application, and which are necessary to understand the conditions for the success of methods used? Theory is presented only to the degree necessary to apply it properly, striving for the balance between excessive complexity and oversimplification. Its primary focus is on principles crucial for application success. Topics and features:<ul><li>Focuses on approaches supported by mathematical arguments, rather than sole computing experiences</li><li>Investigates conditions under which numerical algorithms used in data science operate, and what performance can be expected from them</li><li>Considers key data science problems: problem formulation including optimality measure; learning and generalization in relationships to training set size and number of free parameters; and convergence of numerical algorithms</li><li>Examines original mathematical disciplines (statistics, numerical mathematics, system theory) as they are specifically relevant to a given problem</li><li>Addresses the trade-off between model size and volume of data available for its identification and its consequences for model parametrization</li><li>Investigates the mathematical principles involves with natural language processing and computer vision</li><li>Keeps subject coverage intentionally compact, focusing on key issues of each topic to encourage full comprehension of the entire book</li></ul><ul></ul>Although this core textbook aims directly at students of computer science and/or data science, it will be of real appeal, too, to researchers in the field who want to gain a proper understanding of the mathematical foundations "beyond" the sole computing experience.
A carregar resultados...

Ver mais resultados