Search Results for - Narrowed by: Algorithm Analysis and Problem Complexity. - Software engineering.

SOFSEM 2019: Theory and Practice of Computer Science 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings

2024-06-16T05:31:09Z

Yazar Catania, Barbara. editor. (orcid)0000-0002-6443-169X
https://doi.org/10.1007/978-3-030-10801-4
Format: Electronic Resources

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

2024-06-16T05:31:09Z

Yazar ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367
https://doi.org/10.1007/978-3-030-30985-5
Format: Electronic Resources

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

2024-06-16T05:31:09Z

Yazar Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-22348-9
Format: Electronic Resources

Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

2024-06-16T05:31:09Z

Yazar Khan, Md. Aquil. editor.
https://doi.org/10.1007/978-3-662-58771-3
Format: Electronic Resources

Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings

2024-06-16T05:31:09Z

Yazar Guizzardi, Giancarlo. editor.
https://doi.org/10.1007/978-3-030-34146-6
Format: Electronic Resources

Algorithms for Sensor Systems 15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Dressler, Falko. editor. (orcid)0000-0002-1989-1750
https://doi.org/10.1007/978-3-030-34405-4
Format: Electronic Resources

Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

2024-06-16T05:31:09Z

Yazar Nejati, Shiva. editor.
https://doi.org/10.1007/978-3-030-27455-9
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

2024-06-16T05:31:09Z

Yazar André, Étienne. editor. (orcid)0000-0001-8473-9555
https://doi.org/10.1007/978-3-030-29662-9
Format: Electronic Resources

Theory and Practice of Natural Computing 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings

2024-06-16T05:31:09Z

Yazar Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000
https://doi.org/10.1007/978-3-030-34500-6
Format: Electronic Resources

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

2024-06-16T05:31:09Z

Yazar Parker, David. editor. (orcid)0000-0003-4137-8862
https://doi.org/10.1007/978-3-030-30281-8
Format: Electronic Resources

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

2024-06-16T05:31:09Z

Yazar Herzig, Andreas. editor. (orcid)0000-0003-0833-2782
https://doi.org/10.1007/978-3-030-29007-8
Format: Electronic Resources

Computing and Software Science State of the Art and Perspectives

2024-06-16T05:31:09Z

Yazar Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
https://doi.org/10.1007/978-3-319-91908-9
Format: Electronic Resources

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

2024-06-16T05:31:09Z

Yazar Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441
https://doi.org/10.1007/978-3-030-32079-9
Format: Electronic Resources

Pattern Recognition 11th Mexican Conference, MCPR 2019, Querétaro, Mexico, June 26–29, 2019, Proceedings

2024-06-16T05:31:09Z

Yazar Carrasco-Ochoa, Jesús Ariel. editor.
https://doi.org/10.1007/978-3-030-21077-9
Format: Electronic Resources

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

2024-06-16T05:31:09Z

Yazar ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367
https://doi.org/10.1007/978-3-030-30942-8
Format: Electronic Resources

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

2024-06-16T05:31:09Z

Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
https://doi.org/10.1007/978-3-030-17601-3
Format: Electronic Resources

Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings

2024-06-16T05:31:09Z

Yazar Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457
https://doi.org/10.1007/978-3-030-21571-2
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

2024-06-16T05:31:09Z

Yazar Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
https://doi.org/10.1007/978-3-030-17465-1
Format: Electronic Resources

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

2024-06-16T05:31:09Z

Yazar Chen, Yu-Fang. editor.
https://doi.org/10.1007/978-3-030-31784-3
Format: Electronic Resources

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

2024-06-16T05:31:09Z

Yazar Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507
https://doi.org/10.1007/978-3-030-32441-4
Format: Electronic Resources

Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings

2024-06-16T05:31:09Z

Yazar England, Matthew. editor. (orcid)0000-0001-5729-3420
https://doi.org/10.1007/978-3-030-26831-2
Format: Electronic Resources

Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

2024-06-16T05:31:09Z

Yazar Iemhoff, Rosalie. editor.
https://doi.org/10.1007/978-3-662-59533-6
Format: Electronic Resources

Computational Methods in Systems Biology 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings

2024-06-16T05:31:09Z

Yazar Bortolussi, Luca. editor. (orcid)0000-0001-8874-4001
https://doi.org/10.1007/978-3-030-31304-3
Format: Electronic Resources

Computational Logistics 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings

2024-06-16T05:31:09Z

Yazar Paternina-Arboleda, Carlos. editor. (orcid)0000-0002-8860-3898
https://doi.org/10.1007/978-3-030-31140-7
Format: Electronic Resources

Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings

2024-06-16T05:31:09Z

Yazar Ganty, Pierre. editor. (orcid)0000-0002-3625-6003
https://doi.org/10.1007/978-3-030-35092-5
Format: Electronic Resources

Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Artho, Cyrille. editor.
https://doi.org/10.1007/978-3-030-12988-0
Format: Electronic Resources

Information and Software Technologies 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings

2024-06-16T05:31:09Z

Yazar Damaševičius, Robertas. editor.
https://doi.org/10.1007/978-3-030-30275-7
Format: Electronic Resources

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

2024-06-16T05:31:09Z

Yazar Collart-Dutilleul, Simon. editor.
https://doi.org/10.1007/978-3-030-18744-6
Format: Electronic Resources

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

2024-06-16T05:31:09Z

Yazar Biondi, Fabrizio. editor.
https://doi.org/10.1007/978-3-030-30923-7
Format: Electronic Resources

Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

2024-06-16T05:31:09Z

Yazar Guerra, Esther. editor. (orcid)0000-0002-2818-2278
https://doi.org/10.1007/978-3-030-23611-3
Format: Electronic Resources

Distributed Real-Time Systems Theory and Practice

2024-06-16T05:31:09Z

Yazar Erciyes, K. author.
https://doi.org/10.1007/978-3-030-22570-4
Format: Electronic Resources

Multi-disciplinary Trends in Artificial Intelligence 12th International Conference, MIWAI 2018, Hanoi, Vietnam, November 18–20, 2018, Proceedings

2024-06-16T05:31:09Z

Yazar Kaenampornpan, Manasawee. editor.
https://doi.org/10.1007/978-3-030-03014-8
Format: Electronic Resources

PRIMA 2018: Principles and Practice of Multi-Agent Systems 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings

2024-06-16T05:31:09Z

