Artículos relacionados a Logic, Language, and Security: Essays Dedicated to...
Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday: 12300 (Theoretical Computer Science and General Issues) - Tapa blanda
Sinopsis
This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday.
The 11 technical papers and 3 short papers included in this volume show the many transformative discoveries made by Andre Scedrov in the areas of linear logic and structural proof theory; formal reasoning for networked systems; and foundations of information security emphasizing cryptographic protocols. These papers are authored by researchers around the world, including North America, Russia, Europe, and Japan, that have been directly or indirectly impacted by Andre Scedrov.
The chapter “A Small Remark on Hilbert's Finitist View of Divisibility and Kanovich-Okada-Scedrov's Logical Analysis of Real-Time Systems” is available open access under a CC BY 4.0 license at link.springer.com.
"Sinopsis" puede pertenecer a otra edición de este libro.
De la contraportada
This Festschrift is in honor of Prof. Andre Scedrov at the University of Pennsylvania. Scedrov has laid the foundations for a number of now well-established domains in mathematics and computer science including Proof Theory, Logic in Computer Science, Foundations in Computer Security, and Linguistics.
This combination of breadth and penetrating originality is rare and impressive. This Festschrift only tries to reflect this combination with a number of contributions distributed among these different topics.
It contains 11 technical articles and 3 short papers organized among sections on Logic, Logic and Computing, Logic and Security, and Logic and Language. Those articles are authored by researchers around the world, including North America, Russia, Europe, and Japan, that have been directly or indirectly impacted by Andre Scedrov.
The chapter A Small Remark on Hilbert's Finitist View of Divisibility and Kanovich-Okada-Scedrov's Logical Analysis of Real-Time Systems is available open access under a CC BY 4.0 license at link.springer.com.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 64,19
EUR 11,00 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Logic, Language, and Security: Essays Dedicated to...
Imagen del vendedor
Logic, Language, and Security
Publicado por
Springer International Publishing Okt 2020, 2020
ISBN 10: 303062076X
ISBN 13: 9783030620769
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 216 pp. Englisch. Nº de ref. del artículo: 9783030620769
Cantidad disponible: 2 disponibles
Imagen del vendedor
Logic, Language, and Security : Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
Publicado por
Springer International Publishing, Springer International Publishing, 2020
ISBN 10: 303062076X
ISBN 13: 9783030620769
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering. Nº de ref. del artículo: 9783030620769
Cantidad disponible: 1 disponibles
Imagen del vendedor
Logic, Language, and Security
Publicado por
Springer International Publishing, 2020
ISBN 10: 303062076X
ISBN 13: 9783030620769
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 410051481
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783030620769_new
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9783030620769
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Logic, Language, and Security : Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783030620769
Cantidad disponible: 10 disponibles
Imagen de archivo
Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues)
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. X, 203 292 illus., 16 illus. in color. 1 Edition NO-PA16APR2015-KAP. Nº de ref. del artículo: 26384560675
Cantidad disponible: 4 disponibles
Imagen de archivo
Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues)
Impresión bajo demandaLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Print on Demand pp. X, 203 292 illus., 16 illus. in color. Nº de ref. del artículo: 379343356
Cantidad disponible: 4 disponibles
Imagen del vendedor
Logic, Language, and Security
Publicado por
Springer International Publishing, Springer Nature Switzerland Okt 2020, 2020
ISBN 10: 303062076X
ISBN 13: 9783030620769
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch. Nº de ref. del artículo: 9783030620769
Cantidad disponible: 2 disponibles
Imagen de archivo
Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 203 pages. 9.25x6.10x0.55 inches. In Stock. Nº de ref. del artículo: x-303062076X
Cantidad disponible: 2 disponibles