Search Results for - Narrowed by: Computer network architectures. - Software engineering.

Computer Security ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers

2024-06-04T23:28:57Z

by Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683
https://doi.org/10.1007/978-3-319-72817-9
Format: Electronic Resources

Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

2024-06-04T23:28:57Z

by Hooker, John. editor. (orcid)0000-0003-3169-1871
https://doi.org/10.1007/978-3-319-98334-9
Format: Electronic Resources

Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers

2024-06-04T23:28:57Z

by Damiani, Ernesto. editor.
https://doi.org/10.1007/978-3-319-94135-6
Format: Electronic Resources

Applied Reconfigurable Computing. Architectures, Tools, and Applications 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings

2024-06-04T23:28:57Z

by Voros, Nikolaos. editor.
https://doi.org/10.1007/978-3-319-78890-6
Format: Electronic Resources

Measurement, Modelling and Evaluation of Computing Systems 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings

2024-06-04T23:28:57Z

by German, Reinhard. editor.
https://doi.org/10.1007/978-3-319-74947-1
Format: Electronic Resources

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

2024-06-04T23:28:57Z

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

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

2024-06-04T23:28:57Z

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

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

2024-06-04T23:28:57Z

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

Service-Oriented Computing 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings

2024-06-04T23:28:57Z

by Pahl, Claus. editor.
https://doi.org/10.1007/978-3-030-03596-9
Format: Electronic Resources

Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers

2024-06-04T23:28:57Z

by Sokolinsky, Leonid. editor.
https://doi.org/10.1007/978-3-319-99673-8
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers

2024-06-04T23:28:57Z

by Klusáček, Dalibor. editor.
https://doi.org/10.1007/978-3-319-77398-8
Format: Electronic Resources

Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

2024-06-04T23:28:57Z

by Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251
https://doi.org/10.1007/978-3-319-92408-3
Format: Electronic Resources

Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

2024-06-04T23:28:57Z

by Baier, Christel. editor.
https://doi.org/10.1007/978-3-319-92612-4
Format: Electronic Resources

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

2024-06-04T23:28:57Z

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

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

2024-06-04T23:28:57Z

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

Artificial General Intelligence 11th International Conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018, Proceedings

2024-06-04T23:28:57Z

by Iklé, Matthew. editor.
https://doi.org/10.1007/978-3-319-97676-1
Format: Electronic Resources

Services Computing – SCC 2018 15th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

2024-06-04T23:28:57Z

by Ferreira, João Eduardo. editor.
https://doi.org/10.1007/978-3-319-94376-3
Format: Electronic Resources

Information and Communications Security 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings

2024-06-04T23:28:57Z

by Naccache, David. editor. (orcid)0000-0002-8651-6555
https://doi.org/10.1007/978-3-030-01950-1
Format: Electronic Resources

Programming with Actors State-of-the-Art and Research Perspectives

2024-06-04T23:28:57Z

by Ricci, Alessandro. editor.
https://doi.org/10.1007/978-3-030-00302-9
Format: Electronic Resources

Public-Key Cryptography – PKC 2018 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part II

2024-06-04T23:28:57Z

by Abdalla, Michel. editor. (orcid)0000-0002-2447-4329
https://doi.org/10.1007/978-3-319-76581-5
Format: Electronic Resources

Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

2024-06-04T23:28:57Z

by Wang, Meng. editor.
https://doi.org/10.1007/978-3-319-89719-6
Format: Electronic Resources

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

2024-06-04T23:28:57Z

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

System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings

2024-06-04T23:28:57Z

by Khendek, Ferhat. editor.
https://doi.org/10.1007/978-3-030-01042-3
Format: Electronic Resources

Computer Science – CACIC 2017 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised Selected Papers

2024-06-04T23:28:57Z

by De Giusti, Armando Eduardo. editor. (orcid)0000-0002-6459-3592
https://doi.org/10.1007/978-3-319-75214-3
Format: Electronic Resources

New Trends in Information and Communications Technology Applications Third International Conference, NTICT 2018, Baghdad, Iraq, October 2–4, 2018, Proceedings

2024-06-04T23:28:57Z

by Al-mamory, Safaa O. editor. (orcid)0000-0003-3144-8222
https://doi.org/10.1007/978-3-030-01653-1
Format: Electronic Resources

