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

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

2024-05-25T11:22:14Z

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

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

2024-05-25T11:22:14Z

by Gerdt, Vladimir P. editor.
https://doi.org/10.1007/978-3-319-99639-4
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-05-25T11:22:14Z

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

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

2024-05-25T11:22:14Z

by Feng, Xinyu. editor.
https://doi.org/10.1007/978-3-319-99933-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-05-25T11:22:14Z

by Vaidya, Jaideep. editor.
https://doi.org/10.1007/978-3-030-05057-3
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-05-25T11:22:14Z

by Huang, Tingwen. editor. (orcid)0000-0001-9610-846X
https://doi.org/10.1007/978-3-319-92537-0
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-05-25T11:22:14Z

by Tian, Cong. editor.
https://doi.org/10.1007/978-3-319-90104-6
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-05-25T11:22:14Z

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

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

2024-05-25T11:22:14Z

by Chockler, Hana. editor. (orcid)0000-0003-1219-0713
https://doi.org/10.1007/978-3-319-96145-3
Format: Electronic Resources

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

2024-05-25T11:22:14Z

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

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

2024-05-25T11:22:14Z

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

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

2024-05-25T11:22:14Z

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

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

2024-05-25T11:22:14Z

by Vouloutsi, Vasiliki. editor.
https://doi.org/10.1007/978-3-319-95972-6
Format: Electronic Resources

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

2024-05-25T11:22:14Z

by Zu, Qiaohong. editor.
https://doi.org/10.1007/978-3-319-74521-3
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-05-25T11:22:14Z

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

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

2024-05-25T11:22:14Z

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

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

2024-05-25T11:22:14Z

by Tan, Ying. editor.
https://doi.org/10.1007/978-3-319-93815-8
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-05-25T11:22:14Z

by Galmiche, Didier. editor.
https://doi.org/10.1007/978-3-319-94205-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-05-25T11:22:14Z

by Tjoa, A Min. editor.
https://doi.org/10.1007/978-3-319-73117-9
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-05-25T11:22:14Z

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

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

2024-05-25T11:22:14Z

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

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

2024-05-25T11:22:14Z

by Vaidya, Jaideep. editor.
https://doi.org/10.1007/978-3-030-05054-2
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-05-25T11:22:14Z

by Li, Kang. editor.
https://doi.org/10.1007/978-981-13-2381-2
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-05-25T11:22:14Z

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

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

2024-05-25T11:22:14Z

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

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

2024-05-25T11:22:14Z

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

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

2024-05-25T11:22:14Z

by Chockler, Hana. editor. (orcid)0000-0003-1219-0713
https://doi.org/10.1007/978-3-319-96142-2
Format: Electronic Resources

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

2024-05-25T11:22:14Z

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

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

2024-05-25T11:22:14Z

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

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

2024-05-25T11:22:14Z

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

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

2024-05-25T11:22:14Z

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

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

2024-05-25T11:22:14Z

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

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

2024-05-25T11:22:14Z

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

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

2024-05-25T11:22:14Z

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

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

2024-05-25T11:22:14Z

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

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

2024-05-25T11:22:14Z

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

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

2024-05-25T11:22:14Z

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

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

2024-05-25T11:22:14Z

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

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

2024-05-25T11:22:14Z

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

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

2024-05-25T11:22:14Z

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

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

2024-05-25T11:22:14Z

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

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

2024-05-25T11:22:14Z

by 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-05-25T11:22:14Z

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

Computational Thinking First Algorithms, Then Code

2024-05-25T11:22:14Z

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

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

2024-05-25T11:22:14Z

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

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

2024-05-25T11:22:14Z

by 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 I

2024-05-25T11:22:14Z

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

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

2024-05-25T11:22:14Z

by Korošec, Peter. editor.
https://doi.org/10.1007/978-3-319-91641-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-05-25T11:22:14Z

by Frati, Fabrizio. editor. (orcid)0000-0001-5987-8713
https://doi.org/10.1007/978-3-319-73915-1
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-05-25T11:22:14Z

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

Instruction Selection Principles, Methods, and Applications

2024-05-25T11:22:14Z

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

Swarm Intelligence Based Optimization Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papers

2024-05-25T11:22:14Z

by Siarry, Patrick. editor.
https://doi.org/10.1007/978-3-319-50307-3
Format: Electronic Resources

Network and Parallel Computing 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings

2024-05-25T11:22:14Z

