» książki » Computers - Computer Science
topmenu
 |
Rodin User's Handbook: Covers Rodin v.2.8
ISBN: 9781495438141 / Angielski / Miękka / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modeling notation, the use of refinement to represent systems at different abstraction levels and the use of mathematical proof to verify consistency between refinement levels. The Rodin Platform is an Eclipse-based IDE for Event-B that provides effective support for refinement and mathematical proof. The platform is open source, contributes to the Eclipse framework and is further extendible with plugins. This book provides a tutorial for new users and a reference about...
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modeling notation, the use ...
|
cena:
99,13 |
 |
Photoshop: Real life Project Examples of Creating World Class Photos Using Photoshop Manipulation Techniques
ISBN: 9781922300140 / Angielski / Miękka / 72 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
99,23 |
 |
Theory of Computation
ISBN: 9789386176240 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
99,23 |
 |
An Introduction to Lambda Calculi for Computer Scientists
ISBN: 9780954300654 / Angielski / Miękka / 180 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The lambda-calculus lies at the very foundations of computer
science. Besides its historical role in computability theory it has had significant influence on programming language design and implementation, denotational semantics, and domain theory. The book emphasises the proof theory for the type-free lambda-calculus. The first six chapters concern this calculus and cover the basic theory, reduction, models, computability, and the relationship between the lambda-calculus and combinatory logic. Chapter 7 presents a variety of typed calculi; first the simply typed lambda-calculus,... The lambda-calculus lies at the very foundations of computer
science. Besides its historical role in computability theory it has had signific... |
cena:
99,27 |
 |
Learning to Program in Visual Basic
ISBN: 9781910523186 / Angielski / Miękka / 138 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is a straightforward guide to the Visual Basic programming language and programming techniques. It covers all of the practical programming skills that may be required up to GCSE level and for those at AS Level with limited exposure to VB.
This book is a straightforward guide to the Visual Basic programming language and programming techniques. It covers all of the practical programming s...
|
cena:
99,80 |
 |
Minds, Machines, and the Multiverse: The Quest for the Quantum Computer
ISBN: 9780743242639 / Angielski / Miękka / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
100,00 |
 |
Engines of the Mind: The Evolution of the Computer from the Mainframes to Microprocessors
ISBN: 9780393314717 / Angielski / Miękka / 364 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Now, in a lively and evenhanded account, Joel Shurkin introduces us to the often-feuding players and the discoveries that made the computer possible-from the first models to the creation of the chip and beyond. Here is the first full account of an invention that changed the world For this new paperback edition, Shurkin has added an epilogue and a new chapter on the latest milestones in the ongoing computer revolution.
Now, in a lively and evenhanded account, Joel Shurkin introduces us to the often-feuding players and the discoveries that made the computer possible-f...
|
cena:
100,00 |
 |
Princeton Review AP Computer Science A Premium Prep, 9th Edition: For the NEW 2026 Exam: 5 Practice Tests + Digital Practice Online + Content Review
ISBN: 9780593518410 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
100,15 |
 |
How We Became Posthuman: Virtual Bodies in Cybernetics, Literature, and Informatics
ISBN: 9780226321462 / Angielski / Miękka / 360 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this age of DNA computers and artificial intelligence, information is becoming disembodied even as the "bodies" that once carried it vanish into virtuality. While some marvel at these changes, envisioning consciousness downloaded into a computer or humans "beamed" Star Trek-style, others view them with horror, seeing monsters brooding in the machines. In How We Became Posthuman, N. Katherine Hayles separates hype from fact, investigating the fate of embodiment in an information age.
Hayles relates three interwoven stories: how information lost its body, that is, how it... In this age of DNA computers and artificial intelligence, information is becoming disembodied even as the "bodies" that once carried it vanish into vi...
|
cena:
100,19 |
 |
Manifolds with Cusps of Rank One: Spectral Theory and L2-Index Theorem
ISBN: 9783540176961 / Angielski / Miękka / 158 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Investigates manifolds that are generalizations of (XX)-rank one locally symmetric spaces. This book develops spectral theory for the differential Laplacian operator associated to the so-called generalized Dirac operators on manifolds with cusps of rank one.
Investigates manifolds that are generalizations of (XX)-rank one locally symmetric spaces. This book develops spectral theory for the differential Lap...
|
cena:
100,44 |
 |
