Timed Automata as a Verification Tool for Security Protocols

An Analysis on a Case Study

Burcu Külahçıoğlu - ISBN: 978-3-8443-9460-3

€ 49,00

Intuitive formal modelling of biological systems

From an intuitive narrative description of biological systems to their formal computational analysis

Maria Luisa Guerriero - ISBN: 978-3-8383-6269-4

€ 59,00

ADVANCED DATA PREFETCHING DESIGN FOR MODERN PROCESSORS

PREFETCHING REGULAR STREAM, LINKED DATA STRUCTURE, AND CORRELATED MISS PATTERN

Gang Liu - ISBN: 978-3-8443-9683-6

€ 49,00

ASSESSMENT FOR LEARNING IN PHYSICAL SCIENCE

Factors that Make Students Succeed in Performing Assessment Tasks

Eddie Fetalvero - ISBN: 978-3-8443-9684-3

€ 59,00

Multi-scale assessment of intermodal freight networks in Europe

geo-spatial approach

Mikhail Grishchenko - ISBN: 978-3-8443-9509-9

€ 49,00

Ocular Formulations Using Natural Polymer

Ocular Solutions, Drops and Gels by using Natural Polymer

DR. PARESH A. PRAJAPATI, DR. MADHABHAI M. PATEL - ISBN: 978-3-8443-9695-9

€ 79,00

Yaksha Prashna

Ethical behavior

Akshay Chaitanya - ISBN: 978-3-8443-9744-4

€ 49,00

ALGORITHMS FOR RHOTRIX MULTIPLICATION ON 2-D PROCESS GRID TOPOLOGIES

Parallel Rhotrix Multiplication Using MPI and Systolic Array Architecture: From Sequential to Parallel Implementation

Absalom Ezugwu, Sahalu Junaidu - ISBN: 978-3-8443-9759-8

€ 79,00

SOCIO-ECONOMIC DIFFERENTIALS IN FERTILITY

The case of Zimbabwe from 1980 to 2005

Garikayi Bernard Chemhaka - ISBN: 978-3-8443-9767-3

€ 59,00

Vehicle Destination Prediction Using GPS Tracking

Analysis Using Velocity Based Particle Filters

Zaif Dabestani - ISBN: 978-3-8443-9800-7

€ 49,00