Search Results for - Narrowed by: Software engineering. - Computational complexity.

Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

2024-05-26T00:24:38Z

by Khomenko, Victor. editor.
https://doi.org/10.1007/978-3-319-91268-4
Format: Electronic Resources

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

2024-05-26T00:24:38Z

by Baier, Christel. editor. (orcid)0000-0002-5321-9343
https://doi.org/10.1007/978-3-319-89366-2
Format: Electronic Resources

Combinatorial Algorithms 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings

2024-05-26T00:24:38Z

by Iliopoulos, Costas. editor.
https://doi.org/10.1007/978-3-319-94667-2
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

2024-05-26T00:24:38Z

by Beyersdorff, Olaf. editor.
https://doi.org/10.1007/978-3-319-94144-8
Format: Electronic Resources

Advances in Bioinformatics and Computational Biology 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings

2024-05-26T00:24:38Z

by Alves, Ronnie. editor. (orcid)0000-0003-4139-0562
https://doi.org/10.1007/978-3-030-01722-4
Format: Electronic Resources

Graph Drawing and Network Visualization 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers

2024-05-26T00:24:38Z

by Frati, Fabrizio. editor. (orcid)0000-0001-5987-8713
https://doi.org/10.1007/978-3-319-73915-1
Format: Electronic Resources

Number-Theoretic Methods in Cryptology First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers

2024-05-26T00:24:38Z

by Kaczorowski, Jerzy. editor.
https://doi.org/10.1007/978-3-319-76620-1
Format: Electronic Resources

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers

2024-05-26T00:24:38Z

by Karydis, Ioannis. editor.
https://doi.org/10.1007/978-3-319-29919-8
Format: Electronic Resources

Swarm Intelligence Based Optimization Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papers

2024-05-26T00:24:38Z

by Siarry, Patrick. editor.
https://doi.org/10.1007/978-3-319-50307-3
Format: Electronic Resources

Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings

2024-05-26T00:24:38Z

by Dutot, Pierre-François. editor.
https://doi.org/10.1007/978-3-319-43659-3
Format: Electronic Resources

Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings

2024-05-26T00:24:38Z

by Echahed, Rachid. editor.
https://doi.org/10.1007/978-3-319-40530-8
Format: Electronic Resources

Graphical Models for Security Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers

2024-05-26T00:24:38Z

by Kordy, Barbara. editor.
https://doi.org/10.1007/978-3-319-46263-9
Format: Electronic Resources

Transactions on Computational Science XXVII

2024-05-26T00:24:38Z

by Gavrilova, Marina L. editor.
https://doi.org/10.1007/978-3-662-50412-3
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings

2024-05-26T00:24:38Z

by Sampaio, Augusto. editor.
https://doi.org/10.1007/978-3-319-46750-4
Format: Electronic Resources

Mathematical Software – ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

2024-05-26T00:24:38Z

by Greuel, Gert-Martin. editor.
https://doi.org/10.1007/978-3-319-42432-3
Format: Electronic Resources

SOFSEM 2016: Theory and Practice of Computer Science 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings

2024-05-26T00:24:38Z

by Freivalds, Rūsiņš Mārtiņš. editor.
https://doi.org/10.1007/978-3-662-49192-8
Format: Electronic Resources

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

2024-05-26T00:24:38Z

by Skrzypczak, Michał. author.
https://doi.org/10.1007/978-3-662-52947-8
Format: Electronic Resources

Formal Concept Analysis 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings

2024-05-26T00:24:38Z

by Medina, Raoul. editor.
http://dx.doi.org/10.1007/978-3-540-78137-0
Format: Electronic Resources

Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings

2024-05-26T00:24:38Z

by Hee, Kees M. editor.
http://dx.doi.org/10.1007/978-3-540-68746-7
Format: Electronic Resources

Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings

2024-05-26T00:24:38Z

by Ehrig, Hartmut. editor.
http://dx.doi.org/10.1007/978-3-540-87405-8
Format: Electronic Resources

Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I

2024-05-26T00:24:38Z

by Aceto, Luca. editor.
http://dx.doi.org/10.1007/978-3-540-70575-8
Format: Electronic Resources

Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

2024-05-26T00:24:38Z

by Aceto, Luca. editor.
http://dx.doi.org/10.1007/978-3-540-70583-3
Format: Electronic Resources

Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers

2024-05-26T00:24:38Z

