Artículos relacionados a Computer Science Logic: 22nd International Workshop,...
Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings: 5213 (Lecture Notes in Computer Science) - Tapa blanda
Sinopsis
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held as the 17th Annual Conference of the EACSL in Bertinoro, Italy, in September 2008. The 31 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from 102 submissions. All current aspects of logic in computer science are addressed, ranging from foundational and methodological issues to application issues of practical relevance. The book concludes with a presentation of this year's Ackermann award.
"Sinopsis" puede pertenecer a otra edición de este libro.
De la contraportada
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held as the 17th Annual Conference of the EACSL in Bertinoro, Italy, in September 2008.
The 31 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from 102 submissions. All current aspects of logic in computer science are addressed, ranging from foundational and methodological issues to application issues of practical relevance. The book concludes with a presentation of this year's Ackermann award.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 100,54
GRATIS gastos de envío desde Australia a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Computer Science Logic: 22nd International Workshop,...
Imagen de archivo
Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings (Lecture Notes in Computer Science, 5213)
Librería: ALLBOOKS1, Direk, SA, Australia
Calificación del vendedor: 5 de 5 estrellas
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Nº de ref. del artículo: SHUB271279
Cantidad disponible: 1 disponibles
Imagen de archivo
COMPUTER SCIENCE LOGIC : 22ND INTERNATIONAL WORKSHOP, CSL 2008, 17TH ANNUAL CONFERENCE OF THE EACSL, BERTINORO, ITALY, SEPTEMBER 16-19, 2008, PROCEEDINGS
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEJUNE24-271279
Cantidad disponible: 1 disponibles
Imagen de archivo
Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings
Publicado por
Springer-Verlag GmbH, 2008
ISBN 10: 3540875301
ISBN 13: 9783540875307
Antiguo o usado
Tapa blanda
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 4681500/2
Cantidad disponible: 1 disponibles
Imagen de archivo
Computer Science Logic
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. xi + 513 1st Edition. Nº de ref. del artículo: 26394509
Cantidad disponible: 1 disponibles
Imagen de archivo
Computer Science Logic
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. xi + 513 Illus. Nº de ref. del artículo: 7453394
Cantidad disponible: 1 disponibles
Imagen de archivo
Computer Science Logic
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. xi + 513. Nº de ref. del artículo: 18394503
Cantidad disponible: 1 disponibles
Imagen de archivo
Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, . Computer Science and General Issues)
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding. Nº de ref. del artículo: UTD14a-0320
Cantidad disponible: 1 disponibles
Imagen del vendedor
Computer Science Logic
Publicado por
Springer Berlin Heidelberg, 2008
ISBN 10: 3540875301
ISBN 13: 9783540875307
Nuevo
Kartoniert / Broschiert
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Kartoniert / Broschiert. Condición: New. This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held as the 17th Annual Conference of the EACSL in Bertinoro, Italy, in September 2008. The 31 revised full papers presented together with. Nº de ref. del artículo: 4901667
Cantidad disponible: 5 disponibles
Imagen del vendedor
Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings
Publicado por
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2008
ISBN 10: 3540875301
ISBN 13: 9783540875307
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Neuware - This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held as the 17th Annual Conference of the EACSL in Bertinoro, Italy, in September 2008. The 31 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from 102 submissions. All current aspects of logic in computer science are addressed, ranging from foundational and methodological issues to application issues of practical relevance. The book concludes with a presentation of this year's Ackermann award. Nº de ref. del artículo: 9783540875307
Cantidad disponible: 2 disponibles
Imagen de archivo
Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings (Lecture Notes in Computer Science, 5213)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020177643
Cantidad disponible: 1 disponibles