by Gao, Guang R. editor.
https://doi.org/10.1007/978-3-319-47099-3
Format: Electronic Resources

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

2024-05-25T11:22:14Z

by Rival, Xavier. editor.
https://doi.org/10.1007/978-3-662-53413-7
Format: Electronic Resources

Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings

2024-05-25T11:22:14Z

by Dutot, Pierre-François. editor.
https://doi.org/10.1007/978-3-319-43659-3
Format: Electronic Resources

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

2024-05-25T11:22:14Z

by Mauw, Sjouke. editor.
https://doi.org/10.1007/978-3-319-29968-6
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-05-25T11:22:14Z

by Shen, Xipeng. editor.
https://doi.org/10.1007/978-3-319-29778-1
Format: Electronic Resources

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

2024-05-25T11:22:14Z

by Gavoille, Cyril. editor.
https://doi.org/10.1007/978-3-662-53426-7
Format: Electronic Resources

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

2024-05-25T11:22:14Z

by Sarro, Federica. editor.
https://doi.org/10.1007/978-3-319-47106-8
Format: Electronic Resources

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

2024-05-25T11:22:14Z

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

Human Centered Computing Second International Conference, HCC 2016, Colombo, Sri Lanka, January 7-9, 2016, Revised Selected Papers

2024-05-25T11:22:14Z

by Zu, Qiaohong. editor.
https://doi.org/10.1007/978-3-319-31854-7
Format: Electronic Resources

Stabilization, Safety, and Security of Distributed Systems 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings

2024-05-25T11:22:14Z

by Bonakdarpour, Borzoo. editor.
https://doi.org/10.1007/978-3-319-49259-9
Format: Electronic Resources

Swarm, Evolutionary, and Memetic Computing 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers

2024-05-25T11:22:14Z

by Panigrahi, Bijaya Ketan. editor.
https://doi.org/10.1007/978-3-319-48959-9
Format: Electronic Resources

Computers and Games 9th International Conference, CG 2016, Leiden, The Netherlands, June 29 – July 1, 2016, Revised Selected Papers

2024-05-25T11:22:14Z

by Plaat, Aske. editor.
https://doi.org/10.1007/978-3-319-50935-8
Format: Electronic Resources

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

2024-05-25T11:22:14Z

by Wittevrongel, Sabine. editor.
https://doi.org/10.1007/978-3-319-43904-4
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-05-25T11:22:14Z

by Wyrzykowski, Roman. editor.
https://doi.org/10.1007/978-3-319-32152-3
Format: Electronic Resources

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

2024-05-25T11:22:14Z

by Maruyama, Naoya. editor.
https://doi.org/10.1007/978-3-319-45550-1
Format: Electronic Resources

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

2024-05-25T11:22:14Z

by Gavanelli, Marco. editor.
https://doi.org/10.1007/978-3-319-28228-2
Format: Electronic Resources

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

2024-05-25T11:22:14Z

by Probst, Christian W. editor.
https://doi.org/10.1007/978-3-319-27810-0
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-05-25T11:22:14Z

by Echahed, Rachid. editor.
https://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-05-25T11:22:14Z

by Kordy, Barbara. editor.
https://doi.org/10.1007/978-3-319-46263-9
Format: Electronic Resources

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

2024-05-25T11:22:14Z

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

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

2024-05-25T11:22:14Z

by Abdulla, Parosh Aziz. editor.
https://doi.org/10.1007/978-3-319-46140-3
Format: Electronic Resources

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

2024-05-25T11:22:14Z

by Huang, Xinyi. editor.
https://doi.org/10.1007/978-3-319-39077-2
Format: Electronic Resources

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

2024-05-25T11:22:14Z

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

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

2024-05-25T11:22:14Z

by Gervasi, Osvaldo. editor.
https://doi.org/10.1007/978-3-319-42085-1
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings

2024-05-25T11:22:14Z

by Carretero, Jesus. editor.
https://doi.org/10.1007/978-3-319-49583-5
Format: Electronic Resources

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

2024-05-25T11:22:14Z

by Wierzbicki, Adam. editor.
https://doi.org/10.1007/978-3-319-28361-6
Format: Electronic Resources

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

2024-05-25T11:22:14Z

by Monrose, Fabian. editor.
https://doi.org/10.1007/978-3-319-45719-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-05-25T11:22:14Z

by Wyrzykowski, Roman. editor.
https://doi.org/10.1007/978-3-319-32149-3
Format: Electronic Resources

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

