» książki » Computers - Computer Science
topmenu
 |
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
ISBN: 9783030805098 / Angielski / Miękka / 636 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearlythinkabout the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute from given inputs wanted outputs, and programs that describe continuously executing systems. The core message is that clear thinking about programs can be expressed in a single universal language, the formal language oflogic. Apart from its universal elegance and expressiveness, this “logical”...
This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly...
|
cena:
285,06 |
 |
Nonlinear Dynamics and Complexity: Mathematical Modelling of Real-World Problems
ISBN: 9783031066313 / Angielski / Twarda / 497 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book collects a range of contributions on nonlinear dynamics and complexity, providing a systematic summary of recent developments, applications, and overall advances in nonlinearity, chaos, and complexity. It presents both theories and techniques in nonlinear systems and complexity and serves as a basis for more research on synchronization and complexity in nonlinear science as well as a mechanism to fast-scatter the new knowledge to scientists, engineers, and students in the corresponding fields. Written by world-renown experts from across the globe, the collection is ideal for...
This book collects a range of contributions on nonlinear dynamics and complexity, providing a systematic summary of recent developments, applications,...
|
cena:
896,01 |
 |
Recent Advances in Mechanics and Fluid-Structure Interaction with Applications: The Bong Jae Chung Memorial Volume
ISBN: 9783031143236 / Angielski / Twarda / 376 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume examines current research in mechanics and its applications to various disciplines, with a particular focus on fluid-structure interaction (FSI). The topics have been chosen in commemoration of Dr. Bong Jae Chung and with respect to his wide range of research interests. This volume stands apart because of this diversity of interests, featuring an interdisciplinary and in-depth analysis of FSI that is difficult to find conveniently collected elsewhere in the literature. Contributors include mathematicians, physicists, mechanical and biomechanical engineers, and psychologists. This...
This volume examines current research in mechanics and its applications to various disciplines, with a particular focus on fluid-structure interaction...
|
cena:
529,44 |
 |
Chance in Physics, Computer Science and Philosophy: Chance as the Foundation of the World
ISBN: 9783658351144 / Angielski / Miękka / 281 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Chance is uncanny to us. We thought it didn't exist, that God or a reasonable explanation was behind everything. But we know today: It exists. We know that much of what surrounds us and which we do not see through, nevertheless runs causally. Unlike what was thought in the days of the Enlightenment, chance is the rule around us rather than lawful order. The clouds are stochastic fractals, the waves on the sea are pure random machinery. The philosopher Charles Peirce recognized the fundamental importance of chance in precisely this sense, even before quantum and chaos theory, and gave the...
Chance is uncanny to us. We thought it didn't exist, that God or a reasonable explanation was behind everything. But we know today: It exists. We know...
|
cena:
264,71 |
 |
Confluence of Artificial Intelligence and Robotic Process Automation
ISBN: 9789811982958 / Angielski / Twarda / 434 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides a detailed insight into Robotic Process Automation (RPA) technologies linked with AI that will help organizations implement Industry 4.0 procedures. RPA tools enhance their functionality by incorporating AI objectives, such as use of artificial neural network algorithms, text mining techniques, and natural language processing techniques for information extraction and the subsequent process of optimization and forecasting scenarios for the purpose of improving an organization's operational and business processes. The target readers of this book are researchers, professors,...
This book provides a detailed insight into Robotic Process Automation (RPA) technologies linked with AI that will help organizations implement Industr...
|
cena:
651,63 |
 |
Princeton Review AP Computer Science A Prep, 2024: 5 Practice Tests + Complete Content Review + Strategies & Techniques
ISBN: 9780593517055 / Angielski / Miękka / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
86,35 |
 |
