Lecture Notes in Computer Science 4556 Universal Access in Human-Computer Interaction Applications aUAHCI 2007 · Springer-Verlag · 2007

[Lecture Notes in Computer Science] Computer Science - Theory and Applications Volume 5675 || On Models of a Nondeterministic ComputationFrid, Anna; Morozov, Andrey; Rybalchenko, Andrey; Wagner, Klaus W. · 2009

[Lecture Notes in Computer Science] Computer Science – Theory and Applications Volume 4649 || A Fast Algorithm for Path 2-Packing ProblemDiekert, Volker; Volkov, Mikhail V.; Voronkov, Andrei · 2007

[Lecture Notes in Computer Science] Computer Science – Theory and Applications Volume 7913 || The Lovász Local Lemma – A SurveyBulatov, Andrei A.; Shur, Arseny M. · 2013

[Lecture Notes in Computer Science] Computer Science - Theory and Applications Volume 8476 || A Parameterized Algorithm for Packing Overlapping SubgraphsHirsch, Edward A.; Kuznetsov, Sergei O.; Pin, Jean-Éric; Vereshchagin, Nikolay K. · 2014

[Lecture Notes in Computer Science] Theoretical Computer Science and Discrete Mathematics Volume 10398 || A Stream Cipher for Real Time ApplicationsArumugam, S.; Bagga, Jay; Beineke, Lowell W.; Panda, B.S. · 2017

[Lecture Notes in Computer Science] Computer Science – Theory and Applications Volume 5010 || A Unified Categorical Approach for Attributed Graph RewritingHirsch, Edward A.; Razborov, Alexander A.; Semenov, Alexei; Slissenko, Anatol · 2008

[Lecture Notes in Computer Science] Computer Science – Theory and Applications Volume 9691 || On Approximating (Connected) 2-Edge Dominating Set by a TreeKulikov, Alexander S.; Woeginger, Gerhard J. · 2016

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2004 Volume 3099 || Properties of Object Petri NetsCortadella, Jordi; Reisig, Wolfgang · 2004

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2004 Volume 3099 || EMiT: A Process Mining ToolCortadella, Jordi; Reisig, Wolfgang · 2004

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2004 Volume 3099 || Finite Unfoldings of Unbounded Petri NetsCortadella, Jordi; Reisig, Wolfgang · 2004

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2004 Volume 3099 || Petri Net Based Model Validation in Systems BiologyCortadella, Jordi; Reisig, Wolfgang · 2004

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2004 Volume 3099 || An Extensible Editor and Simulation Engine for Petri Nets: RenewCortadella, Jordi; Reisig, Wolfgang · 2004

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2004 Volume 3099 || Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space ComputationCortadella, Jordi; Reisig, Wolfgang · 2004