2024-05-25T11:22:14Z

by Gervasi, Osvaldo. editor.
https://doi.org/10.1007/978-3-319-42092-9
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing ICA3PP 2016 Collocated Workshops: SCDT, TAPEMS, BigTrust, UCER, DLMCS, Granada, Spain, December 14-16, 2016, Proceedings

2024-05-25T11:22:14Z

by Carretero, Jesus. editor.
https://doi.org/10.1007/978-3-319-49956-7
Format: Electronic Resources

Transactions on Computational Science XXVII

2024-05-25T11:22:14Z

by Gavrilova, Marina L. editor.
https://doi.org/10.1007/978-3-662-50412-3
Format: Electronic Resources

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

2024-05-25T11:22:14Z

by Caballero, Juan. editor.
https://doi.org/10.1007/978-3-319-30806-7
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-05-25T11:22:14Z

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

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

2024-05-25T11:22:14Z

by Greuel, Gert-Martin. editor.
https://doi.org/10.1007/978-3-319-42432-3
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-05-25T11:22:14Z

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

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

2024-05-25T11:22:14Z

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

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 – 4, 2016, Revised Selected Papers

2024-05-25T11:22:14Z

by Gorentla Venkata, Manjunath. editor.
https://doi.org/10.1007/978-3-319-50995-2
Format: Electronic Resources

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

2024-05-25T11:22:14Z

by Gervasi, Osvaldo. editor.
https://doi.org/10.1007/978-3-319-42089-9
Format: Electronic Resources

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

2024-05-25T11:22:14Z

by Mamatas, Lefteris. editor.
https://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 III

2024-05-25T11:22:14Z

by Gervasi, Osvaldo. editor.
https://doi.org/10.1007/978-3-319-42111-7
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-05-25T11:22:14Z

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

Security, Privacy, and Applied Cryptography Engineering 6th International Conference, SPACE 2016, Hyderabad, India, December 14-18, 2016, Proceedings

2024-05-25T11:22:14Z

by Carlet, Claude. editor.
https://doi.org/10.1007/978-3-319-49445-6
Format: Electronic Resources

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

2024-05-25T11:22:14Z

by Klusch, Matthias. editor.
https://doi.org/10.1007/978-3-319-45889-2
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-05-25T11:22:14Z

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

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

2024-05-25T11:22:14Z

by Hannig, Frank. editor.
https://doi.org/10.1007/978-3-319-30695-7
Format: Electronic Resources

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

2024-05-25T11:22:14Z

by Paias, Ana. editor.
https://doi.org/10.1007/978-3-319-44896-1
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-05-25T11:22:14Z

by Rovatsos, Michael. editor.
https://doi.org/10.1007/978-3-319-33509-4
Format: Electronic Resources

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

2024-05-25T11:22:14Z

by Gervasi, Osvaldo. editor.
https://doi.org/10.1007/978-3-319-42108-7
Format: Electronic Resources

Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

2024-05-25T11:22:14Z

by Degano, Pierpaolo. editor.
http://dx.doi.org/10.1007/978-3-540-68679-8
Format: Electronic Resources

Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. Proceedings

2024-05-25T11:22:14Z

by Rao, Shrisha. editor.
http://dx.doi.org/10.1007/978-3-540-77444-0
Format: Electronic Resources

Wireless Sensor Networks 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings

2024-05-25T11:22:14Z

by Verdone, Roberto. editor.
http://dx.doi.org/10.1007/978-3-540-77690-1
Format: Electronic Resources

Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

2024-05-25T11:22:14Z

by Fitzgerald, John S. editor.
http://dx.doi.org/10.1007/978-3-540-85762-4
Format: Electronic Resources

Information Security 11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008. Proceedings

2024-05-25T11:22:14Z

by Wu, Tzong-Chen. editor.
http://dx.doi.org/10.1007/978-3-540-85886-7
Format: Electronic Resources

High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008. Proceedings

2024-05-25T11:22:14Z

by Sadayappan, Ponnuswamy. editor.
http://dx.doi.org/10.1007/978-3-540-89894-8
Format: Electronic Resources

Data and Applications Security XXII 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security London, UK, July 13-16, 2008 Proceedings

2024-05-25T11:22:14Z

by Atluri, Vijay. editor.
http://dx.doi.org/10.1007/978-3-540-70567-3
Format: Electronic Resources