GeNeDis 2020: Geriatrics
ISBN: 9783030787738 / Angielski / Miękka / 389 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 4thWorld Congress on Genetics, Geriatrics and Neurodegenerative Diseases Research (GeNeDis 2020) focuses on the latest major challenges in scientific research, new drug targets, the development of novel biomarkers, new imaging techniques, novel protocols for early diagnosis of neurodegenerative diseases, and several other scientific advances, with the aim of better, safer, and healthier aging. The increase in the average length of life leads to the development of various diseases in the elderly population. This volume focuses on the sessions from the conference on Geriatrics.
The 4thWorld Congress on Genetics, Geriatrics and Neurodegenerative Diseases Research (GeNeDis 2020) focuses on the latest major challenges in scienti...
|
cena:
1140,38 |
 |
Anti-Differentiation and the Calculation of Feynman Amplitudes
ISBN: 9783030802219 / Angielski / Miękka / 545 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume comprises review papers presented at the Conference on Antidifferentiation and the Calculation of Feynman Amplitudes, held in Zeuthen, Germany, in October 2020, and a few additional invited reviews.The book aims at comprehensive surveys and new innovative results of the analytic integration methods of Feynman integrals in quantum field theory. These methods are closely related to the field of special functions and their function spaces, the theory of differential equations and summation theory. Almost all of these algorithms have a strong basis in computer algebra. The solution of...
This volume comprises review papers presented at the Conference on Antidifferentiation and the Calculation of Feynman Amplitudes, held in Zeuthen, Ger...
|
cena:
651,63 |
 |
Certificates of Positivity for Real Polynomials: Theory, Practice, and Applications
ISBN: 9783030855499 / Angielski / Miękka / 156 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book collects and explains the many theorems concerning the existence of certificates of positivity for polynomials that are positive globally or on semialgebraic sets. A certificate of positivity for a real polynomial is an algebraic identity that gives an immediate proof of a positivity condition for the polynomial. Certificates of positivity have their roots in fundamental work of David Hilbert from the late 19thcentury on positive polynomials and sums of squares. Because of the numerous applications of certificates of positivity in mathematics, applied mathematics, engineering, and...
This book collects and explains the many theorems concerning the existence of certificates of positivity for polynomials that are positive globally or...
|
cena:
447,98 |
 |
Applied Numerical Analysis with MATLAB®/Simulink®: For Engineers and Scientists
ISBN: 9783031193651 / Angielski / Twarda / 322 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This textbook provides a compact but comprehensive treatment that guides students through applied numerical analysis, using MATLAB®/Simulink®. Ideal as a hands-on source for courses in Numerical Analysis, this text focuses on solving problems using market-standard software, corresponding to all key concepts covered in the classroom. The author uses his extensive classroom experience to guide students toward deeper understanding of key concepts, while they gain facility with software they will need to master for later studies and practical use in their engineering careers.
This textbook provides a compact but comprehensive treatment that guides students through applied numerical analysis, using MATLAB®/Simulink®. Ide...
|
cena:
203,61 |
 |
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II
ISBN: 9783031197550 / Angielski / Miękka / 427 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of...
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applic...
|
cena:
285,06 |
 |
Programming Languages and Systems: 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings
ISBN: 9783031210365 / Angielski / Miękka / 215 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 20th Asian Symposium on Programming Languages and Systems, APLAS 2022, held in Auckland, New Zealand, in December 2022.The 10 papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Semantics and Analysis; Testing and Verification; Types.
This book constitutes the proceedings of the 20th Asian Symposium on Programming Languages and Systems, APLAS 2022, held in Auckland, New Zealand, in ...
|
cena:
264,71 |
 |
Concise Guide to Numerical Algorithmics: The Foundations and Spirit of Scientific Computing
ISBN: 9783031217616 / Angielski / Miękka / 69 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Numerical Algorithmic Science and Engineering (NAS&E), or more compactly,NumericalAlgorithmics, is the theoretical and empirical study and the practical implementation and application of algorithms for solvingfinite-dimensionalproblems of anumericnature. The variables of such problems are eitherdiscrete-valued, orcontinuous over the reals, or, and as is often the case, acombinationof the two, and they may or may not have an underlying network/graph structure. This re-emerging discipline of numerical algorithmics within computer science is the counterpart of the now well-established discipline...
Numerical Algorithmic Science and Engineering (NAS&E), or more compactly,NumericalAlgorithmics, is the theoretical and empirical study and the practic...
|
cena:
203,61 |
 |
Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence and Quantum Technology
ISBN: 9789811268533 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows in the different architectures of laptops, the Internet, or supercomputers would not be possible without appropriate temporal calculi. In the age of digitalization and High-Tech applications, people are often not aware that temporal logic is deeply rooted in the philosophy of modalities. A deep understanding of these roots opens avenues to the modern calculi of temporal logic which have emerged by extension of modal logic with temporal operators. Computationally, temporal...
Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows in the different architectures of...
|
cena:
349,13 |
 |
