Search Results for - Narrowed by: Springer E-Book Collection - Computer science -- Mathematics. - Computation by Abstract Devices.

Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

2024-05-27T19:14:08Z

Yazar Dediu, Adrian-Horia. editor.
http://dx.doi.org/10.1007/978-3-319-30000-9
Format: Electronic Resources

Mathematical Aspects of Computer and Information Sciences 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers

2024-05-27T19:14:08Z

Yazar Kotsireas, Ilias S. editor.
http://dx.doi.org/10.1007/978-3-319-32859-1
Format: Electronic Resources

Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings

2024-05-27T19:14:08Z

Yazar Beckmann, Arnold. editor.
http://dx.doi.org/10.1007/978-3-319-40189-8
Format: Electronic Resources

DNA Computing and Molecular Programming 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings

2024-05-27T19:14:08Z

Yazar Rondelez, Yannick. editor.
http://dx.doi.org/10.1007/978-3-319-43994-5
Format: Electronic Resources

Frontiers in Algorithmics 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings

2024-05-27T19:14:08Z

Yazar Zhu, Daming. editor.
http://dx.doi.org/10.1007/978-3-319-39817-4
Format: Electronic Resources

Transactions on Computational Science XXVII

2024-05-27T19:14:08Z

Yazar Gavrilova, Marina L. editor.
http://dx.doi.org/10.1007/978-3-662-50412-3
Format: Electronic Resources

Computer Science – Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings

2024-05-27T19:14:08Z

Yazar Kulikov, Alexander S. editor.
http://dx.doi.org/10.1007/978-3-319-34171-2
Format: Electronic Resources

Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings

2024-05-27T19:14:08Z

Yazar Cook, Matthew. editor.
http://dx.doi.org/10.1007/978-3-319-39300-1
Format: Electronic Resources

Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

2024-05-27T19:14:08Z

Yazar Foret, Annie. editor.
http://dx.doi.org/10.1007/978-3-662-53042-9
Format: Electronic Resources

Topics in Theoretical Computer Science The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers

2024-05-27T19:14:08Z

Yazar Hajiaghayi, Mohammad Taghi. editor.
http://dx.doi.org/10.1007/978-3-319-28678-5
Format: Electronic Resources

Directed Algebraic Topology and Concurrency

2024-05-27T19:14:08Z

Yazar Fajstrup, Lisbeth. author.
http://dx.doi.org/10.1007/978-3-319-15398-8
Format: Electronic Resources

Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings

2024-05-27T19:14:08Z

Yazar Han, Yo-Sub. editor.
http://dx.doi.org/10.1007/978-3-319-40946-7
Format: Electronic Resources

Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

2024-05-27T19:14:08Z

Yazar Câmpeanu, Cezar. editor.
http://dx.doi.org/10.1007/978-3-319-41114-9
Format: Electronic Resources

Genetic Programming 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings

2024-05-27T19:14:08Z

Yazar Heywood, Malcolm I. editor.
http://dx.doi.org/10.1007/978-3-319-30668-1
Format: Electronic Resources

Evolutionary Computation in Combinatorial Optimization 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings

2024-05-27T19:14:08Z

Yazar Chicano, Francisco. editor.
http://dx.doi.org/10.1007/978-3-319-30698-8
Format: Electronic Resources

Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings

2024-05-27T19:14:08Z

Yazar Blesa, Maria J. editor.
http://dx.doi.org/10.1007/978-3-319-39636-1
Format: Electronic Resources

Computing and Combinatorics 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings

2024-05-27T19:14:08Z

Yazar Dinh, Thang N. editor.
http://dx.doi.org/10.1007/978-3-319-42634-1
Format: Electronic Resources

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

2024-05-27T19:14:08Z

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

Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings

2024-05-27T19:14:08Z

Yazar Brlek, Srečko. editor.
http://dx.doi.org/10.1007/978-3-662-53132-7
Format: Electronic Resources

Theory of Cryptography 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part II

2024-05-27T19:14:08Z

Yazar Kushilevitz, Eyal. editor.
http://dx.doi.org/10.1007/978-3-662-49099-0
Format: Electronic Resources

Parallel Problem Solving from Nature – PPSN XIV 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings

2024-05-27T19:14:08Z

Yazar Handl, Julia. editor.
http://dx.doi.org/10.1007/978-3-319-45823-6
Format: Electronic Resources

Theory of Cryptography 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I

2024-05-27T19:14:08Z

Yazar Kushilevitz, Eyal. editor.
http://dx.doi.org/10.1007/978-3-662-49096-9
Format: Electronic Resources

LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings

2024-05-27T19:14:08Z

Yazar Kranakis, Evangelos. editor.
http://dx.doi.org/10.1007/978-3-662-49529-2
Format: Electronic Resources

Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

2024-05-27T19:14:08Z

