Importo totale (1 articolo articoli):
Destinazione ordine:
fabio somenzi (45 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (45)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (31)
- Come nuovo, Ottimo o Quasi ottimo (8)
- Molto buono o Buono (5)
- Discreto o Mediocre (1)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (1)
- Con foto (16)
- Non Print on Demand (34)
Lingua (2)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Logic Synthesis and Verification Algorithms
Da: Goodwill of Silicon Valley, SAN JOSE, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: good. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear.
-
Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)
Editore: Springer
ISBN 10: 0470920513 ISBN 13: 9780470920510
Da: Wonder Book, Frederick, MD, U.S.A.
Membro dell'associazione: ABAA ILAB
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Good condition. A copy that has been read but remains intact. May contain markings such as bookplates, stamps, limited notes and highlighting, or a few light stains.
-
Logic Synthesis and Verification Algorithms
Da: Goodwill Books, Hillsboro, OR, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: acceptable. Fairly worn, but readable and intact. If applicable: Dust jacket, disc or access code may not be included.
-
Computer Aided Verification : 15th International Conference, Cav 2003, Boulder, Co, Usa, July 8-12, 2003, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 58,86
Spedizione EUR 2,29
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Logic Synthesis and Verification Algorithms
Da: Books From California, Simi Valley, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
paperback. Condizione: Very Good.
-
Logic Synthesis and Verification Algorithms
Da: Books From California, Simi Valley, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
paperback. Condizione: Fine.
-
Logic Synthesis And Verification Algorithms
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
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 Synthesis and Verification Algorithms
Da: A Squared Books (Don Dewhirst), South Lyon, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: Very Good. Condizione sovraccoperta: Missing. 1996. Matte paper covers; corners worn with board peeking through lower corner, otherwise mild wear; 4to - over 9 3/4" to 12" tall; no jacket. Top edge of last 30 pages dented/creased; Interior is clean and unmarked; 564 pages. Additional shipping charges may be required due to the size and weight of book.
-
Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings (Lecture Notes in Computer Science, 2725)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,55
Spedizione EUR 13,86
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,18
Spedizione EUR 17,93
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Computer Aided Verification : 15th International Conference, Cav 2003, Boulder, Co, Usa, July 8-12, 2003, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 74,31
Spedizione EUR 2,29
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Computer Aided Verification : 15th International Conference, Cav 2003, Boulder, Co, Usa, July 8-12, 2003, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,13
Spedizione EUR 17,36
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Computer Aided Verification
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 480.
-
Computer Aided Verification : 15th International Conference, Cav 2003, Boulder, Co, Usa, July 8-12, 2003, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 65,10
Spedizione EUR 17,36
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Condizione: New. Satisfaction Guaranteed or your money back.
-
EUR 6,99
Spedizione EUR 80,70
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: Befriedigend. 500 Seiten; 9783540405245.4 Gewicht in Gramm: 500.
-
Logic Synthesis and Verification Algorithms
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. xxxii + 564.
-
Logic Synthesis and Verification Algorithms
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 600.
-
Logic Synthesis and Verification Algorithms
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 90,88
Spedizione EUR 7,52
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. xxxii + 564.
-
Logic Synthesis and Verification Algorithms
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 92,66
Spedizione EUR 7,52
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 600 66:B&W 7 x 10 in or 254 x 178 mm Perfect Bound on White w/Gloss Lam.
-
Logic Synthesis and Verification Algorithms
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 92,25
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. xxxii + 564.
-
Logic Synthesis and Verification Algorithms
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 91,07
Spedizione EUR 13,86
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
EUR 53,49
Spedizione EUR 63,61
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Therefereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003.The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in topical sections on bounded model checking; symbolic model checking; games, trees, and counters; tools; abstraction; dense time; infinite state systems; applications; theorem proving; automata-based verification; invariants; and explicit model checking.
-
EUR 50,25
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Computer Aided Verification | 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings | Jr. Hunt (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2003 | Springer | EAN 9783540405245 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
-
Logic Synthesis and Verification Algorithms
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 133,51
Spedizione EUR 28,93
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Like New. Like New. book.
-
Logic Synthesis and Verification Algorithms
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 150,25
Spedizione EUR 17,36
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 1st edition. 564 pages. 10.00x7.00x1.00 inches. In Stock.
-
Logic Synthesis and Verification Algorithms
Lingua: Inglese
Editore: Springer US, Springer New York, 2013
ISBN 10: 1475770367 ISBN 13: 9781475770360
EUR 97,56
Spedizione EUR 65,56
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. It also serves as a basic reference work in design automation for both professionals and students. Logic Synthesis and Verification Algorithms is about the theoretical underpinnings of VLSI (Very Large Scale Integrated Circuits). It combines and integrates modern developments in logic synthesis and formal verification with the more traditional matter of Switching and Finite Automata Theory. The book also provides background material on Boolean algebra and discrete mathematics. A unique feature of this text is the large collection of solved problems. Throughout the text the algorithms covered are the subject of one or more problems based on the use of available synthesis programs.
-
Logic Synthesis and Verification Algorithms
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 153,77
Spedizione EUR 28,93
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
EDA for IC Implementation, Circuit Design, and Process Technology (Electronic Design Automation for Integrated Circuits Hdbk)
Libro 1 di 2: Electronic Design Automation for Integrated Circuits HdbkDa: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 186,78
Spedizione EUR 17,93
Spedito da Regno Unito a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloHardcover. Condizione: New.
-
Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)
Libro 3 di 34: Integrated Circuits and SystemsDa: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 202,65
Spedizione EUR 28,93
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
