• Daneshyari
  • Topics
    • Physical Sciences and Engineering
      Life Sciences
      Health Sciences
      Social Sciences and Humanities
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics

Preface

Article ID Journal Published Year Pages File Type
423848 Electronic Notes in Theoretical Computer Science 2011 4 Pages PDF
Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics
Preview
Preface
Authors
Erns Leiss, Rodrigo M. Santos,
Related Articles
Performance Analysis of Collective Adaptive Behaviour in Time and Space
Adapting Hidden Markov Models for Online Learning
Dynamic Subtask Dispersion Reduction in Heterogeneous Parallel Queueing Systems
Numerically-aided Deductive Safety Proof for a Powertrain Control System
A Parameterized Floating-Point Formalizaton in HOL Light
A Certifying Square Root and Division Elimination
An Introduction to Algebraic Effects and Handlers. Invited tutorial paper
A Presheaf Model of Parametric Type Theory
A Model of Guarded Recursion With Clock Synchronisation
Towards Compositional Graph Theory
Journal
Electronic Notes in Theoretical Computer Science
Journal: Electronic Notes in Theoretical Computer Science
Related Categories
Artificial Intelligence
Computational Theory and Mathematics
Computer Graphics and Computer-Aided Design
Computer Networks and Communications
Computer Science (General)
Computer Science Applications
Computer Vision and Pattern Recognition
Hardware and Architecture
Human-Computer Interaction
Information Systems
Signal Processing
Software
Related Journals
Computational Biology and Chemistry
Artificial Intelligence
Information Systems
International Journal of Electrical Power & Energy Systems
Big Data Research
Computational Geometry
Computational Statistics & Data Analysis
Computer Languages, Systems & Structures
Discrete Applied Mathematics
Future Generation Computer Systems
Fuzzy Information and Engineering
Information and Computation
Information Processing Letters
Journal of Algorithms
Journal of Computational Science
Journal of Computer and System Sciences
Journal of Discrete Algorithms
Journal of Innovation in Digital Ecosystems
The Journal of Logic and Algebraic Programming
Journal of Logical and Algebraic Methods in Programming
Journal of Parallel and Distributed Computing
Science of Computer Programming
Theoretical Computer Science
Daneshyari provides fulltext access to millions of research papers.