Computer Information Systems and Industrial Management 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings

2024-06-04T23:28:57Z

by Saeed, Khalid. editor. (orcid)0000-0002-7741-7045
https://doi.org/10.1007/978-3-319-99954-8
Format: Electronic Resources

Reliable Software Technologies – Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings

2024-06-04T23:28:57Z

by Casimiro, António. editor. (orcid)0000-0002-5522-5739
https://doi.org/10.1007/978-3-319-92432-8
Format: Electronic Resources

Network and System Security 12th International Conference, NSS 2018, Hong Kong, China, August 27-29, 2018, Proceedings

2024-06-04T23:28:57Z

by Au, Man Ho. editor. (orcid)0000-0003-2068-9530
https://doi.org/10.1007/978-3-030-02744-5
Format: Electronic Resources

Distributed Applications and Interoperable Systems 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

2024-06-04T23:28:57Z

by Bonomi, Silvia. editor.
https://doi.org/10.1007/978-3-319-93767-0
Format: Electronic Resources

Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

2024-06-04T23:28:57Z

by Izumi, Taisuke. editor.
https://doi.org/10.1007/978-3-030-03232-6
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

2024-06-04T23:28:57Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03418-4
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

2024-06-04T23:28:57Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03421-4
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

2024-06-04T23:28:57Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03427-6
Format: Electronic Resources

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming

2024-06-04T23:28:57Z

by Kormanyos, Christopher. author.
https://doi.org/10.1007/978-3-662-56718-0
Format: Electronic Resources

Cloud Computing and Security 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part VI

2024-06-04T23:28:57Z

by Sun, Xingming. editor. (orcid)0000-0001-7982-726X
https://doi.org/10.1007/978-3-030-00021-9
Format: Electronic Resources

Cloud Computing and Security 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part V

2024-06-04T23:28:57Z

by Sun, Xingming. editor. (orcid)0000-0001-7982-726X
https://doi.org/10.1007/978-3-030-00018-9
Format: Electronic Resources

Internet of Things (IoT) Technologies for HealthCare 4th International Conference, HealthyIoT 2017, Angers, France, October 24-25, 2017, Proceedings

2024-06-04T23:28:57Z

by Ahmed, Mobyen Uddin. editor.
https://doi.org/10.1007/978-3-319-76213-5
Format: Electronic Resources

Beyond Databases, Architectures and Structures. Facing the Challenges of Data Proliferation and Growing Variety 14th International Conference, BDAS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings

2024-06-04T23:28:57Z

by Kozielski, Stanisław. editor.
https://doi.org/10.1007/978-3-319-99987-6
Format: Electronic Resources

Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings

2024-06-04T23:28:57Z

by Gallina, Barbara. editor. (orcid)0000-0002-6952-1053
https://doi.org/10.1007/978-3-319-99229-7
Format: Electronic Resources

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

2024-06-04T23:28:57Z

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

Big Data Technologies and Applications 8th International Conference, BDTA 2017, Gwangju, South Korea, November 23–24, 2017, Proceedings

2024-06-04T23:28:57Z

by Jung, Jason J. editor.
https://doi.org/10.1007/978-3-319-98752-1
Format: Electronic Resources

New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

2024-06-04T23:28:57Z

by Abdelwahed, El Hassan. editor.
https://doi.org/10.1007/978-3-030-02852-7
Format: Electronic Resources

Provable Security 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings

2024-06-04T23:28:57Z

by Baek, Joonsang. editor.
https://doi.org/10.1007/978-3-030-01446-9
Format: Electronic Resources

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

2024-06-04T23:28:57Z

by Pires, Luís Ferreira. editor.
https://doi.org/10.1007/978-3-319-94764-8
Format: Electronic Resources

Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

2024-06-04T23:28:57Z

by Medina-Bulo, Inmaculada. editor.
https://doi.org/10.1007/978-3-319-99927-2
Format: Electronic Resources

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

2024-06-04T23:28:57Z

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

Service-Oriented and Cloud Computing 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings

2024-06-04T23:28:57Z

by Kritikos, Kyriakos. editor. (orcid)0000-0001-9633-1610
https://doi.org/10.1007/978-3-319-99819-0
Format: Electronic Resources

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVIII Special Issue on Database- and Expert-Systems Applications