OpenMP Shared Memory Parallel Programming International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings

2024-05-25T11:22:14Z

by Mueller, Matthias S. editor.
http://dx.doi.org/10.1007/978-3-540-68555-5
Format: Electronic Resources

OpenMP in a New Era of Parallelism 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008 Proceedings

2024-05-25T11:22:14Z

by Eigenmann, Rudolf. editor.
http://dx.doi.org/10.1007/978-3-540-79561-2
Format: Electronic Resources

Cryptographic Hardware and Embedded Systems – CHES 2008 10th International Workshop, Washington, D.C., USA, August 10-13, 2008. Proceedings

2024-05-25T11:22:14Z

by Oswald, Elisabeth. editor.
http://dx.doi.org/10.1007/978-3-540-85053-3
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 Proceedings

2024-05-25T11:22:14Z

by Bourgeois, Anu G. editor.
http://dx.doi.org/10.1007/978-3-540-69501-1
Format: Electronic Resources

Stabilization, Safety, and Security of Distributed Systems 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings

2024-05-25T11:22:14Z

by Kulkarni, Sandeep. editor.
http://dx.doi.org/10.1007/978-3-540-89335-6
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

2024-05-25T11:22:14Z

by Ramakrishnan, C. R. editor.
http://dx.doi.org/10.1007/978-3-540-78800-3
Format: Electronic Resources

Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings

2024-05-25T11:22:14Z

by Ehrig, Hartmut. editor.
http://dx.doi.org/10.1007/978-3-540-87405-8
Format: Electronic Resources

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers

2024-05-25T11:22:14Z

by Labarta, Jesús. editor.
http://dx.doi.org/10.1007/978-3-540-77704-5
Format: Electronic Resources

Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers

2024-05-25T11:22:14Z

by Schürr, Andy. editor.
http://dx.doi.org/10.1007/978-3-540-89020-1
Format: Electronic Resources

Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

2024-05-25T11:22:14Z

by Leucker, Martin. editor.
http://dx.doi.org/10.1007/978-3-540-89247-2
Format: Electronic Resources

A Practical Programming Model for the Multi-Core Era 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings

2024-05-25T11:22:14Z

by Chapman, Barbara. editor.
http://dx.doi.org/10.1007/978-3-540-69303-1
Format: Electronic Resources

Parallel Problem Solving from Nature – PPSN X 10th International Conference, Dortmund, Germany, September 13-17, 2008. Proceedings

2024-05-25T11:22:14Z

by Rudolph, Günter. editor.
http://dx.doi.org/10.1007/978-3-540-87700-4
Format: Electronic Resources

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

2024-05-25T11:22:14Z

by Liu, Shaoying. editor.
http://dx.doi.org/10.1007/978-3-540-88194-0
Format: Electronic Resources

Wireless Algorithms, Systems, and Applications Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008. Proceedings

2024-05-25T11:22:14Z

by Li, Yingshu. editor.
http://dx.doi.org/10.1007/978-3-540-88582-5
Format: Electronic Resources

A Modular Calculus for the Average Cost of Data Structuring

2024-05-25T11:22:14Z

by Schellekens, Michel. author.
http://dx.doi.org/10.1007/978-0-387-73384-5
Format: Electronic Resources

Advances in Grid and Pervasive Computing Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings

2024-05-25T11:22:14Z

by Wu, Song. editor.
http://dx.doi.org/10.1007/978-3-540-68083-3
Format: Electronic Resources

Parallel Processing and Applied Mathematics 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 Revised Selected Papers

2024-05-25T11:22:14Z

by Wyrzykowski, Roman. editor.
http://dx.doi.org/10.1007/978-3-540-68111-3
Format: Electronic Resources

Network Control and Optimization First EuroFGI International Conference, NET-COOP 2007, Avignon, France, June 5-7, 2007. Proceedings

2024-05-25T11:22:14Z

by Chahed, Tijani. editor.
http://dx.doi.org/10.1007/978-3-540-72709-5
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

2024-05-25T11:22:14Z

by Grumberg, Orna. editor.
http://dx.doi.org/10.1007/978-3-540-71209-1
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007. Proceedings

2024-05-25T11:22:14Z

by Jin, Hai. editor.
http://dx.doi.org/10.1007/978-3-540-72905-1
Format: Electronic Resources

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007. Proceedings

2024-05-25T11:22:14Z