Yazar Bartocci, Ezio. editor.
http://dx.doi.org/10.1007/978-3-319-45177-0
Format: Electronic Resources

Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings

2024-05-27T19:14:08Z

Yazar Beckmann, Arnold. editor.
http://dx.doi.org/10.1007/978-3-319-20028-6
Format: Electronic Resources

Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings

2024-05-27T19:14:08Z

Yazar Shallit, Jeffrey. editor.
http://dx.doi.org/10.1007/978-3-319-19225-3
Format: Electronic Resources

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers

2024-05-27T19:14:08Z

Yazar Dimov, Ivan. editor.
http://dx.doi.org/10.1007/978-3-319-20239-6
Format: Electronic Resources

Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

2024-05-27T19:14:08Z

Yazar Codescu, Mihai. editor.
http://dx.doi.org/10.1007/978-3-319-28114-8
Format: Electronic Resources

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I

2024-05-27T19:14:08Z

Yazar Halldórsson, Magnús M. editor.
http://dx.doi.org/10.1007/978-3-662-47672-7
Format: Electronic Resources

Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings

2024-05-27T19:14:08Z

Yazar Dediu, Adrian-Horia. editor.
http://dx.doi.org/10.1007/978-3-319-15579-1
Format: Electronic Resources

Computing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings

2024-05-27T19:14:08Z

Yazar Xu, Dachuan. editor.
http://dx.doi.org/10.1007/978-3-319-21398-9
Format: Electronic Resources

Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings

2024-05-27T19:14:08Z

Yazar Banerjee, Mohua. editor.
http://dx.doi.org/10.1007/978-3-662-45824-2
Format: Electronic Resources

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II

2024-05-27T19:14:08Z

Yazar Halldórsson, Magnús M. editor.
http://dx.doi.org/10.1007/978-3-662-47666-6
Format: Electronic Resources

Evolutionary Computation in Combinatorial Optimization 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

2024-05-27T19:14:08Z

Yazar Ochoa, Gabriela. editor.
http://dx.doi.org/10.1007/978-3-319-16468-7
Format: Electronic Resources

Frontiers in Algorithmics 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings

2024-05-27T19:14:08Z

Yazar Wang, Jianxin. editor.
http://dx.doi.org/10.1007/978-3-319-19647-3
Format: Electronic Resources

Information Processing in Cells and Tissues 10th International Conference, IPCAT 2015, San Diego, CA, USA, September 14-16, 2015, Proceedings

2024-05-27T19:14:08Z

Yazar Lones, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-23108-2
Format: Electronic Resources

Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings

2024-05-27T19:14:08Z

Yazar Durand-Lose, Jerome. editor.
http://dx.doi.org/10.1007/978-3-319-23111-2
Format: Electronic Resources

DNA Computing and Molecular Programming 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings

2024-05-27T19:14:08Z

Yazar Phillips, Andrew. editor.
http://dx.doi.org/10.1007/978-3-319-21999-8
Format: Electronic Resources

Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.

2024-05-27T19:14:08Z

Yazar Potapov, Igor. editor.
http://dx.doi.org/10.1007/978-3-319-21500-6
Format: Electronic Resources

Theory of Cryptography 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I

2024-05-27T19:14:08Z

Yazar Dodis, Yevgeniy. editor.
http://dx.doi.org/10.1007/978-3-662-46494-6
Format: Electronic Resources

Theory of Cryptography 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part II

2024-05-27T19:14:08Z

Yazar Dodis, Yevgeniy. editor.
http://dx.doi.org/10.1007/978-3-662-46497-7
Format: Electronic Resources

Computational Methods in Systems Biology 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings

2024-05-27T19:14:08Z

Yazar Roux, Olivier. editor.
http://dx.doi.org/10.1007/978-3-319-23401-4
Format: Electronic Resources

Advances in Computer Games 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers

2024-05-27T19:14:08Z

Yazar Plaat, Aske. editor.
http://dx.doi.org/10.1007/978-3-319-27992-3
Format: Electronic Resources

Cellular Automata and Discrete Complex Systems 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings

2024-05-27T19:14:08Z

Yazar Kari, Jarkko. editor.
http://dx.doi.org/10.1007/978-3-662-47221-7
Format: Electronic Resources

Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings

2024-05-27T19:14:08Z

Yazar Beklemishev, Lev D. editor.
http://dx.doi.org/10.1007/978-3-319-20297-6
Format: Electronic Resources

Algorithms for Sensor Systems 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2015, Patras, Greece, September 17-18, 2015, Revised Selected Papers

2024-05-27T19:14:08Z

Yazar Bose, Prosenjit. editor.
http://dx.doi.org/10.1007/978-3-319-28472-9
Format: Electronic Resources

Approximation and Online Algorithms 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papers

2024-05-27T19:14:08Z

Yazar Sanità, Laura. editor.
http://dx.doi.org/10.1007/978-3-319-28684-6
Format: Electronic Resources

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