Distributed Optimization in Networked Systems: Algorithms and Applications
ISBN: 9789811985584 / Angielski / Twarda / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book focuses on improving the performance (convergence rate, communication efficiency, computational efficiency, etc.) of algorithms in the context of distributed optimization in networked systems and their successful application to real-world applications (smart grids and online learning). Readers may be particularly interested in the sections on consensus protocols, optimization skills, accelerated mechanisms, event-triggered strategies, variance-reduction communication techniques, etc., in connection with distributed optimization in various networked systems. This book offers a...
This book focuses on improving the performance (convergence rate, communication efficiency, computational efficiency, etc.) of algorithms in the conte...
|
cena:
692,36 |
 |
People Analytics: Data to Decisions
ISBN: 9789811938726 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is an exploration of the people analytics possibility, bringing out both theoretical frameworks and detailed practical case studies from the author's experience in industry and business across both sides of the table, with an understanding of data science models and SMAC (Social, Mobile & Cloud) technologies underpinning it. It further explores and lays out a business case for why organizations need to invest behind this space and why HR functions and businesses need to embrace and adopt it. The book examines how people analytics makes a difference to business, describes... This book is an exploration of the people analytics possibility, bringing out both theoretical frameworks and detailed practical case studies ... |
cena:
244,34 |
 |
Operational Research: IO 2019, Tomar, Portugal, July 22-24
ISBN: 9783030854782 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book addresses complex real-world problems with recent techniques. It comprises selected papers from the XX. congress APDIO held in Tomar, Portugal, in July 2019. The subject of the book is the application of operational research methodologies and techniques to address complex real problems. Readers will find interesting results and applications of operational research methods and techniques in the wide variety of the addressed problems. Of particular interest are the applications of, among others, linear, nonlinear and mixed-integer programing,...
This book addresses complex real-world problems with recent techniques. It comprises selected papers from the XX. congress APDIO held i...
|
cena:
651,63 |
 |
Zero To Mastery In Cybersecurity- Become Zero To Hero In Cybersecurity, This Cybersecurity Book Covers A-Z Cybersecurity Concepts, 2022 Latest Edition
ISBN: 9789394962064 / Angielski / Miękka / 214 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
117,77 |
 |
Exploring Future Opportunities of Brain-Inspired Artificial Intelligence
ISBN: 9781668469811 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. Applying mechanisms and principles of human intelligence and converging the brain and artificial intelligence (AI) is currently a research trend. The applications of AI in brain simulation are countless. Brain-inspired intelligent systems will improve next-generation information processing by applying theories, techniques, and applications inspired by the information processing principles from the brain. Exploring Future Opportunities of Brain-Inspired Artificial Intelligence focuses on the convergence of AI with brain-inspired intelligence. It presents research on brain-inspired cognitive...
Applying mechanisms and principles of human intelligence and converging the brain and artificial intelligence (AI) is currently a research trend. The ...
|
cena:
1065,75 |
 |
Virtual Reality Usability Design
ISBN: 9781032191324 / Angielski / Miękka / 398 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Virtual Reality Usability Design provides readers with an understanding of the techniques and technologies required to design engaging and effective VR applications.
Full of real-world examples, this book is an indispensable guide for any practicing VR developer interested in making efficient and effective interfaces. Virtual Reality Usability Design provides readers with an understanding of the techniques and technologies required to design engaging and effective V...
|
cena:
274,26 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
