Importe total (1 artículo artículos):
Destino del pedido:
jean gallier (256 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (256)
- 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
Encuadernación
Más atributos
- Primera edición (3)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (89)
- No impresión bajo demanda (209)
Idioma (3)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Logic for Computer Science Foundations of Automatic Theorem Proving, Second Edition
Libro 19 de 19: Dover Books on Computer ScienceIdioma: Inglés
Publicado por Dover Publications, Mineola , NY, 2015
ISBN 10: 0486780821 ISBN 13: 9780486780825
Librería: Catnap Books, Cobleskill, NY, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 13,03
Envío por EUR 3,37
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Good+. Advanced text introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. Nice, clean copy. ; Sm4t0; 496 pages.
-
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
Libro 19 de 19: Dover Books on Computer ScienceLibrería: Goodwill Southern California, Los Angeles, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 14,66
Envío por EUR 2,53
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: acceptable.
-
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
Libro 19 de 19: Dover Books on Computer ScienceLibrería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 14,65
Envío por EUR 3,16
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Logic for Computer Science : Foundations of Automatic Theorem-Proving
Idioma: Inglés
Publicado por Addison-Wesley Educational Publishers, Incorporated, 1985
ISBN 10: 0060422254 ISBN 13: 9780060422257
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 24,75
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 3 disponibles
Añadir al carritoCondición: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 21,50
Envío por EUR 3,16
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)
Idioma: Inglés
Publicado por Longman Higher Education, 1986
ISBN 10: 0060422254 ISBN 13: 9780060422257
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 24,96
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Fair. No Jacket. Missing dust jacket; Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
-
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)
Idioma: Inglés
Publicado por HarperCollins Publishers, 1986
ISBN 10: 0060422254 ISBN 13: 9780060422257
Librería: Jay W. Nelson, Bookseller, IOBA, Austin, MN, Estados Unidos de America
Miembro de asociación: IOBA
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 26,06
Envío por EUR 2,32
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Very Good. No Jacket. 1st Edition. In blue cloth. Bottom corners bumped. No jacket.
-
Curves and Surfaces in Geometric Modeling: Theory & Algorithms (The Morgan Kaufmann Series in Computer Graphics)
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 28,65
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less.
-
Logic for Computer Science: Foundations of Automatic Theorem Proving
Libro 19 de 19: Dover Books on Computer ScienceLibrería: Book Express (NZ), Shannon, Nueva Zelanda
Calificación del vendedor: 4 de 5 estrellas
EUR 7,85
Envío por EUR 26,15
Se envía de Nueva Zelanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. 528 pages. This advanced text for undergraduate and graduate students introduces mathema tical logic with an emphasis on proof theory and procedures for algorithmic cons truction of formal proofs. The self-contained treatment is also useful for compu.
-
Geometric Methods and Applications: For Computer Science and Engineering (Texts in Applied Mathematics)
Libro 19 de 55: Texts in Applied MathematicsLibrería: The Maryland Book Bank, Baltimore, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 34,32
Envío por EUR 3,96
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: Very Good. 1st Edition. Used - Very Good.
-
Geometric Methods and Applications
Libro 19 de 55: Texts in Applied MathematicsLibrería: Arches Bookhouse, Portland, OR, Estados Unidos de America
Miembro de asociación: CBA IOBA
Calificación del vendedor: 5 de 5 estrellas
EUR 33,88
Envío por EUR 5,90
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: GOOD. Some highlighting, sound reading copy.
-
A Guide to the Classification Theorem for Compact Surfaces
Libro 8 de 12: Geometry and ComputingLibrería: Moe's Books, Berkeley, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 43,44
Envío por EUR 5,48
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHard cover. Condición: Very good. No jacket. Cover is rubbed and lightly scratched, not affecting legibility. Binding is tight and inside is clean and unmarked.
-
Linear Algebra and Optimization with Applications to Machine Learning - Volume I: Linear Algebra for Computer Vision, Robotics, and Machine Learning
Idioma: Inglés
Publicado por World Scientific Pub Co Inc, 2020
ISBN 10: 9811207712 ISBN 13: 9789811207716
Librería: World of Books (was SecondSale), Montgomery, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 52,10
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.
-
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series)
Librería: Fireside Bookshop, Stroud, GLOS, Reino Unido
Miembro de asociación: PBFA
Calificación del vendedor: 5 de 5 estrellas
EUR 23,78
Envío por EUR 28,86
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCloth. Condición: Good. No Jacket. Type: Book N.B. Small plain label to inside front cover. No dust jacket. Light rubbing to head and tail of spine and corners of boards.
-
Linear Algebra And Optimization With Applications To Machine Learning Volume I: Linear Algebra For Computer Vision
Idioma: Inglés
Publicado por World Scientific Publishing, 2023
Librería: Books in my Basket, New Delhi, India
Calificación del vendedor: 5 de 5 estrellas
EUR 38,26
Envío por EUR 16,00
Se envía de India a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoSoft cover. Condición: New. ISBN:9781944660345,824pp.
-
Guide to the Classification Theorem for Compact Surfaces
Libro 8 de 12: Geometry and ComputingLibrería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 52,56
Envío por EUR 2,23
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
A Guide to the Classification Theorem for Compact Surfaces (Geometry and Computing, 9)
Libro 8 de 12: Geometry and ComputingLibrería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 51,39
Envío por EUR 3,37
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
LINEAR ALGEBRA AND OPTIMIZATION WITH APPLICATIONS TO MACHINE LEARNING - VOLUME I: LINEAR ALGEBRA FOR COMPUTER VISION, ROBOTICS, AND MACHINE LEARNING
Idioma: Inglés
Publicado por World Scientific Publishing Co. Pte. Ltd., 2023
ISBN 10: 1944660348 ISBN 13: 9781944660345
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 42,40
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoCondición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
LINEAR ALGEBRA AND OPTIMIZATION WITH APPLICATIONS TO MACHINE LEARNING - VOLUME I: LINEAR ALGEBRA FOR COMPUTER VISION, ROBOTICS, AND MACHINE LEARNING
Idioma: Inglés
Publicado por World Scientific Publishing Co. Pte. Ltd., 2023
ISBN 10: 1944660348 ISBN 13: 9781944660345
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 42,40
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoCondición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Discrete Mathematics (Universitext)
Libro 95 de 261: UniversitextLibrería: Zoom Books Company, Lynden, WA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 56,39
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: very_good. Book is in very good condition and may include minimal underlining highlighting. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service.
-
LINEAR ALGEBRA AND OPTIMIZATION WITH APPLICATIONS TO MACHINE LEARNING - VOLUME I: LINEAR ALGEBRA FOR COMPUTER VISION, ROBOTICS, AND MACHINE LEARNING
Idioma: Inglés
Publicado por World Scientific Publishing Co. Pte. Ltd., 2023
ISBN 10: 1944660348 ISBN 13: 9781944660345
Librería: SMASS Sellers, IRVING, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 44,13
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoCondición: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
LINEAR ALGEBRA AND OPTIMIZATION WITH APPLICATIONS TO MACHINE LEARNING - VOLUME I: LINEAR ALGEBRA FOR COMPUTER VISION, ROBOTICS, AND MACHINE LEARNING
Idioma: Inglés
Publicado por World Scientific Publishing Co. Pte. Ltd., 2023
ISBN 10: 1944660348 ISBN 13: 9781944660345
Librería: SMASS Sellers, IRVING, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 44,13
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoCondición: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Differential Geometry and Lie Groups : A Second Course
Libro 12 de 12: Geometry and ComputingLibrería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 58,03
Envío por EUR 2,23
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Differential Geometry and Lie Groups: A Second Course (Geometry and Computing, 13)
Libro 12 de 12: Geometry and ComputingLibrería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 56,86
Envío por EUR 3,37
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Logic for Computer Science - Foundations of Automatic Theorem Proving
Publicado por Wiley & Sons 1987, 1987
Librería: Andere Welten Medienvertriebs GmbH, Ahrensburg, SH, Alemania
Calificación del vendedor: 3 de 5 estrellas
EUR 25,00
Envío por EUR 15,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover Sehr gut erhalten.
-
Geometric Methods and Applications: For Computer Science and Engineering (Texts in Applied Mathematics, 38)
Libro 19 de 55: Texts in Applied MathematicsLibrería: Goodwill of Colorado, COLORADO SPRINGS, CO, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 63,41
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: good. This item is in overall good condition. Covers and dust jackets are intact but may have minor wear including slight curls or bends to corners as well as cosmetic blemishes including stickers. Pages are intact but may have minor highlighting writing. Binding is intact; however, spine may have slight wear overall. Digital codes may not be included and have not been tested to be redeemable and or active. Minor shelf wear overall. Please note that all items are donated goods and are in used condition. Orders shipped Monday through Friday! Your purchase helps put people to work and learn life skills to reach their full potential. Orders shipped Monday through Friday. Your purchase helps put people to work and learn life skills to reach their full potential. Thank you!
-
Logic for Computer Science: Foundations of Automatic Theorem Proving
Libro 19 de 19: Dover Books on Computer ScienceLibrería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 49,02
Envío por EUR 14,43
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 2nd edition. 496 pages. 9.00x6.00x1.50 inches. In Stock.
-
Geometric Methods and Applications: For Computer Science and Engineering (Texts in Applied Mathematics, 38)
Libro 19 de 55: Texts in Applied MathematicsLibrería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 60,91
Envío por EUR 3,16
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: Acceptable. Connecting readers with great books since 1972. Used textbooks may not include companion materials such as access codes, etc. May have condition issues including wear and notes/highlighting. We ship orders daily and Customer Service is our top priority!
-
A Guide to the Classification Theorem for Compact Surfaces (Geometry and Computing, 9)
Libro 8 de 12: Geometry and ComputingLibrería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 64,28
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Differential Geometry and Lie Groups: A Second Course (Geometry and Computing, 13)
Libro 12 de 12: Geometry and ComputingLibrería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 64,28
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