2024-06-04T23:28:57Z

by Hameurlain, Abdelkader. editor.
https://doi.org/10.1007/978-3-662-58384-5
Format: Electronic Resources

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

2024-06-04T23:28:57Z

by Cerone, Antonio. editor. (orcid)0000-0003-2691-5279
https://doi.org/10.1007/978-3-319-74781-1
Format: Electronic Resources

Graphical Models for Security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers

2024-06-04T23:28:57Z

by Liu, Peng. editor.
https://doi.org/10.1007/978-3-319-74860-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-06-04T23:28:57Z

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

Public-Key Cryptography – PKC 2018 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part I

2024-06-04T23:28:57Z

by Abdalla, Michel. editor. (orcid)0000-0002-2447-4329
https://doi.org/10.1007/978-3-319-76578-5
Format: Electronic Resources

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

2024-06-04T23:28:57Z

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

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

2024-06-04T23:28:57Z

by Russo, Alessandra. editor. (orcid)0000-0002-3318-8711
https://doi.org/10.1007/978-3-319-89363-1
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

2024-06-04T23:28:57Z

by Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
https://doi.org/10.1007/978-3-319-89963-3
Format: Electronic Resources

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

2024-06-04T23:28:57Z

by Howar, Falk. editor.
https://doi.org/10.1007/978-3-030-00244-2
Format: Electronic Resources

Electronic Voting Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings

2024-06-04T23:28:57Z

by Krimmer, Robert. editor. (orcid)0000-0002-0873-539X
https://doi.org/10.1007/978-3-030-00419-4
Format: Electronic Resources

Cloud Computing – CLOUD 2018 11th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

2024-06-04T23:28:57Z

by Luo, Min. editor.
https://doi.org/10.1007/978-3-319-94295-7
Format: Electronic Resources

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings

2024-06-04T23:28:57Z

by Jarvis, Stephen. editor.
https://doi.org/10.1007/978-3-319-72971-8
Format: Electronic Resources

Enjoying Natural Computing Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday

2024-06-04T23:28:57Z

by Graciani, Carmen. editor.
https://doi.org/10.1007/978-3-030-00265-7
Format: Electronic Resources

Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings

2024-06-04T23:28:57Z

by Bu, Lei. editor. (orcid)0000-0003-0517-7801
https://doi.org/10.1007/978-3-030-04272-1
Format: Electronic Resources

Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings

2024-06-04T23:28:57Z

by Zhang, Fa. editor.
https://doi.org/10.1007/978-3-319-94968-0
Format: Electronic Resources

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

2024-06-04T23:28:57Z

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

Constructive Side-Channel Analysis and Secure Design 9th International Workshop, COSADE 2018, Singapore, April 23–24, 2018, Proceedings

2024-06-04T23:28:57Z

by Fan, Junfeng. editor.
https://doi.org/10.1007/978-3-319-89641-0
Format: Electronic Resources

Internet of Things – ICIOT 2018 Third International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

2024-06-04T23:28:57Z

by Georgakopoulos, Dimitrios. editor.
https://doi.org/10.1007/978-3-319-94370-1
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

2024-06-04T23:28:57Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03424-5
Format: Electronic Resources

Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings

2024-06-04T23:28:57Z

by Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931
https://doi.org/10.1007/978-3-030-03673-7
Format: Electronic Resources

Current Trends in Web Engineering ICWE 2018 International Workshops, MATWEP, EnWot, KD-WEB, WEOD, TourismKG, Cáceres, Spain, June 5, 2018, Revised Selected Papers

2024-06-04T23:28:57Z

by Pautasso, Cesare. editor. (orcid)0000-0002-2748-9665
https://doi.org/10.1007/978-3-030-03056-8
Format: Electronic Resources

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

2024-06-04T23:28:57Z

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

Security, Privacy, and Applied Cryptography Engineering 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings

2024-06-04T23:28:57Z

by Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983
https://doi.org/10.1007/978-3-030-05072-6
Format: Electronic Resources

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

2024-06-04T23:28:57Z

by Li, Chao. editor.
https://doi.org/10.1007/978-981-13-2423-9
Format: Electronic Resources