Yazar Miller, Tim. editor. (orcid)0000-0003-4908-6063
https://doi.org/10.1007/978-3-030-03098-8
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

2024-06-16T05:31:09Z

Yazar Jansen, David N. editor. (orcid)0000-0002-6636-3301
https://doi.org/10.1007/978-3-030-00151-3
Format: Electronic Resources

Computational Collective Intelligence 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part II

2024-06-16T05:31:09Z

Yazar Nguyen, Ngoc Thanh. editor.
https://doi.org/10.1007/978-3-319-98446-9
Format: Electronic Resources

Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

2024-06-16T05:31:09Z

Yazar Feng, Xinyu. editor.
https://doi.org/10.1007/978-3-319-99933-3
Format: Electronic Resources

Artificial Intelligence and Soft Computing 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part I

2024-06-16T05:31:09Z

Yazar Rutkowski, Leszek. editor.
https://doi.org/10.1007/978-3-319-91253-0
Format: Electronic Resources

Hybrid Artificial Intelligent Systems 13th International Conference, HAIS 2018, Oviedo, Spain, June 20-22, 2018, Proceedings

2024-06-16T05:31:09Z

Yazar de Cos Juez, Francisco Javier. editor.
https://doi.org/10.1007/978-3-319-92639-1
Format: Electronic Resources

Advances in Neural Networks – ISNN 2018 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25–28, 2018, Proceedings

2024-06-16T05:31:09Z

Yazar Huang, Tingwen. editor. (orcid)0000-0001-9610-846X
https://doi.org/10.1007/978-3-319-92537-0
Format: Electronic Resources

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

2024-06-16T05:31:09Z

Yazar Gallardo, María del Mar. editor.
https://doi.org/10.1007/978-3-319-94111-0
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV

2024-06-16T05:31:09Z

Yazar Vaidya, Jaideep. editor.
https://doi.org/10.1007/978-3-030-05063-4
Format: Electronic Resources

Artificial Intelligence and Soft Computing 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part II

2024-06-16T05:31:09Z

Yazar Rutkowski, Leszek. editor.
https://doi.org/10.1007/978-3-319-91262-2
Format: Electronic Resources

Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

2024-06-16T05:31:09Z

Yazar Khomenko, Victor. editor.
https://doi.org/10.1007/978-3-319-91268-4
Format: Electronic Resources

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948
https://doi.org/10.1007/978-3-030-04771-9
Format: Electronic Resources

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

2024-06-16T05:31:09Z

Yazar Gerdt, Vladimir P. editor.
https://doi.org/10.1007/978-3-319-99639-4
Format: Electronic Resources

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

2024-06-16T05:31:09Z

Yazar Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X
https://doi.org/10.1007/978-3-319-92402-1
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II

2024-06-16T05:31:09Z

Yazar Vaidya, Jaideep. editor.
https://doi.org/10.1007/978-3-030-05054-2
Format: Electronic Resources

Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Tian, Cong. editor.
https://doi.org/10.1007/978-3-319-90104-6
Format: Electronic Resources

SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings

2024-06-16T05:31:09Z

Yazar Tjoa, A Min. editor. (orcid)0000-0002-8295-9252
https://doi.org/10.1007/978-3-319-73117-9
Format: Electronic Resources

Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings

2024-06-16T05:31:09Z

Yazar Korošec, Peter. editor.
https://doi.org/10.1007/978-3-319-91641-5
Format: Electronic Resources

Recent Trends and Future Technology in Applied Intelligence 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedings

2024-06-16T05:31:09Z

Yazar Mouhoub, Malek. editor.
https://doi.org/10.1007/978-3-319-92058-0
Format: Electronic Resources

Web Information Systems Engineering – WISE 2018 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part I

2024-06-16T05:31:09Z

Yazar Hacid, Hakim. editor. (orcid)0000-0003-2265-9343
https://doi.org/10.1007/978-3-030-02922-7
Format: Electronic Resources

Computational Thinking First Algorithms, Then Code

2024-06-16T05:31:09Z

Yazar Ferragina, Paolo. author.
https://doi.org/10.1007/978-3-319-97940-3
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

2024-06-16T05:31:09Z

Yazar Vaidya, Jaideep. editor.
https://doi.org/10.1007/978-3-030-05057-3
Format: Electronic Resources

Intelligent Computing and Internet of Things First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part II

2024-06-16T05:31:09Z

Yazar Li, Kang. editor.
https://doi.org/10.1007/978-981-13-2384-3
Format: Electronic Resources

Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Lirkov, Ivan. editor.
https://doi.org/10.1007/978-3-319-73441-5
Format: Electronic Resources

AI 2018: Advances in Artificial Intelligence 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings

2024-06-16T05:31:09Z

Yazar Mitrovic, Tanja. editor.
https://doi.org/10.1007/978-3-030-03991-2
Format: Electronic Resources

Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection 16th International Conference, PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings

2024-06-16T05:31:09Z

Yazar Demazeau, Yves. editor.
https://doi.org/10.1007/978-3-319-94580-4
Format: Electronic Resources

Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings

2024-06-16T05:31:09Z

Yazar Dorigo, Marco. editor. (orcid)0000-0002-3971-0507
https://doi.org/10.1007/978-3-030-00533-7
Format: Electronic Resources

Recent Advances in Intelligent Manufacturing First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part I

2024-06-16T05:31:09Z

Yazar Wang, Shilong. editor.
https://doi.org/10.1007/978-981-13-2396-6
Format: Electronic Resources

Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings

2024-06-16T05:31:09Z

Yazar Bakhshi, Rena. editor.
https://doi.org/10.1007/978-3-030-02227-3
Format: Electronic Resources

Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II

2024-06-16T05:31:09Z

Yazar Chen, Zhiyong. editor. (orcid)0000-0002-2033-4249
https://doi.org/10.1007/978-3-319-97589-4
Format: Electronic Resources

Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

2024-06-16T05:31:09Z

Yazar Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999
https://doi.org/10.1007/978-3-319-99241-9
Format: Electronic Resources

Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

2024-06-16T05:31:09Z

Yazar Massoni, Tiago. editor. (orcid)0000-0002-9423-7556
https://doi.org/10.1007/978-3-030-03044-5
Format: Electronic Resources

Graph Drawing and Network Visualization 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Frati, Fabrizio. editor. (orcid)0000-0001-5987-8713
https://doi.org/10.1007/978-3-319-73915-1
Format: Electronic Resources

KI 2018: Advances in Artificial Intelligence 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings

2024-06-16T05:31:09Z

Yazar Trollmann, Frank. editor.
https://doi.org/10.1007/978-3-030-00111-7
Format: Electronic Resources

Intelligent Computing Theories and Application 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part I

2024-06-16T05:31:09Z

Yazar Huang, De-Shuang. editor.
https://doi.org/10.1007/978-3-319-95930-6
Format: Electronic Resources

Human Centered Computing Third International Conference, HCC 2017, Kazan, Russia, August 7–9, 2017, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Zu, Qiaohong. editor.
https://doi.org/10.1007/978-3-319-74521-3
Format: Electronic Resources

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

2024-06-16T05:31:09Z

Yazar Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481
https://doi.org/10.1007/978-3-030-00359-3
Format: Electronic Resources

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

2024-06-16T05:31:09Z

Yazar Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786
https://doi.org/10.1007/978-3-319-78024-5
Format: Electronic Resources

Artificial Intelligence 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings

2024-06-16T05:31:09Z

Yazar Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001
https://doi.org/10.1007/978-3-030-00617-4
Format: Electronic Resources

Advances in Swarm Intelligence 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I

2024-06-16T05:31:09Z

Yazar Tan, Ying. editor.
https://doi.org/10.1007/978-3-319-93815-8
Format: Electronic Resources

Advances in Green Energy Systems and Smart Grid First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part III

2024-06-16T05:31:09Z

Yazar Li, Kang. editor.
https://doi.org/10.1007/978-981-13-2381-2
Format: Electronic Resources

Advances in Artificial Intelligence - IBERAMIA 2018 16th Ibero-American Conference on AI, Trujillo, Peru, November 13-16, 2018, Proceedings

2024-06-16T05:31:09Z

Yazar Simari, Guillermo R. editor. (orcid)0000-0001-6247-0428
https://doi.org/10.1007/978-3-030-03928-8
Format: Electronic Resources

Applications of Evolutionary Computation 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings

2024-06-16T05:31:09Z

Yazar Sim, Kevin. editor. (orcid)0000-0001-6555-7721
https://doi.org/10.1007/978-3-319-77538-8
Format: Electronic Resources

Biomimetic and Biohybrid Systems 7th International Conference, Living Machines 2018, Paris, France, July 17–20, 2018, Proceedings

2024-06-16T05:31:09Z

Yazar Vouloutsi , Vasiliki. editor. (orcid)0000-0001-6425-1026
https://doi.org/10.1007/978-3-319-95972-6
Format: Electronic Resources

Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Gheorghe, Marian. editor.
https://doi.org/10.1007/978-3-319-73359-3
Format: Electronic Resources

Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig

2024-06-16T05:31:09Z

Yazar Heckel, Reiko. editor.
https://doi.org/10.1007/978-3-319-75396-6
Format: Electronic Resources

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

2024-06-16T05:31:09Z

Yazar Galmiche, Didier. editor.
https://doi.org/10.1007/978-3-319-94205-6
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X
https://doi.org/10.1007/978-3-319-63139-4
Format: Electronic Resources

Green, Pervasive, and Cloud Computing 12th International Conference, GPC 2017, Cetara, Italy, May 11-14, 2017, Proceedings

2024-06-16T05:31:09Z

Yazar Au, Man Ho Allen. editor.
https://doi.org/10.1007/978-3-319-57186-7
Format: Electronic Resources

Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings

2024-06-16T05:31:09Z

Yazar Malyshkin, Victor. editor. (orcid)0000-0002-7874-3686
https://doi.org/10.1007/978-3-319-62932-2
Format: Electronic Resources

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

2024-06-16T05:31:09Z

Yazar Barrett, Clark. editor. (orcid)0000-0002-9522-3084
https://doi.org/10.1007/978-3-319-57288-8
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

2024-06-16T05:31:09Z

Yazar Legay, Axel. editor.
https://doi.org/10.1007/978-3-662-54577-5
Format: Electronic Resources

SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

2024-06-16T05:31:09Z

Yazar Steffen, Bernhard. editor.
https://doi.org/10.1007/978-3-319-51963-0
Format: Electronic Resources

Computer Security – ESORICS 2017 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part II

2024-06-16T05:31:09Z

Yazar Foley, Simon N. editor.
https://doi.org/10.1007/978-3-319-66399-9
Format: Electronic Resources

Advanced Concepts for Intelligent Vision Systems 18th International Conference, ACIVS 2017, Antwerp, Belgium, September 18-21, 2017, Proceedings

2024-06-16T05:31:09Z

Yazar Blanc-Talon, Jacques. editor.
https://doi.org/10.1007/978-3-319-70353-4
Format: Electronic Resources

Algorithmic Decision Theory 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25–27, 2017, Proceedings

2024-06-16T05:31:09Z

Yazar Rothe, Jörg. editor.
https://doi.org/10.1007/978-3-319-67504-6
Format: Electronic Resources

Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Berger, Christian. editor.
https://doi.org/10.1007/978-3-319-51738-4
Format: Electronic Resources

Smart Cities Second International Conference, Smart-CT 2017, Málaga, Spain, June 14-16, 2017, Proceedings

2024-06-16T05:31:09Z

Yazar Alba, Enrique. editor.
https://doi.org/10.1007/978-3-319-59513-9
Format: Electronic Resources

Euro-Par 2016: Parallel Processing Workshops Euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Desprez, Frédéric. editor.
https://doi.org/10.1007/978-3-319-58943-5
Format: Electronic Resources

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

2024-06-16T05:31:09Z

Yazar Proença, José. editor.
https://doi.org/10.1007/978-3-319-68034-7
Format: Electronic Resources

Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings

2024-06-16T05:31:09Z

Yazar Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842
https://doi.org/10.1007/978-3-319-60252-3
Format: Electronic Resources

Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I

2024-06-16T05:31:09Z

Yazar Benferhat, Salem. editor.
https://doi.org/10.1007/978-3-319-60042-0
Format: Electronic Resources

Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

2024-06-16T05:31:09Z

Yazar Gerdt, Vladimir P. editor.
https://doi.org/10.1007/978-3-319-66320-3
Format: Electronic Resources

Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings

2024-06-16T05:31:09Z

Yazar Dixon, Clare. editor.
https://doi.org/10.1007/978-3-319-66167-4
Format: Electronic Resources

Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings

2024-06-16T05:31:09Z

Yazar El Abbadi, Amr. editor.
https://doi.org/10.1007/978-3-319-59647-1
Format: Electronic Resources

Artificial Intelligence and Soft Computing 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part I

2024-06-16T05:31:09Z

Yazar Rutkowski, Leszek. editor.
https://doi.org/10.1007/978-3-319-59063-9
Format: Electronic Resources

Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings

2024-06-16T05:31:09Z

Yazar Dou, Yong. editor.
https://doi.org/10.1007/978-3-319-67952-5
Format: Electronic Resources

Automated Deduction – CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings

2024-06-16T05:31:09Z

Yazar de Moura, Leonardo. editor.
https://doi.org/10.1007/978-3-319-63046-5
Format: Electronic Resources

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

2024-06-16T05:31:09Z

Yazar Zeume, Thomas. author.
https://doi.org/10.1007/978-3-662-54314-6
Format: Electronic Resources

Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings

2024-06-16T05:31:09Z

Yazar Bozzano, Marco. editor. (orcid)0000-0002-4135-103X
https://doi.org/10.1007/978-3-319-64119-5
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

2024-06-16T05:31:09Z

Yazar Legay, Axel. editor.
https://doi.org/10.1007/978-3-662-54580-5
Format: Electronic Resources

AI 2017: Advances in Artificial Intelligence 30th Australasian Joint Conference, Melbourne, VIC, Australia, August 19–20, 2017, Proceedings

2024-06-16T05:31:09Z

Yazar Peng, Wei. editor.
https://doi.org/10.1007/978-3-319-63004-5
Format: Electronic Resources

Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I

2024-06-16T05:31:09Z

Yazar Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799
https://doi.org/10.1007/978-3-319-71150-8
Format: Electronic Resources

KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25–29, 2017, Proceedings

2024-06-16T05:31:09Z

Yazar Kern-Isberner, Gabriele. editor.
https://doi.org/10.1007/978-3-319-67190-1
Format: Electronic Resources

Membrane Computing 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Leporati, Alberto. editor.
https://doi.org/10.1007/978-3-319-54072-6
Format: Electronic Resources

Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings

2024-06-16T05:31:09Z

Yazar Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448
https://doi.org/10.1007/978-3-319-66176-6
Format: Electronic Resources

Progress in Artificial Intelligence 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings

2024-06-16T05:31:09Z

Yazar Oliveira, Eugénio. editor. (orcid)0000-0001-9271-610X
https://doi.org/10.1007/978-3-319-65340-2
Format: Electronic Resources

Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

2024-06-16T05:31:09Z

Yazar Menzies, Tim. editor. (orcid)0000-0002-5040-3196
https://doi.org/10.1007/978-3-319-66299-2
Format: Electronic Resources

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

2024-06-16T05:31:09Z

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

Architecture of Computing Systems - ARCS 2017 30th International Conference, Vienna, Austria, April 3–6, 2017, Proceedings

2024-06-16T05:31:09Z

Yazar Knoop, Jens. editor.
https://doi.org/10.1007/978-3-319-54999-6
Format: Electronic Resources

Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II

2024-06-16T05:31:09Z

Yazar Squillero, Giovanni. editor.
https://doi.org/10.1007/978-3-319-55792-2
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Desai, Narayan. editor.
https://doi.org/10.1007/978-3-319-61756-5
Format: Electronic Resources

Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3–5, 2017, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Winands, Mark H.M. . editor.
https://doi.org/10.1007/978-3-319-71649-7
Format: Electronic Resources

High-Performance Scientific Computing First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4–5, 2016, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Di Napoli, Edoardo. editor.
https://doi.org/10.1007/978-3-319-53862-4
Format: Electronic Resources

Network and Parallel Computing 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings

2024-06-16T05:31:09Z

Yazar Shi, Xuanhua. editor.
https://doi.org/10.1007/978-3-319-68210-5
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

2024-06-16T05:31:09Z

Yazar Abate, Alessandro. editor.
https://doi.org/10.1007/978-3-319-65765-3
Format: Electronic Resources

Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10–15, 2017, Proceedings

2024-06-16T05:31:09Z

Yazar Carmona, Josep. editor. (orcid)0000-0001-9656-254X
https://doi.org/10.1007/978-3-319-65000-5
Format: Electronic Resources

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

2024-06-16T05:31:09Z

Yazar Ghosh, Sujata. editor.
https://doi.org/10.1007/978-3-662-54069-5
Format: Electronic Resources

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Dastani, Mehdi. editor.
https://doi.org/10.1007/978-3-319-68972-2
Format: Electronic Resources

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

2024-06-16T05:31:09Z

Yazar Abate, Alessandro. editor. (orcid)0000-0002-5627-9093
https://doi.org/10.1007/978-3-319-63501-9
Format: Electronic Resources

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

2024-06-16T05:31:09Z

Yazar Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926
https://doi.org/10.1007/978-3-319-68270-9
Format: Electronic Resources

Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part II

2024-06-16T05:31:09Z

Yazar Benferhat, Salem. editor.
https://doi.org/10.1007/978-3-319-60045-1
Format: Electronic Resources

Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings

2024-06-16T05:31:09Z

Yazar Hague, Matthew. editor.
https://doi.org/10.1007/978-3-319-67089-8
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part IV

2024-06-16T05:31:09Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
https://doi.org/10.1007/978-3-319-62401-3
Format: Electronic Resources

Transactions on Petri Nets and Other Models of Concurrency XII

2024-06-16T05:31:09Z

Yazar Koutny, Maciej. editor.
https://doi.org/10.1007/978-3-662-55862-1
Format: Electronic Resources

Computational Logistics 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017, Proceedings

2024-06-16T05:31:09Z

Yazar Bektaş, Tolga. editor. (orcid)0000-0003-0634-144X
https://doi.org/10.1007/978-3-319-68496-3
Format: Electronic Resources

Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Criado Pacheco, Natalia. editor.
https://doi.org/10.1007/978-3-319-59294-7
Format: Electronic Resources

Artificial Intelligence and Soft Computing 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part II

2024-06-16T05:31:09Z

Yazar Rutkowski, Leszek. editor.
https://doi.org/10.1007/978-3-319-59060-8
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings

2024-06-16T05:31:09Z

Yazar Ibrahim, Shadi. editor.
https://doi.org/10.1007/978-3-319-65482-9
Format: Electronic Resources

Challenges and Opportunity with Big Data 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Zhang, Lin. editor.
https://doi.org/10.1007/978-3-319-61994-1
Format: Electronic Resources

Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I

2024-06-16T05:31:09Z

Yazar Squillero, Giovanni. editor.
https://doi.org/10.1007/978-3-319-55849-3
Format: Electronic Resources

Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II

2024-06-16T05:31:09Z

Yazar Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799
https://doi.org/10.1007/978-3-319-71147-8
Format: Electronic Resources

Euro-Par 2017: Parallel Processing 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 – September 1, 2017, Proceedings

2024-06-16T05:31:09Z

Yazar Rivera, Francisco F. editor. (orcid)0000-0002-6728-9350
https://doi.org/10.1007/978-3-319-64203-1
Format: Electronic Resources

Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers

2024-06-16T05:31:09Z

Yazar de Lemos, Rogério. editor.
https://doi.org/10.1007/978-3-319-74183-3
Format: Electronic Resources

Multiagent System Technologies 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings

2024-06-16T05:31:09Z

Yazar Klusch, Matthias. editor.
http://dx.doi.org/10.1007/978-3-319-45889-2
Format: Electronic Resources

Mathematical Software – ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

2024-06-16T05:31:09Z

Yazar Greuel, Gert-Martin. editor.
http://dx.doi.org/10.1007/978-3-319-42432-3
Format: Electronic Resources

Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings

2024-06-16T05:31:09Z

Yazar Gavanelli, Marco. editor.
http://dx.doi.org/10.1007/978-3-319-28228-2
Format: Electronic Resources

Architecture of Computing Systems -- ARCS 2016 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings

2024-06-16T05:31:09Z

Yazar Hannig, Frank. editor.
http://dx.doi.org/10.1007/978-3-319-30695-7
Format: Electronic Resources

Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

2024-06-16T05:31:09Z

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

Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Shen, Xipeng. editor.
http://dx.doi.org/10.1007/978-3-319-29778-1
Format: Electronic Resources

Advances in Network Science 12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016, Proceedings

2024-06-16T05:31:09Z

Yazar Wierzbicki, Adam. editor.
http://dx.doi.org/10.1007/978-3-319-28361-6
Format: Electronic Resources

Green, Pervasive, and Cloud Computing 11th International Conference, GPC 2016, Xi'an, China, May 6-8, 2016. Proceedings

2024-06-16T05:31:09Z

Yazar Huang, Xinyi. editor.
http://dx.doi.org/10.1007/978-3-319-39077-2
Format: Electronic Resources

Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Mauw, Sjouke. editor.
http://dx.doi.org/10.1007/978-3-319-29968-6
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II

2024-06-16T05:31:09Z

Yazar Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-319-42108-7
Format: Electronic Resources

Computational Science and Its Applications -- ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III

2024-06-16T05:31:09Z

Yazar Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-319-42111-7
Format: Electronic Resources

Networked Systems 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Abdulla, Parosh Aziz. editor.
http://dx.doi.org/10.1007/978-3-319-46140-3
Format: Electronic Resources

Computational Logistics 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings

2024-06-16T05:31:09Z

Yazar Paias, Ana. editor.
http://dx.doi.org/10.1007/978-3-319-44896-1
Format: Electronic Resources

SOFSEM 2016: Theory and Practice of Computer Science 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings

2024-06-16T05:31:09Z

Yazar Freivalds, Rūsiņš Mārtiņš. editor.
http://dx.doi.org/10.1007/978-3-662-49192-8
Format: Electronic Resources

OpenMP: Memory, Devices, and Tasks 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings

2024-06-16T05:31:09Z

Yazar Maruyama, Naoya. editor.
http://dx.doi.org/10.1007/978-3-319-45550-1
Format: Electronic Resources

Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings

2024-06-16T05:31:09Z

Yazar Caballero, Juan. editor.
http://dx.doi.org/10.1007/978-3-319-30806-7
Format: Electronic Resources

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

2024-06-16T05:31:09Z

Yazar Probst, Christian W. editor.
http://dx.doi.org/10.1007/978-3-319-27810-0
Format: Electronic Resources

Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Rovatsos, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-33509-4
Format: Electronic Resources

Mathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers

2024-06-16T05:31:09Z

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

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I

2024-06-16T05:31:09Z

Yazar Wyrzykowski, Roman. editor.
http://dx.doi.org/10.1007/978-3-319-32149-3
Format: Electronic Resources

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II

2024-06-16T05:31:09Z

Yazar Wyrzykowski, Roman. editor.
http://dx.doi.org/10.1007/978-3-319-32152-3
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I

2024-06-16T05:31:09Z

Yazar Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-319-42085-1
Format: Electronic Resources

Computational Science and Its Applications -- ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV

2024-06-16T05:31:09Z

Yazar Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-319-42089-9
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V

2024-06-16T05:31:09Z

Yazar Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-319-42092-9
Format: Electronic Resources

Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings

2024-06-16T05:31:09Z

Yazar Echahed, Rachid. editor.
http://dx.doi.org/10.1007/978-3-319-40530-8
Format: Electronic Resources

Graphical Models for Security Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Kordy, Barbara. editor.
http://dx.doi.org/10.1007/978-3-319-46263-9
Format: Electronic Resources

Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

2024-06-16T05:31:09Z

Yazar Lluch Lafuente, Alberto. editor.
http://dx.doi.org/10.1007/978-3-319-39519-7
Format: Electronic Resources

Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

2024-06-16T05:31:09Z

Yazar Wittevrongel, Sabine. editor.
http://dx.doi.org/10.1007/978-3-319-43904-4
Format: Electronic Resources

Transactions on Computational Science XXVII

2024-06-16T05:31:09Z

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

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

2024-06-16T05:31:09Z

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

Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

2024-06-16T05:31:09Z

Yazar Rival, Xavier. editor.
http://dx.doi.org/10.1007/978-3-662-53413-7
Format: Electronic Resources

Distributed Computing 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings

2024-06-16T05:31:09Z

Yazar Gavoille, Cyril. editor.
http://dx.doi.org/10.1007/978-3-662-53426-7
Format: Electronic Resources

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

2024-06-16T05:31:09Z

Yazar Blanchette, Jasmin Christian. editor.
http://dx.doi.org/10.1007/978-3-319-43144-4
Format: Electronic Resources

Economics of Grids, Clouds, Systems, and Services 12th International Conference, GECON 2015, Cluj-Napoca, Romania, September 15-17, 2015, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Altmann, Jörn. editor.
http://dx.doi.org/10.1007/978-3-319-43177-2
Format: Electronic Resources

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

2024-06-16T05:31:09Z

Yazar Falcone, Yliès. editor.
http://dx.doi.org/10.1007/978-3-319-46982-9
Format: Electronic Resources

Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings

2024-06-16T05:31:09Z

Yazar Sarro, Federica. editor.
http://dx.doi.org/10.1007/978-3-319-47106-8
Format: Electronic Resources

Wired/Wireless Internet Communications 14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings

2024-06-16T05:31:09Z

Yazar Mamatas, Lefteris. editor.
http://dx.doi.org/10.1007/978-3-319-33936-8
Format: Electronic Resources

Instruction Selection Principles, Methods, and Applications

2024-06-16T05:31:09Z

Yazar Hjort Blindell, Gabriel. author.
http://dx.doi.org/10.1007/978-3-319-34019-7
Format: Electronic Resources

Research in Attacks, Intrusions, and Defenses 19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016, Proceedings

2024-06-16T05:31:09Z

Yazar Monrose, Fabian. editor.
http://dx.doi.org/10.1007/978-3-319-45719-2
Format: Electronic Resources

Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001

2024-06-16T05:31:09Z

Yazar Guerraoui, Rachid. editor.
http://dx.doi.org/10.1007/978-3-319-14720-8
Format: Electronic Resources

Parallel Computing Technologies 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings

2024-06-16T05:31:09Z

Yazar Malyshkin, Victor. editor.
http://dx.doi.org/10.1007/978-3-319-21909-7
Format: Electronic Resources

Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

2024-06-16T05:31:09Z

Yazar Butler, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-25423-4
Format: Electronic Resources

Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday

2024-06-16T05:31:09Z

Yazar Bodei, Chiara. editor.
http://dx.doi.org/10.1007/978-3-319-25527-9
Format: Electronic Resources

Theory and Practice of Natural Computing Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings

2024-06-16T05:31:09Z

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

Wireless Sensor Networks 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015. Proceedings

2024-06-16T05:31:09Z

Yazar Abdelzaher, Tarek. editor.
http://dx.doi.org/10.1007/978-3-319-15582-1
Format: Electronic Resources

Solving Software Challenges for Exascale International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Markidis, Stefano. editor.
http://dx.doi.org/10.1007/978-3-319-15976-8
Format: Electronic Resources

Architecture of Computing Systems – ARCS 2015 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings

2024-06-16T05:31:09Z

Yazar Pinho, Luís Miguel Pinho. editor.
http://dx.doi.org/10.1007/978-3-319-16086-3
Format: Electronic Resources

Languages and Compilers for Parallel Computing 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Brodman, James. editor.
http://dx.doi.org/10.1007/978-3-319-17473-0
Format: Electronic Resources

Advanced Parallel Processing Technologies 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings

2024-06-16T05:31:09Z

Yazar Chen, Yunji. editor.
http://dx.doi.org/10.1007/978-3-319-23216-4
Format: Electronic Resources

OpenMP: Heterogenous Execution and Data Movements 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings

2024-06-16T05:31:09Z

Yazar Terboven, Christian. editor.
http://dx.doi.org/10.1007/978-3-319-24595-9
Format: Electronic Resources

Internet and Distributed Computing Systems 8th International Conference, IDCS 2015, Windsor, UK, September 2-4, 2015. Proceedings

2024-06-16T05:31:09Z

Yazar Di Fatta, Giuseppe. editor.
http://dx.doi.org/10.1007/978-3-319-23237-9
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings

2024-06-16T05:31:09Z

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

On the Move to Meaningful Internet Systems: OTM 2015 Workshops Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, EI2N, FBM, INBAST, ISDE, META4eS, and MSC 2015, Rhodes, Greece, October 26-30, 2015. Proceedings

2024-06-16T05:31:09Z

Yazar Ciuciu, Ioana. editor.
http://dx.doi.org/10.1007/978-3-319-26138-6
Format: Electronic Resources

Research in Attacks, Intrusions, and Defenses 18th International Symposium, RAID 2015, Kyoto, Japan,November 2-4, 2015. Proceedings

2024-06-16T05:31:09Z

Yazar Bos, Herbert. editor.
http://dx.doi.org/10.1007/978-3-319-26362-5
Format: Electronic Resources

Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings

2024-06-16T05:31:09Z

Yazar Bieger, Jordi. editor.
http://dx.doi.org/10.1007/978-3-319-21365-1
Format: Electronic Resources

Wired/Wireless Internet Communications 13th International Conference, WWIC 2015, Malaga, Spain, May 25-27, 2015, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Aguayo-Torres, Mari Carmen. editor.
http://dx.doi.org/10.1007/978-3-319-22572-2
Format: Electronic Resources

Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

2024-06-16T05:31:09Z

Yazar Holvoet, Tom. editor.
http://dx.doi.org/10.1007/978-3-319-19282-6
Format: Electronic Resources

Multiple Access Communications 8th International Workshop, MACOM 2015, Helsinki, Finland, September 3-4, 2015, Proceedings

2024-06-16T05:31:09Z

Yazar Jonsson, Magnus. editor.
http://dx.doi.org/10.1007/978-3-319-23440-3
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part I

2024-06-16T05:31:09Z

Yazar Wang, Guojun. editor.
http://dx.doi.org/10.1007/978-3-319-27119-4
Format: Electronic Resources

Dynamic Data-Driven Environmental Systems Science First International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Ravela, Sai. editor.
http://dx.doi.org/10.1007/978-3-319-25138-7
Format: Electronic Resources

Cyber Physical Systems. Design, Modeling, and Evaluation 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings

2024-06-16T05:31:09Z

Yazar Mousavi, Mohammad Reza. editor.
http://dx.doi.org/10.1007/978-3-319-25141-7
Format: Electronic Resources

Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Rozenberg, Grzegorz. editor.
http://dx.doi.org/10.1007/978-3-319-28475-0
Format: Electronic Resources

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings

2024-06-16T05:31:09Z

Yazar Träff, Jesper Larsson. editor.
http://dx.doi.org/10.1007/978-3-662-48096-0
Format: Electronic Resources

Cryptographic Hardware and Embedded Systems -- CHES 2015 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings

2024-06-16T05:31:09Z

