Ninth meeting of the European Geophysical Society leeds, U.K. August 23–27, 1982 geophysical fluid dynamics
- 期刊名称Geophysical & Astrophysical Fluid Dynamics
- 卷第19卷
- 印刷ISSN0309-1929
- 电子ISSN1029-0419
- 文件大小98.90KB
- 发表时间1982-03
- DOI10.1080/03091928208208964
- 页码333-334
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