Importe total (1 artículo artículos):
Destino del pedido:
krají (15 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (15)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (13)
- Como nuevo, Excelente o Muy bueno (No hay ningún otro resultado que coincida con este filtro.)
- Bueno o Aceptable (1)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (1)
Encuadernación
Más atributos
- Primera edición (1)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (1)
- Con imágenes (7)
- No impresión bajo demanda (10)
Idioma (2)
Gastos de envío gratis
- Envío gratis a Estados Unidos de America (No hay ningún otro resultado que coincida con este filtro.)
Ubicación del vendedor
Valoración de los vendedores
-
Kveten 1945
Año de publicación: 1975
Librería: Ridge Road Sight And Sound, North Arlington, NJ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 17,95
Envío por EUR 5,13
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: VG / VG -. Hardcover in shelfworn dust jacket / Text : Czech / Insert included.
-
Proof Complexity Generators: 497 (London Mathematical Society Lecture Note Series, Series Number 497)
Idioma: Inglés
Publicado por Cambridge University Press, 2025
ISBN 10: 1009611704 ISBN 13: 9781009611701
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 54,55
Envío por EUR 17,86
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: New.
-
Proof Complexity Generators: 497 (London Mathematical Society Lecture Note Series, Series Number 497)
Idioma: Inglés
Publicado por Cambridge University Press, 2025
ISBN 10: 1009611704 ISBN 13: 9781009611701
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 83,28
Envío por EUR 9,15
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. 2025. paperback. . . . . . Books ship from the US and Ireland.
-
Andy Warhol
Publicado por Muzeum Moderneho Umenia, Medzilaborce, 1991
ISBN 10: 8090113907 ISBN 13: 9788090113909
Librería: Between the Covers-Rare Books, Inc. ABAA, Gloucester City, NJ, Estados Unidos de America
Miembro de asociación: ABAA ESA ILAB IOBA
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 53,86
Envío por EUR 4,79
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: Very Good. First edition. Square octavo. Pictorial wrappers. Text in Polish. Somewhat warped with crease in front wrapper, else very good.
-
Forcing with Random Variables and Proof Complexity
Libro 315 de 387: London Mathematical Society Lecture NotesIdioma: Inglés
Publicado por Cambridge University Press CUP, 2011
ISBN 10: 0521154332 ISBN 13: 9780521154338
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 103,16
Envío por EUR 3,48
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. xvi + 247 1st Edition.
-
Proof Complexity Generators
Idioma: Inglés
Publicado por Cambridge University Press Jun 2025, 2025
ISBN 10: 1009611704 ISBN 13: 9781009611701
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 63,43
Envío por EUR 61,07
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware - 'This book presents a state-of-the-art theory in the field of proof complexity, aiming to construct hard propositional tautologies needed to solve the P vs. NP problem in the negative. The theory is introduced step by step, starting with the historic background, and several potential new avenues of research are highlighted'-- Provided by publisher.
-
Forcing with Random Variables and Proof Complexity
Libro 315 de 387: London Mathematical Society Lecture NotesIdioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 0521154332 ISBN 13: 9780521154338
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 99,84
Envío por EUR 62,17
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book introduces a new approach to building models of bounded arithmetic, with techniques drawn from recent results in computational complexity. Propositional proof systems and bounded arithmetics are closely related. In particular, proving lower bounds on the lengths of proofs in propositional proof systems is equivalent to constructing certain extensions of models of bounded arithmetic. This offers a clean and coherent framework for thinking about lower bounds for proof lengths, and it has proved quite successful in the past. This book outlines a brand new method for constructing models of bounded arithmetic, thus for proving independence results and establishing lower bounds for proof lengths. The models are built from random variables defined on a sample space which is a non-standard finite set and sampled by functions of some restricted computational complexity. It will appeal to anyone interested in logical approaches to fundamental problems in complexity theory.
-
Proof Complexity: 170 (Encyclopedia of Mathematics and its Applications, Series Number 170)
Libro 173 de 188: Encyclopedia of Mathematics and its ApplicationsIdioma: Inglés
Publicado por Cambridge University Press, 2019
ISBN 10: 1108416845 ISBN 13: 9781108416849
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 257,59
Envío por EUR 9,15
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Proof Complexity
Libro 173 de 188: Encyclopedia of Mathematics and its ApplicationsIdioma: Inglés
Publicado por Cambridge University Press, 2019
ISBN 10: 1108416845 ISBN 13: 9781108416849
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 273,24
Envío por EUR 65,29
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained book presents the basic concepts, classical results, current state of the art and possible future directions in the field. It stresses a view of proof complexity as a whole entity rather than a collection of various topics held together loosely by a few notions, and it favors more generalizable statements. Lower bounds for lengths of proofs, often regarded as the key issue in proof complexity, are of course covered in detail. However, upper bounds are not neglected: this book also explores the relations between bounded arithmetic theories and proof systems and how they can be used to prove upper bounds on lengths of proofs and simulations among proof systems. It goes on to discuss topics that transcend specific proof systems, allowing for deeper understanding of the fundamental problems of the subject.
-
Proof Complexity (Encyclopedia of Mathematics and its Applications)
Libro 173 de 188: Encyclopedia of Mathematics and its ApplicationsIdioma: Inglés
Publicado por Cambridge University Press, 2019
ISBN 10: 1108416845 ISBN 13: 9781108416849
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 323,04
Envío por EUR 28,83
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Forcing with Random Variables and Proof Complexity
Libro 315 de 387: London Mathematical Society Lecture NotesIdioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 0521154332 ISBN 13: 9780521154338
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 103,84
Envío por EUR 7,49
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand pp. xvi + 247 Illus.
-
Forcing with Random Variables and Proof Complexity
Libro 315 de 387: London Mathematical Society Lecture NotesIdioma: Inglés
Publicado por Cambridge University Press, 2011
ISBN 10: 0521154332 ISBN 13: 9780521154338
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 104,49
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND pp. xvi + 247.
-
Forcing with Random Variables and Proof Complexity
Libro 315 de 387: London Mathematical Society Lecture NotesIdioma: Inglés
Publicado por Cambridge University Press, 2010
ISBN 10: 0521154332 ISBN 13: 9780521154338
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 81,25
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Aimed at researchers and graduate students in mathematics and theoretical computer science, who are interested in logical approaches to fundamental problems of computational complexity theory, and of proof complexity in particular.Über den Auto.
-
Proof Complexity
Libro 173 de 188: Encyclopedia of Mathematics and its ApplicationsIdioma: Inglés
Publicado por Cambridge University Press, 2019
ISBN 10: 1108416845 ISBN 13: 9781108416849
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 202,30
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained book presents the basic concepts, classical results, current state of the art and possible future directions in the field. Sui.
-
Proof Complexity
Libro 173 de 188: Encyclopedia of Mathematics and its ApplicationsIdioma: Inglés
Publicado por Cambridge University Press, 2019
ISBN 10: 1108416845 ISBN 13: 9781108416849
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 209,70
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoBuch. Condición: Neu. Proof Complexity | Jan Krají¿ek | Buch | Gebunden | Englisch | 2019 | Cambridge University Press | EAN 9781108416849 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
