>
>
>
>
>
Zbirka: Matematična teorija računanja
81 rezultatov
-
-
Modal Logic(2002) BLACKBURN, PATRICK,RIJKE, MAARTEN DE (UNIVERSITEIT VAN AMSTERDAM),VENEMA, YDE (UNIVERSITEIT VAN AMSTERDAM)This is a popular 2001 graduate text on modal logic, a field which has caught the attention of computer scientists, economists and computational linguists. With two distinct tracks through the work, clearly signposted in each chapter. A must for both nov130,71 €
BLACKBURN, PATRICK,RIJKE, MAARTEN DE (UNIVERSITEIT VAN AMSTERDAM),VENEMA, YDE (UNIVERSITEIT VAN AMSTERDAM)
Modal Logic
This is a popular 2001 graduate text on modal logic, a field which has caught the attention of computer scientists, economists and computational linguists. With two distinct tracks through the work, clearly signposted in each chapter. A must for both nov
Zaloga po trgovinah
Rezultati:
-
Introduction to the Theory of Computation(2021) SIPSER, MICHAEL (MASSACHUSETTS INSTITUTE OF TECHNOLOGY)127,94 €
SIPSER, MICHAEL (MASSACHUSETTS INSTITUTE OF TECHNOLOGY)
Introduction to the Theory of Computation
Zaloga po trgovinah
Rezultati:
-
Introduction to Lattices and Order(2002) DAVEY, B. A. (LA TROBE UNIVERSITY, VICTORIA),PRIESTLEY, H. A. (UNIVERSITY OF OXFORD)The explosive development of theoretical computer science in recent years has influenced this new edition: a fresh treatment of fixpoints testifies to this and Galois connections now feature prominently. Classroom experience has led to numerous pedagogica74,62 €
DAVEY, B. A. (LA TROBE UNIVERSITY, VICTORIA),PRIESTLEY, H. A. (UNIVERSITY OF OXFORD)
Introduction to Lattices and Order
The explosive development of theoretical computer science in recent years has influenced this new edition: a fresh treatment of fixpoints testifies to this and Galois connections now feature prominently. Classroom experience has led to numerous pedagogica
Zaloga po trgovinah
Rezultati:
-
Logic in Computer Science(2004) HUTH, MICHAEL (IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE, LONDON),RYAN, MARK (UNIVERSITY OF BIRMINGHAM)This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and exp91,58 €
HUTH, MICHAEL (IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE, LONDON),RYAN, MARK (UNIVERSITY OF BIRMINGHAM)
Logic in Computer Science
This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and exp
Zaloga po trgovinah
Rezultati:
-
-
-
-
-
Automata and Computability(1997) KOZEN, DEXTER C.The aim of this textbook is to provide undergraduate students with an introduction to the basic theoretical models of computability, and to develop some of the model's rich and varied structure. Pushdown automata provide a broader class of models and enab99,21 €
KOZEN, DEXTER C.
Automata and Computability
The aim of this textbook is to provide undergraduate students with an introduction to the basic theoretical models of computability, and to develop some of the model's rich and varied structure. Pushdown automata provide a broader class of models and enab
Zaloga po trgovinah
Rezultati:
-
-
Introduction to Quantum Computing(2006) KAYE, PHILLIP (INSTITUTE FOR QUANTUM COMPUTING, UNIVERSITY OF WATERLOO, ONTARIO, CANADA),LAFLAMME, RAYMOND (INSTITUTE FOR QUANTUM COMPUTING, UNIVERSITY OF WATERLOO, ONTARIO, CANADA),MOSCA, MICHELE (INSTITUTE FOR QUANTUM COMPUTING, UNIVERSITY OF WATERLOO, ONTARIO, CANADA)This concise, accessible introduction to quantum computing is aimed at advanced undergraduate and beginning graduate students from a variety of scientific backgrounds. The text is technically detailed and clearly illustrated throughout with diagrams and e96,68 €
KAYE, PHILLIP (INSTITUTE FOR QUANTUM COMPUTING, UNIVERSITY OF WATERLOO, ONTARIO, CANADA),LAFLAMME, RAYMOND (INSTITUTE FOR QUANTUM COMPUTING, UNIVERSITY OF WATERLOO, ONTARIO, CANADA),MOSCA, MICHELE (INSTITUTE FOR QUANTUM COMPUTING, UNIVERSITY OF WATERLOO, ONTARIO, CANADA)
Introduction to Quantum Computing
This concise, accessible introduction to quantum computing is aimed at advanced undergraduate and beginning graduate students from a variety of scientific backgrounds. The text is technically detailed and clearly illustrated throughout with diagrams and e
Zaloga po trgovinah
Rezultati:
-
-
Quantum Communication Networks(2021) BASSOLI, RICCARDO,BOCHE, HOLGER,DEPPE, CHRISTIAN,FERRARA, ROBERTO,FITZEK, FRANK H. P.,JANSSEN, GISBERT,SAEEDINAEENI, SAJADThis book provides a tutorial on quantum communication networks. The book brings together quantum networking, quantum information theory, quantum computing, and quantum simulation.114,48 €
BASSOLI, RICCARDO,BOCHE, HOLGER,DEPPE, CHRISTIAN,FERRARA, ROBERTO,FITZEK, FRANK H. P.,JANSSEN, GISBERT,SAEEDINAEENI, SAJAD
Quantum Communication Networks
This book provides a tutorial on quantum communication networks. The book brings together quantum networking, quantum information theory, quantum computing, and quantum simulation.
Zaloga po trgovinah
Rezultati:
-
Compressive Imaging: Structure, Sampling, Learning(2021) ADCOCK, BEN (SIMON FRASER UNIVERSITY, BRITISH COLUMBIA),HANSEN, ANDERS C. (UNIVERSITY OF CAMBRIDGE)This book provides a practical introduction to compressive imaging (with examples and code), an overview of core topics, and a comprehensive, rigorous treatment of the subject. It caters to graduate students, postdocs and faculty in mathematics, computer101,76 €
ADCOCK, BEN (SIMON FRASER UNIVERSITY, BRITISH COLUMBIA),HANSEN, ANDERS C. (UNIVERSITY OF CAMBRIDGE)
Compressive Imaging: Structure, Sampling, Learning
This book provides a practical introduction to compressive imaging (with examples and code), an overview of core topics, and a comprehensive, rigorous treatment of the subject. It caters to graduate students, postdocs and faculty in mathematics, computer
Zaloga po trgovinah
Rezultati:
-
Bandit Algorithms(2020) LATTIMORE, TOR (UNIVERSITY OF ALBERTA),SZEPESVARI, CSABA (UNIVERSITY OF ALBERTA)Decision-making in the face of uncertainty is a challenge in machine learning, and the multi-armed bandit model is a common framework to address it. This comprehensive introduction is an excellent reference for established researchers and a resource for g71,22 €
LATTIMORE, TOR (UNIVERSITY OF ALBERTA),SZEPESVARI, CSABA (UNIVERSITY OF ALBERTA)
Bandit Algorithms
Decision-making in the face of uncertainty is a challenge in machine learning, and the multi-armed bandit model is a common framework to address it. This comprehensive introduction is an excellent reference for established researchers and a resource for g
Zaloga po trgovinah
Rezultati:
-
Handbook of Applied Cryptography(1996) MENEZES, ALFRED J. (UNIVERSITY OF WATERLOO, WATERLOO, ONTARIO, CANADA),VAN OORSCHOT, PAUL C. (OTTAWA, ONTARIO, CANADA),VANSTONE, SCOTT A. (UNIVERSITY OF WATERLOO, WATERLOO, ONTARIO, CANADA)Cryptography, in particular public-key cryptography, has emerged an important discipline that is not only the subject of an enormous amount of research, but provides the foundation for information security in many applications. This title provides a treat244,13 €
MENEZES, ALFRED J. (UNIVERSITY OF WATERLOO, WATERLOO, ONTARIO, CANADA),VAN OORSCHOT, PAUL C. (OTTAWA, ONTARIO, CANADA),VANSTONE, SCOTT A. (UNIVERSITY OF WATERLOO, WATERLOO, ONTARIO, CANADA)
Handbook of Applied Cryptography
Cryptography, in particular public-key cryptography, has emerged an important discipline that is not only the subject of an enormous amount of research, but provides the foundation for information security in many applications. This title provides a treat
Zaloga po trgovinah
Rezultati:
-
Probabilistic Numerics - Computation as Machine Learning(2022) HENNIG, PHILIPP (EBERHARD-KARLS-UNIVERSITAT TUBINGEN, GERMANY),OSBORNE, MICHAEL A. (UNIVERSITY OF OXFORD),KERSTING, HANS P. (ECOLE NORMALE SUPERIEURE, PARIS)This text provides a first comprehensive introduction to probabilistic numerics, aimed at Masters' and PhD students, as well as postgraduate researchers in artificial intelligence, computer science, statistics, and applied mathematics. It contains extensi93,27 €
HENNIG, PHILIPP (EBERHARD-KARLS-UNIVERSITAT TUBINGEN, GERMANY),OSBORNE, MICHAEL A. (UNIVERSITY OF OXFORD),KERSTING, HANS P. (ECOLE NORMALE SUPERIEURE, PARIS)
Probabilistic Numerics - Computation as Machine Learning
This text provides a first comprehensive introduction to probabilistic numerics, aimed at Masters' and PhD students, as well as postgraduate researchers in artificial intelligence, computer science, statistics, and applied mathematics. It contains extensi
Zaloga po trgovinah
Rezultati:
-
Quantum Computing: From Alice to Bob(2022) FLAREND, ALICE (PHYSICS TEACHER, PHYSICS TEACHER, BELLWOOD-ANTIS HIGH SCHOOL),HILBORN, ROBERT (ASSOCIATE EXECUTIVE OFFICER, ASSOCIATE EXECUTIVE OFFICER, AMHERST COLLEGE)A distinctive and accessible introduction to quantum information science and quantum computing, this textbook provides a solid conceptual and formal understanding of quantum states and entanglement for undergraduate students and upper-level secondary scho60,62 €
FLAREND, ALICE (PHYSICS TEACHER, PHYSICS TEACHER, BELLWOOD-ANTIS HIGH SCHOOL),HILBORN, ROBERT (ASSOCIATE EXECUTIVE OFFICER, ASSOCIATE EXECUTIVE OFFICER, AMHERST COLLEGE)
Quantum Computing: From Alice to Bob
A distinctive and accessible introduction to quantum information science and quantum computing, this textbook provides a solid conceptual and formal understanding of quantum states and entanglement for undergraduate students and upper-level secondary scho
Zaloga po trgovinah
Rezultati:
-
Introduction to Python Programming for Scientists and Engineers(2022) LIN, JOHNNY WEI-BING,AIZENMAN, HANNAH (CITY COLLEGE, CITY UNIVERSITY OF NEW YORK),MANETTE CARTAS ESPINEL, ERIN,GUNNERSON, KIM,LIU, JOANNEThis textbook introduces beginning to intermediate science and engineering students to programming with Python. It encourages a stronger understanding of programming concepts through numerous science and engineering examples and Jupyter notebook problems,93,27 €
LIN, JOHNNY WEI-BING,AIZENMAN, HANNAH (CITY COLLEGE, CITY UNIVERSITY OF NEW YORK),MANETTE CARTAS ESPINEL, ERIN,GUNNERSON, KIM,LIU, JOANNE
Introduction to Python Programming for Scientists and Engineers
This textbook introduces beginning to intermediate science and engineering students to programming with Python. It encourages a stronger understanding of programming concepts through numerous science and engineering examples and Jupyter notebook problems,
Zaloga po trgovinah
Rezultati:
>
>
>
>
>