Yazar Güneysu, Tim. editor.
http://dx.doi.org/10.1007/978-3-662-48324-4
Format: Electronic Resources

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

2024-06-16T05:31:09Z

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

Intelligent Cloud Computing First International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Al-Saidi, Asma. editor.
http://dx.doi.org/10.1007/978-3-319-19848-4
Format: Electronic Resources

Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings

2024-06-16T05:31:09Z

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

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

2024-06-16T05:31:09Z

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

Engineering Secure Software and Systems 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings

2024-06-16T05:31:09Z

Yazar Piessens, Frank. editor.
http://dx.doi.org/10.1007/978-3-319-15618-7
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Cirne, Walfredo. editor.
http://dx.doi.org/10.1007/978-3-319-15789-4
Format: Electronic Resources

Computational Logistics 6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings

2024-06-16T05:31:09Z

Yazar Corman, Francesco. editor.
http://dx.doi.org/10.1007/978-3-319-24264-4
Format: Electronic Resources

Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I

2024-06-16T05:31:09Z

Yazar Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-319-21404-7
Format: Electronic Resources

Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part II

2024-06-16T05:31:09Z

Yazar Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-319-21407-8
Format: Electronic Resources

Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV

2024-06-16T05:31:09Z

Yazar Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-319-21410-8
Format: Electronic Resources

Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part V

2024-06-16T05:31:09Z

Yazar Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-319-21413-9
Format: Electronic Resources

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

2024-06-16T05:31:09Z

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

Swarm, Evolutionary, and Memetic Computing 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Panigrahi, Bijaya Ketan. editor.
http://dx.doi.org/10.1007/978-3-319-20294-5
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2024-06-16T05:31:09Z

Yazar Baier, Christel. editor.
http://dx.doi.org/10.1007/978-3-662-46681-0
Format: Electronic Resources

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

2024-06-16T05:31:09Z

Yazar Urban, Christian. editor.
http://dx.doi.org/10.1007/978-3-319-22102-1
Format: Electronic Resources

Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings

2024-06-16T05:31:09Z

Yazar Parisi-Presicce, Francesco. editor.
http://dx.doi.org/10.1007/978-3-319-21145-9
Format: Electronic Resources

Search-Based Software Engineering 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings

2024-06-16T05:31:09Z

Yazar Barros, Márcio. editor.
http://dx.doi.org/10.1007/978-3-319-22183-0
Format: Electronic Resources

Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part III

2024-06-16T05:31:09Z

Yazar Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-319-21470-2
Format: Electronic Resources

Networked Systems Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Bouajjani, Ahmed. editor.
http://dx.doi.org/10.1007/978-3-319-26850-7
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II

2024-06-16T05:31:09Z

Yazar Wang, Guojun. editor.
http://dx.doi.org/10.1007/978-3-319-27122-4
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part III

2024-06-16T05:31:09Z

Yazar Wang, Guojun. editor.
http://dx.doi.org/10.1007/978-3-319-27137-8
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part IV

2024-06-16T05:31:09Z

Yazar Wang, Guojun. editor.
http://dx.doi.org/10.1007/978-3-319-27140-8
Format: Electronic Resources

Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

2024-06-16T05:31:09Z

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

Euro-Par 2015: Parallel Processing Workshops Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Hunold, Sascha. editor.
http://dx.doi.org/10.1007/978-3-319-27308-2
Format: Electronic Resources

Adaptive Resource Management and Scheduling for Cloud Computing Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Pop, Florin. editor.
http://dx.doi.org/10.1007/978-3-319-28448-4
Format: Electronic Resources

Algorithms, Probability, Networks, and Games Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday

2024-06-16T05:31:09Z

Yazar Zaroliagis, Christos. editor.
http://dx.doi.org/10.1007/978-3-319-24024-4
Format: Electronic Resources

Models of Strategic Reasoning Logics, Games, and Communities

2024-06-16T05:31:09Z

Yazar van Benthem, Johan. editor.
http://dx.doi.org/10.1007/978-3-662-48540-8
Format: Electronic Resources

SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015. Proceedings

2024-06-16T05:31:09Z

Yazar Italiano, Giuseppe F. editor.
http://dx.doi.org/10.1007/978-3-662-46078-8
Format: Electronic Resources

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

2024-06-16T05:31:09Z

Yazar Klein, Gerwin. editor.
http://dx.doi.org/10.1007/978-3-319-08970-6
Format: Electronic Resources

Analytical and Stochastic Modeling Techniques and Applications 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 – July 2, 2014. Proceedings

2024-06-16T05:31:09Z

Yazar Sericola, Bruno. editor.
http://dx.doi.org/10.1007/978-3-319-08219-6
Format: Electronic Resources

Economics of Grids, Clouds, Systems, and Services 11th International Conference, GECON 2014, Cardiff, UK, September 16-18, 2014. Revised Selected Papers.

2024-06-16T05:31:09Z

Yazar Altmann, Jörn. editor.
http://dx.doi.org/10.1007/978-3-319-14609-6
Format: Electronic Resources

Computational Logistics 5th International Conference, ICCL 2014, Valparaiso, Chile, September 24-26, 2014. Proceedings

2024-06-16T05:31:09Z

Yazar González-Ramírez, Rosa G. editor.
http://dx.doi.org/10.1007/978-3-319-11421-7
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-16T05:31:09Z

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

Frontiers in Gaming Simulation 44th International Simulation and Gaming Association Conference, ISAGA 2013 and 17th IFIP WG 5.7 Workshop on Experimental Interactive Learning in Industrial Management, Stockholm, Sweden, June 24-28, 2013. Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Meijer, Sebastiaan A. editor.
http://dx.doi.org/10.1007/978-3-319-04954-0
Format: Electronic Resources

SOFSEM 2014: Theory and Practice of Computer Science 40th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings

2024-06-16T05:31:09Z

Yazar Geffert, Viliam. editor.
http://dx.doi.org/10.1007/978-3-319-04298-5
Format: Electronic Resources

Multiple Access Communications 7th International Workshop, MACOM 2014, Halmstad, Sweden, August 27-28, 2014. Proceedings

2024-06-16T05:31:09Z

Yazar Jonsson, Magnus. editor.
http://dx.doi.org/10.1007/978-3-319-10262-7
Format: Electronic Resources

Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings

2024-06-16T05:31:09Z

Yazar Giese, Holger. editor.
http://dx.doi.org/10.1007/978-3-319-09108-2
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part II

