Transactions on Petri Nets and Other Models of Concurrency XII /

QR Code

Transactions on Petri Nets and Other Models of Concurrency XII /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Koutny, Maciej. (Editor), Kleijn, Jetty. (Editor), Penczek, Wojciech. (Editor), Zhang, Mingmin. (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017.
Edition:	1st ed. 2017.
Series:	Transactions on Petri Nets and Other Models of Concurrency, 10470
Subjects:	Software engineering. Computer logic. Algorithms. Data structures (Computer science). Software Engineering. Logics and Meanings of Programs. Algorithm Analysis and Problem Complexity. Data Structures.

Similar Items

Computer Science - Theory and Applications : 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings /
Published: (2017)

Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
Published: (2017)

Computability and Complexity : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday /
Published: (2017)

Theory and Applications of Models of Computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings /
Published: (2017)

Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers /
Published: (2017)

Descriptional Complexity of Formal Systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings /
Published: (2017)

Theoretical Computer Science : 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings /
Published: (2017)

Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings /
Published: (2017)

Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings /
Published: (2017)

Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /
Published: (2017)

Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings /
Published: (2017)

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday /
Published: (2017)

Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers /
Published: (2017)

Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity /
by: Zeume, Thomas.
Published: (2017)

NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings /
Published: (2017)

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II /
Published: (2017)

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I /
Published: (2017)

Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings /
Published: (2017)

On Sets and Graphs : Perspectives on Logic and Combinatorics /
by: Omodeo, Eugenio G., et al.
Published: (2017)

Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /
Published: (2017)

Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings /
Published: (2017)

Business Process Management : 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings /
Published: (2017)

Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers /
Published: (2017)

Fundamentals of Computation Theory : 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings /
Published: (2017)

Combinatorial Optimization and Applications : 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I /
Published: (2017)

Combinatorial Optimization and Applications : 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II /
Published: (2017)

Cyber Physical Systems. Design, Modeling, and Evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers /
Published: (2017)

Frontiers in Algorithmics : 11th International Workshop, FAW 2017, Chengdu, China, June 23-25, 2017, Proceedings /
Published: (2017)

Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings /
Published: (2017)

Graph-Theoretic Concepts in Computer Science : 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, Revised Selected Papers /
Published: (2017)

Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers /
Published: (2017)

Structural Information and Communication Complexity : 24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017, Revised Selected Papers /
Published: (2017)

Guide to Competitive Programming Learning and Improving Algorithms Through Contests /
by: Laaksonen, Antti.
Published: (2017)

Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings /
Published: (2017)

Guide to Data Structures A Concise Introduction Using Java /
by: Streib, James T., et al.
Published: (2017)

Process Algebras for Petri Nets : The Alphabetization of Distributed Systems /
by: Gorrieri, Roberto.
Published: (2017)

Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings /
Published: (2017)

Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings /
Published: (2017)

Developments in Language Theory : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings /
Published: (2017)

Practical Problems in VLSI Physical Design Automation
by: Lim, Sung Kyu.
Published: (2008)