by Schürr, Andy. editor.
http://dx.doi.org/10.1007/978-3-540-89020-1
Format: Electronic Resources

Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings

2024-05-26T00:24:38Z

by Kuznetsov, Sergei O. editor.
http://dx.doi.org/10.1007/978-3-540-70901-5
Format: Electronic Resources

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings

2024-05-26T00:24:38Z

by Arge, Lars. editor.
http://dx.doi.org/10.1007/978-3-540-73420-8
Format: Electronic Resources

Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

2024-05-26T00:24:38Z

by Kleijn, Jetty. editor.
http://dx.doi.org/10.1007/978-3-540-73094-1
Format: Electronic Resources

Advanced Parallel Processing Technologies 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings

2024-05-26T00:24:38Z

by Xu, Ming. editor.
http://dx.doi.org/10.1007/978-3-540-76837-1
Format: Electronic Resources

Formal Models of Operating System Kernels

2024-05-26T00:24:38Z

by Craig, Iain D. author.
http://dx.doi.org/10.1007/978-1-84628-718-3
Format: Electronic Resources

Mathematical Approaches to Software Quality

2024-05-26T00:24:38Z

by O'Regan, Gerard. author.
http://dx.doi.org/10.1007/1-84628-435-9
Format: Electronic Resources

Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings

2024-05-26T00:24:38Z

by Corradini, Andrea. editor.
http://dx.doi.org/10.1007/11841883
Format: Electronic Resources

Resource Allocation in Wireless Networks Theory and Algorithms

2024-05-26T00:24:38Z

by Stańczak, Sławomir. author.
http://dx.doi.org/10.1007/11818762
Format: Electronic Resources

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I

2024-05-26T00:24:38Z

by Bugliesi, Michele. editor.
http://dx.doi.org/10.1007/11786986
Format: Electronic Resources

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II

2024-05-26T00:24:38Z

by Bugliesi, Michele. editor.
http://dx.doi.org/10.1007/11787006
Format: Electronic Resources

Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers

2024-05-26T00:24:38Z

by MacCaull, Wendy. editor.
http://dx.doi.org/10.1007/11734673
Format: Electronic Resources

Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings

2024-05-26T00:24:38Z

by Donatelli, Susanna. editor.
http://dx.doi.org/10.1007/11767589
Format: Electronic Resources

Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings

2024-05-26T00:24:38Z

by Missaoui, Rokia. editor.
http://dx.doi.org/10.1007/11671404
Format: Electronic Resources

Parallel and Distributed Processing and Applications Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004. Proceedings

2024-05-26T00:24:38Z

by Cao, Jiannong. editor.
http://dx.doi.org/10.1007/b104574
Format: Electronic Resources

Advanced Parallel Processing Technologies 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005. Proceedings

2024-05-26T00:24:38Z

by Cao, Jiannong. editor.
http://dx.doi.org/10.1007/11573937
Format: Electronic Resources

Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings

2024-05-26T00:24:38Z

by Ciardo, Gianfranco. editor.
http://dx.doi.org/10.1007/b136988
Format: Electronic Resources

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers

2024-05-26T00:24:38Z

by Sloot, Peter M. A. editor.
http://dx.doi.org/10.1007/b137919
Format: Electronic Resources

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings

2024-05-26T00:24:38Z

by Vojtáš, Peter. editor.
http://dx.doi.org/10.1007/b105088
Format: Electronic Resources

Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings

2024-05-26T00:24:38Z

by Ganter, Bernhard. editor.
http://dx.doi.org/10.1007/b105806
Format: Electronic Resources

Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings

2024-05-26T00:24:38Z

by Caires, Luís. editor.
http://dx.doi.org/10.1007/11523468
Format: Electronic Resources

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

2024-05-26T00:24:38Z

by Kreowski, Hans-Jörg. editor.
http://dx.doi.org/10.1007/b106390
Format: Electronic Resources

Formal Concept Analysis Foundations and Applications

2024-05-26T00:24:38Z

by Ganter, Bernhard. editor.
http://dx.doi.org/10.1007/978-3-540-31881-1
Format: Electronic Resources

Validated Designs for Object-oriented Systems

2024-05-26T00:24:38Z

by Fitzgerald, John. author.
http://dx.doi.org/10.1007/b138800
Format: Electronic Resources

Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings

2024-05-26T00:24:38Z

by Maher, Michael J. editor.
http://dx.doi.org/10.1007/b103476
Format: Electronic Resources