Luca viganò (31 Ergebnisse)

Zustand: New. In English.

Zustand: new.

Zustand: New. In English.

Zustand: New. In English.

Kartoniert / Broschiert. Zustand: New. Redaktion: Andri GerberAndri Gerber ist Staedtebauhistoriker und Stadtmetaphorologe. Er wurde an der ETH Zuerich promoviert und habilitiert und ist Professor am Institut Urban Landscape, ZHAW Winterthur.Redaktion: Regula IseliRegula Isel.

Paperback. Zustand: Brand New. 2009 edition. 223 pages. 9.30x6.10x0.50 inches. In Stock.

Zustand: New. In English.

Zustand: New. In English.

Paperback. Zustand: Brand New. 219 pages. 9.25x6.10x0.46 inches. In Stock.

Zustand: New.

Taschenbuch. Zustand: Neu. Tests and Proofs | 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings | Margus Veanes (u. a.) | Taschenbuch | x | Englisch | 2013 | Springer | EAN 9783642389153 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Zustand: Neu. Principles of Security and Trust | 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings | Frank Piessens (u. a.) | Taschenbuch | x | Englisch | 2016 | Springer | EAN 9783662496343 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Foundations and Applications of Security Analysis | Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers | Pierpaolo Degano (u. a.) | Taschenbuch | x | Englisch | 2009 | Springer | EAN 9783642034589 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Paperback. Zustand: Brand New. 288 pages. 9.25x6.10x0.68 inches. In Stock.

Taschenbuch. Zustand: Neu. Labelled Deduction | David Basin (u. a.) | Taschenbuch | Applied Logic Series | xi | Englisch | 2012 | Springer | EAN 9789401057813 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Socio-Technical Aspects in Security and Trust | 10th International Workshop, STAST 2020, Virtual Event, September 14, 2020, Revised Selected Papers | Thomas Groß (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2021 | Springer | EAN 9783030793173 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Zustand: New. In English.

Zustand: New. In English.

Zustand: New.

Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences. The 12 revised full papers presented together with one tutorial were carefully reviewed and selected from 24 submissions. The papers are devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality. The papers are related to the following topics: test generation; model-based testing and mutants; declarative debugging; and tool testing.…

Gebunden. Zustand: New.

Zustand: New. Discuses about Labelled deduction which is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Editor(s): Basin, David; D'Agostino, Marcello (University of Ferrara, Italy); Gabbay, Dov M.; Matthews, Sean (Logica GmbH, Franfurt am Main, Germany); Vigano, Luca (Albert-Ludwigs-Universitat, Freiburg, Germany). Series: Applied Logic Series. Num Pages: 267 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 17. Weight in Grams: 576. . 2000. annotated ed. Hardback. . . . . Books ship from the US and Ireland. …

Zustand: New.

Gebunden. Zustand: New.

Zustand: New. In English.

Zustand: New. In English.

Paperback. Zustand: Brand New. 308 pages. 9.21x6.14x0.70 inches. In Stock.

Zustand: New. The subject of this text is the development and investigation of a framework for the modular and uniform presentation and implementation of non-classical logics, in particular modal and relevance logics. Num Pages: 292 pages, biography. BIC Classification: PBCD; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 615. . 2000. annotated ed. Hardback. . . . . Books ship from the US and Ireland. …

Paperback. Zustand: Brand New. 224 pages. German language. 9.45x6.65x0.75 inches. In Stock.

Brossura editoriale con titoli a stampa e illustrazione applicata (piccola abrasione), cm 17 x 12.5, pp XXIV + 44 tavole protette da velina, in parte doppie e ripiegate. Leggermente allentata la legatura. Elegante volumetto che presenta la produzione all'acquaforte del pittore Vico Viganò (Cernusco sul Naviglio 1874 - 1967), diplomatosi a Brera nel 1896 e affermatosi in questa tecnica incisoria attorno alla fine del secolo XIX. Dopo una fase iniziale prevalentemente caratterizzata dall'interpretazione di dipinti di Tranquillo Cremona, l'artista si dedicò ad una produzione originale ispirata a scene di vita rurale e vedute del Verbano. Il libro, prefatto dallo storico dell'arte Luca Beltarami, fu pubblicato nel 1910 dall'Associazione Italiana Acquafortisti e Incisori, fondata quello stesso anno dal Viganò: in calce al volume presentazione dell'Associazione, regolamento e elenco degli aderenti (tra questi, Luigi Conconi). Questo esemplare è impreziosito da un invio autografo dell'incisore, datato 1928. Piccola abrasione sull'illustrazione applicata sul piatto anteriore, legatura allentata (scollata al dorso). Invio autografo dell'autore.…