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.

! Proceedings of the Fourth ACM/IEEE International Conference on Formal Methods and Models for Co-Design

Publisher: Association for Computing Machinery (ACM)

ISBN: 9781424404216

Publication Date: 2006

Book

Content associated with ARDI

Filter :

Collection

Content Type

Publication date(books only)

Subject

Authors

Publisher

Language

Access Type

! Proceedings of the Fourth ACM/IEEE International Conference on Formal Methods and Models for Co-Design

! Proceedings of the Fourth Annual ACM Bangalore Conference

! Proceedings of the fourth annual ACM symposium on Parallel algorithms and architectures

! Proceedings of the fourth annual ACM symposium on Principles of distributed computing

! Proceedings of the fourth annual ACM symposium on Theory of computing

! Proceedings of the fourth annual ACM-SIAM symposium on Discrete algorithms

! Proceedings of the fourth annual conference on Applications of simulation

! Proceedings of the fourth annual international conference on Computational molecular biology

! Proceedings of the fourth annual symposium on Computational geometry

! Proceedings of the fourth annual workshop on Computational learning theory

! Proceedings of the fourth annual workshop on Forth: from the classroom to the real world

! Proceedings of the Fourth Annual Workshop on Simplifying Complex Networks for Practitioners

! Proceedings of the fourth Asia-Pacific conference on Comceptual modelling - Volume 67

! Proceedings of the Fourth Asia-Pacific Symposium on Internetware

! Proceedings of the Fourth Australasian user interface conference on User interfaces 2003 - Volume 18

! Proceedings of the Fourth Australasian Workshop on Health Informatics and Knowledge Management - Volume 108

! Proceedings of the Fourth Australasian Workshop on Health Informatics and Knowledge Management - Volume 120

! Proceedings of the fourth conference on Applied natural language processing

! Proceedings of the fourth conference on European chapter of the Association for Computational Linguistics

! Proceedings of the Fourth Conference on Partitioned Global Address Space Programming Model

! Proceedings of the Fourth Eurographics / IEEE VGTC conference on Volume Graphics

! Proceedings of the fourth Eurographics symposium on Geometry processing

! Proceedings of the Fourth Eurographics Workshop on Parallel Graphics and Visualization

! Proceedings of the Fourth European Conference on Software Architecture: Companion Volume

! Proceedings of the Fourth European Workshop on System Security

! Proceedings of the Fourth IEEE/ACM International Conference on Big Data Computing, Applications and Technologies

! Proceedings of the fourth international ACM conference on Assistive technologies

! Proceedings of the Fourth International ACM Workshop on Managing and Mining Enriched Geo-Spatial Data

! Proceedings of The Fourth International C* Conference on Computer Science and Software Engineering

! Proceedings of the Fourth International Conference on Animal-Computer Interaction

! Proceedings of the fourth international conference on APL

! Proceedings of the fourth international conference on Architectural support for programming languages and operating systems

! Proceedings of the fourth international conference on Autonomous agents

! Proceedings of the fourth international conference on Communities and technologies

! Proceedings of the Fourth International Conference on Engineering &amp; MIS 2018

! Proceedings of the fourth international conference on Functional programming languages and computer architecture

! Proceedings of the fourth international conference on Future energy systems

! Proceedings of the Fourth International Conference on Human Agent Interaction

! Proceedings of the fourth international conference on Information and knowledge management

! Proceedings of the Fourth International Conference on Learning Analytics And Knowledge

! Proceedings of the Fourth International Conference on SImilarity Search and APplications

! Proceedings of the fourth international conference on Tangible, embedded, and embodied interaction

! Proceedings of the Fourth International Conference on Technological Ecosystems for Enhancing Multiculturality

! Proceedings of the fourth international conference on Very Large Data Bases - Volume 4

! Proceedings of the Fourth International ICST Conference on COMmunication System softWAre and middlewaRE

! Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools

! Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems

! Proceedings of the Fourth International Symposium on Chinese CHI

! Proceedings of the Fourth International Workshop on Cloud Data and Platforms

! Proceedings of the fourth international workshop on Cloud data management

! Proceedings of the Fourth international Workshop on Computing Education Research

! Proceedings of the Fourth International Workshop on Crowdsourcing for Multimedia

! Proceedings of the Fourth International Workshop on Data Science for Macro-Modeling with Financial and Economic Datasets

! Proceedings of the fourth international workshop on Data-intensive distributed computing

! Proceedings of the Fourth International Workshop on Games and Software Engineering

! Proceedings of the Fourth International Workshop on Graph Data Management Experiences and Systems

! Proceedings of the Fourth International Workshop on Green and Sustainable Software

! Proceedings of the fourth international workshop on High-level parallel programming and applications

! Proceedings of the Fourth International Workshop on HPC User Support Tools

! Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

! Proceedings of the Fourth International Workshop on Mining Software Repositories

! Proceedings of the Fourth International Workshop on Network-Aware Data Management

! Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages

! Proceedings of the fourth international workshop on Real-time Ada issues

! Proceedings of the Fourth International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering

! Proceedings of the Fourth International Workshop on Social Sensing

! Proceedings of the Fourth International Workshop on Software Engineering for HPC in Computational Science and Engineering

! Proceedings of the fourth international workshop on Software engineering for large-scale multi-agent systems

! Proceedings of the fourth international workshop on Software engineering for secure systems

! Proceedings of the Fourth International Workshop on Testing Database Systems

Publication date
(books only)

! Proceedings of the Fourth International Conference on Engineering & MIS 2018