Guy katz (84 risultati)

Pictorial Cover. Condizione: Very Good. No Jacket. First Edition. Pictorial Cover. Very Good/No Jacket. First Edition. 4to - over 9¾" - 12" tall. Delightfully color illustrated children's story of dog family and Wrinkle's attempt to give his mother a gift for her birthday. Gardening is the answer as he grows a flower for her. Pages tight; crisp; clean; no markings in text. Glossy cover with Dog family gardening on front. Crayon markings on inside front cover.; poi on front endpaper.Otherwise book shows no shelf wear. Guy Gilchrist (illustratore).…

Hardcover. Condizione: Fair. Dust Jacket Included. Pictorial Cover. Very Good/No Jacket. First Edition. 4to - over 9¾" - 12" tall. Delightfully color illustrated children's story of dog family and Wrinkle's attempt to give his mother a gift for her birthday. Gardening is the answer as he grows a flower for her. Pages tight; crisp; clean; no markings in text. Glossy cover with Dog family gardening on front. Crayon markings on inside front cover.; poi on front endpaper.Otherwise book shows no shelf wear.…

Paperback. Condizione: Near Fine. First Edition. Decorated/pictorial wrappers [about 6" x 8.75"], saddle-stapled, 39+ pages. Near fine with light wear. whbx 17.

Hardcover with dustjacket, 136 pages, in English and Finnish; good condition; ex-gallery library copy with call number taped around bottom of d spine; stamps and stickers to first couple pages; no other internal marks. Foreign shipping may be extra.

Condizione: New. In English.

Hardcover with dustjacket, 136 pages, in English and Finnish; very good condition; small pen mark to dj; no internal marks. Foreign shipping may be extra.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Paperback. Condizione: New. The open access book set LNCS 16505 + 16506 constitutes the proceedings of the 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16, 2026.The 52 full papers, 4 short papers and 16 SV-COMP papers included in the proceedings were carefully reviewed and selected from 177 submissions. They were organized in topical sections as follows: Part I: SAT/SMT; Proofs and QUantified Elimination; Automata; Verification of Probabilistic Systems; Cyber-Physical Systems; Part II: Software Verification; Program Verification; Java Analysis; Hardware Verification and Model Checking; Quantum; SV-COMP.…

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

PF. Condizione: New.

Condizione: New. In English.

Paperback. Condizione: Brand New. 200 pages. 9.25x6.10x8.90 inches. In Stock.

PAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: New.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access book set LNCS 16505 + 16506 constitutes the proceedings of the 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16m 2026.…

Condizione: NEW.

Paperback. Condizione: New.

PAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The open access book set LNCS 16505 + 16506 constitutes the proceedings of the 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16, 2026.The 52 full papers, 4 short papers and 16 SV-COMP papers included in the proceedings were carefully reviewed and selected from 177 submissions. They were organized in topical sections as follows:Part I: SAT/SMT; Proofs and QUantified Elimination; Automata; Verification of Probabilistic Systems; Cyber-Physical Systems;Part II: Software Verification; Program Verification; Java Analysis; Hardware Verification and Model Checking; Quantum; SV-COMP.…