Artículos relacionados a Advances in Computing Science - ASIAN'99: 5th Asian...

Advances in Computing Science - ASIAN'99: 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings - Tapa blanda

 
9783662211540: Advances in Computing Science - ASIAN'99: 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings

Sinopsis

Invited Talks.- Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing.- Emerging Application Domains and the Computing Fabric.- Regular Papers.- The Game of the Name in Cryptographic Tables.- A Parallel Approximation Algorithm for the Max Cut Problem on Cubic Graphs.- Rapid Prototyping Techniques for Fuzzy Controllers.- Transactional Cache Management with A periodic Invalidation Scheme in Mobile Environments.- Observable Sharing for Functional Circuit Description.- Relating May and Must Testing Semantics for Discrete Timed Process Algebras.- A Framework for Formal Reasoning about Open Distributed Systems.- Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic.- Verifying Probabilistic Programs Using a Hoare like Logic.- An Expressive Extension of TLC.- Completeness and Decidability of a Fragment of Duration Calculus with Iteration.- Logical Relations in Circuit Verification.- Lemma Generalization and Non-unit Lemma Matching for Model Elimination.- On Automating Inductive and Non-inductive Termination Methods.- Asynchronous Links in the PBC and M-Nets.- Demand-Driven Model Checking for Context-Free Processes.- Programming the Mobility Behaviour of Agents by Composing Itineraries.- Faster Model Checking for Open Systems.- An Argumentation Approach to Semantics of Declarative Programs with Defeasible Inheritance.- Entailment of Non-structural Subtype Constraints.- A CPS-Transform of Constructive Classical Logic.- Formal Verification of the MCS List-Based Queuing Lock.- BDD-Nodes Can Be More Expressive.- Formal Verification of Descriptions with Distinct Order of Memory Operations.- Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs.- On L k (Q) Types and Boundedness of IFP(Q) on Finite Structures.- Separators Are as Simple as Cutsets.- Ant Colony Optimization for the Ship Berthing Problem.- Poster Session Abstracts.- Security Modeling and Evaluation for the Mobile Code Paradigm.- CASA - Structured Design of a Specification Language for Intelligent Agents.- An Efficient Location Management by Optimal Location Area Partitioning in PCS Networks.- Programming with Explicit Regions.- A Verification Technique Based on Syntactic Action Refinement in a TCSP-like Process Algebra and the Hennessy-Milner-Logic.- Formal Verification of Secret Sharing Protocol Using Coq.- On Feasibility, Boundedness and Redundancy of Systems of Linear Constraints over R 2-Plane.- Deduction in Logic of Association Rules.- Asynchronous Migration in Parallel Genetic Programming.- Verification Results for a Multimedia Protocol.- Multipoint-to-Point ABR Service with Fair Intelligent Congestion Control in ATM Networks.

"Sinopsis" puede pertenecer a otra edición de este libro.

  • EditorialSpringer
  • Año de publicación2014
  • ISBN 10 3662211548
  • ISBN 13 9783662211540
  • EncuadernaciónTapa blanda
  • IdiomaInglés
  • Número de páginas416
  • EditorThiagarajan P.S., Yap Roland
  • Contacto del fabricanteno disponible

Comprar nuevo

Ver este artículo

EUR 4,74 gastos de envío desde Reino Unido a España

Destinos, gastos y plazos de envío

Otras ediciones populares con el mismo título

9783540668565: Advances in Computing Science - ASIAN'99: 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings: 1742 (Lecture Notes in Computer Science)

Edición Destacada

ISBN 10:  354066856X ISBN 13:  9783540668565
Editorial: Springer, 2008
Tapa blanda

Resultados de la búsqueda para Advances in Computing Science - ASIAN'99: 5th Asian...

Imagen de archivo

Publicado por Springer, 2014
ISBN 10: 3662211548 ISBN 13: 9783662211540
Nuevo Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. In. Nº de ref. del artículo: ria9783662211540_new

Contactar al vendedor

Comprar nuevo

EUR 56,01
Convertir moneda
Gastos de envío: EUR 4,74
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Publicado por Springer Nature B.V., 2014
ISBN 10: 3662211548 ISBN 13: 9783662211540
Nuevo PAP
Impresión bajo demanda

Librería: PBShop.store UK, Fairford, GLOS, Reino Unido

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9783662211540

Contactar al vendedor

Comprar nuevo

EUR 56,76
Convertir moneda
Gastos de envío: EUR 4,41
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Publicado por Springer Nature B.V., 2014
ISBN 10: 3662211548 ISBN 13: 9783662211540
Nuevo PAP
Impresión bajo demanda

Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9783662211540

Contactar al vendedor

Comprar nuevo

EUR 60,68
Convertir moneda
Gastos de envío: EUR 0,95
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito