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

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

2024-07-04T15:21:53Z

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

Advances in Data Mining: Applications and Theoretical Aspects 15th Industrial Conference, ICDM 2015, Hamburg, Germany, July 11-24, 2015, Proceedings

2024-07-04T15:21:53Z

Yazar Perner, Petra. editor.
http://dx.doi.org/10.1007/978-3-319-20910-4
Format: Electronic Resources

Trends and Applications in Knowledge Discovery and Data Mining PAKDD 2016 Workshops, BDM, MLSDA, PACC, WDMBF, Auckland, New Zealand, April 19, 2016, Revised Selected Papers

2024-07-04T15:21:53Z

Yazar Cao, Huiping. editor.
http://dx.doi.org/10.1007/978-3-319-42996-0
Format: Electronic Resources

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

2024-07-04T15:21:53Z

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

Applications of Evolutionary Computation 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

2024-07-04T15:21:53Z

Yazar Mora, Antonio M. editor.
http://dx.doi.org/10.1007/978-3-319-16549-3
Format: Electronic Resources

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

2024-07-04T15:21:53Z

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

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

2024-07-04T15:21:53Z

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

Multi-Agent-Based Simulation XV International Workshop, MABS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers

2024-07-04T15:21:53Z

Yazar Grimaldo, Francisco. editor.
http://dx.doi.org/10.1007/978-3-319-14627-0
Format: Electronic Resources

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings

2024-07-04T15:21:53Z

Yazar Krivine, Jean. editor.
http://dx.doi.org/10.1007/978-3-319-20860-2
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings

2024-07-04T15:21:53Z

Yazar Bouajjani, Ahmed. editor.
https://doi.org/10.1007/978-3-319-52234-0
Format: Electronic Resources

Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings

2024-07-04T15:21:53Z

Yazar Klasing, Ralf. editor.
https://doi.org/10.1007/978-3-662-55751-8
Format: Electronic Resources

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

2024-07-04T15:21:53Z

Yazar Roux, Olivier. editor.
http://dx.doi.org/10.1007/978-3-319-23401-4
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-07-04T15:21:53Z

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

Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers

2024-07-04T15:21:53Z

Yazar Davis, Jesse. editor.
http://dx.doi.org/10.1007/978-3-319-23708-4
Format: Electronic Resources

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

2024-07-04T15:21:53Z

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

Artificial Evolution 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015. Revised Selected Papers

2024-07-04T15:21:53Z

Yazar Bonnevay, Stéphane. editor.
http://dx.doi.org/10.1007/978-3-319-31471-6
Format: Electronic Resources

Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

2024-07-04T15:21:53Z

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

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

2024-07-04T15:21:53Z

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

Learning and Intelligent Optimization 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers

2024-07-04T15:21:53Z

Yazar Dhaenens, Clarisse. editor.
http://dx.doi.org/10.1007/978-3-319-19084-6
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-07-04T15:21:53Z

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

Statistical Language and Speech Processing 5th International Conference, SLSP 2017, Le Mans, France, October 23–25, 2017, Proceedings

2024-07-04T15:21:53Z

Yazar Camelin, Nathalie. editor.
https://doi.org/10.1007/978-3-319-68456-7
Format: Electronic Resources

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

2024-07-04T15:21:53Z

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

Machine Learning Meets Medical Imaging First International Workshop, MLMMI 2015, Held in Conjunction with ICML 2015, Lille, France, July 11, 2015, Revised Selected Papers

2024-07-04T15:21:53Z

Yazar Bhatia, Kanwal K. editor.
http://dx.doi.org/10.1007/978-3-319-27929-9
Format: Electronic Resources

Scale Space and Variational Methods in Computer Vision 5th International Conference, SSVM 2015, Lège-Cap Ferret, France, May 31 - June 4, 2015, Proceedings

2024-07-04T15:21:53Z

Yazar Aujol, Jean-François. editor.
http://dx.doi.org/10.1007/978-3-319-18461-6
Format: Electronic Resources

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

2024-07-04T15:21:53Z

Yazar Legrand, Pierrick. editor.
http://dx.doi.org/10.1007/978-3-319-11683-9
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-07-04T15:21:53Z

Yazar Bensalem, Saddek. editor.
http://dx.doi.org/10.1007/978-3-642-54848-2
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-07-04T15:21:53Z

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

Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers

2024-07-04T15:21:53Z

Yazar Coecke, Bob. editor. (orcid)0000-0002-5310-8723
https://doi.org/10.1007/978-3-030-35895-2
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-07-04T15:21:53Z

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

Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

2024-07-04T15:21:53Z

Yazar Graf, Susanne. editor.
http://dx.doi.org/10.1007/978-3-319-19195-9
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-07-04T15:21:53Z

Yazar Boniol, Frédéric. editor.
http://dx.doi.org/10.1007/978-3-319-07512-9
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-07-04T15:21:53Z

Yazar Muscholl, Anca. editor.
http://dx.doi.org/10.1007/978-3-642-54830-7
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-07-04T15:21:53Z

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