topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 32
 |
Handbook of Logic in Computer Science: Volume 3: Semantic Structures
ISBN: 9780198537625 / Angielski / Twarda / 1995 / 512 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) Logic is now widely recognized as one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, from software engineering and hardware to programming languages and AI. The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of application of logic to theoretical computer science. The handbook comprises six volumes, each containing five or six chapters giving an in-depth overview of one of the major topics in field. It is the result of many years of cooperative effort by some of the most eminent frontline...
Logic is now widely recognized as one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, fro...
|
cena:
1900,93 zł |
 |
Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures
ISBN: 9780198537618 / Angielski / Twarda / 1993 / 584 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) The Handbook of Logic in Computer Science is a six-volume, internationally authored work which offers a comprehensive treatment of the application of logic to theoretical computer science. Each volume is comprised of an average of five 100-page monographs and presents an in-depth overview of one of the field's major topics. Current volume topics include mathematical and computational structures; forthcoming volumes will cover semantic structures, semantic modelling, theoretical methods in specification and verification, and logical methods in computer science. The result of five years of...
The Handbook of Logic in Computer Science is a six-volume, internationally authored work which offers a comprehensive treatment of the application of ...
|
cena:
2097,32 zł |
 |
Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods
ISBN: 9780198537816 / Angielski / Twarda / 2001 / 560 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) Logic is now widely recognized as one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, from software engineering and hardware to programming languages and AI. The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of application of logic to theoretical computer science. The handbook comprises six volumes, each containing five or six chapters giving an in-depth overview of one of the major topics in field. It is the result of many years of cooperative effort by some of the most eminent frontline...
Logic is now widely recognized as one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, fro...
|
cena:
2293,73 zł |
 |
Handbook of Logic in Computer Science: Volume 4: Semantic Modelling
ISBN: 9780198537809 / Angielski / Twarda / 1995 / 672 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of the application of logic to theoretical computer science. It comprises six volumes, each containing five or six chapters giving an in-depth overview of one of the major topics in the field. The handbook is the result of many years of cooperative effort by eminent researchers in the area, and will no doubt be the standard reference work in logic and theoretical computer science for years to come. Volume 4: Semantic Modelling covers the fundamental topics of semantic modelling in logic and...
The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of the application of logic to theoretical computer scie...
|
cena:
1900,93 zł |
 |
Dependence Logic: Theory and Applications
ISBN: 9783319318011 / Angielski / Twarda / 2016 / 276 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory, databases, and computer security. The contributing authors represent leading experts in this relatively new field, each of whom was invited to write a chapter based on talks given at seminars held at the Schloss Dagstuhl Leibniz Center for Informatics in Wadern, Germany (in February 2013 and June 2015) and an Academy Colloquium at the Royal...
In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dep...
|
cena:
201,72 zł |
 |
Tapsoft '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, Uk, April 8-12, 1991: Volume
ISBN: 9783540539810 / Angielski / Miękka / 1991 / 482 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) The proceedings of TAPSOFT '91 are organized into three parts: Colloquium on Trees in Algebra and Programming (CAAP), contained in Vol. 1, and Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD), both contained in Vol. 2.
The proceedings of TAPSOFT '91 are organized into three parts: Colloquium on Trees in Algebra and Programming (CAAP), contained in Vol. 1, and Advance...
|
cena:
201,72 zł |
 |
Chaos Comes Calling: The Battle Against the Far-Right Takeover of Small-Town America
ISBN: 9781645030430 / Angielski Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
115,29 zł |
 |
Typed Lambda Calculi and Applications: 5th International Conference, Tlca 2001 Krakow, Poland, May 2-5, 2001 Proceedings
ISBN: 9783540419600 / Angielski / Miękka / 2001 / 436 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This title constitutes the proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full papers presented were carefully reviewed and selected from 55 submissions. The volume reports research results on all current aspects of typed lambda calculi. Among the topics addressed are type systems, subtypes, coalgebraic methods, pi-calculus, recursive games, various types of lambda calculi, reductions, substitutions, normalization, linear logic, cut-elimination, prelogical relations, and mu calculus.
This title constitutes the proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland...
|
cena:
201,72 zł |
 |
