LEADER 04750oam 2200589 450 001 996466368803316 005 20210715093449.0 010 $a3-540-46674-6 024 7 $a10.1007/3-540-46674-6 035 $a(CKB)1000000000211336 035 $a(SSID)ssj0000320899 035 $a(PQKBManifestationID)11283775 035 $a(PQKBTitleCode)TC0000320899 035 $a(PQKBWorkID)10259300 035 $a(PQKB)10013959 035 $a(DE-He213)978-3-540-46674-1 035 $a(MiAaPQ)EBC3073326 035 $a(MiAaPQ)EBC6485892 035 $a(PPN)155191748 035 $a(EXLCZ)991000000000211336 100 $a20210715d1999 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aAdvances in computing science - ASIAN '99 $e5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 : proceedings /$fP. S. Thiagarajan, Roland Yap, editors 205 $a1st ed. 1999. 210 1$aBerlin ;$aHeidelberg :$cSpringer Verlag,$d[1999] 210 4$d©1999 215 $a1 online resource (XII, 408 p.) 225 1 $aLecture Notes in Computer Science ;$vVolume 1742 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-66856-X 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited 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. 410 0$aLecture notes in computer science ;$vVolume 1742. 606 $aElectronic data processing$xAbility testing 606 $aComputer science$xResearch 615 0$aElectronic data processing$xAbility testing. 615 0$aComputer science$xResearch. 676 $a004.071 702 $aThiagarajan$b P. S. 702 $aYap$b Roland 712 12$aAsian Computing Science Conference 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bUtOrBLW 906 $aBOOK 912 $a996466368803316 996 $aAdvances in computing science - ASIAN '99$92282980 997 $aUNISA LEADER 01213oam 2200313z- 450 001 9910689556703321 005 20161209101813.0 035 $a(CKB)5470000000935009 035 $a(WsH)cbhnovembercabcsxb 035 $a(BIP)008677886 035 $a(EXLCZ)995470000000935009 100 $a20211006c2002uuuu -u- - 101 0 $aeng 200 10$aBiological Weapons Convention protocol $estatus and implications : hearing before the Subcommittee on National Security, Veterans Affairs, and International Relations of the Committee on Government Reform, House of Representatives, One Hundred Seventh Congress, first session, June 5, 2001 215 $a1 online resource (iii, 104 p.) 311 $a0-16-068856-6 517 $aBiological Weapons Convention protocol 606 $aBiological warfare (International law) 606 $aBiological arms control$zUnited States 610 $aBiological warfare 610 $aArms control 610 $aHistory 610 $aPolitical science 615 0$aBiological warfare (International law) 615 0$aBiological arms control 906 $aBOOK 912 $a9910689556703321 996 $aBiological Weapons Convention protocol$93208667 997 $aUNINA