pol c van der (16 Ergebnisse)

Hardcover. Zustand: Fair. the photographs were taken by Lex van der Pol of Amsterdam, after an idea by Henry C. James (illustrator). Loosely bound, illustrated card boards, green cloth spine. Small peeling, scuffing and dust spotting on cover and spine. No jacket, back internal hinge split with text block coming way from the spine.

EIgentijdse kartonnen band (vermoedelijk oude leesbibliotheek, maar zonder stempels). Band beschadigd en beduimeld, inhoud eveneens beduimeld - desondanks compleet leesexemplaar van een interessant boek. Please see description or ask for photos.

Ingenaaid. Zustand: Gebruikssporen. 79 pp. Bundeling van een zestal correspondenties uit de Nieuwe Courant.

Hardcover. Zustand: Good. Zustand des Schutzumschlags: No Dustjacket. Volume I only, hardcover, has slight bumps to spine ends and corners with a touch of fraying to upper corners, light sunning to spine, some slight edgewear, and faint rubbing, otherwise a solid Good copy.

Paperback, opdracht schutblad, verder in nette staat, 352 pagina's.

Zustand: Good. Oorspronkelijk omslag, 8vo.; Foxed; rug licht gevlekt.

Originele decoratieve linnen band (ontwerp Albert Hahn). Band wat geschaafd, inhoud soms wat roestvlekkig, maar een (zeer) goed exemplaar. Please see description or ask for photos.

's-Gravenhage, Veldt, 1915. 47 pp.

Decorative Boards. Dust Jacket Included. Lex Van Der Pol (illustrator). First Edition. Decorative Boards. First Edition. 8vo - over 7¾" - 9¾" tall. Book is near fine in a very good jacket with light handling wear. unpagenated endpaper maps. This is our country series Size: 8vo - over 7¾" - 9¾" tall.

Halflinnen band, 23 cm, [32] pp. Ills.: kleurenillustraties. Prachtfoto's. Cond.: goed / good.

Zustand: New. Up to date resultsFast conference proceedingsState-of-the-art reportSatisfiability Modulo Theories for Model Checking.- SMT-Based Software Model Checking.- Symbolic Object Code Analysis.- Model Checking in Context.- Experimental Com.

Taschenbuch. Zustand: Neu. Neuware - This volume contains the proceedings of the 17th International SPIN Workshop on Model Checking Software (SPIN 2010). The workshop was organized by and held at the University of Twente, The Netherlands, on 27 29 September 2010. The workshop was co-located with the 5th International Conference on Graph Transformation (ICGT 2010) and several of its satellite workshops, and with the joint PDMC and HiBi workshops, on Parallel and Distributed Methods for veri Cation and on High-performance computational systems Biology. The SPIN workshopis a forum for practitioners and researchersinterested in state-spaceanalysisofsoftware-intensivesystems.Thisisapplicableinparticular to concurrent and asynchronous systems, including protocols. The name of the workshop re ects the SPIN model checking tool by Gerard J. Holzmann, which won the ACM System Software Award 2001, and is probably the most widely used industrial-strength model checker around. The focus of the workshop is on theoretical advances and extensions, al- rithmic improvements, and empirical evaluation studies of (mainly) state-based modelcheckingtechniques,asimplementedintheSPINmodelcheckerandother tools. The workshop encourages interaction and exchange of ideas with all - lated areas in software engineering. To this end, we co-located SPIN 2010 with the graph transformation, and high-performance analysis communities. This year, we received 33 submissions, divided between 29 regular and 4 tool papers.Eachpaperwasrigorouslyreviewedbyatleastfourreviewers,andjudged onitsqualityandits signi canceandrelevanceforSPIN.Weaccepted13regular papers, and 2 tool papers for presentation and for publication in this volume.

2 volume set. 27 cm. original cloth, gilt. xv,660, (iv), 661-1340 pp. ills, diagrams, some plates, Fr.Pce. bibliography. references. -(spines sunned, small stain bottom-edge volume 1, otherwise (very) good). 3500g.

C.L.G. Veldt, Den Haag [1912]. Wit linnen met decoratieve bandtekening in zwart en rood. 312 p. 1e druk. Band heel licht geschaafd. Achterop roze watervlekjes. Eerste en laatste pagina verbruind, wat roest. Eerste deel van het (in drie delen uitgegeven) levensverhaal van Nol Loomberg: zijn jeugd in een arme Haagse buurt anno 1870. Cornelis van der Pol (1865-1934) was als strijdbaar journalist verbonden aan de Sumatra-Bode. Fraaie boekband.

Couverture souple. Zustand: Très bon. Edition originale. La Louvière (Belgique), Éditions Daily-Bul, du n°1, 1965 au n°61, 1979 (il manque les numéros 3, 26 et 35, 53 et 62). Agrafés, 11 cm x 13,5 cm, non paginés. Textes et dessins de P. Colinet, Maurice Henry, Pol Bury, Marcel et Gabriel Piqueray, Lourdes Castro, C. Valogne, Jacqueline de Jong, A. Chavée, R. Bertholo, Ernest Pirotte, Arrabal, L. Scutenaire, Folon, P. Alechinsky, L. Bénal, F. Squatriti, Anatole Jakowsky, Van der Steen, P. Puttemans, A. Rimbaud traduit en wallon par Ernest Haucotte, Robert Filliou & Cie, De Lussanet, Th. Koenig, Julio Cortazar avec dessins de P. Alechinsky, Maglione, Topor, P.Bourgoignie, P. Kervan, A. Calderara, M. Mariën, B. Miot, S. Embo, A. Balthazar, A. Martel , Joyce Mansour, Reinhoud, J. Calonne (2 vol.), J. Raine, avec V. Brauner, Irine, A. Dax, Ronald Searle, Villeglé, J. Groenen, N. Florence, Philippe Geluck, Robert Willems, C. Haumont, G. Belle, M. Béalu, J. Leppien, Pol Bury, L. Del Pezzo, Tom Gutt, Jean Tardieu, (2 vol.), Ivan Alechine, É. Angelini, A. Borer, Pol Bury, O. Descargues. Très bon état.

's-Gravenhage 1936-1937, alles samen (code Sc-114).