by Malyshkin, Victor. editor.
http://dx.doi.org/10.1007/978-3-540-73940-1
Format: Electronic Resources

Cooperative Bug Isolation Winning Thesis of the 2005 ACM Doctoral Dissertation Competition

2024-05-25T11:22:14Z

by Liblit, Ben. author.
http://dx.doi.org/10.1007/978-3-540-71878-9
Format: Electronic Resources

Applied Parallel Computing. State of the Art in Scientific Computing 8th International Workshop, PARA 2006, Umeå, Sweden, June 18-21, 2006, Revised Selected Papers

2024-05-25T11:22:14Z

by Kågström, Bo. editor.
http://dx.doi.org/10.1007/978-3-540-75755-9
Format: Electronic Resources

Parallel and Distributed Processing and Applications 5th International Symposium, ISPA 2007 Niagara Falls, Canada, August 29-31, 2007 Proceedings

2024-05-25T11:22:14Z

by Stojmenovic, Ivan. editor.
http://dx.doi.org/10.1007/978-3-540-74742-0
Format: Electronic Resources

Frontiers of High Performance Computing and Networking ISPA 2007 Workshops ISPA 2007 International Workshops SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN Niagara Falls, Canada, August 28-September 1, 2007 Proceedings

2024-05-25T11:22:14Z

by Thulasiraman, Parimala. editor.
http://dx.doi.org/10.1007/978-3-540-74767-3
Format: Electronic Resources

Workflows for e-Science Scientific Workflows for Grids

2024-05-25T11:22:14Z

by Taylor, Ian J. editor.
http://dx.doi.org/10.1007/978-1-84628-757-2
Format: Electronic Resources

Information Security Applications 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers

2024-05-25T11:22:14Z

by Lee, Jae Kwang. editor.
http://dx.doi.org/10.1007/978-3-540-71093-6
Format: Electronic Resources

Advances in Grid and Pervasive Computing Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings

2024-05-25T11:22:14Z

by Cérin, Christophe. editor.
http://dx.doi.org/10.1007/978-3-540-72360-8
Format: Electronic Resources

Information Security Applications 8th International Workshop, WISA 2007, Jeju Island, Korea, August 27-29, 2007, Revised Selected Papers

2024-05-25T11:22:14Z

by Kim, Sehun. editor.
http://dx.doi.org/10.1007/978-3-540-77535-5
Format: Electronic Resources

Stabilization, Safety, and Security of Distributed Systems 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings

2024-05-25T11:22:14Z

by Masuzawa, Toshimitsu. editor.
http://dx.doi.org/10.1007/978-3-540-76627-8
Format: Electronic Resources

Adaptive and Natural Computing Algorithms 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I

2024-05-25T11:22:14Z

by Beliczynski, Bartlomiej. editor.
http://dx.doi.org/10.1007/978-3-540-71618-1
Format: Electronic Resources

Adaptive and Natural Computing Algorithms 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part II

2024-05-25T11:22:14Z

by Beliczynski, Bartlomiej. editor.
http://dx.doi.org/10.1007/978-3-540-71629-7
Format: Electronic Resources

Algorithms for Sensor and Ad Hoc Networks Advanced Lectures

2024-05-25T11:22:14Z

by Wagner, Dorothea. editor.
http://dx.doi.org/10.1007/978-3-540-74991-2
Format: Electronic Resources

High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007. Proceedings

2024-05-25T11:22:14Z

by Perrott, Ronald. editor.
http://dx.doi.org/10.1007/978-3-540-75444-2
Format: Electronic Resources

Information Security 10th International Conference, ISC 2007, Valparaíso, Chile, October 9-12, 2007. Proceedings

2024-05-25T11:22:14Z

by Garay, Juan A. editor.
http://dx.doi.org/10.1007/978-3-540-75496-1
Format: Electronic Resources

High Performance Computing – HiPC 2007 14th International Conference, Goa, India, December 18-21, 2007. Proceedings

2024-05-25T11:22:14Z

by Aluru, Srinivas. editor.
http://dx.doi.org/10.1007/978-3-540-77220-0
Format: Electronic Resources

Wireless Sensor Networks 4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007. Proceedings

2024-05-25T11:22:14Z

by Langendoen, Koen. editor.
http://dx.doi.org/10.1007/978-3-540-69830-2
Format: Electronic Resources

Data and Applications Security XXI 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Redondo Beach, CA, USA, July 8-11, 2007. Proceedings

2024-05-25T11:22:14Z

