This volume constitutes the revised selected papers of 5th International Conference on Computer and Communication Engineering, CCCE 2025, in Helsinki, Finland, during May 23–25, 2025.
This volume constitutes the revised selected papers of 5th International Conference on Computer and Communication Engineering, CCCE 2025, in Helsinki, Finland, during May 23–25, 2025.
The 3-volume set LNCS 16033 - 16035 constitutes the proceedings of the 7th International Conference on Geometric Science of Information, GSI 2025, held in St.
This book constitutes the refereed proceedings of the 4th Southwest Data Science Conference on New Frontiers in Data Science, SDSC 2025, held in Waco, TX, USA, during March 21–22, 2025.
This book constitutes the refereed proceedings of the 4th Southwest Data Science Conference on New Frontiers in Data Science, SDSC 2025, held in Waco, TX, USA, during March 21–22, 2025.
This book constitutes the proceedings of the 48th German Conference on Artificial Intelligence (Künstliche Intelligenz), KI 2025, which was held in Potsdam, Germany, during September 16–19, 2025.
This book constitutes the proceedings of the 48th German Conference on Artificial Intelligence (Künstliche Intelligenz), KI 2025, which was held in Potsdam, Germany, during September 16–19, 2025.
This book constitutes the refereed proceedings of the 23rd International Workshop on Approximation and Online Algorithms, WAOA 2025, held in Warsaw, Poland, during September 18–19, 2025.
This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute wanted outputs from given inputs, and programs that describe continuously executing systems.
This book constitutes the refereed proceedings of the 23rd International Workshop on Approximation and Online Algorithms, WAOA 2025, held in Warsaw, Poland, during September 18–19, 2025.
This book constitutes the refereed proceedings of the 6th Southern African Conference on Artificial Intelligence Research, SACAIR 2025, held in Cape Town, South Africa, during December 1–5, 2025.
This book constitutes the refereed proceedings of the 6th Southern African Conference on Artificial Intelligence Research, SACAIR 2025, held in Cape Town, South Africa, during December 1–5, 2025.
This volume encapsulates the collective knowledge shared and innovations presented at the 9th International Conference on Computers, Management & Mathematical Sciences (ICCM) 2023 held on the 24th and 25th of August, 2023 at the North Eastern Regional Institute of Science and Technology (NERIST), India.
The 3-volume set LNCS 16033 - 16035 constitutes the proceedings of the 7th International Conference on Geometric Science of Information, GSI 2025, held in St.
This book constitutes the refereed proceedings of the 12th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2017, held in Lagodekhi, Georgia, in September 2017.
This book constitutes the refereed proceedings of the 26th InternationalSymposium on Algorithms and Computation, ISAAC 2015, held in Nagoya, Japan, inDecember 2015.
The 3-volume set LNCS 16033 - 16035 constitutes the proceedings of the 7th International Conference on Geometric Science of Information, GSI 2025, held in St.
This book constitutes the refereed proceedings of the 20th and 21st International Conference on Formal Grammar 2015 and 2016, collocated with the European Summer School in Logic, Language and Information in August 2015/2016.
This book constitutes the refereed proceedings of the 12th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2017, held in Lagodekhi, Georgia, in September 2017.
This book constitutes the refereed proceedings of the 9th International Symposium on Algorithmic Game Theory, SAGT 2016, held in Liverpool, UK, in September 2016.
This book constitutes the refereed proceedings of the 20th and 21st International Conference on Formal Grammar 2015 and 2016, collocated with the European Summer School in Logic, Language and Information in August 2015/2016.
This book constitutes therefereed proceedings of the 12th Latin American Symposium on TheoreticalInformatics, LATIN 2016, held in Ensenada, Mexico, in April 2016.
This book constitutes the refereed proceedings of the 8th International Symposium on Algorithmic Game Theory, SAGT 2015, held in Saarbrucken, Germany, in September 2015.
This book constitutes the refereed proceedings of the 26th InternationalSymposium on Algorithms and Computation, ISAAC 2015, held in Nagoya, Japan, inDecember 2015.
This book constitutes revised selected papers from the workshopscollocated with the SEFM 2015 conference on Software Engineering andFormal Methods, held in York, UK, in September 2015.
This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, Italy, in August 2015.
This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, Italy, in August 2015.
The two-volume set LNCS 9014 and LNCS 9015 constitutes the refereed proceedings of the 12th International Conference on Theory of Cryptography, TCC 2015, held in Warsaw, Poland in March 2015.
The two-volume set LNCS 9014 and LNCS 9015 constitutes the refereed proceedings of the 12th International Conference on Theory of Cryptography, TCC 2015, held in Warsaw, Poland in March 2015.
This book collects the refereed proceedings of the 6th Indian Conference on Logic and Its Applications, ICLA 2015, held in Mumbai, India, in January 2015.
This book constitutes the proceedings of the 4th International Conference on Mathematical Software, ICMS 2014, held in Seoul, South Korea, in August 2014.
This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP 2014, held in Copenhagen, Denmark, in July 2014.
This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP 2014, held in Copenhagen, Denmark, in July 2014.
This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS 2014, held in Budapest, Hungary, in August 2014.
This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS 2014, held in Budapest, Hungary, in August 2014.
This book constitutes the refereed proceedings of the 14th European Conference on Evolutionary Computation in Combinatorial Optimization, Evo COP 2014, held in Granada, Spain, in April 2014, co-located with the Evo*2014 events Euro GP, Evo BIO, Evo MUSART and Evo Applications.
This book constitutes the refereed proceedings of the 22st Annual European Symposium on Algorithms, ESA 2014, held in Wroclaw, Poland, in September 2014, as part of ALGO 2014.
This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Large-Scale Scientific Computations, LSSC 2013, held in Sozopol, Bulgaria, in June 2013.
This book constitutes the proceedings of the 7th International Conference on Learning and Optimization, LION 7, which was held in Catania, Italy, in January 2013.
This book constitutes the thoroughly refereed post-workshop proceedings of the 24th International Workshop on Combinatorial Algorithms, IWOCA 2013, held in Rouen, France, in July 2013.
This book constitutes thoroughly revised selected papers of the 5th International Conference on Numerical Analysis and Its Applications, NAA 2012, held in Lozenetz, Bulgaria, in June 2012.
This volume contains the refereed proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013, held in September 2013 in Corunna, Spain.
This book constitutes the refereed proceedings of the 21st Annual European Symposium on Algorithms, ESA 2013, held in Sophia Antipolis, France, in September 2013 in the context of the combined conference ALGO 2013.
This book constitutes the refereed conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2013), held in Uppsala, Sweden, in September 2013.
This book constitutes the proceedings of the 16th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2013, and the 17th International Workshop on Randomization and Computation, RANDOM 2013, held in August 2013 in the USA.
This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, held in Klosterneuburg, Austria, in August 2013.
