Search Results for - Narrowed by: Computation by Abstract Devices. - 2014

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part II

2024-06-11T05:01:55Z

Yazar Rutkowski, Leszek. editor.
http://dx.doi.org/10.1007/978-3-319-07176-3
Format: Electronic Resources

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

2024-06-11T05:01:55Z

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

Artificial Intelligence: Methods and Applications 8th Hellenic Conference on AI, SETN 2014, Ioannina, Greece, May 15-17, 2014. Proceedings

2024-06-11T05:01:55Z

Yazar Likas, Aristidis. editor.
http://dx.doi.org/10.1007/978-3-319-07064-3
Format: Electronic Resources

Hybrid Artificial Intelligence Systems 9th International Conference, HAIS 2014, Salamanca, Spain, June 11-13, 2014. Proceedings

2024-06-11T05:01:55Z

Yazar Polycarpou, Marios. editor.
http://dx.doi.org/10.1007/978-3-319-07617-1
Format: Electronic Resources

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

2024-06-11T05:01:55Z

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

Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings

2024-06-11T05:01:55Z

Yazar Legay, Axel. editor.
http://dx.doi.org/10.1007/978-3-319-10512-3
Format: Electronic Resources

Advances in Artificial Intelligence -- IBERAMIA 2014 14th Ibero-American Conference on AI, Santiago de Chile, Chile, November 24-27, 2014, Proceedings

2024-06-11T05:01:55Z

Yazar Bazzan, Ana L.C. editor.
http://dx.doi.org/10.1007/978-3-319-12027-0
Format: Electronic Resources

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings

2024-06-11T05:01:55Z

Yazar Ouaknine, Joël. editor.
http://dx.doi.org/10.1007/978-3-319-11439-2
Format: Electronic Resources

Intelligent Data Engineering and Automated Learning – IDEAL 2014 15th International Conference, Salamanca, Spain, September 10-12, 2014. Proceedings

2024-06-11T05:01:55Z

Yazar Corchado, Emilio. editor.
http://dx.doi.org/10.1007/978-3-319-10840-7
Format: Electronic Resources

Brain-Inspired Computing International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers

2024-06-11T05:01:55Z

Yazar Grandinetti, Lucio. editor.
http://dx.doi.org/10.1007/978-3-319-12084-3
Format: Electronic Resources

Web Reasoning and Rule Systems 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings

2024-06-11T05:01:55Z

Yazar Kontchakov, Roman. editor.
http://dx.doi.org/10.1007/978-3-319-11113-1
Format: Electronic Resources

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

2024-06-11T05:01:55Z

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

Multi-Agent-Based Simulation XIV International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers

2024-06-11T05:01:55Z

Yazar Alam, Shah Jamal. editor.
http://dx.doi.org/10.1007/978-3-642-54783-6
Format: Electronic Resources

Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings

2024-06-11T05:01:55Z

Yazar Ábrahám, Erika. editor.
http://dx.doi.org/10.1007/978-3-662-43613-4
Format: Electronic Resources

Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

2024-06-11T05:01:55Z

Yazar Artho, Cyrille. editor.
http://dx.doi.org/10.1007/978-3-319-05416-2
Format: Electronic Resources

Theory and Practice of Natural Computing Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings

2024-06-11T05:01:55Z

Yazar Dediu, Adrian-Horia. editor.
http://dx.doi.org/10.1007/978-3-319-13749-0
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-06-11T05:01:55Z

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

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2024-06-11T05:01:55Z

Yazar Shao, Zhong. editor.
http://dx.doi.org/10.1007/978-3-642-54833-8
Format: Electronic Resources

From Programs to Systems. The Systems perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings

2024-06-11T05:01:55Z

Yazar Bensalem, Saddek. editor.
http://dx.doi.org/10.1007/978-3-642-54848-2
Format: Electronic Resources

Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers

2024-06-11T05:01:55Z

Yazar Gheorghe, Marian. editor.
http://dx.doi.org/10.1007/978-3-319-14370-5
Format: Electronic Resources

Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

2024-06-11T05:01:55Z

