Search Results for - Narrowed by: English - Springer E-Book Collection - Algorithms. - Software engineering.

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

Yazar Carrasco-Ochoa, Jesús Ariel. editor.
https://doi.org/10.1007/978-3-030-21077-9
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-27T06:25:34Z

Yazar Guerra, Esther. editor. (orcid)0000-0002-2818-2278
https://doi.org/10.1007/978-3-030-23611-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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
https://doi.org/10.1007/978-3-030-17601-3
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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

Yazar Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441
https://doi.org/10.1007/978-3-030-32079-9
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-27T06:25:34Z

Yazar Guizzardi, Giancarlo. editor.
https://doi.org/10.1007/978-3-030-34146-6
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-27T06:25:34Z

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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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-27T06:25:34Z

Yazar Paternina-Arboleda, Carlos. editor. (orcid)0000-0002-8860-3898
https://doi.org/10.1007/978-3-030-31140-7
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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

Yazar Ganty, Pierre. editor. (orcid)0000-0002-3625-6003
https://doi.org/10.1007/978-3-030-35092-5
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-27T06:25:34Z

Yazar Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
https://doi.org/10.1007/978-3-030-17465-1
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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

Distributed Real-Time Systems Theory and Practice

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

Computing and Software Science State of the Art and Perspectives

2024-06-27T06:25:34Z

Yazar Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
https://doi.org/10.1007/978-3-319-91908-9
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-27T06:25:34Z

Yazar Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507
https://doi.org/10.1007/978-3-030-32441-4
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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

Computational Thinking First Algorithms, Then Code

2024-06-27T06:25:34Z

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

Number-Theoretic Methods in Cryptology First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers

2024-06-27T06:25:34Z

Yazar Kaczorowski, Jerzy. editor.
https://doi.org/10.1007/978-3-319-76620-1
Format: Electronic Resources

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

Yazar Kordy, Barbara. editor.
http://dx.doi.org/10.1007/978-3-319-46263-9
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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

Transactions on Computational Science XXVII

2024-06-27T06:25:34Z

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

Instruction Selection Principles, Methods, and Applications

2024-06-27T06:25:34Z

Yazar Hjort Blindell, Gabriel. author.
http://dx.doi.org/10.1007/978-3-319-34019-7
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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

Yazar Sarro, Federica. editor.
http://dx.doi.org/10.1007/978-3-319-47106-8
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-27T06:25:34Z

Yazar Shen, Xipeng. editor.
http://dx.doi.org/10.1007/978-3-319-29778-1
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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

Yazar Mauw, Sjouke. editor.
http://dx.doi.org/10.1007/978-3-319-29968-6
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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

Yazar Caballero, Juan. editor.
http://dx.doi.org/10.1007/978-3-319-30806-7
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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

Yazar Monrose, Fabian. editor.
http://dx.doi.org/10.1007/978-3-319-45719-2
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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

Yazar Huang, Xinyi. editor.
http://dx.doi.org/10.1007/978-3-319-39077-2
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-27T06:25:34Z

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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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-27T06:25:34Z

Yazar Altmann, Jörn. editor.
http://dx.doi.org/10.1007/978-3-319-43177-2
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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

2024-06-27T06:25:34Z

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-27T06:25:34Z

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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

Yazar Plaat, Aske. editor.
http://dx.doi.org/10.1007/978-3-319-27992-3
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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

Yazar Malyshkin, Victor. editor.
http://dx.doi.org/10.1007/978-3-319-21909-7
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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

Yazar Aguayo-Torres, Mari Carmen. editor.
http://dx.doi.org/10.1007/978-3-319-22572-2
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-27T06:25:34Z

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-27T06:25:34Z

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-27T06:25:34Z

Yazar Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-319-21410-8
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-27T06:25:34Z

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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

Yazar Abdelzaher, Tarek. editor.
http://dx.doi.org/10.1007/978-3-319-15582-1
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-27T06:25:34Z

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-27T06:25:34Z

Yazar Panigrahi, Bijaya Ketan. editor.
http://dx.doi.org/10.1007/978-3-319-20294-5
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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

Yazar Dediu, Adrian-Horia. editor.
http://dx.doi.org/10.1007/978-3-319-26841-5
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-27T06:25:34Z

Yazar Italiano, Giuseppe F. editor.
http://dx.doi.org/10.1007/978-3-662-46078-8
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-27T06:25:34Z

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

Models of Strategic Reasoning Logics, Games, and Communities

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

Yazar Pinho, Luís Miguel Pinho. editor.
http://dx.doi.org/10.1007/978-3-319-16086-3
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-27T06:25:34Z

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

Correct Software in Web Applications and Web Services

2024-06-27T06:25:34Z

Yazar Thalheim, Bernhard. editor.
http://dx.doi.org/10.1007/978-3-319-17112-8
Format: Electronic Resources

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

2024-06-27T06:25:34Z

