Cargando…

Unifying theories of programming: 7th international symposium, UTP 2019, dedicated to tony hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019, proceedings

Detalles Bibliográficos
Autores principales:	Ribeiro, Pedro, Sampaio, Augusto
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2019
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2755521

Ejemplares similares

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

Complex analysis: articles dedicated to albert pfluger on the occasion of his 80th birthday
por: Hersch, Joseph, et al.
Publicado: (1988)

Topics in Discrete Mathematics: Dedicated to Jarik Nesetril on the Occasion of His 60th Birthday
por: Klazar, Martin, et al.
Publicado: (2006)

Analysis as a life: dedicated to Heinrich Begehr on the occasion of his 80th birthday
por: Rogosin, Sergei, et al.
Publicado: (2019)

Quantum Chaos—Dedicated to Professor Giulio Casati on the Occasion of His 80th Birthday
por: Robnik, Marko
Publicado: (2023)

Generalized functions and Fourier analysis: dedicated to Stevan Pilipović on the occasion of his 65th birthday
por: Oberguggenberger, Michael, et al.
Publicado: (2017)

Linear and complex analysis: dedicated to V. P. Havin on the occasion of his 75th birthday
por: Alexandrov, Alexei, et al.
Publicado: (2009)

Computability and complexity: essays dedicated to Rodney G. Downey on the occasion of his 60th birthday
por: Day, Adam, et al.
Publicado: (2016)

Commutative algebra: expository papers dedicated to David Eisenbud on the occasion of his 65th birthday
por: Peeva, Irena
Publicado: (2013)

Models, mindsets, meta: essays dedicated to Bernhard Steffen on the occasion of his 60th birthday
por: Margaria, Tiziana, et al.
Publicado: (2019)

Logic, rewriting, and concurrency: essays dedicated to José Meseguer on the occasion of his 65th birthday
por: Martí-Oliet, Narciso, et al.
Publicado: (2015)

Dependable and historic computing: essays dedicated to Brian Randell on the occasion of his 75th birthday
por: Jones, Cliff B, et al.
Publicado: (2011)

Modeled, tested, trusted: essays dedicated to Ed Brinksma on the occasion of his 60th birthday
por: Katoen, Joost-Pieter, et al.
Publicado: (2017)

Principles of modeling: essays dedicated to Edward A. Lee on the occasion of his 60th birthday
por: Lohstroh, Marten, et al.
Publicado: (2018)

Dante Gatteschi: on the Occasion of His 75th Birthday
por: Sorace, Lorenzo, et al.
Publicado: (2020)

Topics in operator theory and interpolation: essays dedicated to M S Livsic on the occasion of his 70th birthday
por: Gohberg, I
Publicado: (1988)

Advances in Applied Mathematics and Global Optimization: Dedicated to Gilbert Strang on the Occasion of His 70th Birthday
por: Gao, David Yang, et al.
Publicado: (2009)

Advances in Mathematical Fluid Mechanics: Dedicated to Giovanni Paolo Galdi on the Occasion of his 60th Birthday
por: Rannacher, Rolf, et al.
Publicado: (2010)

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

Fields of logic and computation II: essays dedicated to Yuri Gurevich on the occasion of his 75th birthday
por: Beklemishev, Lev D, et al.
Publicado: (2015)

Introduction to the special issue dedicated to Michael J. Duff FRS on the occasion of his 70th birthday
por: Borsten, L., et al.
Publicado: (2022)

Symposium on Basic Questions in Elementary-Particle Physics : Dedicated to Werner Heisenberg on the Occasion of his 70th Birthday
por: Max-Planck-Institut für Physik und Astrophysik. München
Publicado: (1972)

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)

Plasma and the universe: dedicated to professor Hannes Alfvén on the occasion of his 80th birthday, 30 may 1988
por: Fälthammar, Carl-Gunne, et al.
Publicado: (1988)

Multivariate algorithmic revolution and beyond: essays dedicated to Michael R. Fellows on the occasion of his 60th birthday
por: Hutchison, David, et al.
Publicado: (2012)

Description logic, theory combination, and all that: essays dedicated to Franz Baader on the occasion of his 60th birthday
por: Lutz, Carsten, et al.
Publicado: (2019)

Theory and practice of formal methods: essays dedicated to Frank de Boer on the occasion of his 60th birthday
por: Ábrahám, Erika, et al.
Publicado: (2016)

Israel Gohberg and Friends: On the Occasion of His 80th Birthday
por: Bart, Harm, et al.
Publicado: (2008)

Gareth R. Eaton: On the Occasion of His 80th Birthday
por: Bowman, Michael, et al.
Publicado: (2021)

For Georgy I. Eskin – On the occasion of his 90th birthday
por: Eskin, Dmitry
Publicado: (2023)

The art and science of modelling material behaviour: a volume dedicated to Paul Germain on the occasion of his 80th birthday
por: Germain, Paul, et al.
Publicado: (2000)

Computational intelligence techniques for comparative genomics: dedicated to Prof. Allam Appa Rao on the occasion of his 65th birthday
por: Muppalaneni, Naresh, et al.
Publicado: (2015)

Operator theory in function spaces and Banach lattices: essays dedicated to AC Zaanen on the occasion of his 80th birthday
por: Huijsmans, C, et al.
Publicado: (1995)

Rational continua, classical and new: a collection of papers dedicated to Gianfranco Capriz on the occasion of his 75th birthday
por: Podio-Guidugli, P, et al.
Publicado: (2002)

Symposium on real-time and hybrid systems: essays dedicated to professor Chaochen Zhou on the occasion of his 80th birthday
por: Jones, Cliff, et al.
Publicado: (2018)

Graph theory, computational intelligence and thought: essays dedicated to Martin Charles Golumbic on the occasion of his 60th birthday
por: Lipshteyn, Marina, et al.
Publicado: (2009)

Discrete Geometry and Symmetry : dedicated to Károly Bezdek and Egon Schulte on the occasion of their 60th birthdays
por: Conder, Marston, et al.
Publicado: (2018)

Lecture Festschrift Jack Steinberger on the occasion of his 65th birthday
por: Charpak, Georges, et al.
Publicado: (1986)

A paean to Arnie Levine on the occasion of his 80th birthday
por: Hinds, Philip W
Publicado: (2019)

Runtime verification: 19th international conference, RV 2019, Porto, Portugal, October 8-11, 2019, proceedings
por: Finkbeiner, Bernd, et al.
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_9bea8s6d1gdgm1819a8c0688o4