Yazar Breugel, Franck van. editor.
http://dx.doi.org/10.1007/978-3-319-06880-0
Format: Electronic Resources

Computational Intelligence Methods for Bioinformatics and Biostatistics 10th International Meeting, CIBB 2013, Nice, France, June 20-22, 2013, Revised Selected Papers

2024-06-11T05:01:55Z

Yazar Formenti, Enrico. editor.
http://dx.doi.org/10.1007/978-3-319-09042-9
Format: Electronic Resources

Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings

2024-06-11T05:01:55Z

Yazar Yamashita, Shigeru. editor.
http://dx.doi.org/10.1007/978-3-319-08494-7
Format: Electronic Resources

Artificial Neural Networks in Pattern Recognition 6th IAPR TC 3 International Workshop, ANNPR 2014, Montreal, QC, Canada, October 6-8, 2014. Proceedings

2024-06-11T05:01:55Z

Yazar Gayar, Neamat El. editor.
http://dx.doi.org/10.1007/978-3-319-11656-3
Format: Electronic Resources

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

2024-06-11T05:01:55Z

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

Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings

2024-06-11T05:01:55Z

Yazar Norman, Gethin. editor.
http://dx.doi.org/10.1007/978-3-319-10696-0
Format: Electronic Resources

Advances in Autonomous Robotics Systems 15th Annual Conference, TAROS 2014, Birmingham, UK, September 1-3, 2014. Proceedings

2024-06-11T05:01:55Z

Yazar Mistry, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-10401-0
Format: Electronic Resources

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

2024-06-11T05:01:55Z

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

Adaptive and Intelligent Systems Third International Conference, ICAIS 2014, Bournemouth, UK, September 8-10, 2014. Proceedings

2024-06-11T05:01:55Z

Yazar Bouchachia, Abdelhamid. editor.
http://dx.doi.org/10.1007/978-3-319-11298-5
Format: Electronic Resources

Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014. Proceedings

2024-06-11T05:01:55Z

Yazar Goues, Claire Le. editor.
http://dx.doi.org/10.1007/978-3-319-09940-8
Format: Electronic Resources

Intelligent Computing Theory 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014. Proceedings

2024-06-11T05:01:55Z

Yazar Huang, De-Shuang. editor.
http://dx.doi.org/10.1007/978-3-319-09333-8
Format: Electronic Resources

Simulation, Modeling, and Programming for Autonomous Robots 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings

2024-06-11T05:01:55Z

Yazar Brugali, Davide. editor.
http://dx.doi.org/10.1007/978-3-319-11900-7
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-06-11T05:01:55Z

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

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

2024-06-11T05:01:55Z

Yazar Dal Lago, Ugo. editor.
http://dx.doi.org/10.1007/978-3-319-12466-7
Format: Electronic Resources

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

2024-06-11T05:01:55Z

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

From Animals to Animats 13 13th International Conference on Simulation of Adaptive Behavior, SAB 2014, Castellón, Spain, July 22-25, 2014. Proceedings

2024-06-11T05:01:55Z

Yazar Pobil, Angel P. del. editor.
http://dx.doi.org/10.1007/978-3-319-08864-8
Format: Electronic Resources

Abdominal Imaging. Computational and Clinical Applications 6th International Workshop, ABDI 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 14, 2014.

2024-06-11T05:01:55Z

Yazar Yoshida, Hiroyuki. editor.
http://dx.doi.org/10.1007/978-3-319-13692-9
Format: Electronic Resources

Intelligent Strategies for Pathway Mining Model and Pattern Identification

2024-06-11T05:01:55Z

Yazar Chen, Qingfeng. editor.
http://dx.doi.org/10.1007/978-3-319-04172-8
Format: Electronic Resources

Wireless Sensor Networks 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedings

2024-06-11T05:01:55Z

Yazar Krishnamachari, Bhaskar. editor.
http://dx.doi.org/10.1007/978-3-319-04651-8
Format: Electronic Resources

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

2024-06-11T05:01:55Z

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

Artificial Evolution 11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013. Revised Selected Papers

2024-06-11T05:01:55Z

Yazar Legrand, Pierrick. editor.
http://dx.doi.org/10.1007/978-3-319-11683-9
Format: Electronic Resources

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

