Schmaltz julien (34 risultati)
Logic Gates, Circuits, Processors, Compilers and Computers
Groote, Jan Friso; Morel, Rolf; Schmaltz, Julien; Watkins, Adam
- Brossura
Da: PBShop.store UK, Fairford, GLOS, Regno UnitoPBShop.store UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 37,61
EUR 4,85 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
Logic Gates, Circuits, Processors, Compilers and Computers
Groote, Jan Friso; Morel, Rolf; Schmaltz, Julien; Watkins, Adam
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 40,63
EUR 2,27 spedizioneSpedito in U.S.A.Quantità: 2 disponibili
Condizione: As New. Unread book in perfect condition.
Logic Gates, Circuits, Processors, Compilers and Computers
Groote, Jan Friso; Morel, Rolf; Schmaltz, Julien; Watkins, Adam
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 41,56
EUR 2,27 spedizioneSpedito in U.S.A.Quantità: 2 disponibili
Condizione: New.
Logic Gates, Circuits, Processors, Compilers and Computers
Groote, Jan Friso; Morel, Rolf; Schmaltz, Julien; Watkins, Adam
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 40,55
EUR 3,42 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: New. 1st ed. 2021 edition NO-PA16APR2015-KAP.
- Brossura
Da: Rarewaves.com USA, London, LONDO, Regno UnitoRarewaves.com USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 44,31
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: New. 1st ed. 2021. This undergraduate textbook first introduces basic electronic circuitry before explaining more advanced elements such as the Arithmetic Logic Unit, sequential circuits, and finally microprocessors. In keeping with this integrated and graduated approach, the authors then explain the relat…ionship to first assembly programming, then higher-level languages, and finally computer organisation. Authors use the Raspberry Pi and ARM microprocessors for their explanationsThe material has been extensively class tested at TU Eindhoven by an experienced team of lecturers and researchers. This is a modern, holistic treatment of well-established topics, valuable for undergraduate students of computer science and electronics engineering and for self-study. The authors use the Raspberry Pi and ARM microprocessors for their explanations.
Logic Gates, Circuits, Processors, Compilers and Computers
Groote, Jan Friso; Morel, Rolf; Schmaltz, Julien; Watkins, Adam
- Brossura
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 36,94
EUR 7,58 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: New.
Logic Gates, Circuits, Processors, Compilers and C
Groote, Jan Friso; Morel, Rolf; Schmaltz, Julien; Watkins, Adam
- Brossura
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 47,81
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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.
Logic Gates, Circuits, Processors, Compilers and Computers
Groote, Jan Friso; Morel, Rolf; Schmaltz, Julien; Watkins, Adam
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 49,49
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Logic Gates, Circuits, Processors, Compilers and Computers
Groote, Jan Friso; Morel, Rolf; Schmaltz, Julien; Watkins, Adam
- Brossura
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 38,24
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: New.
Logic Gates, Circuits, Processors, Compilers and C
Groote, Jan Friso; Morel, Rolf; Schmaltz, Julien; Watkins, Adam
- Brossura
Da: SMASS Sellers, IRVING, TX, U.S.A.SMASS Sellers
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 49,74
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 35,77
EUR 18,07 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: New.
Logic Gates, Circuits, Processors, Compilers and Computers
Groote, Jan Friso; Morel, Rolf; Schmaltz, Julien; Watkins, Adam
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 41,20
EUR 13,98 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Logic Gates, Circuits, Processors, Compilers and Computers
Groote, Jan Friso; Morel, Rolf; Schmaltz, Julien; Watkins, Adam
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 37,60
EUR 17,50 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Condizione: New.
Interactive Theorem Proving : Second International Conference, Itp 2011, Berg En Dal, the Netherlands, August 22-25, 2011, Proceedings
Van Eekelen, Marko (EDT); Geuvers, Herman (EDT); Schmaltz, Julien (EDT); Wiedijk, Freek (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,79
EUR 2,27 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,99
Spedizione gratuitaSpedito in U.S.A.Quantità: 5 disponibili
Paperback or Softback. Condizione: New. Interactive Theorem Proving: Second International Conference, ITP 2011, Berg En Dal, the Netherlands, August 22-25, 2011, Proceedings. Book.
Logic Gates, Circuits, Processors, Compilers and Computers
Groote, Jan Friso, Morel, Rolf, Schmaltz, Julien, Watkins, Adam
Editore: Springer
- Brossura
Da: Academic Book Solutions, Medford, NY, U.S.A.Academic Book Solutions
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 35,38
EUR 3,42 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: LikeNew. Used Like New, no missing pages, no damage to binding, may have a remainder mark.
Logic Gates, Circuits, Processors, Compilers and Computers
Groote, Jan Friso; Morel, Rolf; Schmaltz, Julien; Watkins, Adam
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 41,68
EUR 17,50 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 60,09
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Interactive Theorem Proving : Second International Conference, Itp 2011, Berg En Dal, the Netherlands, August 22-25, 2011, Proceedings
Van Eekelen, Marko (EDT); Geuvers, Herman (EDT); Schmaltz, Julien (EDT); Wiedijk, Freek (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 61,89
EUR 2,27 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2011
- Brossura
Da: Rarewaves.com USA, London, LONDO, Regno UnitoRarewaves.com USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 67,80
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: New. 2011th. This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics…covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,03
EUR 13,98 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes in Computer Science)
Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,58
EUR 18,07 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Paperback. Condizione: New.
Logic Gates, Circuits, Processors, Compilers and Computers
Groote, Jan Friso/ Morel, Rolf/ Schmaltz, Julien/ Watkins, Adam
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 64,35
EUR 11,67 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 265 pages. 9.25x6.10x0.63 inches. In Stock.
Interactive Theorem Proving : Second International Conference, Itp 2011, Berg En Dal, the Netherlands, August 22-25, 2011, Proceedings
Van Eekelen, Marko (EDT); Geuvers, Herman (EDT); Schmaltz, Julien (EDT); Wiedijk, Freek (EDT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,55
EUR 17,50 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Interactive Theorem Proving : Second International Conference, Itp 2011, Berg En Dal, the Netherlands, August 22-25, 2011, Proceedings
Van Eekelen, Marko (EDT); Geuvers, Herman (EDT); Schmaltz, Julien (EDT); Wiedijk, Freek (EDT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 67,15
EUR 17,50 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 43,15
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: New. Authors present a holistic view of these related hardware and software technologiesMaterial has been extensively class tested at TU Eindhoven by experienced lecturers and researchersValuable for underg.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 80,32
EUR 14,58 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 394 pages. 9.20x6.10x0.90 inches. In Stock.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 40,65
EUR 62,06 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This undergraduate textbook first introduces basic electronic circuitry before explaining more advanced elements such as the Arithmetic Logic Unit, sequential circuits, and finally microprocessors. In keeping with this integrated and graduated app…roach, the authors then explain the relationship to first assembly programming, then higher-level languages, and finally computer organisation.Authors use the Raspberry Pi and ARM microprocessors for their explanationsThe material has been extensively class tested at TU Eindhoven by an experienced team of lecturers and researchers. This is a modern, holistic treatment of well-established topics, valuable for undergraduate students of computer science and electronics engineering and for self-study. The authors use the Raspberry Pi and ARM microprocessors for their explanations.
- Brossura
Da: Rarewaves.com UK, London, Regno UnitoRarewaves.com UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 40,95
EUR 75,82 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: New. 1st ed. 2021.
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2011
- Brossura
Da: Rarewaves.com UK, London, Regno UnitoRarewaves.com UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 65,69
EUR 75,82 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: New. 2011th. This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics…covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.
