Saxo Access
Indkøbskurv

UKN

Vis søgefilter

Vis mig kun

Leveraging Applications of Formal Methods, Verification, and Validation

Leveraging Applications of Formal Methods, Verification, and Validation

Steffen, Bernhard

875,33 DKK

Field-Based Coordination for Pervasive Multiagent Systems

Field-Based Coordination for Pervasive Multiagent Systems

Zambonelli, Franco

875,33 DKK

Artificial Intelligence Applications and Innovations

Artificial Intelligence Applications and Innovations

Plagianakos, Vassilis

875,33 DKK

Advances in Information Technology and Education

Advances in Information Technology and Education

Zhou, Mark

875,33 DKK

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Mastroeni, Isabella

436,85 DKK

Advances in Computer Science, Information Security and Privacy

Advances in Computer Science, Information Security and Privacy

Datta, Anupam

436,85 DKK

Technologies for E-Services

Technologies for E-Services

Shan, Ming-Chien

436,85 DKK

Transactions on Computational Collective Intelligence XIII

Transactions on Computational Collective Intelligence XIII

Thi, Hoai An Le

403,64 DKK

Architecting Systems with Trustworthy Components

Architecting Systems with Trustworthy Components

Szyperski, Clemens A.

436,85 DKK

Performance Evaluation and Benchmarking

Performance Evaluation and Benchmarking

Poess, Meikel

436,85 DKK

Wireless Systems and Network Architectures in Next Generation Internet

Wireless Systems and Network Architectures in Next Generation Internet

Fratta, Luigi

436,85 DKK

Agent-Oriented Software Engineering II

Agent-Oriented Software Engineering II

Ciancarini, Paolo

436,85 DKK

Foundations and Applications of Multi-Agent Systems

Foundations and Applications of Multi-Agent Systems

Preist, Christ

436,85 DKK

Emerging Research in Artificial Intelligence and ComputationaI Intelligence

Emerging Research in Artificial Intelligence and ComputationaI Intelligence

Lei, Jingsheng

875,33 DKK

Data Integration in the Life Sciences

Data Integration in the Life Sciences

Jurisica, Igor

403,64 DKK

Balancing Reactivity and Social Deliberation in Multi-Agent Systems

Balancing Reactivity and Social Deliberation in Multi-Agent Systems

Pagello, Enrico

436,85 DKK

Protocol Engineering

Protocol Engineering

Konig, Hartmut

656,09 DKK

Formal Methods and Software Engineering

Formal Methods and Software Engineering

Taguchi, Kenji

436,85 DKK

Software Engineering for Multi-Agent Systems IV

Software Engineering for Multi-Agent Systems IV

Romanovsky, Alexander

436,85 DKK

Eternal Systems

Eternal Systems

Scandariato, Riccardo

436,85 DKK

Computer Security - ESORICS 2020

Computer Security - ESORICS 2020

Schneider, Steve

436,85 DKK

Agent-Oriented Software Engineering XI

Agent-Oriented Software Engineering XI

Gleizes, Marie-Pierre

436,85 DKK

Smart Sensing and Context

Smart Sensing and Context

Sundramoorthy, Vasughi

436,85 DKK

Advanced Information Systems Engineering

Advanced Information Systems Engineering

Wrycza, Stanislaw

436,85 DKK

Computing and Intelligent Systems

Computing and Intelligent Systems

Wu, Yanwen

875,33 DKK

Intelligent Computing Theories and Application

Intelligent Computing Theories and Application

Gupta, Phalguni

875,33 DKK

Recent Trends in Wireless and Mobile Networks

Recent Trends in Wireless and Mobile Networks

Nagamalai, Dhinaharan

875,33 DKK

Computational Science and Its Applications -- ICCSA 2012

Computational Science and Its Applications -- ICCSA 2012

Apduhan, Bernady O.

436,85 DKK

Communication in Multiagent Systems

Communication in Multiagent Systems

Huget, Marc-Phillipe

436,85 DKK

Semantic Web: Research and Applications

Semantic Web: Research and Applications

May, Wolfgang

875,33 DKK