2024-06-11T05:01:55Z

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

Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part I

2024-06-11T05:01:55Z

Yazar Loo, Chu Kiong. editor.
http://dx.doi.org/10.1007/978-3-319-12637-1
Format: Electronic Resources

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

2024-06-11T05:01:55Z

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

Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 – August 2, 2014. Proceedings

2024-06-11T05:01:55Z

Yazar Holzer, Markus. editor.
http://dx.doi.org/10.1007/978-3-319-08846-4
Format: Electronic Resources

Genetic Programming 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

2024-06-11T05:01:55Z

Yazar Nicolau, Miguel. editor.
http://dx.doi.org/10.1007/978-3-662-44303-3
Format: Electronic Resources

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

2024-06-11T05:01:55Z

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

Unconventional Computation and Natural Computation 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings

2024-06-11T05:01:55Z

Yazar Ibarra, Oscar H. editor.
http://dx.doi.org/10.1007/978-3-319-08123-6
Format: Electronic Resources

Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

2024-06-11T05:01:55Z

Yazar Bonsangue, Marcello M. editor.
http://dx.doi.org/10.1007/978-3-662-44124-4
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings

2024-06-11T05:01:55Z

Yazar Ábrahám, Erika. editor.
http://dx.doi.org/10.1007/978-3-642-54862-8
Format: Electronic Resources

Advances in Image and Graphics Technologies Chinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014. Proceedings

2024-06-11T05:01:55Z

Yazar Tan, Tieniu. editor.
http://dx.doi.org/10.1007/978-3-662-45498-5
Format: Electronic Resources

Applications of Evolutionary Computation 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

2024-06-11T05:01:55Z

Yazar Esparcia-Alcázar, Anna I. editor.
http://dx.doi.org/10.1007/978-3-662-45523-4
Format: Electronic Resources

Social Media Processing Third National Conference, SMP 2014, Beijing, China, November 1-2, 2014. Proceedings

2024-06-11T05:01:55Z

Yazar Huang, Heyan. editor.
http://dx.doi.org/10.1007/978-3-662-45558-6
Format: Electronic Resources

Advances in Artificial Intelligence 27th Canadian Conference on Artificial Intelligence, Canadian AI 2014, Montréal, QC, Canada, May 6-9, 2014. Proceedings

2024-06-11T05:01:55Z

Yazar Sokolova, Marina. editor.
http://dx.doi.org/10.1007/978-3-319-06483-3
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-06-11T05:01:55Z

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

Progress in Cryptology – AFRICACRYPT 2014 7th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 28-30, 2014. Proceedings

2024-06-11T05:01:55Z

Yazar Pointcheval, David. editor.
http://dx.doi.org/10.1007/978-3-319-06734-6
Format: Electronic Resources

Technologies and Applications of Artificial Intelligence 19th International Conference, TAAI 2014, Taipei, Taiwan, November 21-23, 2014. Proceedings

2024-06-11T05:01:55Z

Yazar Cheng, Shin-Ming. editor.
http://dx.doi.org/10.1007/978-3-319-13987-6
Format: Electronic Resources

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

2024-06-11T05:01:55Z

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

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

2024-06-11T05:01:55Z

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

Intelligent Computing in Bioinformatics 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014. Proceedings

2024-06-11T05:01:55Z

Yazar Huang, De-Shuang. editor.
http://dx.doi.org/10.1007/978-3-319-09330-7
Format: Electronic Resources

Cellular Automata 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014. Proceedings

2024-06-11T05:01:55Z

Yazar Wąs, Jarosław. editor.
http://dx.doi.org/10.1007/978-3-319-11520-7
Format: Electronic Resources

Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday

2024-06-11T05:01:55Z

Yazar Calude, Cristian S. editor.
http://dx.doi.org/10.1007/978-3-319-13350-8
Format: Electronic Resources

Swarm Intelligence Based Optimization First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers

2024-06-11T05:01:55Z

Yazar Siarry, Patrick. editor.
http://dx.doi.org/10.1007/978-3-319-12970-9
Format: Electronic Resources

Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part II