by Barker, Steve. editor.
http://dx.doi.org/10.1007/978-3-540-73538-0
Format: Electronic Resources

Distributed Computing and Internet Technology 4th International Conference, ICDCIT 2007, Bangalore, India, December 17-20. Proceedings

2024-05-25T11:22:14Z

by Janowski, Tomasz. editor.
http://dx.doi.org/10.1007/978-3-540-77115-9
Format: Electronic Resources

Network and Parallel Computing IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007. Proceedings

2024-05-25T11:22:14Z

by Li, Keqiu. editor.
http://dx.doi.org/10.1007/978-3-540-74784-0
Format: Electronic Resources

Sustainable Internet Third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007. Proceedings

2024-05-25T11:22:14Z

by Fdida, Serge. editor.
http://dx.doi.org/10.1007/978-3-540-76809-8
Format: Electronic Resources

Advanced Parallel Processing Technologies 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings

2024-05-25T11:22:14Z

by Xu, Ming. editor.
http://dx.doi.org/10.1007/978-3-540-76837-1
Format: Electronic Resources

Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

2024-05-25T11:22:14Z

by George, Chris W. editor.
http://dx.doi.org/10.1007/978-3-540-74964-6
Format: Electronic Resources

Distributed, High-Performance and Grid Computing in Computational Biology International Workshop, GCCB 2006, Eilat, Israel, January 21, 2007. Proceedings

2024-05-25T11:22:14Z

by Dubitzky, Werner. editor.
http://dx.doi.org/10.1007/978-3-540-69968-2
Format: Electronic Resources

Parallel and Distributed Processing and Applications 4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006. Proceedings

2024-05-25T11:22:14Z

by Guo, Minyi. editor.
http://dx.doi.org/10.1007/11946441
Format: Electronic Resources

Distributed Computing and Networking 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006. Proceedings

2024-05-25T11:22:14Z

by Chaudhuri, Soma. editor.
http://dx.doi.org/10.1007/11947950
Format: Electronic Resources

Stabilization, Safety, and Security of Distributed Systems 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006. Proceedings

2024-05-25T11:22:14Z

by Datta, Ajoy K. editor.
http://dx.doi.org/10.1007/978-3-540-49823-0
Format: Electronic Resources

Distributed Computing and Internet Technology Third International Conference, ICDCIT 2006, Bhubaneswar, India, December 20-23, 2006. Proceedings

2024-05-25T11:22:14Z

by Madria, Sanjay K. editor.
http://dx.doi.org/10.1007/11951957
Format: Electronic Resources

Handbook of Nature-Inspired and Innovative Computing Integrating Classical Models with Emerging Technologies

2024-05-25T11:22:14Z

by Zomaya, Albert Y. editor.
http://dx.doi.org/10.1007/0-387-27705-6
Format: Electronic Resources

Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings

2024-05-25T11:22:14Z

by Corradini, Andrea. editor.
http://dx.doi.org/10.1007/11841883
Format: Electronic Resources

Independent Component Analysis and Blind Signal Separation 6th International Conference, ICA 2006, Charleston, SC, USA, March 5-8, 2006. Proceedings

2024-05-25T11:22:14Z

by Rosca, Justinian. editor.
http://dx.doi.org/10.1007/11679363
Format: Electronic Resources

Wireless Algorithms, Systems, and Applications First International Conference, WASA 2006, Xi’an, China, August 15-17, 2006. Proceedings

2024-05-25T11:22:14Z

by Cheng, Xiuzhen. editor.
http://dx.doi.org/10.1007/11814856
Format: Electronic Resources

Advances in Grid and Pervasive Computing First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006. Proceedings

2024-05-25T11:22:14Z

by Chung, Yeh-Ching. editor.
http://dx.doi.org/10.1007/11745693
Format: Electronic Resources

Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops ISPA 2006 International Workshops, FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4-7, 2006. Proceedings

2024-05-25T11:22:14Z

by Min, Geyong. editor.
http://dx.doi.org/10.1007/11942634
Format: Electronic Resources

Applied Parallel Computing. State of the Art in Scientific Computing 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004. Revised Selected Papers

2024-05-25T11:22:14Z

by Dongarra, Jack. editor.
http://dx.doi.org/10.1007/11558958
Format: Electronic Resources

Technologies for Advanced Heterogeneous Networks II Second Asian Internet Engineering Conference, AINTEC 2006, Pathumthani, Thailand, November 28-30, 2006. Proceedings

2024-05-25T11:22:14Z

by Cho, Kenjiro. editor.
http://dx.doi.org/10.1007/11930181
Format: Electronic Resources

Resource Allocation in Wireless Networks Theory and Algorithms

2024-05-25T11:22:14Z

by Stańczak, Sławomir. author.
http://dx.doi.org/10.1007/11818762
Format: Electronic Resources

Information Security 9th International Conference, ISC 2006, Samos Island, Greece, August 30 - September 2, 2006. Proceedings

2024-05-25T11:22:14Z

by Katsikas, Sokratis K. editor.
http://dx.doi.org/10.1007/11836810
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

2024-05-25T11:22:14Z

by Hermanns, Holger. editor.
http://dx.doi.org/10.1007/11691372
Format: Electronic Resources

Information Security Applications 6th International Workshop, WISA 2005, Jeju Island, Korea, August 22-24, 2005, Revised Selected Papers

2024-05-25T11:22:14Z

by Song, Joo-Seok. editor.
http://dx.doi.org/10.1007/11604938
Format: Electronic Resources

Parallel Processing and Applied Mathematics 6th International Conference, PPAM 2005, Poznań, Poland, September 11-14, 2005, Revised Selected Papers

2024-05-25T11:22:14Z

by Wyrzykowski, Roman. editor.
http://dx.doi.org/10.1007/11752578
Format: Electronic Resources

High Performance Computing - HiPC 2006 13th International Conference, Bangalore, India, December 18-21, 2006. Proceedings

2024-05-25T11:22:14Z

by Robert, Yves. editor.
http://dx.doi.org/10.1007/11945918
Format: Electronic Resources

Wireless Sensor Networks Third European Workshop, EWSN 2006, Zurich, Switzerland, February 13-15, 2006. Proceedings

2024-05-25T11:22:14Z

by Römer, Kay. editor.
http://dx.doi.org/10.1007/11669463
Format: Electronic Resources

Data and Applications Security XX 20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Sophia Antipolis, France, July 31-August 2, 2006. Proceedings

2024-05-25T11:22:14Z

by Damiani, Ernesto. editor.
http://dx.doi.org/10.1007/11805588
Format: Electronic Resources

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic

2024-05-25T11:22:14Z

by Bollig, Benedikt. author.
http://dx.doi.org/10.1007/3-540-32923-4
Format: Electronic Resources

Parallel Problem Solving from Nature - PPSN IX 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Proceedings

2024-05-25T11:22:14Z

by Runarsson, Thomas Philip. editor.
http://dx.doi.org/10.1007/11844297
Format: Electronic Resources

High Performance Computing and Communications Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006. Proceedings

2024-05-25T11:22:14Z

by Gerndt, Michael. editor.
http://dx.doi.org/10.1007/11847366
Format: Electronic Resources

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005. Proceedings

2024-05-25T11:22:14Z

by Jin, Hai. editor.
http://dx.doi.org/10.1007/11577188
Format: Electronic Resources

Distributed Computing - IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004. Proceedings

2024-05-25T11:22:14Z

by Sen, Arunabha. editor.
http://dx.doi.org/10.1007/b104419
Format: Electronic Resources

High Performance Computing - HiPC 2004 11th International Conference, Bangalore, India, December 19-22, 2004. Proceedings

2024-05-25T11:22:14Z

by Bougé, Luc. editor.
http://dx.doi.org/10.1007/b104576
Format: Electronic Resources

Parallel and Distributed Processing and Applications Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004. Proceedings

2024-05-25T11:22:14Z

by Cao, Jiannong. editor.
http://dx.doi.org/10.1007/b104574
Format: Electronic Resources

Technologies for Advanced Heterogeneous Networks First Asian Internet Engineering Conference, AINTEC 2005, Bangkok, Thailand, December 13-15, 2005. Proceedings

2024-05-25T11:22:14Z

by Cho, Kenjiro. editor.
http://dx.doi.org/10.1007/11599593
Format: Electronic Resources

High Performance Computing and Communications First International Conference, HPCC 2005, Sorrento, Italy, September 21-23, 2005. Proceedings

2024-05-25T11:22:14Z

by Yang, Laurence T. editor.
http://dx.doi.org/10.1007/11557654
Format: Electronic Resources

Information Security Applications 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers

2024-05-25T11:22:14Z