Breadline USA: The Hidden Scandal of American Hunger and How to Fix It
ISBN: 9781936227099 / Angielski / Miękka / 2011 / 209 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Twenty-five million Americans--nearly 9 percent of the U.S. population--rely on food pantries. Another 13 million aren't linked to a food distribution network, and 14 million children are at risk of going hungry on any given day. Moreover, the faltering economy is increasing the number of American families that don't know where their next meals are coming from.
Breadline USA treats this crisis not only as matter of failed policies, but also as a portrait of real human suffering. Investigative reporter Sasha Abramsky focuses attention on the people behind the statistics--the... Twenty-five million Americans--nearly 9 percent of the U.S. population--rely on food pantries. Another 13 million aren't linked to a food distribution...
|
cena:
131,65 zł |
 |
Prenatal Diagnosis: The Human Side
ISBN: 9780412553608 / Angielski / Miękka / 1994 / 228 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book evolved out of a conference which was held because of our conviction that prenatal screening and diagnostic techniques provide carers with a two-edged sword which can do both good and harm - often at the same time to the same person. The conference ('The Human Side of Prenatal Diagnosis') dealt with emotional, ethical and legal issues in prenatal screening and diagnosis. It took place in March 1992 at the Institute of Obstetrics and Gynaecology in London and was attended by obstetricians, paediatricians, geneticists, midwives and ultrasonographers from the North West Thames Health...
This book evolved out of a conference which was held because of our conviction that prenatal screening and diagnostic techniques provide carers with a...
|
cena:
201,72 zł |
 |
Dependence Logic: Theory and Applications
ISBN: 9783319811239 / Angielski / Miękka / 2018 / 276 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
201,72 zł |
 |
Automata, Languages and Programming: 37th International Colloquium, Icalp 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
ISBN: 9783642141645 / Angielski / Miękka / 2010 / 754 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) ICALP 2010, the 37th edition of the International Colloquium on Automata, Languages and Programming was held July 6-10, 2010 in Bordeaux, France. ICALP is a series of annual conference of the European Association for Th- retical Computer Science (EATCS) which ?rst took place in 1972, organized by MauriceNivatandhiscolleaguesinParis.Thisyear, theprogramconsistedofthe established trackA, focusing on Algorithms, Complexity and Games, chairedby Paul G. Spirakis; Track B, focusing on Logic, Semantics, Automata and Theory of Programming, chaired by Samson Abramsky; Track C focusing this year on...
ICALP 2010, the 37th edition of the International Colloquium on Automata, Languages and Programming was held July 6-10, 2010 in Bordeaux, France. ICAL...
|
cena:
403,47 zł |
 |
The American Way of Poverty: How the Other Half Still Lives
ISBN: 9781568584607 / Angielski / Miękka / 2014 / 368 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) A New York Times Notable Book of the Year Fifty years after Michael Harrington published his groundbreaking book The Other America, in which he chronicled the lives of people excluded from the Age of Affluence, poverty in America is back with a vengeance. It is made up of both the long-term chronically poor and new working poor--the tens of millions of victims of a broken economy and an ever more dysfunctional political system. In many ways, for the majority of Americans, financial insecurity has become the new norm. The American Way of Poverty shines a...
A New York Times Notable Book of the Year Fifty years after Michael Harrington published his groundbreaking book The Other Americ...
|
cena:
76,82 zł |
 |
American Carnage: How Trump, Musk and DOGE Butchered the US Government
ISBN: 9781682196762 / Angielski / 20-01-2026 Książka dostępna od: 20-01-2026 |
|
Planowany termin premiery książki: 20-01-2026
Książkę można już zamówić z rabatem 5% |
|
67,04 zł |
 |