System Architecture An Ordinary Engineering Discipline

2024-06-04T23:28:57Z

by Paul, Wolfgang J. author.
https://doi.org/10.1007/978-3-319-43065-2
Format: Electronic Resources

Description and Selection of Communication Services for Service Oriented Network Architectures

2024-06-04T23:28:57Z

by Khondoker, Rahamatullah. author.
https://doi.org/10.1007/978-3-658-12742-8
Format: Electronic Resources

Guide to Software Development Designing and Managing the Life Cycle

2024-06-04T23:28:57Z

by Langer, Arthur M. author.
https://doi.org/10.1007/978-1-4471-6799-0
Format: Electronic Resources

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

2024-06-04T23:28:57Z

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

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

2024-06-04T23:28:57Z

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

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

2024-06-04T23:28:57Z

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

Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27–28, 2016, Revised Selected Papers

2024-06-04T23:28:57Z

by Maciaszek, Leszek A. editor.
https://doi.org/10.1007/978-3-319-56390-9
Format: Electronic Resources

Internetware A New Software Paradigm for Internet Computing

2024-06-04T23:28:57Z

by Mei, Hong. author.
https://doi.org/10.1007/978-981-10-2546-4
Format: Electronic Resources

Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

2024-06-04T23:28:57Z

by Skavhaug, Amund. editor.
https://doi.org/10.1007/978-3-319-45477-1
Format: Electronic Resources

Cyber-Physical Systems of Systems Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy

2024-06-04T23:28:57Z

by Bondavalli, Andrea. editor.
https://doi.org/10.1007/978-3-319-47590-5
Format: Electronic Resources

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

2024-06-04T23:28:57Z

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-06-04T23:28:57Z

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

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

2024-06-04T23:28:57Z

by Chaudhuri, Swarat. editor.
https://doi.org/10.1007/978-3-319-41528-4
Format: Electronic Resources

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

2024-06-04T23:28:57Z

by Chaudhuri, Swarat. editor.
https://doi.org/10.1007/978-3-319-41540-6
Format: Electronic Resources

Computer Engineering and Technology 19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015, Revised Selected Papers

2024-06-04T23:28:57Z

by Xu, Weixia. editor.
https://doi.org/10.1007/978-3-662-49283-3
Format: Electronic Resources

Moving Wearables into the Mainstream Taming the Borg

2024-06-04T23:28:57Z

by Dvorak, Joseph L. author.
http://dx.doi.org/10.1007/978-0-387-69142-8
Format: Electronic Resources

Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering

2024-06-04T23:28:57Z

by Elleithy, Khaled. editor.
http://dx.doi.org/10.1007/978-1-4020-8735-6
Format: Electronic Resources

Novel Algorithms and Techniques In Telecommunications, Automation and Industrial Electronics

2024-06-04T23:28:57Z

by Sobh, Tarek. editor.
http://dx.doi.org/10.1007/978-1-4020-8737-0
Format: Electronic Resources

Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education

2024-06-04T23:28:57Z

by Iskander, Magued. editor.
http://dx.doi.org/10.1007/978-1-4020-8739-4
Format: Electronic Resources

Advances in Computer and Information Sciences and Engineering

2024-06-04T23:28:57Z

by Sobh, Tarek. editor.
http://dx.doi.org/10.1007/978-1-4020-8741-7
Format: Electronic Resources

Networked RFID Systems, Software and Services

2024-06-04T23:28:57Z

by Roussos, George. author.
http://dx.doi.org/10.1007/978-1-84800-153-4
Format: Electronic Resources

Architecture of Computing Systems – ARCS 2008 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings

2024-06-04T23:28:57Z

by Brinkschulte, Uwe. editor.
http://dx.doi.org/10.1007/978-3-540-78153-0
Format: Electronic Resources

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

2024-06-04T23:28:57Z

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

Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers

2024-06-04T23:28:57Z

by Lämmel, Ralf. editor.
http://dx.doi.org/10.1007/978-3-540-88643-3
Format: Electronic Resources

Software Process Improvement 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings

2024-06-04T23:28:57Z

by O’Connor, Rory V. editor.
http://dx.doi.org/10.1007/978-3-540-85936-9
Format: Electronic Resources

Issues in Multi-Agent Systems The AgentCities.ES Experience

