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, 1742) de thiagarajan, p. s.; yap, roland (12 resultados)
- Tapa blanda
Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de AmericaZubal-Books, Since 1961
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 50,24
Envío por EUR 3,89Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Good. *Price HAS BEEN REDUCED by 10% until Monday, Aug. 10 (weekend sale item)* 395 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additio…nal duties, taxes, or fees required by recipient's country.
Advances in Computing Science--Asian '99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 : Proceedings
Asian Computing Science Conference 1999; Thiagarajan, P. S.; Yap, Roland H. C.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 59,24
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 57,54
Envío por EUR 18,08Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
PF. Condición: New.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,06
Envío por EUR 13,98Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Advances in Computing Science--Asian '99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 : Proceedings
Asian Computing Science Conference 1999; Thiagarajan, P. S.; Yap, Roland H. C.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 74,93
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Advances in Computing Science--Asian '99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 : Proceedings
Asian Computing Science Conference 1999; Thiagarajan, P. S.; Yap, Roland H. C.
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,51
Envío por EUR 17,51Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Advances in Computing Science--Asian '99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 : Proceedings
Asian Computing Science Conference 1999; Thiagarajan, P. S.; Yap, Roland H. C.
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 66,42
Envío por EUR 17,51Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 63,17Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - The Asian Computing Science Conference (ASIAN) series was initiated in 1995 to provide a forum for researchers in computer science from the Asian region to meet and to promote interaction with researchers from other regions. The previous four confe…rences were held, respectively, in Bangkok, Singapore, Ka- mandu, and Manila. The proceedings were published in the Lecture Notes in Computer Science Series of Springer-Verlag. This year s conference (ASIAN 99) attracted 114 submissions from which 28 papers were selected through an electronic PC meeting. In addition, 11 papers were selected for shorter presentations at the poster sessions. The themes for this year s conference were announced to be: { Embedded and Real-Time Systems { Formal Reasoning and Veric ation { Distributed and Mobile Computing The key note speaker for ASIAN 99 is Amir Pnueli (Weizmann Institute, Israel) and the invited speakers are Nicolas Halbwachs (VERIMAG, CNRS, France) and Krishna Palem (The Georgia Institute of Technology and Courant Institute, New York University, USA). We thank them for accepting our invi- tion. Thisyear sconferenceisbeingsponsoredbytheAsianInstituteofTechnology (Thailand), INRIA (France), the National University of Singapore (Singapore), andUNU/IIST (Macau).We thank allthese institutions fortheir continueds- port of the ASIAN series. This year sconferencewill be held inPhuket,Thailand.We aremuchobliged to the Prince of Songkhla University for providing the conference venue and to Rattana Wetprasit for making the local arrangements. We also wish to thank the PC members and the large number of referees for the substantial work put in by them in assessing the submitted papers.
Idioma: Inglés
Editorial: Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 1999, 1999
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Asian Computing Science Conference (ASIAN) series was initiated in 1995 to provide a forum for researchers in computer science from the Asian region to meet and to promote interaction with researchers from other regions. The pre…vious four conferences were held, respectively, in Bangkok, Singapore, Ka- mandu, and Manila. The proceedings were published in the Lecture Notes in Computer Science Series of Springer-Verlag. This year s conference (ASIAN 99) attracted 114 submissions from which 28 papers were selected through an electronic PC meeting. In addition, 11 papers were selected for shorter presentations at the poster sessions. The themes for this year s conference were announced to be: { Embedded and Real-Time Systems { Formal Reasoning and Veric ation { Distributed and Mobile Computing The key note speaker for ASIAN 99 is Amir Pnueli (Weizmann Institute, Israel) and the invited speakers are Nicolas Halbwachs (VERIMAG, CNRS, France) and Krishna Palem (The Georgia Institute of Technology and Courant Institute, New York University, USA). We thank them for accepting our invi- tion. Thisyear sconferenceisbeingsponsoredbytheAsianInstituteofTechnology (Thailand), INRIA (France), the National University of Singapore (Singapore), andUNU/IIST (Macau).We thank allthese institutions fortheir continueds- port of the ASIAN series. This year sconferencewill be held inPhuket,Thailand.We aremuchobliged to the Prince of Songkhla University for providing the conference venue and to Rattana Wetprasit for making the local arrangements. We also wish to thank the PC members and the large number of referees for the substantial work put in by them in assessing the submitted papers. 420 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 48,37
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 Cryptographi…c Tables.- A Parallel Approximation Algo.
- Tapa blanda
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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 Parall…el 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 420 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 50,25
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. Advances in Computing Science - ASIAN'99 | 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings | P. S. Thiagarajan (u. a.) | Taschenbuch | xii | Englisch | 1999 | Springer | EAN 9783540668565 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartens…tr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