Logic and Computer Science
ISBN: 9783540527343 / Angielski / Miękka / 170 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types.
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer...
|
cena:
100,44 |
 |
The Universal Machine: From the Dawn of Computing to Digital Consciousness
ISBN: 9783642281013 / Angielski / Miękka / 353 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In less than a human lifetime, computers are transforming economies and societies like no other human invention. This book looks past technology to introduce comuputing pioneers: Babbage, Turing, Wozniak and Jobs, Bill Gates, Tim Berners-Lee, Mark Zuckerberg.
In less than a human lifetime, computers are transforming economies and societies like no other human invention. This book looks past technology to in...
|
cena:
100,44 |
 |
Insider Threats Meet Access Control: Insider Threats Detected Using Intent-Based Access Control (Ibac)
ISBN: 9781983529184 / Angielski / Miękka / 214 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
100,55 |
 |
Maximum Probability Estimators and Related Topics
ISBN: 9783540069706 / Angielski / Miękka / 112 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
100,60 |
 |
Semi-Supervised Learning and Domain Adaptation in Natural Language Processing
ISBN: 9783031010217 / Angielski / Miękka / 104 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book introduces basic supervised learning algorithms applicable to natural language processing (NLP) and shows how the performance of these algorithms can often be improved by exploiting the marginal distribution of large amounts of unlabeled data. One reason for that is data sparsity, i.e., the limited amounts of data we have available in NLP. However, in most real-world NLP applications our labeled data is also heavily biased. This book introduces extensions of supervised learning algorithms to cope with data sparsity and different kinds of sampling bias. This book is intended to be...
This book introduces basic supervised learning algorithms applicable to natural language processing (NLP) and shows how the performance of these algor...
|
cena:
100,60 |
 |
A Practical Guide to Gender Diversity for Computer Science Faculty
ISBN: 9783031013805 / Angielski / Miękka / 69 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computer science faces a continuing crisis in the lack of females pursuing and succeeding in the field. Companies may suffer due to reduced product quality, students suffer because educators have failed to adjust to diverse populations, and future generations suffer due to a lack of role models and continued challenges in the environment. In this book, we draw on the latest research in sociology, psychology, and education to first identify why we should be striving for gender diversity (beyond social justice), refuting misconceptions about the differing potentials between females and males....
Computer science faces a continuing crisis in the lack of females pursuing and succeeding in the field. Companies may suffer due to reduced product qu...
|
cena:
100,60 |
 |
Exercises in Computer Systems Analysis
ISBN: 9783540074014 / Angielski / Miękka / 185 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
100,60 |
 |
Storing Clocked Programs Inside DNA: A Simplifying Framework for Nanocomputing
ISBN: 9783031006692 / Angielski / Miękka / 68 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In the history of modern computation, large mechanical calculators preceded computers. A person would sit there punching keys according to a procedure and a number would eventually appear. Once calculators became fast enough, it became obvious that the critical path was the punching rather than the calculation itself. That is what made the stored program concept vital to further progress. Once the instructions were stored in the machine, the entire computation could run at the speed of the machine. This book shows how to do the same thing for DNA computing. Rather than asking a robot or a...
In the history of modern computation, large mechanical calculators preceded computers. A person would sit there punching keys according to a procedure...
|
cena:
100,60 |
 |
The Return of Vaman - A Scientific Novel
ISBN: 9783319164281 / Angielski / Miękka / 142 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This collection of science fiction writings by Jayant V. Narlikar offers readers a unique glimpse into the world-famous Indian astrophysicist's vivid and highly imaginative concepts and stories. The fictional material comprises a witty short story ("The rare idol of Ganesha") that cleverly explores the possible consequences of a mirror-symmetric individual in the context of cricket test match performances, as well as the fast-paced, gripping science fiction thriller "The return of Vaman": when an alien container is unearthed by a crew of scientists, the enormous potential... This collection of science fiction writings by Jayant V. Narlikar offers readers a unique glimpse into the world-famous Indian astrophysicist's viv... |
cena:
100,60 |
 |
Modeling Reality with Mathematics
ISBN: 9783030961619 / Angielski / Twarda / 221 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
100,60 |
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
