-
661Έκδοση 2002Πίνακας περιεχομένων: “… -- Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
662Έκδοση 2018Πίνακας περιεχομένων: “…: The Computational Complexity of Physical Devices -- Membrane Computing, Power and Complexity -- Molecular Automata…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
663Πίνακας περιεχομένων: “… -- Strategies of information encoding -- Important quantum routines -- Quantum advantages -- Computational…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
664Έκδοση 2010Πίνακας περιεχομένων: “…Invited Talks -- Is Computational Complexity a Barrier to Manipulation? -- Games, Norms…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
665Έκδοση 2002Πίνακας περιεχομένων: “… -- Towards a Predictive Computational Complexity Theory -- Equivariant Syntax and Semantics -- L(A) = L(B…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
666
-
667Έκδοση 2003Πίνακας περιεχομένων: “… for Mobility -- Program Design, Models and Analysis -- On the Computational Complexity of Cut-Elimination…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
668Έκδοση 2002Πίνακας περιεχομένων: “… for Weak Implicit Computational Complexity -- Extending Compositional Message Sequence Graphs -- Searching…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
669Έκδοση 2004Πίνακας περιεχομένων: “… Machines: Universality and Limits of Computational Power -- 12. Computational Complexity -- 13. Grammars…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
670Πίνακας περιεχομένων: “… Computation: MM +/- X -- Theory -- Computational Complexity and Mathematical Proofs -- Logic for Computer…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
671ανά Μότση, Κατερίνα“… the computational complexity of problems in simulations of large-scale dynamical systems and control systems…”
Έκδοση 2019
Λήψη πλήρους κειμένου
Thesis -
672
-
673
-
674Έκδοση 2015Πίνακας περιεχομένων: “… Types for Incremental Computational Complexity -- Monotonic References for Efficient Gradual Typing…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
675
-
676
-
677
-
678Έκδοση 2014Πίνακας περιεχομένων: “… Problems in Molecular Simulation.- Topics in Computer Science -- The Computational Complexity of Density…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
679Έκδοση 2005Πίνακας περιεχομένων: “…Invited Papers -- Semiperfect-Information Games -- Computational Complexity Since 1980…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
680