Cargando…

Foundations of security, protocols, and equational reasoning: essays dedicated to Catherine A. Meadows

Detalles Bibliográficos
Autores principales:	Guttman, Joshua D, Landwehr, Carl E, Meseguer, José, Pavlovic, Dusko
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2019
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2755634

Ejemplares similares

Catherine Héroux
por: Marwaha, Seema
Publicado: (2021)

Algebraic foundations in computer science: essays dedicated to Symeon Bozapalidis on the occasion of his retirement
por: Kuich, Werner, et al.
Publicado: (2011)

Encounter with Catherine Laverrière
por: Staff Association
Publicado: (2018)

Catherine Strunk Amatruda
por: Baldwin, Joseph V.
Publicado: (1949)

Mrs. Catherine Cumming
Publicado: (1853)

Catherine Dunnington Ennis
Publicado: (2017)

Catherine III : una pasión turbulenta
por: Benzoni, Juliette
Publicado: (1971)

Catherine the Great: life and legend
por: Appleby, John H.
Publicado: (1990)

Catherine Magnier (1968 - 2016)
Publicado: (2016)

The Case of Mrs. Catherine Cumming
Publicado: (1852)

A Conversation with Catherine Chappell
por: Madhusoodanan, Jyoti
Publicado: (2020)

The Sterility of Catherine De Medici
por: Packard, Francis R.
Publicado: (1919)

An essay on the foundations of geometry
por: Russell, Bertran A. W.
Publicado: (1956)

An essay on the foundations of geometry
por: Russell, Bertrand
Publicado: (1956)

Famous Poisoners in Fiction: III. Catherine
Publicado: (1893)

From database to cyber security: essays dedicated to Sushil Jajodia on the occasion of his 70th birthday
por: Samarati, Pierangela, et al.
Publicado: (2018)

Programming languages with applications to biology and security: essays dedicated to pierpaolo degano on the occasion of his 65th birthday
por: Bodei, Chiara, et al.
Publicado: (2015)

Catherine, los caballeros de la reina /
por: Benzoni, Juliette
Publicado: (1976)

The alleged miscarriages of Catherine of Aragon and Anne Boleyn.
por: Dewhurst, J
Publicado: (1984)

Vive La Différence: An Interview with Catherine Dulac
por: Gitschier, Jane
Publicado: (2011)

The Mineral Waters of St. Catherines, Canada West
Publicado: (1858)

The birth of reason & other essays /
por: Santayana, George, 1863-1952
Publicado: (1968)

Essays on the Foundations of Mathematics by Moritz Pasch
por: Pollard, Stephen
Publicado: (2010)

Cognitive functionality of older men in St. Catherine, Jamaica
por: Bourne, Paul A., et al.
Publicado: (2010)

Understanding Zika virus pathogenesis: an interview with Catherine Spong
por: Spong, Catherine Y.
Publicado: (2016)

Life as an early career researcher: interview with Catherine Martel
por: Martel, Catherine
Publicado: (2016)

St. Catherine's Home for Cancer and Incurable Diseases, Bradford, Yorkshire
Publicado: (1901)

Reason and nature: an essay on the meaning of scientific method
por: Cohen, Morris Raphael
Publicado: (1959)

Visit of Catherine Sarlandie de la Robertie, Prefect of Ain, France
por: Hertzog, Samuel Joseph
Publicado: (2020)

Doctor Thomas Dimsdale, and Smallpox in Russia: The Variolation of the Empress Catherine the Great
por: Griffiths, John
Publicado: (1984)

Assessment of Radon Levels in Drinking Water Wells in St. Catherine, Jamaica
por: Smith, Leonard, et al.
Publicado: (2017)

Algebraic foundations of many-valued reasoning
por: Cignoli, Roberto L O, et al.
Publicado: (2000)

From population control to reproductive health and rights: a donor’s journey: The John D and Catherine T MacArthur Foundation’s population and reproductive health program, 1986–2019
por: Bissell, Sharon, et al.
Publicado: (2021)

Logic, language and reasoning: essays in honour of Dov Gabbay
por: Ohlbach, Hans, et al.
Publicado: (1999)

Validation of the Catherine Bergego Scale in patients with unilateral spatial neglect after stroke
por: Marques, Carlos Leonardo Sacomani, et al.
Publicado: (2019)

Foundational essays on topological manifolds, smoothings, and triangulations (AM-88)
por: Kirby, Robion C, et al.
Publicado: (1977)

Functional Analysis and Evolution Equations: Dedicated to Gunter Lumer
por: Amann, Herbert, et al.
Publicado: (2008)

Sediment Characteristics Determine the Flowering Effort of Zostera noltei Meadows Inhabiting a Human-Dominated Lagoon
por: Guerrero-Meseguer, Laura, et al.
Publicado: (2021)

The new codebreakers: essays dedicated to david kahn on the occasion of his 85th birthday
por: Ryan, Peter Y A, et al.
Publicado: (2016)

A Brief Notice of “The Artesian Well and Saline Baths,” at St. Catherines, Canada West
por: Mack, Theophilus
Publicado: (1856)

Cannot write session to /tmp/vufind_sessions/sess_ttm0m1tg1kiabvt0k0ahhf6t0l