2024-05-27T19:14:08Z

Yazar Machado, Penousal. editor.
http://dx.doi.org/10.1007/978-3-319-16501-1
Format: Electronic Resources

Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings

2024-05-27T19:14:08Z

Yazar Cai, Zhipeng. editor.
http://dx.doi.org/10.1007/978-3-319-08783-2
Format: Electronic Resources

Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings

2024-05-27T19:14:08Z

Yazar Mendes, Pedro. editor.
http://dx.doi.org/10.1007/978-3-319-12982-2
Format: Electronic Resources

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

2024-05-27T19:14:08Z

Yazar Diaz, Josep. editor.
http://dx.doi.org/10.1007/978-3-662-44602-7
Format: Electronic Resources

Regulated Grammars and Automata

2024-05-27T19:14:08Z

Yazar Meduna, Alexander. author.
http://dx.doi.org/10.1007/978-1-4939-0369-6
Format: Electronic Resources

Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers

2024-05-27T19:14:08Z

Yazar van den Herik, H. Jaap. editor.
http://dx.doi.org/10.1007/978-3-319-09165-5
Format: Electronic Resources

Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings

2024-05-27T19:14:08Z

Yazar Shur, Arseny M. editor.
http://dx.doi.org/10.1007/978-3-319-09698-8
Format: Electronic Resources

Parallel Problem Solving from Nature – PPSN XIII 13th International Conference, Ljubljana, Slovenia, September 13-17, 2014. Proceedings

2024-05-27T19:14:08Z

Yazar Bartz-Beielstein, Thomas. editor.
http://dx.doi.org/10.1007/978-3-319-10762-2
Format: Electronic Resources

DNA Computing and Molecular Programming 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings

2024-05-27T19:14:08Z

Yazar Murata, Satoshi. editor.
http://dx.doi.org/10.1007/978-3-319-11295-4
Format: Electronic Resources

Advances in Artificial Life and Evolutionary Computation 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers

2024-05-27T19:14:08Z

Yazar Pizzuti, Clara. editor.
http://dx.doi.org/10.1007/978-3-319-12745-3
Format: Electronic Resources

Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings

2024-05-27T19:14:08Z

Yazar Dediu, Adrian-Horia. editor.
http://dx.doi.org/10.1007/978-3-319-04921-2
Format: Electronic Resources

Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings

2024-05-27T19:14:08Z

Yazar Hirsch, Edward A. editor.
http://dx.doi.org/10.1007/978-3-319-06686-8
Format: Electronic Resources

Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings

2024-05-27T19:14:08Z

Yazar Beckmann, Arnold. editor.
http://dx.doi.org/10.1007/978-3-319-08019-2
Format: Electronic Resources

LATIN 2014: Theoretical Informatics 11th Latin American Symposium, Montevideo, Uruguay, March 31–April 4, 2014. Proceedings

2024-05-27T19:14:08Z

Yazar Pardo, Alberto. editor.
http://dx.doi.org/10.1007/978-3-642-54423-1
Format: Electronic Resources

Evolutionary Computation in Combinatorial Optimisation 14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

2024-05-27T19:14:08Z

Yazar Blum, Christian. editor.
http://dx.doi.org/10.1007/978-3-662-44320-0
Format: Electronic Resources

Learning and Intelligent Optimization 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers

2024-05-27T19:14:08Z

Yazar Pardalos, Panos M. editor.
http://dx.doi.org/10.1007/978-3-319-09584-4
Format: Electronic Resources

Theory of Cryptography 11th Theory of Cryptography Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014. Proceedings

2024-05-27T19:14:08Z

Yazar Lindell, Yehuda. editor.
http://dx.doi.org/10.1007/978-3-642-54242-8
Format: Electronic Resources

Simulated Evolution and Learning 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, 2014. Proceedings

2024-05-27T19:14:08Z

Yazar Dick, Grant. editor.
http://dx.doi.org/10.1007/978-3-319-13563-2
Format: Electronic Resources

Principles of Distributed Systems 18th International Conference, OPODIS 2014, Cortina d’Ampezzo, Italy, December 16-19, 2014. Proceedings

2024-05-27T19:14:08Z

Yazar Aguilera, Marcos K. editor.
http://dx.doi.org/10.1007/978-3-319-14472-6
Format: Electronic Resources

Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings

2024-05-27T19:14:08Z

Yazar Jürgensen, Helmut. editor.
http://dx.doi.org/10.1007/978-3-319-09704-6
Format: Electronic Resources

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I

2024-05-27T19:14:08Z

Yazar Esparza, Javier. editor.
http://dx.doi.org/10.1007/978-3-662-43948-7
Format: Electronic Resources

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

2024-05-27T19:14:08Z

Yazar Esparza, Javier. editor.
http://dx.doi.org/10.1007/978-3-662-43951-7
Format: Electronic Resources