Αποτελέσματα για "EATCS"

Αποτελέσματα για "EATCS" Εμφανίζονται 1 - 50 Αποτελέσματα από 81 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22EATCS%22&type=AllFields&lng=el 81 0 50 Introduction to Concurrency Theory Transition Systems and CCS / Thu, 01 Jan 2015 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-319-21491-7 https://find.library.upatras.gr/Record/978-3-319-21491-7 Gorrieri, Roberto Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 Gorrieri, Roberto 0 Decision Procedures An Algorithmic Point of View / Fri, 01 Jan 2016 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-662-50497-0 https://find.library.upatras.gr/Record/978-3-662-50497-0 Kroening, Daniel Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 Kroening, Daniel 0 Graph Transformation First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings / Tue, 01 Jan 2002 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-540-45832-6 https://find.library.upatras.gr/Record/978-3-540-45832-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 FM'99 - Formal Methods World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I / Fri, 01 Jan 1999 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-540-48119-5 https://find.library.upatras.gr/Record/978-3-540-48119-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Automata, Languages and Programming 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings / Wed, 01 Jan 1997 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-540-69194-5 https://find.library.upatras.gr/Record/978-3-540-69194-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 An Introduction to Online Computation Determinism, Randomization, Advice / Fri, 01 Jan 2016 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-319-42749-2 https://find.library.upatras.gr/Record/978-3-319-42749-2 Komm, Dennis Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 Komm, Dennis 0 Words and Graphs Thu, 01 Jan 2015 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-319-25859-1 https://find.library.upatras.gr/Record/978-3-319-25859-1 Kitaev, Sergey Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 Kitaev, Sergey 0 Petri Net Synthesis Thu, 01 Jan 2015 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-662-47967-4 https://find.library.upatras.gr/Record/978-3-662-47967-4 Badouel, Eric Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 Badouel, Eric 0 Graph and Model Transformation General Framework and Applications / Thu, 01 Jan 2015 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-662-47980-3 https://find.library.upatras.gr/Record/978-3-662-47980-3 Ehrig, Hartmut Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 Ehrig, Hartmut 0 Mathematical Foundations of Computer Science 2004 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004. Proceedings / Thu, 01 Jan 2004 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-540-28629-5 https://find.library.upatras.gr/Record/978-3-540-28629-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Models of Computation Sun, 01 Jan 2017 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-319-42900-7 https://find.library.upatras.gr/Record/978-3-319-42900-7 Bruni, Roberto Ηλεκτρονική πηγή Ηλ. βιβλίο 2017 Bruni, Roberto 0 Time-Dependent Scheduling Tue, 01 Jan 2008 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-540-69446-5 https://find.library.upatras.gr/Record/978-3-540-69446-5 Gawiejnowicz, Stanisław Ηλεκτρονική πηγή Ηλ. βιβλίο 2008 Gawiejnowicz, Stanisław 0 Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings / Tue, 01 Jan 2013 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-642-40579-2 https://find.library.upatras.gr/Record/978-3-642-40579-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2013 0 Grammatical Picture Generation A Tree-Based Approach / Sun, 01 Jan 2006 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-540-32507-9 https://find.library.upatras.gr/Record/978-3-540-32507-9 Drewes, Frank Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 Drewes, Frank 0 Software Engineering 2 Specification of Systems and Languages / Sun, 01 Jan 2006 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-540-33193-3 https://find.library.upatras.gr/Record/978-3-540-33193-3 Bjørner, Dines Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 Bjørner, Dines 0 Theoretical Aspects of Local Search Mon, 01 Jan 2007 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-540-35854-1 https://find.library.upatras.gr/Record/978-3-540-35854-1 Michiels, Wil Ηλεκτρονική πηγή Ηλ. βιβλίο 2007 Michiels, Wil 0 Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings / Sun, 01 Jan 2006 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-540-38872-2 https://find.library.upatras.gr/Record/978-3-540-38872-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 0 Software Engineering 3 Domains, Requirements, and Software Design / Sun, 01 Jan 2006 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-540-33653-2 https://find.library.upatras.gr/Record/978-3-540-33653-2 Bjøner, Dines Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 Bjøner, Dines 0 Handbook of Weighted Automata Thu, 01 Jan 2009 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-642-01492-5 https://find.library.upatras.gr/Record/978-3-642-01492-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2009 0 Graphs and Algorithms in Communication Networks Studies in Broadband, Optical, Wireless and Ad Hoc Networks / Fri, 01 Jan 2010 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-642-02250-0 https://find.library.upatras.gr/Record/978-3-642-02250-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Process Algebras for Petri Nets The Alphabetization of Distributed Systems / Sun, 01 Jan 2017 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-319-55559-1 https://find.library.upatras.gr/Record/978-3-319-55559-1 Gorrieri, Roberto Ηλεκτρονική πηγή Ηλ. βιβλίο 2017 Gorrieri, Roberto 0 Stochastic Coalgebraic Logic Thu, 01 Jan 2009 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-642-02995-0 https://find.library.upatras.gr/Record/978-3-642-02995-0 Doberkat, Ernst-Erich Ηλεκτρονική πηγή Ηλ. βιβλίο 2009 Doberkat, Ernst-Erich 0 Unconventional Computation 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings / Fri, 01 Jan 2010 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-642-13523-1 https://find.library.upatras.gr/Record/978-3-642-13523-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Theoretical Aspects of Distributed Computing in Sensor Networks Sat, 01 Jan 2011 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-642-14849-1 https://find.library.upatras.gr/Record/978-3-642-14849-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2011 0 Deterministic Extraction from Weak Random Sources Sat, 01 Jan 2011 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-642-14903-0 https://find.library.upatras.gr/Record/978-3-642-14903-0 Gabizon, Ariel Ηλεκτρονική πηγή Ηλ. βιβλίο 2011 Gabizon, Ariel 0 Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings / Fri, 01 Jan 2010 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-642-15928-2 https://find.library.upatras.gr/Record/978-3-642-15928-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Exact Exponential Algorithms Fri, 01 Jan 2010 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-642-16533-7 https://find.library.upatras.gr/Record/978-3-642-16533-7 Fomin, Fedor V. Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 Fomin, Fedor V. 0 Fault-Tolerant Search Algorithms Reliable Computation with Unreliable Information / Tue, 01 Jan 2013 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-642-17327-1 https://find.library.upatras.gr/Record/978-3-642-17327-1 Cicalese, Ferdinando Ηλεκτρονική πηγή Ηλ. βιβλίο 2013 Cicalese, Ferdinando 0 Extremal Combinatorics With Applications in Computer Science / Sat, 01 Jan 2011 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-642-17364-6 https://find.library.upatras.gr/Record/978-3-642-17364-6 Jukna, Stasys Ηλεκτρονική πηγή Ηλ. βιβλίο 2011 Jukna, Stasys 0 Dissemination of Information in Communication Networks Broadcasting, Gossiping, Leader Election, and Fault-Tolerance / Sat, 01 Jan 2005 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-540-26663-1 https://find.library.upatras.gr/Record/978-3-540-26663-1 Hromkovič, Juraj Ηλεκτρονική πηγή Ηλ. βιβλίο 2005 Hromkovič, Juraj 0 Universal Artificial Intellegence Sequential Decisions Based on Algorithmic Probability / Sat, 01 Jan 2005 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-540-26877-2 https://find.library.upatras.gr/Record/978-3-540-26877-2 Hutter, Marcus Ηλεκτρονική πηγή Ηλ. βιβλίο 2005 Hutter, Marcus 0 A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors / Sat, 01 Jan 2005 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-540-27348-6 https://find.library.upatras.gr/Record/978-3-540-27348-6 Kurki-Suonio, Reino Ηλεκτρονική πηγή Ηλ. βιβλίο 2005 Kurki-Suonio, Reino 0 Abstract Computing Machines A Lambda Calculus Perspective / Sat, 01 Jan 2005 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-540-27359-2 https://find.library.upatras.gr/Record/978-3-540-27359-2 Kluge, W. Ηλεκτρονική πηγή Ηλ. βιβλίο 2005 Kluge, W. 0 Design and Analysis of Randomized Algorithms Introduction to Design Paradigms / Sat, 01 Jan 2005 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-540-27903-7 https://find.library.upatras.gr/Record/978-3-540-27903-7 HromkoviČ, Juraj Ηλεκτρονική πηγή Ηλ. βιβλίο 2005 HromkoviČ, Juraj 0 Complexity Theory and Cryptology An Introduction to Cryptocomplexity / Sat, 01 Jan 2005 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-540-28520-5 https://find.library.upatras.gr/Record/978-3-540-28520-5 Rothe, Jörg Ηλεκτρονική πηγή Ηλ. βιβλίο 2005 Rothe, Jörg 0 Parameterized Complexity Theory Sun, 01 Jan 2006 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-540-29953-0 https://find.library.upatras.gr/Record/978-3-540-29953-0 Flum, Jörg Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 Flum, Jörg 0 Fundamentals of Algebraic Graph Transformation Sun, 01 Jan 2006 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-540-31188-1 https://find.library.upatras.gr/Record/978-3-540-31188-1 Ehrig, Hartmut Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 Ehrig, Hartmut 0 Software Engineering 1 Abstraction and Modelling / Sun, 01 Jan 2006 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-540-31288-8 https://find.library.upatras.gr/Record/978-3-540-31288-8 Bjørner, Dines Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 Bjørner, Dines 0 Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings / Sat, 01 Jan 2005 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-540-31691-6 https://find.library.upatras.gr/Record/978-3-540-31691-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2005 0 Unconventional Computation 4th International Conference, UC 2005, Sevilla, Spain, October 3 – 7, 2005. Proceedings / Sat, 01 Jan 2005 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-540-32022-7 https://find.library.upatras.gr/Record/978-3-540-32022-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2005 0 Arto Salomaa: Mathematician, Computer Scientist, and Teacher A Thematic Biography / Tue, 01 Jan 2019 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-030-16049-4 https://find.library.upatras.gr/Record/978-3-030-16049-4 Paakki, Jukka Ηλεκτρονική πηγή Ηλ. βιβλίο 2019 Paakki, Jukka 0 Dissemination of Information in Optical Networks From Technology to Algorithms In Cooperation with Ralf Klasing / Tue, 01 Jan 2008 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-540-72875-7 https://find.library.upatras.gr/Record/978-3-540-72875-7 Bandyopadhyay, Subir Ηλεκτρονική πηγή Ηλ. βιβλίο 2008 Bandyopadhyay, Subir 0 Modelling Distributed Systems Mon, 01 Jan 2007 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-540-73938-8 https://find.library.upatras.gr/Record/978-3-540-73938-8 Fokkink, Wan Ηλεκτρονική πηγή Ηλ. βιβλίο 2007 Fokkink, Wan 0 Decision Procedures An Algorithmic Point of View / Tue, 01 Jan 2008 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-540-74105-3 https://find.library.upatras.gr/Record/978-3-540-74105-3 Kroening, Daniel Ηλεκτρονική πηγή Ηλ. βιβλίο 2008 Kroening, Daniel 0 Logics of Specification Languages Tue, 01 Jan 2008 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-540-74107-7 https://find.library.upatras.gr/Record/978-3-540-74107-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2008 0 Unfoldings A Partial-Order Approach to Model Checking / Tue, 01 Jan 2008 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-540-77426-6 https://find.library.upatras.gr/Record/978-3-540-77426-6 Esparza, Javier Ηλεκτρονική πηγή Ηλ. βιβλίο 2008 Esparza, Javier 0 Simulation Algorithms for Computational Systems Biology Sun, 01 Jan 2017 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-319-63113-4 https://find.library.upatras.gr/Record/978-3-319-63113-4 Marchetti, Luca Ηλεκτρονική πηγή Ηλ. βιβλίο 2017 Marchetti, Luca 0 Theory of Reversible Computing Sun, 01 Jan 2017 05:46:13 +0200 https://find.library.upatras.gr/Record/978-4-431-56606-9 https://find.library.upatras.gr/Record/978-4-431-56606-9 Morita, Kenichi Ηλεκτρονική πηγή Ηλ. βιβλίο 2017 Morita, Kenichi 0 Combinatorics on Words 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings / Thu, 01 Jan 2015 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-319-23660-5 https://find.library.upatras.gr/Record/978-3-319-23660-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Algorithms in Bioinformatics 9th International Workshop, WABI 2009, Philadelphia, PA, USA, September 12-13, 2009. Proceedings / Thu, 01 Jan 2009 05:46:13 +0200 https://find.library.upatras.gr/Record/978-3-642-04241-6 https://find.library.upatras.gr/Record/978-3-642-04241-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2009 0