2024-06-11T05:01:55Z

Yazar Loo, Chu Kiong. editor.
http://dx.doi.org/10.1007/978-3-319-12640-1
Format: Electronic Resources

Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part III

2024-06-11T05:01:55Z

Yazar Loo, Chu Kiong. editor.
http://dx.doi.org/10.1007/978-3-319-12643-2
Format: Electronic Resources

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

2024-06-11T05:01:55Z

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

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

2024-06-11T05:01:55Z

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

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

2024-06-11T05:01:55Z

Yazar Jones, Cliff. editor.
http://dx.doi.org/10.1007/978-3-319-06410-9
Format: Electronic Resources

Regulated Grammars and Automata

2024-06-11T05:01:55Z

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

Modelling and Simulation for Autonomous Systems First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers

2024-06-11T05:01:55Z

Yazar Hodicky, Jan. editor.
http://dx.doi.org/10.1007/978-3-319-13823-7
Format: Electronic Resources

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part I

2024-06-11T05:01:55Z

Yazar Rutkowski, Leszek. editor.
http://dx.doi.org/10.1007/978-3-319-07173-2
Format: Electronic Resources

ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings

2024-06-11T05:01:55Z

Yazar Boniol, Frédéric. editor.
http://dx.doi.org/10.1007/978-3-319-07512-9
Format: Electronic Resources

Hybrid Metaheuristics 9th International Workshop, HM 2014, Hamburg, Germany, June 11-13, 2014. Proceedings

2024-06-11T05:01:55Z

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

Artificial Neural Networks and Machine Learning – ICANN 2014 24th International Conference on Artificial Neural Networks, Hamburg, Germany, September 15-19, 2014. Proceedings

2024-06-11T05:01:55Z

Yazar Wermter, Stefan. editor.
http://dx.doi.org/10.1007/978-3-319-11179-7
Format: Electronic Resources

Membrane Computing 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers

2024-06-11T05:01:55Z

Yazar Alhazov, Artiom. editor.
http://dx.doi.org/10.1007/978-3-642-54239-8
Format: Electronic Resources

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

2024-06-11T05:01:55Z

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

Categories and Types in Logic, Language, and Physics Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday

2024-06-11T05:01:55Z

Yazar Casadio, Claudia. editor.
http://dx.doi.org/10.1007/978-3-642-54789-8
Format: Electronic Resources

Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

2024-06-11T05:01:55Z

Yazar Ait Ameur, Yamine. editor.
http://dx.doi.org/10.1007/978-3-662-43652-3
Format: Electronic Resources

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2024-06-11T05:01:55Z

Yazar Muscholl, Anca. editor.
http://dx.doi.org/10.1007/978-3-642-54830-7
Format: Electronic Resources

Quantum Interaction 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013. Selected Papers

2024-06-11T05:01:55Z

Yazar Atmanspacher, Harald. editor.
http://dx.doi.org/10.1007/978-3-642-54943-4
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

2024-06-11T05:01:55Z

Yazar McMillan, Kenneth L. editor.
http://dx.doi.org/10.1007/978-3-642-54013-4
Format: Electronic Resources

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

2024-06-11T05:01:55Z

Yazar Zaverucha, Gerson. editor.
http://dx.doi.org/10.1007/978-3-662-44923-3
Format: Electronic Resources

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

2024-06-11T05:01:55Z

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

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

2024-06-11T05:01:55Z

Yazar Margaria, Tiziana. editor.
http://dx.doi.org/10.1007/978-3-662-45231-8
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

2024-06-11T05:01:55Z

Yazar Margaria, Tiziana. editor.
http://dx.doi.org/10.1007/978-3-662-45234-9
Format: Electronic Resources

Machine Translation 10th China Workshop, CWMT 2014, Macau, China, November 4-6, 2014. Proceedings

2024-06-11T05:01:55Z

Yazar Shi, Xiaodong. editor.
http://dx.doi.org/10.1007/978-3-662-45701-6
Format: Electronic Resources

Transactions on Computational Science XXIV Special Issue on Reversible Computing

2024-06-11T05:01:55Z

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

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

2024-06-11T05:01:55Z

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