by Lim, Chae Hoon. editor.
http://dx.doi.org/10.1007/b103174
Format: Electronic Resources

Advanced Parallel Processing Technologies 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005. Proceedings

2024-05-25T11:22:14Z

by Cao, Jiannong. editor.
http://dx.doi.org/10.1007/11573937
Format: Electronic Resources

Parallel and Distributed Processing and Applications - ISPA 2005 Workshops ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005. Proceedings

2024-05-25T11:22:14Z

by Chen, Guihai. editor.
http://dx.doi.org/10.1007/11576259
Format: Electronic Resources

Data and Applications Security XIX 19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Storrs, CT, USA, August 7-10, 2005. Proceedings

2024-05-25T11:22:14Z

by Jajodia, Sushil. editor.
http://dx.doi.org/10.1007/11535706
Format: Electronic Resources

Grid Computing in Life Science First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers

2024-05-25T11:22:14Z

by Konagaya, Akihiko. editor.
http://dx.doi.org/10.1007/b106923
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2024-05-25T11:22:14Z

by Halbwachs, Nicolas. editor.
http://dx.doi.org/10.1007/b107194
Format: Electronic Resources

Self-star Properties in Complex Information Systems Conceptual and Practical Foundations

2024-05-25T11:22:14Z

by Babaoglu, Ozalp. editor.
http://dx.doi.org/10.1007/b136551
Format: Electronic Resources

Peer-to-Peer Systems III Third International Workshop, IPTPS 2004, La Jolla, CA, USA, February 26-27, 2004, Revised Selected Papers

2024-05-25T11:22:14Z

by Voelker, Geoffrey M. editor.
http://dx.doi.org/10.1007/b104020
Format: Electronic Resources

Peer-to-Peer Systems and Applications

2024-05-25T11:22:14Z

by Steinmetz, Ralf. editor.
http://dx.doi.org/10.1007/11530657
Format: Electronic Resources

Advances in Informatics 10th Panhellenic Conference on Informatics, PCI 2005, Volas, Greece, November 11-13, 2005. Proceedings

2024-05-25T11:22:14Z

by Bozanis, Panayiotis. editor.
http://dx.doi.org/10.1007/11573036
Format: Electronic Resources

High Performance Computing – HiPC 2005 12th International Conference, Goa, India, December 18-21, 2005. Proceedings

2024-05-25T11:22:14Z

by Bader, David A. editor.
http://dx.doi.org/10.1007/11602569
Format: Electronic Resources

Distributed Computing – IWDC 2005 7th International Workshop, Kharagpur, India, December 27-30, 2005. Proceedings

2024-05-25T11:22:14Z

by Pal, Ajit. editor.
http://dx.doi.org/10.1007/11603771
Format: Electronic Resources

Distributed Computing and Internet Technology Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005. Proceedings

2024-05-25T11:22:14Z

by Chakraborty, Goutam. editor.
http://dx.doi.org/10.1007/11604655
Format: Electronic Resources

Peer-to-Peer Systems IV 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005. Revised Selected Papers

2024-05-25T11:22:14Z

by Castro, Miguel. editor.
http://dx.doi.org/10.1007/11558989
Format: Electronic Resources

Self-Stabilizing Systems 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005. Proceedings

2024-05-25T11:22:14Z

by Tixeuil, Sébastien. editor.
http://dx.doi.org/10.1007/11577327
Format: Electronic Resources

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers

2024-05-25T11:22:14Z

by Sloot, Peter M. A. editor.
http://dx.doi.org/10.1007/b137919
Format: Electronic Resources

Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005. Proceedings

2024-05-25T11:22:14Z

by Malyshkin, Victor. editor.
http://dx.doi.org/10.1007/11535294
Format: Electronic Resources

Distributed and Parallel Computing 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005. Proceedings

2024-05-25T11:22:14Z

by Hobbs, Michael. editor.
http://dx.doi.org/10.1007/11564621
Format: Electronic Resources

Parallel and Distributed Processing and Applications Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005. Proceedings

2024-05-25T11:22:14Z

by Pan, Yi. editor.
http://dx.doi.org/10.1007/11576235
Format: Electronic Resources

Distributed Computing and Internet Technology First International Conference, ICDCIT 2004, Bhubaneswar, India, December 22-24, 2004. Proceedings

2024-05-25T11:22:14Z

by Ghosh, R. K. editor.
http://dx.doi.org/10.1007/b104418
Format: Electronic Resources