Yazar Corman, Francesco. editor.
http://dx.doi.org/10.1007/978-3-319-24264-4
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-27T06:25:34Z

Yazar Butler, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-25423-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-27T06:25:34Z

Yazar Terboven, Christian. editor.
http://dx.doi.org/10.1007/978-3-319-24595-9
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-27T06:25:34Z

Yazar Bodei, Chiara. editor.
http://dx.doi.org/10.1007/978-3-319-25527-9
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-27T06:25:34Z

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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

Yazar Bouajjani, Ahmed. editor.
http://dx.doi.org/10.1007/978-3-319-26850-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-27T06:25:34Z

Yazar Cirne, Walfredo. editor.
http://dx.doi.org/10.1007/978-3-319-15789-4
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-27T06:25:34Z

Yazar Wang, Guojun. editor.
http://dx.doi.org/10.1007/978-3-319-27119-4
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-27T06:25:34Z

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-27T06:25:34Z

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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

Yazar Wang, Guojun. editor.
http://dx.doi.org/10.1007/978-3-319-27161-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-27T06:25:34Z

Yazar Hunold, Sascha. editor.
http://dx.doi.org/10.1007/978-3-319-27308-2
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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

Yazar Bieger, Jordi. editor.
http://dx.doi.org/10.1007/978-3-319-21365-1
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-27T06:25:34Z

Yazar Ciuciu, Ioana. editor.
http://dx.doi.org/10.1007/978-3-319-26138-6
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-27T06:25:34Z

Yazar Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-319-21413-9
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-27T06:25:34Z

Yazar Gervasi, Osvaldo. editor.
http://dx.doi.org/10.1007/978-3-319-21470-2
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-27T06:25:34Z

Yazar Zaroliagis, Christos. editor.
http://dx.doi.org/10.1007/978-3-319-24024-4
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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

Yazar Aguilera, Marcos K. editor.
http://dx.doi.org/10.1007/978-3-319-14472-6
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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

Yazar Zowghi, Didar. editor.
http://dx.doi.org/10.1007/978-3-662-43610-3
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-27T06:25:34Z

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-27T06:25:34Z

Yazar Desai, Narayan. editor.
http://dx.doi.org/10.1007/978-3-662-43779-7
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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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-27T06:25:34Z

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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

Yazar González-Ramírez, Rosa G. editor.
http://dx.doi.org/10.1007/978-3-319-11421-7
Format: Electronic Resources

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

Yazar Dediu, Adrian-Horia. editor.
http://dx.doi.org/10.1007/978-3-319-13749-0
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-27T06:25:34Z

Yazar Hliněný, Petr. editor.
http://dx.doi.org/10.1007/978-3-319-14896-0
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-27T06:25:34Z

Yazar Klein, Gerwin. editor.
http://dx.doi.org/10.1007/978-3-319-08970-6
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-27T06:25:34Z

Yazar Sun, Xian-he. editor.
http://dx.doi.org/10.1007/978-3-319-11197-1
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-27T06:25:34Z

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-27T06:25:34Z

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-27T06:25:34Z

Yazar Murgante, Beniamino. editor.
http://dx.doi.org/10.1007/978-3-319-09144-0
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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

Yazar Goertzel, Ben. editor.
http://dx.doi.org/10.1007/978-3-319-09274-4
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-27T06:25:34Z

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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

Yazar Jonsson, Magnus. editor.
http://dx.doi.org/10.1007/978-3-319-10262-7
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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

Yazar Krishnamachari, Bhaskar. editor.
http://dx.doi.org/10.1007/978-3-319-04651-8
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-27T06:25:34Z

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-27T06:25:34Z

Yazar Murgante, Beniamino. editor.
http://dx.doi.org/10.1007/978-3-319-09156-3
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-27T06:25:34Z

Yazar Geffert, Viliam. editor.
http://dx.doi.org/10.1007/978-3-319-04298-5
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-27T06:25:34Z

Yazar Sericola, Bruno. editor.
http://dx.doi.org/10.1007/978-3-319-08219-6
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-27T06:25:34Z

Yazar Sun, Xian-he. editor.
http://dx.doi.org/10.1007/978-3-319-11194-0
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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

Yazar Mazzeo, Pier Luigi. editor.
http://dx.doi.org/10.1007/978-3-319-13323-2
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-27T06:25:34Z

Yazar Altmann, Jörn. editor.
http://dx.doi.org/10.1007/978-3-319-14609-6
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-27T06:25:34Z

Yazar Alhazov, Artiom. editor.
http://dx.doi.org/10.1007/978-3-642-54239-8
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-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

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

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

2024-06-27T06:25:34Z

Yazar Hong, Hoon. editor.
http://dx.doi.org/10.1007/978-3-662-44199-2
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-27T06:25:34Z

Yazar Saeed, Khalid. editor.
http://dx.doi.org/10.1007/978-3-662-45237-0
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-27T06:25:34Z

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