Content associated with ARDI

ARDI offers access to scholarly literature from diverse fields of science and technology. It promotes the integration of developing and least developed countries into the global knowledge economy, reinforcing the knowledge infrastructure and supporting researchers in creating and developing new solutions to technical challenges on a local and global level.

f Conference proceedings on Formal methods in software development

Editor(s): Moriconi

Information Provider: Association for Computing Machinery (ACM)

ISBN: 9780897914154

Publication Date: 1990

Book

Content associated with ARDI

Filter :

Collection

Content Type

Publication date(books only)

Subject

Authors

Publisher

Language

Access Type

f Conference proceedings on Formal methods in software development

f Conference proceedings on Object-oriented programming systems, languages and applications

f Conference proceedings on Object-oriented programming systems, languages and applications

f Conference proceedings on Object-oriented programming systems, languages and applications

f Conference proceedings on Object-oriented programming systems, languages and applications

f Conference proceedings on Object-oriented programming systems, languages, and applications

f Conference proceedings on Object-oriented programming systems, languages, and applications

! Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

f Conference record of the 5th annual workshop on Microprogramming

f Conference record of the 6th annual workshop on Microprogramming

f Conference record of the 7th annual workshop on Microprogramming

! Conference Terminology (Second Edition)

! Conferences and Conventions (Second Edition)

! Confession

! Confessional Mobility and English Catholics in Counter-Reformation Europe

! Confidence and Legitimacy in Health Information and Communication

! Configurable Computing: Technology and Applications

! Configuration Management for Senior Managers

! Configuration Management Metrics

! Configuring and Troubleshooting Windows XP Professional

! Configuring Check Point NGX VPN-1/Firewall-1

! Configuring Cisco AVVID

! Configuring Cisco Voice Over IP (Second Edition)

! Configuring Citrix MetaFrame for Windows 2000 Terminal Services

! Configuring Citrix MetaFrame XP for Windows

! Configuring Exchange Server 2000

! Configuring IPv6 for Cisco IOS

! Configuring ISA Server 2000

! Configuring Juniper Networks NetScreen & SSG Firewalls

! Configuring NetScreen Firewalls

! Configuring Sonicwall Firewalls

! Configuring Symantec AntiVirus Enterprise Edition

! Configuring Windows 2000 without Active Directory

! Conflict in the Shared Household: Domestic Violence and the Law in India

! Conflict Management for Security Professionals

! Conflict, Negotiation, and Coexistence

! Conflict: How Soldiers Make Impossible Decisions

! Confocal Microscopy

! Confocal Microscopy and Multiphoton Excitation Microscopy: The Genesis of Live Cell Imaging

! Confocal Scanning Optical Microscopy and Related Imaging Systems

! Confocal, Multiphoton, and Nonlinear Microscopic Imaging

! Confocal, Multiphoton, and Nonlinear Microscopic Imaging II

! Confocal, Multiphoton, and Nonlinear Microscopic Imaging III

! Conformal Field Theory and Solvable Lattice Models

! Conformal Geometry and Dynamics

! Conformal Invariance and String Theory

! Conformal Prediction for Reliable Machine Learning

! Conformation in Fibrous Proteins and Related Synthetic Polypeptides

! Conformational Properties of Macromolecules

! Confronting Corruption

Publication date
(books only)