2024-06-04T23:28:57Z

by Moreno, Antonio. editor.
http://dx.doi.org/10.1007/978-3-7643-8543-9
Format: Electronic Resources

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

2024-06-04T23:28:57Z

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

Euro-Par 2007 Workshops: Parallel Processing HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers

2024-06-04T23:28:57Z

by Bougé, Luc. editor.
http://dx.doi.org/10.1007/978-3-540-78474-6
Format: Electronic Resources

Systems and Virtualization Management. Standards and New Technologies Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings

2024-06-04T23:28:57Z

by Boursas, Latifa. editor.
http://dx.doi.org/10.1007/978-3-540-88708-9
Format: Electronic Resources

Distributed and Parallel Systems In Focus: Desktop Grid Computing

2024-06-04T23:28:57Z

by Kacsuk, Péter. editor.
http://dx.doi.org/10.1007/978-0-387-79448-8
Format: Electronic Resources

Model Driven Architecture – Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings

2024-06-04T23:28:57Z

by Schieferdecker, Ina. editor.
http://dx.doi.org/10.1007/978-3-540-69100-6
Format: Electronic Resources

Tools for High Performance Computing Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart

2024-06-04T23:28:57Z

by Resch, Michael. editor.
http://dx.doi.org/10.1007/978-3-540-68564-7
Format: Electronic Resources

Developing Ambient Intelligence Proceedings of the International Conference on Ambient Intelligence Developments (AmI.d’07)

2024-06-04T23:28:57Z

by Maña, Antonio. author.
http://dx.doi.org/10.1007/978-2-287-78544-3
Format: Electronic Resources

The Testing Network An Integral Approach to Test Activities in Large Software Projects

2024-06-04T23:28:57Z

by Henry, Pierre. author.
http://dx.doi.org/10.1007/978-3-540-78504-0
Format: Electronic Resources

Advanced Autonomic Networking and Communication

2024-06-04T23:28:57Z

by Calisti, Monique. editor.
http://dx.doi.org/10.1007/978-3-7643-8569-9
Format: Electronic Resources

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

2024-06-04T23:28:57Z

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

Euro-Par 2008 – Parallel Processing 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings

2024-06-04T23:28:57Z

by Luque, Emilio. editor.
http://dx.doi.org/10.1007/978-3-540-85451-7
Format: Electronic Resources

Self-Sustaining Systems First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers

2024-06-04T23:28:57Z

by Hirschfeld, Robert. editor.
http://dx.doi.org/10.1007/978-3-540-89275-5
Format: Electronic Resources

Introduction to Reconfigurable Computing Architectures, Algorithms, and Applications

2024-06-04T23:28:57Z

by Bobda, Christophe. editor.
http://dx.doi.org/10.1007/978-1-4020-6100-4
Format: Electronic Resources

Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06

2024-06-04T23:28:57Z

by Huss, Sorin A. editor.
http://dx.doi.org/10.1007/978-1-4020-6149-3
Format: Electronic Resources

Processor Design System-on-Chip Computing for ASICs and FPGAs

2024-06-04T23:28:57Z

by Nurmi, Jari. editor.
http://dx.doi.org/10.1007/978-1-4020-5530-0
Format: Electronic Resources

Workflows for e-Science Scientific Workflows for Grids

2024-06-04T23:28:57Z

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

Model Driven Architecture- Foundations and Applications Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings

2024-06-04T23:28:57Z

by Akehurst, David H. editor.
http://dx.doi.org/10.1007/978-3-540-72901-3
Format: Electronic Resources

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

2024-06-04T23:28:57Z

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

Embedded Java Security Security for Mobile Devices

2024-06-04T23:28:57Z

by Debbabi, Mourad. author.
http://dx.doi.org/10.1007/978-1-84628-711-4
Format: Electronic Resources

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

2024-06-04T23:28:57Z

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

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

2024-06-04T23:28:57Z

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

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

2024-06-04T23:28:57Z

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

Architecture of Computing Systems - ARCS 2007 20th International Conference, Zurich, Switzerland, March 12-15, 2007. Proceedings

2024-06-04T23:28:57Z

by Lukowicz, Paul. editor.
http://dx.doi.org/10.1007/978-3-540-71270-1
Format: Electronic Resources

SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings

2024-06-04T23:28:57Z

by Gaudin, Emmanuel. editor.
http://dx.doi.org/10.1007/978-3-540-74984-4
Format: Electronic Resources

Euro-Par 2007 Parallel Processing 13th International Euro-Par Conference, Rennes ,France , August 28-31, 2007. Proceedings

2024-06-04T23:28:57Z

by Kermarrec, Anne-Marie. editor.
http://dx.doi.org/10.1007/978-3-540-74466-5
Format: Electronic Resources

Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

2024-06-04T23:28:57Z

by Jones, Cliff B. editor.
http://dx.doi.org/10.1007/978-3-540-75221-9
Format: Electronic Resources

Distributed and Parallel Systems From Cluster to Grid Computing

2024-06-04T23:28:57Z

by Kacsuk, Péter. editor.
http://dx.doi.org/10.1007/978-0-387-69858-8
Format: Electronic Resources

Euro-Par 2006: Parallel Processing Workshops: CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers

2024-06-04T23:28:57Z

by Lehner, Wolfgang. editor.
http://dx.doi.org/10.1007/978-3-540-72337-0
Format: Electronic Resources

IPv6 in Practice A Unixer’s Guide to the Next Generation Internet

2024-06-04T23:28:57Z

by Stockebrand, Benedikt. author.
http://dx.doi.org/10.1007/978-3-540-48001-3
Format: Electronic Resources

Fine- and Coarse-Grain Reconfigurable Computing

2024-06-04T23:28:57Z

by Vassiliadis, Stamatis. editor.
http://dx.doi.org/10.1007/978-1-4020-6505-7
Format: Electronic Resources

Platform Based Design at the Electronic System Level Industry Perspectives and Experiences

2024-06-04T23:28:57Z

by Burton, Mark. author.
http://dx.doi.org/10.1007/1-4020-5138-7
Format: Electronic Resources

Advances in Systems, Computing Sciences and Software Engineering Proceedings of SCSS05

2024-06-04T23:28:57Z

by Sobh, Tarek. editor.
http://dx.doi.org/10.1007/1-4020-5263-4
Format: Electronic Resources

High Availability and Disaster Recovery Concepts, Design, Implementation

2024-06-04T23:28:57Z

by Schmidt, Klaus. author.
http://dx.doi.org/10.1007/3-540-34582-5
Format: Electronic Resources

Model Driven Architecture – Foundations and Applications Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006. Proceedings

2024-06-04T23:28:57Z

by Rensink, Arend. editor.
http://dx.doi.org/10.1007/11787044
Format: Electronic Resources

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

2024-06-04T23:28:57Z

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

Developing Ambient Intelligence Proceedings of the First International Conference on Ambient Intelligence Developments (AmID’06)

2024-06-04T23:28:57Z

by Maña, Antonio. author.
http://dx.doi.org/10.1007/978-2-287-47610-5
Format: Electronic Resources

Ubiquitous and Pervasive Commerce New Frontiers for Electronic Business

2024-06-04T23:28:57Z

by Roussos, George. editor.
http://dx.doi.org/10.1007/1-84628-321-3
Format: Electronic Resources

Architecture of Computing Systems - ARCS 2006 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006. Proceedings

2024-06-04T23:28:57Z

by Grass, Werner. editor.
http://dx.doi.org/10.1007/11682127
Format: Electronic Resources

Computer and Information Sciences – ISCIS 2006 21th International Symposium, Istanbul, Turkey, November 1-3, 2006. Proceedings

2024-06-04T23:28:57Z

by Levi, Albert. editor.
http://dx.doi.org/10.1007/11902140
Format: Electronic Resources

Resource Allocation in Wireless Networks Theory and Algorithms

2024-06-04T23:28:57Z

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

Euro-Par 2006 Parallel Processing 12th International Euro-Par Conference, Dresden, Germany, August 28 – September 1, 2006. Proceedings

2024-06-04T23:28:57Z

by Nagel, Wolfgang E. editor.
http://dx.doi.org/10.1007/11823285
Format: Electronic Resources

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

2024-06-04T23:28:57Z

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

Requirements Engineering

2024-06-04T23:28:57Z

