Inicio > > Redes y comunicaciones informáticas > From Lambda Calculus to Cybersecurity Through Program Analysis
From Lambda Calculus to Cybersecurity Through Program Analysis

From Lambda Calculus to Cybersecurity Through Program Analysis

 

47,77 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2020
Materia
Redes y comunicaciones informáticas
ISBN:
9783030411046
47,77 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

This Festschrift is in honor of Chris Hankin, Professor at the Imperial College in London, UK, on the Occasion of His 65th Birthday.Chris Hankin is a Fellow of the Institute for Security Science and Technology and a Professor of Computing Science.His research is in cyber security, data analytics and semantics-based program analysis. He leads multidisciplinary projects focused on developing advanced visual analytics and providing better decision support to defend against cyber attacks. This Festschrift is a collection of scientific contributions related to the topics that have marked the research career of Professor Chris Hankin. The contributions have been written to honour Chris’ career and on the occasion of his retirement.

Artículos relacionados

  • INTRODUCTION TO LINEAR OPTIMIZATION
    Arkadi Nemirovski / NEMIROVSKI ARKADI
    The book presents a graduate level, rigorous, and self-contained introduction to linear optimization (LO), the presented topics beingexpressive abilities of LO;geometry of LO - structure of polyhedral sets, LO duality and its applications;traditional LO algorithms - primal and dual simplex methods, and network simplex method;polynomial time solvability of LO via ellipsoid algor...
  • INTRODUCTION TO LINEAR OPTIMIZATION
    Arkadi Nemirovski / NEMIROVSKI ARKADI
    The book presents a graduate level, rigorous, and self-contained introduction to linear optimization (LO), the presented topics beingexpressive abilities of LO;geometry of LO - structure of polyhedral sets, LO duality and its applications;traditional LO algorithms - primal and dual simplex methods, and network simplex method;polynomial time solvability of LO via ellipsoid algor...
    Disponible

    88,43 €

  • CONTINUOUS-TIME MARKOV-MODULATED CHAINS OPERATIONS RESEARCH
    Alexander Andronov / ANDRONOV ALEXANDER / Kristina Mahareva / KRISTINA MAHAREVA ALEXANDER ANDRONOV
    Probabilistic models are widely used for description and an analysis of various processes in system reliability, risk, queuing, data communication, logistic and storage systems. The book contains various applications of the theory of continuous-time Markov-modulated processes in operation research. All analytical results are illustrated by numerical computations. Used algorithm...
  • SHADOWS OF THE CIRCLE (2ND ED)
    HANSEN VAGN LUNDSGAARD / Vagn Lundsgaard Hansen
    The ancient Greeks were the first to seriously ask for scientific explanations of the panorama of the heavens based on mathematical ideas. Ever since, mathematics has played a major role for human perception and description of the outside physical world, and in a larger perspective for comprehending the universe. This second edition pays tribute to this line of thought and take...
  • Optimization of Dynamical Systems with Impulse Controls and Shocks
    Boris Miller / Evgeny Rubinovich
    This text explores the state-of-the-art in the rapidly developing theory of impulse control and introduces the theory of singular space-time transformations, a new method for studying shock mechanical systems. Two approaches in the theory of impulse control are presented: The first, more traditional approach defines the impulsive action as a discontinuity of phase coordinates d...
  • Applications of Advanced Optimization Techniques in Industrial Engineering
    This book provides different approaches used to analyze, draw attention, and provide an understanding of the advancements in the optimization field across the globe. ...