MPG.eBooks - Search Results - ((lords temporal) OR (cards temporal))

661

Algebraic Methodology and Software Technology : 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings

Published 2002

Springer Berlin Heidelberg

Table of Contents: “... -- Pragmatics of Modular SOS -- Tool-Assisted Specification and Verification of the JavaCard Platform -- Higher...”

Read Now

662

The twelfth report of the commissioners appointed to enquire into the state and condition of the woods, forests, and land revenues of the crown, and to sell or alienate fee farm an...

Published 1792

Read Now

663

The thirteenth report of the commissioners appointed to enquire into the state and condition of the wood, forests, and land revenues of the crown : And to sell or alienate fee farm...

Published 1792

Read Now

664

Managing Chronicity in Unequal States : Ethnographic perspectives on caring

Published 2021

UCL Press

Table of Contents: “... -- Theoretical framework: Temporality, ethics and care -- Clarissa's struggle and the house of cards -- Temporal...”

Read Now

665

By the King. A proclamation

by Charles

Printed by the assigns of Jo. Bill and Chris. Barker

Read Now

666

Algebraic Methodology and Software Technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

Table of Contents: “... Smart Card Applet with Multiple Tools -- Abstracting Call-Stacks for Interprocedural Verification...”

Read Now

667

Fundamental Approaches to Software Engineering : 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2...

Published 2003

Springer Berlin Heidelberg

Table of Contents: “... Specifications of Event Based Applications -- A Spatio-Temporal Logic for the Specification and Refinement...”

Read Now

668

Promissory notes : on the literary conditions of debt

by Goodman, Robin Truth
Published 2018

Lever Press

“..., temporal and spatial representation to construct debt as the negative creation of value not only...”

Read Now

669

Tests and Proofs : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

Table of Contents: “...Security Testing and Formal Methods for High Levels Certification of Smart Cards -- Verification...”

Read Now

670

Advanced Topics in Artificial Intelligence : 11th Australian Joint Conference on Artificial Intelligence, AI'98, Brisbane, Australia, July 13-17, 1998 Selected Papers

Published 1998

Springer Berlin Heidelberg

Table of Contents: “... deduction on a smart card -- Constraint resolution within object hierarchies -- The temporal QCM modelling...”

Read Now

671

Public Key Infrastructure : 4th European PKI Workshop: Theory and Practice, EuroPKI 2007, Palma de Mallorca, Spain, June 28-30, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Table of Contents: “... -- Two Worlds, One Smart Card: An Integrated Solution for Physical Access and Logical Security Using PKI...”

Read Now

672

Consumer data research

Published 2018

UCL Press

Table of Contents: “... -- The provenance of customer loyalty card data / Alyson Lloyd, James Cheshire and Martin Squires -- Retail areas...”

Read Now

673

Promissory Notes : On the Literary Conditions of Debt

by Truth Goodman, Robin
Published 2018

Lever Press

“..., temporal and spatial representation to construct debt as the negative creation of value not only...”

Read Now

674

Integrated Formal Methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Table of Contents: “...Verifying Temporal Properties of CommUnity Designs -- Precise Scenarios – A Customer-Friendly...”

Read Now

675

Machine Learning Methods for Ecological Applications

Published 1999

Springer US

“... and temporal processes, whilst recognising the potential offered by techniques such as RAPD. It is, therefore...”

Read Now

676

Trusted Information : The New Decade Challenge

Published 2001

Springer US

Table of Contents: “... for Security Management -- A Methodology to Detect Temporal Regularities in User Behavior for Anomaly Detection...”

Read Now

677

Identity and Privacy in the Internet Age : 14th Nordic Conference on Secure IT Systems, NordSec 2009, Oslo, Norway, 14-16 October 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

Table of Contents: “... in Cryptographic Implementations of Temporal Access Control -- Blunting Differential Attacks on PIN Processing APIs...”

Read Now

678

The human nervous system

by Mai, Jürgen K.
Published 2012

Elsevier Academic Press

Table of Contents: “... Temporal cortex Lower Brain Stem Regulation of Visceral, Card...”

Read Now

679

Smart Computing and Communication : 5th International Conference, SmartCom 2020, Paris, France, December 29–31, 2020, Proceedings

Published 2021

Springer International Publishing

Table of Contents: “... Driving for Smart City: A Case for End-to-End Learning Utilizing Temporal Information -- A Novel...”

Read Now

680

Conceptual Modeling – ER 2010 : 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010, Proceedings

Published 2010

Springer Berlin Heidelberg

Table of Contents: “...A SchemaGuide for Accelerating the View Adaptation Process -- Operations on Spatio-temporal Data...”

Narrow Search