2024-06-16T05:31:09Z

Yazar Murgante, Beniamino. editor.
http://dx.doi.org/10.1007/978-3-319-09129-7
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part I

2024-06-16T05:31:09Z

Yazar Murgante, Beniamino. editor.
http://dx.doi.org/10.1007/978-3-319-09144-0
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part I

2024-06-16T05:31:09Z

Yazar Sun, Xian-he. editor.
http://dx.doi.org/10.1007/978-3-319-11197-1
Format: Electronic Resources

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof

2024-06-16T05:31:09Z

Yazar Kovalev, Mikhail. author.
http://dx.doi.org/10.1007/978-3-319-13906-7
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part II

2024-06-16T05:31:09Z

Yazar Sun, Xian-he. editor.
http://dx.doi.org/10.1007/978-3-319-11194-0
Format: Electronic Resources

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

2024-06-16T05:31:09Z

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

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

2024-06-16T05:31:09Z

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

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

2024-06-16T05:31:09Z

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

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

2024-06-16T05:31:09Z

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

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

2024-06-16T05:31:09Z

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

Internet and Distributed Computing Systems 7th International Conference, IDCS 2014, Calabria, Italy, September 22-24, 2014. Proceedings

2024-06-16T05:31:09Z

Yazar Fortino, Giancarlo. editor.
http://dx.doi.org/10.1007/978-3-319-11692-1
Format: Electronic Resources

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings

2024-06-16T05:31:09Z

Yazar Merz, Stephan. editor.
http://dx.doi.org/10.1007/978-3-319-11737-9
Format: Electronic Resources

Stabilization, Safety, and Security of Distributed Systems 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 – October 1, 2014. Proceedings

2024-06-16T05:31:09Z

Yazar Felber, Pascal. editor.
http://dx.doi.org/10.1007/978-3-319-11764-5
Format: Electronic Resources

Activity Monitoring by Multiple Distributed Sensing Second International Workshop, AMMDS 2014, Stockholm, Sweden, August 24, 2014, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Mazzeo, Pier Luigi. editor.
http://dx.doi.org/10.1007/978-3-319-13323-2
Format: Electronic Resources

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014. Proceedings

2024-06-16T05:31:09Z

Yazar Poole, Stephen. editor.
http://dx.doi.org/10.1007/978-3-319-05215-1
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part IV

2024-06-16T05:31:09Z

Yazar Murgante, Beniamino. editor.
http://dx.doi.org/10.1007/978-3-319-09147-1
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part III

2024-06-16T05:31:09Z

Yazar Murgante, Beniamino. editor.
http://dx.doi.org/10.1007/978-3-319-09150-1
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part VI

2024-06-16T05:31:09Z

Yazar Murgante, Beniamino. editor.
http://dx.doi.org/10.1007/978-3-319-09153-2
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part V

2024-06-16T05:31:09Z

Yazar Murgante, Beniamino. editor.
http://dx.doi.org/10.1007/978-3-319-09156-3
Format: Electronic Resources

Artificial General Intelligence 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014. Proceedings

2024-06-16T05:31:09Z

Yazar Goertzel, Ben. editor.
http://dx.doi.org/10.1007/978-3-319-09274-4
Format: Electronic Resources

Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings

2024-06-16T05:31:09Z

Yazar Ortmeier, Frank. editor.
http://dx.doi.org/10.1007/978-3-319-12214-4
Format: Electronic Resources

Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Hliněný, Petr. editor.
http://dx.doi.org/10.1007/978-3-319-14896-0
Format: Electronic Resources

Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II

2024-06-16T05:31:09Z

Yazar Lopes, Luís. editor.
http://dx.doi.org/10.1007/978-3-319-14313-2
Format: Electronic Resources

Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I

2024-06-16T05:31:09Z

Yazar Lopes, Luís. editor.
http://dx.doi.org/10.1007/978-3-319-14325-5
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-16T05:31:09Z

Yazar Alhazov, Artiom. editor.
http://dx.doi.org/10.1007/978-3-642-54239-8
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-16T05:31:09Z

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

Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Desai, Narayan. editor.
http://dx.doi.org/10.1007/978-3-662-43779-7
Format: Electronic Resources

Euro-Par 2013: Parallel Processing Workshops BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, and UCHPC 2013, Aachen, Germany, August 26-27, 2013. Revised Selected Papers

2024-06-16T05:31:09Z

Yazar Mey, Dieter an. editor.
http://dx.doi.org/10.1007/978-3-642-54420-0
Format: Electronic Resources

Computer Information Systems and Industrial Management 13th IFIP TC8 International Conference, CISIM 2014, Ho Chi Minh City, Vietnam, November 5-7, 2014. Proceedings

2024-06-16T05:31:09Z

Yazar Saeed, Khalid. editor.
http://dx.doi.org/10.1007/978-3-662-45237-0
Format: Electronic Resources

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

2024-06-16T05:31:09Z

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

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

2024-06-16T05:31:09Z

Yazar Bonakdarpour, Borzoo. editor.
http://dx.doi.org/10.1007/978-3-319-11164-3
Format: Electronic Resources

Mathematical Software – ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings

2024-06-16T05:31:09Z

Yazar Hong, Hoon. editor.
http://dx.doi.org/10.1007/978-3-662-44199-2
Format: Electronic Resources

Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014. Proceedings

2024-06-16T05:31:09Z

Yazar Chatterjee, Mainak. editor.
http://dx.doi.org/10.1007/978-3-642-45249-9
Format: Electronic Resources

Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I

2024-06-16T05:31:09Z

Yazar Wyrzykowski, Roman. editor.
http://dx.doi.org/10.1007/978-3-642-55224-3
Format: Electronic Resources

On the Move to Meaningful Internet Systems: OTM 2014 Workshops Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, C&TC, EI2N, INBAST, ISDE, META4eS, MSC and OnToContent 2014, Amantea, Italy, October 27-31, 2014. Proceedings

2024-06-16T05:31:09Z

Yazar Meersman, Robert. editor.
http://dx.doi.org/10.1007/978-3-662-45550-0
Format: Electronic Resources

Requirements Engineering First Asia Pacific Requirements Engineering Symposium, APRES 2014, Auckland, New Zealand, April 28-29, 2014. Proceedings

2024-06-16T05:31:09Z

Yazar Zowghi, Didar. editor.
http://dx.doi.org/10.1007/978-3-662-43610-3
Format: Electronic Resources