Вы здесь

Главная

теория графов

Связанные издания:

Learning and Intelligent Optimization: Revised Selected Papers/12th International Conference, LION 12, Kalamata, Greece, June 2018
Learning and Intelligent Optimization: Revised Selected Papers/13th International Conference, LION 13, Chania, Crete, Greece, May 2019
Learning and Intelligent Optimization: Revised Selected Papers/15th International Conference, LION 15, Athens, Greece, June 2021
Machine Learning, Optimization, and Big Data: Revised Selected Papers/3rd International Conference, MOD 2017, Volterra, Italy, September 2017
Mathematical Foundations of Computer Science 2006: Proc./31st International Symposium, MFCS 2006. Stara Lesna, Slovakia, August/September 2006
Mathematical Foundations of Computer Science 2009: Proc./34th International Symposium, MFC 2009. Novy Smokovec, High Tatras, Slovakia, August 2009
Mathematical Foundations of Computer Science 2010: Proc./35th International Symposium, MFCS 2010, Brno, Czech Republic, August 2010
Mathematical Foundations of Computer Science: Proc./32nd International Symposium, MFCS 2007. Cesky Krumlov, Czech Republic, August 2007
Mathematical Morphology and Its Applications to Signal and Image Processing: Proc./13th International Symposium, ISMM 2017, Fontainebleau, France, May 2017
Mathematical Morphology and Its Application to Signal and Image Processing: Proc./9th International Symposium, ISMM 2009, Groningen, The Netherlands, August 2009
Mathematical Optimization Theory and Operations Research: Proc./20th International Conference, MOTOR 2021, Irkutsk, Russia, July 2021
Mathematical Software - ICMS 2020: Proc./7th International Conference, Braunschweig, Germany, July 2020
Max-Density Revisited: a Generalization and a More Efficient Algorithm
Medical Imaging and Augmented Reality: Proc./5th International Workshop, MIAR 2010, Beijing, China, September 2010
Membrane Computing: Revised Selected Papers/21st International Conference, CMC 2020, Virtual Event, september 2020
Middleware 2009: Proc/ ACM/IFIP/USENIX 10th International Middleware Conference, Urbana,IL,USA, November/December 2009
Model Checking for Database Theoreticians
Model Checking Software: Proc./27th International Symposium, SPIN 2021, Virtual Event, July 2021
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonssonon the Occasion of His 60th Birthday
Model Driven Engineering Languages and Systems, Part II: Proc./13th International Conference, MODELS 2010, Oslo, Norway, October 2010
Model Driven Engineering Languages and Systems, Part I: Proc./13th International Conference, MODELS 2010, Oslo, Norway, October 2010
Modeling Decisions for Artificial Intelligence: Proc./8th International Conference, MDAI 2011, Changsha, China, July 2011
Multi-Agent-Based Simulation XII: Revised Selected Papers/ International Workshop, MABS 2011, Taipei, Taiwan, May 2011
Multimodal Brain Image Analysis: Proc./2nd International Workshop, MBIA 2012 Held in Conjunction with MICCAI 2012, Nice, France, October 2012
Netwjrk Science: Proc./7th International Winter Conference, NetSci-X 2022, Porto, Portugal, February 2022
Network Analysis: Methodological Foundations
Networked Systems: Revised Selected Papers/7th International Conference, NETYS 2019, Marrakesh, Morocco, June 2019
NETWORKING 2011, Part I: Proc./10th International IFIP TC 6 Networking Conference, Valencia, Spain, May 2011
Numerical Computations: Theory and Algorithms, Part I: Revised Selected Papers/3rd International Conference, NUMTA 2019, Crotone, Italy, June 2019
Numerical Methods and Applications: Revised Selected Papers/9th International Conference, NMA 2018, Borovets, Bulgaria, August 2018
On-line graph coloring of P5-free graphs
On the Move Meaningful Internet Systems: OTM 2011, Part I: Proc./Confederated International Conferences: CooplS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 2011
Optimization and Applications: Proc./12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 2021
Parallel and Distributed Computing, Applications and Technologies: Proc./21st International Conference, PDCAT 2020, Shenzhen, China, December 2020
Parallel implementation of the Ramalingam decremental algorithm for dynamic updating the single-sink shortest paths subgraph
Parameterized and Exact Computational: Revised Selected Papers/4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 2009
Parameterized and Exact Computation: Proc./First International Workshop, IWPEC 2004. Bergen, Norway, September 2004
Passive and Active Measurement: Proc./13th International Conference, PAM 2012, Vienna, Austria, March 2012
Pattern Recognition in Bioinformatics: Proc./9th IAPR International Conference, PRIB 2014, Stockholm, Sweden, August 2014
Performance Evaluation of Computer and Communication Systems: Revised Selected Papers/IFIP WG 6.3/7.3 Int WS, PERFORM 2010 in Honor of Gunter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 2010
Petri Net Semantics of the Finite pi-Calculus
Point-to-Point Shortest Path Algorithms with Preprocessing
Principles and Practice of Constraint Programming: Proc./24th International Conference, CP 2018, Lille, France, August 2018
Principles and Practice of Constraint Programming: Proc./25th International Conference, CP 2019, Stamford,CT,USA, September 2019
Principles and Practice of Constraint Programming: Proc./26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 2020
Property Testing. Current Research and Surveys
Quantitative Evaluation of Systems: Proc./18th International Conference, QEST 2021, Paris, France, August 2021
Reachability Problems: Proc./13th International Conference, RP 2019, Brussels, Belgium, September 2019
Reachability Problems: Proc./14th International Conference, RP 2020, Paris, France, October 2020
Reachability Problems: Proc./15th International Conference, RP 2021, Liverpool, UK, October 2021