by Hull, Elizabeth. author.
http://dx.doi.org/10.1007/b138335
Format: Electronic Resources

XML for Bioinformatics

2024-06-04T23:28:57Z

by Cerami, Ethan. author.
http://dx.doi.org/10.1007/0-387-27478-2
Format: Electronic Resources

Parallel and Distributed Computing: Applications and Technologies 5th International Conference, PDCAT 2004, Singapore, December 8-10, 2004. Proceedings

2024-06-04T23:28:57Z

by Liew, Kim-Meow. editor.
http://dx.doi.org/10.1007/b103538
Format: Electronic Resources

Guide to RISC Processors for Programmers and Engineers

2024-06-04T23:28:57Z

by Dandamudi, Sivarama P. author.
http://dx.doi.org/10.1007/b139084
Format: Electronic Resources

Broadband Satellite Comunication Systems and the Challenges of Mobility IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22–27, 2004, Toulouse, France

2024-06-04T23:28:57Z

by Gayraud, Thierry. editor.
http://dx.doi.org/10.1007/b104225
Format: Electronic Resources

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

2024-06-04T23:28:57Z

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

Shared Memory Parallel Programming with Open MP 5th International Workshop on Open MP Applications and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004, Revised Selected Papers

2024-06-04T23:28:57Z

by Chapman, Barbara M. editor.
http://dx.doi.org/10.1007/b105895
Format: Electronic Resources

Euro-Par 2005 Parallel Processing 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005. Proceedings

2024-06-04T23:28:57Z

by Cunha, José C. editor.
http://dx.doi.org/10.1007/11549468
Format: Electronic Resources

Systems Aspects in Organic and Pervasive Computing - ARCS 2005 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005. Proceedings

2024-06-04T23:28:57Z

by Beigl, Michael. editor.
http://dx.doi.org/10.1007/b106632
Format: Electronic Resources

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

2024-06-04T23:28:57Z

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

Model Driven Architecture European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papers

2024-06-04T23:28:57Z

by Aßmann, Uwe. editor.
http://dx.doi.org/10.1007/11538097
Format: Electronic Resources

Ontologies for Agents: Theory and Experiences

2024-06-04T23:28:57Z

by Tamma, Valentina. editor.
http://dx.doi.org/10.1007/3-7643-7361-X
Format: Electronic Resources

New Horizons of Parallel and Distributed Computing

2024-06-04T23:28:57Z

by Guo, Minyi. editor.
http://dx.doi.org/10.1007/0-387-28967-4
Format: Electronic Resources

Event-Triggered and Time-Triggered Control Paradigms

2024-06-04T23:28:57Z

by Obermaisser, Roman. author.
http://dx.doi.org/10.1007/978-0-387-23044-3
Format: Electronic Resources

UML for SOC Design

2024-06-04T23:28:57Z

by Martin, Grant. editor.
http://dx.doi.org/10.1007/b135980
Format: Electronic Resources

Information Processing and Security Systems

2024-06-04T23:28:57Z

by Saeed, Khalid. editor.
http://dx.doi.org/10.1007/b137371
Format: Electronic Resources

Computer and Information Sciences - ISCIS 2005 20th International Symposium, Istanbul, Turkey, October 26-28, 2005. Proceedings

2024-06-04T23:28:57Z

by Yolum, pInar. editor.
http://dx.doi.org/10.1007/11569596
Format: Electronic Resources

SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings

2024-06-04T23:28:57Z

by Prinz, Andreas. editor.
http://dx.doi.org/10.1007/b137793
Format: Electronic Resources

Model Driven Architecture – Foundations and Applications First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005. Proceedings

2024-06-04T23:28:57Z

by Hartman, Alan. editor.
http://dx.doi.org/10.1007/11581741
Format: Electronic Resources

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

2024-06-04T23:28:57Z

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

Software Agent-Based Applications, Platforms and Development Kits

2024-06-04T23:28:57Z

by Unland, Rainer. editor.
http://dx.doi.org/10.1007/b137512
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-06-04T23:28:57Z

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

Architecture Description Languages IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22–27, 2004, Toulouse, France

2024-06-04T23:28:57Z

by Dissaux, Pierre. editor.
http://dx.doi.org/10.1007/b106318
Format: Electronic Resources