American Furies: Crime, Punishment, and Vengeance in the Age of Mass Imprisonment
ISBN: 9780807042236 / Angielski / Miękka / 2008 / 240 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) In this disturbing yet elegant expose of U.S. penitentiaries and their surrounding communities, Sasha Abramsky shows how American prisons have abandoned their long-held ideal of rehabilitation, often for political reasons. After surveying our current state of affairs-life sentences for nonviolent crimes, appalling conditions for inmates, the growth of private prisons, the treatment of juveniles-Abramsky argues that our punitive policies are not only inhuman but deeply counterproductive. Brilliantly researched and compellingly told, American Furies reveals the devastating consequences of a...
In this disturbing yet elegant expose of U.S. penitentiaries and their surrounding communities, Sasha Abramsky shows how American prisons have abandon...
|
cena:
108,53 zł |
 |
Breadline USA: The Hidden Scandal of American Hunger and How to Fix It
ISBN: 9780981709116 / Angielski / Twarda / 2009 / 209 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Trapped in a triangle of the housing market collapse, rising energy costs, and an increasingly dysfunctional healthcare system, America's working poor are now battling an even more formidable enemy: hunger. This time, the battle is taking place well outside of the media spotlight, which has focused on obesity, another food-related epidemic affecting the poor. Breadline USA tells the stories of Americans in all types of communities who struggle to put any type of food on the table come the end of the month when money runs out and the social safety net isnt there to catch them.
Trapped in a triangle of the housing market collapse, rising energy costs, and an increasingly dysfunctional healthcare system, America's working poor...
|
cena:
512,17 zł |
 |
Automata, Languages and Programming: 37th International Colloquium, Icalp 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
ISBN: 9783642141614 / Angielski / Miękka / 2010 / 614 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) ICALP 2010, the 37th edition of the International Colloquium on Automata, Languages and Programming was held July 6-10, 2010 in Bordeaux, France. ICALP is a series of annual conference of the European Association for Th- retical Computer Science (EATCS) which ?rst took place in 1972, organized by MauriceNivatandhiscolleaguesinParis.Thisyear, theprogramconsistedofthe established trackA, focusing on Algorithms, Complexity and Games, chairedby Paul G. Spirakis; Track B, focusing on Logic, Semantics, Automata and Theory of Programming, chaired by Samson Abramsky; Track C focusing this year on...
ICALP 2010, the 37th edition of the International Colloquium on Automata, Languages and Programming was held July 6-10, 2010 in Bordeaux, France. ICAL...
|
cena:
403,47 zł |
 |
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991: Volume 1: Colloquium on Trees in Algebra and Programming
ISBN: 9783540539827 / Angielski / Miękka / 1991 / 455 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: - Colloquium on Trees in Algebra and Programming (CAAP); - Advances in Distributed Computing (ADC); - Colloquium on Combining Paradigms for Software Development (CCPSD). The first part (CAAP) is contained in Vol. 1, the other two parts constitute Vol. 2. CAAP '91 focuses on the following...
TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1...
|
cena:
201,72 zł |
 |
Theoretical Foundations of VLSI Design
ISBN: 9780521545655 / Angielski / Miękka / 2003 / 452 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) This book discusses recent research in the theoretical foundations of several subjects of importance for the design of hardware, and for computer science in general. The physical technologies of very large scale integration (VLSI) are having major effects on the electronic industry. The potential diversity and complexity of digital systems have begun a revolution in the technologies of digital design, involving the application of concepts and methods to do with algorithms and programming. In return, the problems of VLSI design have led to new subjects becoming of importance in computer...
This book discusses recent research in the theoretical foundations of several subjects of importance for the design of hardware, and for computer scie...
|
cena:
292,64 zł |
 |
Belief Revision
ISBN: 9780521545648 / Angielski / Miękka / 2003 / 284 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) Belief revision is a topic of much interest in theoretical computer science and logic, and it forms a central problem in research into artificial intelligence. In simple terms: how do you update a database of knowledge in the light of new information? What if the new information is in conflict with something that was previously held to be true? An intelligent system should be able to accommodate all such cases. This book contains a collection of research articles on belief revision that are completely up to date and an introductory chapter that presents a survey of current research in the...
Belief revision is a topic of much interest in theoretical computer science and logic, and it forms a central problem in research into artificial inte...
|
cena:
388,72 zł |
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
