Search Results for - Narrowed by: Software engineering. - Computers.

Managed Software Evolution

2024-05-31T11:42:42Z

Yazar Reussner, Ralf. editor.
https://doi.org/10.1007/978-3-030-13499-0
Format: Electronic Resources

Conceptual Modeling 38th International Conference, ER 2019, Salvador, Brazil, November 4–7, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Laender, Alberto H. F. editor. (orcid)0000-0001-5032-2233
https://doi.org/10.1007/978-3-030-33223-5
Format: Electronic Resources

Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

2024-05-31T11:42:42Z

Yazar Duan, Zhenhua. editor.
https://doi.org/10.1007/978-3-030-13651-2
Format: Electronic Resources

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

2024-05-31T11:42:42Z

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

PRIMA 2019: Principles and Practice of Multi-Agent Systems 22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408
https://doi.org/10.1007/978-3-030-33792-6
Format: Electronic Resources

Artificial Intelligence and Security 5th International Conference, ICAIS 2019, New York, NY, USA, July 26–28, 2019, Proceedings, Part IV

2024-05-31T11:42:42Z

Yazar Sun, Xingming. editor. (orcid)0000-0003-1390-399X
https://doi.org/10.1007/978-3-030-24268-8
Format: Electronic Resources

Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Bures, Tomas. editor.
https://doi.org/10.1007/978-3-030-29983-5
Format: Electronic Resources

Advances in Data Science, Cyber Security and IT Applications First International Conference on Computing, ICC 2019, Riyadh, Saudi Arabia, December 10–12, 2019, Proceedings, Part II

2024-05-31T11:42:42Z

Yazar Alfaries, Auhood. editor.
https://doi.org/10.1007/978-3-030-36368-0
Format: Electronic Resources

Transactions on Petri Nets and Other Models of Concurrency XIV

2024-05-31T11:42:42Z

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

Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937
https://doi.org/10.1007/978-3-030-31019-6
Format: Electronic Resources

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

2024-05-31T11:42:42Z

Yazar Dillig, Isil. editor.
https://doi.org/10.1007/978-3-030-25543-5
Format: Electronic Resources

Software Engineering for Resilient Systems 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Calinescu, Radu. editor. (orcid)0000-0002-2678-9260
https://doi.org/10.1007/978-3-030-30856-8
Format: Electronic Resources

Provable Security 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Steinfeld, Ron. editor. (orcid)0000-0003-1745-4183
https://doi.org/10.1007/978-3-030-31919-9
Format: Electronic Resources

Artificial Intelligence 5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lectures

2024-05-31T11:42:42Z

Yazar Osipov, Gennady S. editor. (orcid)0000-0002-5329-6234
https://doi.org/10.1007/978-3-030-33274-7
Format: Electronic Resources

Software Technologies 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers

2024-05-31T11:42:42Z

Yazar van Sinderen, Marten. editor.
https://doi.org/10.1007/978-3-030-29157-0
Format: Electronic Resources

Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Franch, Xavier. editor. (orcid)0000-0001-9733-8830
https://doi.org/10.1007/978-3-030-35333-9
Format: Electronic Resources

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555
https://doi.org/10.1007/978-3-030-34968-4
Format: Electronic Resources

Trustworthy Cyber-Physical Systems A Systematic Framework towards Design and Evaluation of Trust and Trustworthiness

2024-05-31T11:42:42Z

Yazar Gol Mohammadi, Nazila. author.
https://doi.org/10.1007/978-3-658-27488-7
Format: Electronic Resources

Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Gaston, Christophe. editor. (orcid)0000-0001-6865-5108
https://doi.org/10.1007/978-3-030-31280-0
Format: Electronic Resources

Formal Methods An Appetizer

2024-05-31T11:42:42Z

Yazar Nielson, Flemming. author. (orcid)0000-0001-7362-6176
https://doi.org/10.1007/978-3-030-05156-3
Format: Electronic Resources

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part III

2024-05-31T11:42:42Z

Yazar Boldyreva, Alexandra. editor.
https://doi.org/10.1007/978-3-030-26954-8
Format: Electronic Resources

Public-Key Cryptography – PKC 2019 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part I

2024-05-31T11:42:42Z

Yazar Lin, Dongdai. editor.
https://doi.org/10.1007/978-3-030-17253-4
Format: Electronic Resources

Discovery Science 22nd International Conference, DS 2019, Split, Croatia, October 28–30, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Kralj Novak, Petra. editor. (orcid)0000-0003-3385-6430
https://doi.org/10.1007/978-3-030-33778-0
Format: Electronic Resources

Computer-Aided Architectural Design. "Hello, Culture" 18th International Conference, CAAD Futures 2019, Daejeon, Republic of Korea, June 26–28, 2019, Selected Papers

2024-05-31T11:42:42Z

Yazar Lee, Ji-Hyun. editor.
https://doi.org/10.1007/978-981-13-8410-3
Format: Electronic Resources

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part II

2024-05-31T11:42:42Z

Yazar Boldyreva, Alexandra. editor.
https://doi.org/10.1007/978-3-030-26951-7
Format: Electronic Resources

Cloud Computing – CLOUD 2019 12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Da Silva, Dilma. editor.
https://doi.org/10.1007/978-3-030-23502-4
Format: Electronic Resources

Computer Security ESORICS 2018 International Workshops, CyberICPS 2018 and SECPRE 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers

2024-05-31T11:42:42Z

Yazar Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683
https://doi.org/10.1007/978-3-030-12786-2
Format: Electronic Resources

Carl Adam Petri: Ideas, Personality, Impact

2024-05-31T11:42:42Z

Yazar Reisig, Wolfgang. editor.
https://doi.org/10.1007/978-3-319-96154-5
Format: Electronic Resources

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Caires, Luís. editor. (orcid)0000-0002-3215-6734
https://doi.org/10.1007/978-3-030-17184-1
Format: Electronic Resources

Computer and Communication Engineering First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings

2024-05-31T11:42:42Z

Yazar Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224
https://doi.org/10.1007/978-3-030-12018-4
Format: Electronic Resources

High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Weiland, Michèle. editor. (orcid)0000-0003-4713-3073
https://doi.org/10.1007/978-3-030-20656-7
Format: Electronic Resources

Security and Safety Interplay of Intelligent Software Systems ESORICS 2018 International Workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers

2024-05-31T11:42:42Z

Yazar Hamid, Brahim. editor.
https://doi.org/10.1007/978-3-030-16874-2
Format: Electronic Resources

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

2024-05-31T11:42:42Z

Yazar Lutz, Carsten. editor.
https://doi.org/10.1007/978-3-030-22102-7
Format: Electronic Resources

Software Challenges to Exascale Computing Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedings

2024-05-31T11:42:42Z

Yazar Majumdar, Amit. editor.
https://doi.org/10.1007/978-981-13-7729-7
Format: Electronic Resources

Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Filiot, Emmanuel. editor.
https://doi.org/10.1007/978-3-030-30806-3
Format: Electronic Resources

Public-Key Cryptography – PKC 2019 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part II

2024-05-31T11:42:42Z

Yazar Lin, Dongdai. editor.
https://doi.org/10.1007/978-3-030-17259-6
Format: Electronic Resources

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

2024-05-31T11:42:42Z

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

Open Source Systems 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Bordeleau, Francis. editor.
https://doi.org/10.1007/978-3-030-20883-7
Format: Electronic Resources

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers

2024-05-31T11:42:42Z

Yazar Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148
https://doi.org/10.1007/978-3-030-06019-0
Format: Electronic Resources

High Performance Computing ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers

2024-05-31T11:42:42Z

Yazar Weiland, Michèle. editor. (orcid)0000-0003-4713-3073
https://doi.org/10.1007/978-3-030-34356-9
Format: Electronic Resources

Computer Science – CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers

2024-05-31T11:42:42Z

Yazar Pesado, Patricia. editor. (orcid)0000-0003-0000-3482
https://doi.org/10.1007/978-3-030-20787-8
Format: Electronic Resources

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part I

2024-05-31T11:42:42Z

Yazar Boldyreva, Alexandra. editor.
https://doi.org/10.1007/978-3-030-26948-7
Format: Electronic Resources

Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180
https://doi.org/10.1007/978-3-030-21759-4
Format: Electronic Resources

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

2024-05-31T11:42:42Z

Yazar Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750
https://doi.org/10.1007/978-3-030-31517-7
Format: Electronic Resources

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Ölveczky, Peter Csaba. editor.
https://doi.org/10.1007/978-3-030-30446-1
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X
https://doi.org/10.1007/978-3-030-24258-9
Format: Electronic Resources

Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Nielson, Flemming. editor. (orcid)0000-0001-7362-6176
https://doi.org/10.1007/978-3-030-17138-4
Format: Electronic Resources

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Larsen, Kim Guldstrand. editor.
https://doi.org/10.1007/978-3-030-27008-7
Format: Electronic Resources

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Badger, Julia M. editor.
https://doi.org/10.1007/978-3-030-20652-9
Format: Electronic Resources

Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Zamani, Majid. editor.
https://doi.org/10.1007/978-3-030-28423-7
Format: Electronic Resources

Quality of Information and Communications Technology 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Piattini, Mario. editor. (orcid)0000-0002-7212-8279
https://doi.org/10.1007/978-3-030-29238-6
Format: Electronic Resources

New Opportunities for Innovation Breakthroughs for Developing Countries and Emerging Economies 19th International TRIZ Future Conference, TFC 2019, Marrakesh, Morocco, October 9–11, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Benmoussa, Rachid. editor.
https://doi.org/10.1007/978-3-030-32497-1
Format: Electronic Resources

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

2024-05-31T11:42:42Z

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

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

2024-05-31T11:42:42Z

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

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

2024-05-31T11:42:42Z

Yazar Dillig, Isil. editor.
https://doi.org/10.1007/978-3-030-25540-4
Format: Electronic Resources

Progress in Cryptology – AFRICACRYPT 2019 11th International Conference on Cryptology in Africa, Rabat, Morocco, July 9–11, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Buchmann, Johannes. editor.
https://doi.org/10.1007/978-3-030-23696-0
Format: Electronic Resources

Model-Driven Engineering and Software Development 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers

2024-05-31T11:42:42Z

Yazar Hammoudi, Slimane. editor.
https://doi.org/10.1007/978-3-030-11030-7
Format: Electronic Resources

Innovative Security Solutions for Information Technology and Communications 11th International Conference, SecITC 2018, Bucharest, Romania, November 8–9, 2018, Revised Selected Papers

2024-05-31T11:42:42Z

Yazar Lanet, Jean-Louis. editor. (orcid)0000-0002-4751-3941
https://doi.org/10.1007/978-3-030-12942-2
Format: Electronic Resources

Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Peng, Xin. editor.
https://doi.org/10.1007/978-3-030-22888-0
Format: Electronic Resources

Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers

2024-05-31T11:42:42Z

Yazar Zincir-Heywood, Nur. editor.
https://doi.org/10.1007/978-3-030-18419-3
Format: Electronic Resources

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

2024-05-31T11:42:42Z

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

Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096
https://doi.org/10.1007/978-3-030-34175-6
Format: Electronic Resources

Financial Cryptography and Data Security 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18–22, 2019, Revised Selected Papers

2024-05-31T11:42:42Z

Yazar Goldberg, Ian. editor.
https://doi.org/10.1007/978-3-030-32101-7
Format: Electronic Resources

Digital Forensics and Cyber Crime 10th International EAI Conference, ICDF2C 2018, New Orleans, LA, USA, September 10–12, 2018, Proceedings

2024-05-31T11:42:42Z

Yazar Breitinger, Frank. editor. (orcid)0000-0001-5261-4600
https://doi.org/10.1007/978-3-030-05487-8
Format: Electronic Resources

Cyberspace Data and Intelligence, and Cyber-Living, Syndrome, and Health International 2019 Cyberspace Congress, CyberDI and CyberLife, Beijing, China, December 16–18, 2019, Proceedings, Part I

2024-05-31T11:42:42Z

Yazar Ning, Huansheng. editor. (orcid)0000-0001-6413-193X
https://doi.org/10.1007/978-981-15-1922-2
Format: Electronic Resources

Knowledge Management and Acquisition for Intelligent Systems 16th Pacific Rim Knowledge Acquisition Workshop, PKAW 2019, Cuvu, Fiji, August 26–27, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Ohara, Kouzou. editor.
https://doi.org/10.1007/978-3-030-30639-7
Format: Electronic Resources

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 23rd Iberoamerican Congress, CIARP 2018, Madrid, Spain, November 19-22, 2018, Proceedings

2024-05-31T11:42:42Z

Yazar Vera-Rodriguez, Ruben. editor.
https://doi.org/10.1007/978-3-030-13469-3
Format: Electronic Resources

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736
https://doi.org/10.1007/978-3-030-30690-8
Format: Electronic Resources

Computer Security – ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I

2024-05-31T11:42:42Z

Yazar Sako, Kazue. editor.
https://doi.org/10.1007/978-3-030-29959-0
Format: Electronic Resources

Advances in Information and Computer Security 14th International Workshop on Security, IWSEC 2019, Tokyo, Japan, August 28–30, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Attrapadung, Nuttapong. editor. (orcid)0000-0003-4116-1751
https://doi.org/10.1007/978-3-030-26834-3
Format: Electronic Resources

Information Security 22nd International Conference, ISC 2019, New York City, NY, USA, September 16–18, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Lin, Zhiqiang. editor.
https://doi.org/10.1007/978-3-030-30215-3
Format: Electronic Resources

Computer Security – ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part II

2024-05-31T11:42:42Z

Yazar Sako, Kazue. editor.
https://doi.org/10.1007/978-3-030-29962-0
Format: Electronic Resources

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712
https://doi.org/10.1007/978-3-030-32409-4
Format: Electronic Resources

Applied Cryptography and Network Security 17th International Conference, ACNS 2019, Bogota, Colombia, June 5–7, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Deng, Robert H. editor. (orcid)0000-0003-3491-8146
https://doi.org/10.1007/978-3-030-21568-2
Format: Electronic Resources

Critical Infrastructure Protection XIII 13th IFIP WG 11.10 International Conference, ICCIP 2019, Arlington, VA, USA, March 11–12, 2019, Revised Selected Papers

2024-05-31T11:42:42Z

Yazar Staggs, Jason. editor.
https://doi.org/10.1007/978-3-030-34647-8
Format: Electronic Resources

Information Security and Privacy 24th Australasian Conference, ACISP 2019, Christchurch, New Zealand, July 3–5, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Jang-Jaccard, Julian. editor. (orcid)0000-0002-1002-057X
https://doi.org/10.1007/978-3-030-21548-4
Format: Electronic Resources

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613
https://doi.org/10.1007/978-3-030-16722-6
Format: Electronic Resources

Internet and Distributed Computing Systems 12th International Conference, IDCS 2019, Naples, Italy, October 10–12, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Montella, Raffaele. editor.
https://doi.org/10.1007/978-3-030-34914-1
Format: Electronic Resources

End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Malizia, Alessio. editor.
https://doi.org/10.1007/978-3-030-24781-2
Format: Electronic Resources

Technology Trends 4th International Conference, CITT 2018, Babahoyo, Ecuador, August 29–31, 2018, Revised Selected Papers

2024-05-31T11:42:42Z

Yazar Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224
https://doi.org/10.1007/978-3-030-05532-5
Format: Electronic Resources

Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings

2024-05-31T11:42:42Z

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

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

2024-05-31T11:42:42Z

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

Cyberspace Safety and Security 11th International Symposium, CSS 2019, Guangzhou, China, December 1–3, 2019, Proceedings, Part I

2024-05-31T11:42:42Z

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

Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers

2024-05-31T11:42:42Z

Yazar Li, Zheng. editor. (orcid)0000-0002-3938-7033
https://doi.org/10.1007/978-981-15-0310-8
Format: Electronic Resources

Information, Communication and Computing Technology 4th International Conference, ICICCT 2019, New Delhi, India, May 11, 2019, Revised Selected Papers

2024-05-31T11:42:42Z

Yazar Gani, Abdullah Bin. editor. (orcid)0000-0002-4388-020X
https://doi.org/10.1007/978-981-15-1384-8
Format: Electronic Resources

Euro-Par 2019: Parallel Processing 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Yahyapour, Ramin. editor. (orcid)0000-0002-9057-4395
https://doi.org/10.1007/978-3-030-29400-7
Format: Electronic Resources

Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings

2024-05-31T11:42:42Z

Yazar Walker, Alastair. editor.
https://doi.org/10.1007/978-3-030-28005-5
Format: Electronic Resources

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

2024-05-31T11:42:42Z

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

Evaluation of Novel Approaches to Software Engineering 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers

2024-05-31T11:42:42Z

Yazar Damiani, Ernesto. editor.
https://doi.org/10.1007/978-3-030-22559-9
Format: Electronic Resources

Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers

2024-05-31T11:42:42Z

Yazar Hinze, Thomas. editor.
https://doi.org/10.1007/978-3-030-12797-8
Format: Electronic Resources

Advances in Cryptology – ASIACRYPT 2019 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part I

2024-05-31T11:42:42Z

Yazar Galbraith, Steven D. editor. (orcid)0000-0001-7114-8377
https://doi.org/10.1007/978-3-030-34578-5
Format: Electronic Resources

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

2024-05-31T11:42:42Z

Yazar Alvim, Mário S. editor.
https://doi.org/10.1007/978-3-030-31175-9
Format: Electronic Resources

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

2024-05-31T11:42:42Z

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

Multidimensional Views on Enterprise Information Systems Proceedings of ERP Future 2014

2024-05-31T11:42:42Z

Yazar Piazolo, Felix. editor.
http://dx.doi.org/10.1007/978-3-319-27043-2
Format: Electronic Resources

Tamed Agility Pragmatic Contracting and Collaboration in Agile Software Projects

2024-05-31T11:42:42Z

Yazar Book, Matthias. author.
http://dx.doi.org/10.1007/978-3-319-41478-2
Format: Electronic Resources

Databases and Information Systems 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016, Proceedings

2024-05-31T11:42:42Z

Yazar Arnicans, Guntis. editor.
http://dx.doi.org/10.1007/978-3-319-40180-5
Format: Electronic Resources

Transactions on Computational Science XXVII

2024-05-31T11:42:42Z

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

Scala: From a Functional Programming Perspective An Introduction to the Programming Language

2024-05-31T11:42:42Z

Yazar Torra, Vicenç. author.
http://dx.doi.org/10.1007/978-3-319-46481-7
Format: Electronic Resources

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

2024-05-31T11:42:42Z

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

Open Source Systems: Integrating Communities 12th IFIP WG 2.13 International Conference, OSS 2016, Gothenburg, Sweden, May 30 - June 2, 2016, Proceedings

2024-05-31T11:42:42Z

Yazar Crowston, Kevin. editor.
http://dx.doi.org/10.1007/978-3-319-39225-7
Format: Electronic Resources

Information Technology in Environmental Engineering Proceedings of the 7th International Conference on Information Technologies in Environmental Engineering (ITEE 2015)

2024-05-31T11:42:42Z

Yazar Marx Gómez, Jorge. editor.
http://dx.doi.org/10.1007/978-3-319-25153-0
Format: Electronic Resources

Multi-Agent Based Simulation XVI International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers

2024-05-31T11:42:42Z

Yazar Gaudou, Benoit. editor.
http://dx.doi.org/10.1007/978-3-319-31447-1
Format: Electronic Resources

Managing Humans Biting and Humorous Tales of a Software Engineering Manager

2024-05-31T11:42:42Z

Yazar Lopp, Michael. author.
http://dx.doi.org/10.1007/978-1-4842-2158-7
Format: Electronic Resources

Distributed Simulation A Model Driven Engineering Approach

2024-05-31T11:42:42Z

Yazar Topçu, Okan. author.
http://dx.doi.org/10.1007/978-3-319-03050-0
Format: Electronic Resources

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

2024-05-31T11:42:42Z

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

Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

2024-05-31T11:42:42Z

Yazar Skavhaug, Amund. editor.
http://dx.doi.org/10.1007/978-3-319-45480-1
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2024-05-31T11:42:42Z

Yazar Chechik, Marsha. editor.
http://dx.doi.org/10.1007/978-3-662-49674-9
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

2024-05-31T11:42:42Z

Yazar Jobstmann, Barbara. editor.
http://dx.doi.org/10.1007/978-3-662-49122-5
Format: Electronic Resources

Computer and Information Sciences 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27–28, 2016, Proceedings

2024-05-31T11:42:42Z

Yazar Czachórski, Tadeusz. editor.
http://dx.doi.org/10.1007/978-3-319-47217-1
Format: Electronic Resources

Control Modes on Mobile Software Platforms Empirical Studies on the Importance of Informal Control

2024-05-31T11:42:42Z

Yazar Goldbach, Tobias. author.
http://dx.doi.org/10.1007/978-3-658-14893-5
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

2024-05-31T11:42:42Z

Yazar Creignou, Nadia. editor.
http://dx.doi.org/10.1007/978-3-319-40970-2
Format: Electronic Resources

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

2024-05-31T11:42:42Z

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

Transactions on Computational Collective Intelligence XXV

2024-05-31T11:42:42Z

Yazar Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-662-53580-6
Format: Electronic Resources

Description and Selection of Communication Services for Service Oriented Network Architectures

2024-05-31T11:42:42Z

Yazar Khondoker, Rahamatullah. author.
http://dx.doi.org/10.1007/978-3-658-12742-8
Format: Electronic Resources

Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2024-05-31T11:42:42Z

Yazar Thiemann, Peter. editor.
http://dx.doi.org/10.1007/978-3-662-49498-1
Format: Electronic Resources

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

2024-05-31T11:42:42Z

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

Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 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-31T11:42:42Z

Yazar Albert, Elvira. editor.
http://dx.doi.org/10.1007/978-3-319-39570-8
Format: Electronic Resources

Big Data Technologies and Applications

2024-05-31T11:42:42Z

Yazar Furht, Borko. author.
http://dx.doi.org/10.1007/978-3-319-44550-2
Format: Electronic Resources

Domain-Specific Conceptual Modeling Concepts, Methods and Tools

2024-05-31T11:42:42Z

Yazar Karagiannis, Dimitris. editor.
http://dx.doi.org/10.1007/978-3-319-39417-6
Format: Electronic Resources

Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

2024-05-31T11:42:42Z

Yazar Lucanu, Dorel. editor.
http://dx.doi.org/10.1007/978-3-319-44802-2
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

2024-05-31T11:42:42Z

Yazar Fränzle, Martin. editor.
http://dx.doi.org/10.1007/978-3-319-44878-7
Format: Electronic Resources

Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings

2024-05-31T11:42:42Z

Yazar Bogdan, Cristian. editor.
http://dx.doi.org/10.1007/978-3-319-44902-9
Format: Electronic Resources

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2024-05-31T11:42:42Z

Yazar Jacobs, Bart. editor.
http://dx.doi.org/10.1007/978-3-662-49630-5
Format: Electronic Resources

Behavioural Models From Modelling Finite Automata to Analysing Business Processes

2024-05-31T11:42:42Z

Yazar Kunze, Matthias. author.
http://dx.doi.org/10.1007/978-3-319-44960-9
Format: Electronic Resources

Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

2024-05-31T11:42:42Z

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

Information and Software Technologies 22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016, Proceedings

2024-05-31T11:42:42Z

Yazar Dregvaite, Giedre. editor.
http://dx.doi.org/10.1007/978-3-319-46254-7
Format: Electronic Resources

Working Around Disruptions of Network Infrastructures Mobile Ad-Hoc Systems for Resilient Communication in Disasters

2024-05-31T11:42:42Z

Yazar Al-Akkad, Amro. author.
http://dx.doi.org/10.1007/978-3-658-12616-2
Format: Electronic Resources

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

2024-05-31T11:42:42Z

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

Analyzing Time Interval Data Introducing an Information System for Time Interval Data Analysis

2024-05-31T11:42:42Z

Yazar Meisen, Philipp. author.
http://dx.doi.org/10.1007/978-3-658-15728-9
Format: Electronic Resources

Behavior Modeling -- Foundations and Applications International Workshops, BM-FA 2009-2014, Revised Selected Papers

2024-05-31T11:42:42Z

Yazar Roubtsova, Ella. editor.
http://dx.doi.org/10.1007/978-3-319-21912-7
Format: Electronic Resources

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

2024-05-31T11:42:42Z

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

Combinatorics on Words 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings

2024-05-31T11:42:42Z

Yazar Manea, Florin. editor.
http://dx.doi.org/10.1007/978-3-319-23660-5
Format: Electronic Resources

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

2024-05-31T11:42:42Z

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

Information and Software Technologies 21st International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015, Proceedings

2024-05-31T11:42:42Z

Yazar Dregvaite, Giedre. editor.
http://dx.doi.org/10.1007/978-3-319-24770-0
Format: Electronic Resources

Introduction to Concurrency Theory Transition Systems and CCS

2024-05-31T11:42:42Z

Yazar Gorrieri, Roberto. author.
http://dx.doi.org/10.1007/978-3-319-21491-7
Format: Electronic Resources

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

2024-05-31T11:42:42Z

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

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

2024-05-31T11:42:42Z

Yazar Graf, Susanne. editor.
http://dx.doi.org/10.1007/978-3-319-19195-9
Format: Electronic Resources

Multilevel Business Processes Modeling and Data Analysis

2024-05-31T11:42:42Z

Yazar G. Schuetz, Christoph. author.
http://dx.doi.org/10.1007/978-3-658-11084-0
Format: Electronic Resources

Graph and Model Transformation General Framework and Applications

2024-05-31T11:42:42Z

Yazar Ehrig, Hartmut. author.
http://dx.doi.org/10.1007/978-3-662-47980-3
Format: Electronic Resources

The Scrum Culture Introducing Agile Methods in Organizations

2024-05-31T11:42:42Z

Yazar Maximini, Dominik. author.
http://dx.doi.org/10.1007/978-3-319-11827-7
Format: Electronic Resources

Patterns of HCI Design and HCI Design of Patterns Bridging HCI Design and Model-Driven Software Engineering

2024-05-31T11:42:42Z

Yazar Seffah, Ahmed. author.
http://dx.doi.org/10.1007/978-3-319-15687-3
Format: Electronic Resources

Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.

2024-05-31T11:42:42Z

Yazar ten Cate, Balder. editor.
http://dx.doi.org/10.1007/978-3-319-22002-4
Format: Electronic Resources

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

2024-05-31T11:42:42Z

Yazar Roux, Olivier. editor.
http://dx.doi.org/10.1007/978-3-319-23401-4
Format: Electronic Resources

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

2024-05-31T11:42:42Z

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

Human Aspects of Information Security, Privacy, and Trust Third International Conference, HAS 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings

2024-05-31T11:42:42Z

Yazar Tryfonas, Theo. editor.
http://dx.doi.org/10.1007/978-3-319-20376-8
Format: Electronic Resources

Open Source Systems: Adoption and Impact 11th IFIP WG 2.13 International Conference, OSS 2015, Florence, Italy, May 16-17, 2015, Proceedings

2024-05-31T11:42:42Z

Yazar Damiani, Ernesto. editor.
http://dx.doi.org/10.1007/978-3-319-17837-0
Format: Electronic Resources

New Horizons in Design Science: Broadening the Research Agenda 10th International Conference, DESRIST 2015, Dublin, Ireland, May 20-22, 2015, Proceedings

2024-05-31T11:42:42Z

Yazar Donnellan, Brian. editor.
http://dx.doi.org/10.1007/978-3-319-18714-3
Format: Electronic Resources

Transactions on Computational Collective Intelligence XX

2024-05-31T11:42:42Z

Yazar Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-319-27543-7
Format: Electronic Resources

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

2024-05-31T11:42:42Z

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

Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

2024-05-31T11:42:42Z

Yazar Codescu, Mihai. editor.
http://dx.doi.org/10.1007/978-3-319-28114-8
Format: Electronic Resources

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2024-05-31T11:42:42Z

Yazar Pitts, Andrew. editor.
http://dx.doi.org/10.1007/978-3-662-46678-0
Format: Electronic Resources

Transactions on Computational Collective Intelligence XVIII

2024-05-31T11:42:42Z

Yazar Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-662-48145-5
Format: Electronic Resources

Petri Net Synthesis

2024-05-31T11:42:42Z

Yazar Badouel, Eric. author.
http://dx.doi.org/10.1007/978-3-662-47967-4
Format: Electronic Resources

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

2024-05-31T11:42:42Z

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

Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

2024-05-31T11:42:42Z

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

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

2024-05-31T11:42:42Z

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

Requirements Engineering in the Big Data Era Second Asia Pacific Symposium, APRES 2015, Wuhan, China, October 18–20, 2015, Proceedings

2024-05-31T11:42:42Z

Yazar Liu, Lin. editor.
http://dx.doi.org/10.1007/978-3-662-48634-4
Format: Electronic Resources

Transactions on Computational Collective Intelligence XIX

2024-05-31T11:42:42Z

Yazar Nguyen, Ngoc Thanh. editor.
http://dx.doi.org/10.1007/978-3-662-49017-4
Format: Electronic Resources

FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

2024-05-31T11:42:42Z

Yazar Bjørner, Nikolaj. editor.
http://dx.doi.org/10.1007/978-3-319-19249-9
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings

2024-05-31T11:42:42Z

Yazar D’Souza, Deepak. editor.
http://dx.doi.org/10.1007/978-3-662-46081-8
Format: Electronic Resources

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

2024-05-31T11:42:42Z

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

High Performance Computing for Computational Science -- VECPAR 2014 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers

2024-05-31T11:42:42Z

Yazar Daydé, Michel. editor.
http://dx.doi.org/10.1007/978-3-319-17353-5
Format: Electronic Resources

Computer Science and Its Applications 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings

2024-05-31T11:42:42Z

Yazar Amine, Abdelmalek. editor.
http://dx.doi.org/10.1007/978-3-319-19578-0
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

2024-05-31T11:42:42Z

Yazar Sankaranarayanan, Sriram. editor.
http://dx.doi.org/10.1007/978-3-319-22975-1
Format: Electronic Resources

Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

2024-05-31T11:42:42Z

Yazar Naumann, David. editor.
http://dx.doi.org/10.1007/978-3-319-14806-9
Format: Electronic Resources

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

2024-05-31T11:42:42Z

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

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

2024-05-31T11:42:42Z

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

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

2024-05-31T11:42:42Z

Yazar Voronkov, Andrei. editor.
http://dx.doi.org/10.1007/978-3-662-46823-4
Format: Electronic Resources

Open Source Software: Mobile Open Source Technologies 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San José, Costa Rica, May 6-9, 2014. Proceedings

2024-05-31T11:42:42Z

Yazar Corral, Luis. editor.
http://dx.doi.org/10.1007/978-3-642-55128-4
Format: Electronic Resources

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

2024-05-31T11:42:42Z

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

An Introduction to Design Science

2024-05-31T11:42:42Z

Yazar Johannesson, Paul. author.
http://dx.doi.org/10.1007/978-3-319-10632-8
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings

2024-05-31T11:42:42Z

Yazar Legay, Axel. editor.
http://dx.doi.org/10.1007/978-3-319-10512-3
Format: Electronic Resources

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

2024-05-31T11:42:42Z

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

Web Reasoning and Rule Systems 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings

2024-05-31T11:42:42Z

Yazar Kontchakov, Roman. editor.
http://dx.doi.org/10.1007/978-3-319-11113-1
Format: Electronic Resources

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

2024-05-31T11:42:42Z

Yazar Escobar, Santiago. editor.
http://dx.doi.org/10.1007/978-3-319-12904-4
Format: Electronic Resources

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2024-05-31T11:42:42Z

Yazar Muscholl, Anca. editor.
http://dx.doi.org/10.1007/978-3-642-54830-7
Format: Electronic Resources

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2024-05-31T11:42:42Z

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

From Programs to Systems. The Systems perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings

2024-05-31T11:42:42Z

Yazar Bensalem, Saddek. editor.
http://dx.doi.org/10.1007/978-3-642-54848-2
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings

2024-05-31T11:42:42Z

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

Aligning Business Processes and Information Systems New Approaches to Continuous Quality Engineering

2024-05-31T11:42:42Z

Yazar Heinrich, Robert. author.
http://dx.doi.org/10.1007/978-3-658-06518-8
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

2024-05-31T11:42:42Z

Yazar McMillan, Kenneth L. editor.
http://dx.doi.org/10.1007/978-3-642-54013-4
Format: Electronic Resources

Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings

2024-05-31T11:42:42Z

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

Transactions on Computational Collective Intelligence XVI

2024-05-31T11:42:42Z

Yazar Kowalczyk, Ryszard. editor.
http://dx.doi.org/10.1007/978-3-662-44871-7
Format: Electronic Resources

Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy Systems

2024-05-31T11:42:42Z

Yazar Wagner, Christian. author.
http://dx.doi.org/10.1007/978-3-658-05270-6
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

2024-05-31T11:42:42Z

Yazar Margaria, Tiziana. editor.
http://dx.doi.org/10.1007/978-3-662-45234-9
Format: Electronic Resources

Real-time Security Extensions for EPCglobal Networks Case Study for the Pharmaceutical Industry

2024-05-31T11:42:42Z

Yazar Schapranow, Matthieu-P. author.
http://dx.doi.org/10.1007/978-3-642-36343-6
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

2024-05-31T11:42:42Z

Yazar Margaria, Tiziana. editor.
http://dx.doi.org/10.1007/978-3-662-45231-8
Format: Electronic Resources

Modeling and Simulation of Complex Systems A Framework for Efficient Agent-Based Modeling and Simulation

2024-05-31T11:42:42Z

Yazar Siegfried, Robert. author.
http://dx.doi.org/10.1007/978-3-658-07529-3
Format: Electronic Resources

Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday

2024-05-31T11:42:42Z

Yazar Agha, Gul. editor.
http://dx.doi.org/10.1007/978-3-662-44471-9
Format: Electronic Resources

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

2024-05-31T11:42:42Z

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

Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings

2024-05-31T11:42:42Z

Yazar Mendes, Pedro. editor.
http://dx.doi.org/10.1007/978-3-319-12982-2
Format: Electronic Resources

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

2024-05-31T11:42:42Z

Yazar Bernardo, Marco. editor.
http://dx.doi.org/10.1007/978-3-319-07317-0
Format: Electronic Resources

Novel Methods and Technologies for Enterprise Information Systems ERP Future 2013 Conference, Vienna, Austria, November 2013, Revised Papers

2024-05-31T11:42:42Z

Yazar Piazolo, Felix. editor.
http://dx.doi.org/10.1007/978-3-319-07055-1
Format: Electronic Resources

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

2024-05-31T11:42:42Z

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

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

2024-05-31T11:42:42Z

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

Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings

2024-05-31T11:42:42Z

Yazar Kravets, Alla. editor.
http://dx.doi.org/10.1007/978-3-319-11854-3
Format: Electronic Resources

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings

2024-05-31T11:42:42Z

Yazar Ouaknine, Joël. editor.
http://dx.doi.org/10.1007/978-3-319-11439-2
Format: Electronic Resources

Simulation, Modeling, and Programming for Autonomous Robots 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings

2024-05-31T11:42:42Z

Yazar Brugali, Davide. editor.
http://dx.doi.org/10.1007/978-3-319-11900-7
Format: Electronic Resources

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

2024-05-31T11:42:42Z

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

Programming Languages and Operational Semantics A Concise Overview

2024-05-31T11:42:42Z

Yazar Fernández, Maribel. author.
http://dx.doi.org/10.1007/978-1-4471-6368-8
Format: Electronic Resources

Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings

2024-05-31T11:42:42Z

Yazar Jürjens, Jan. editor.
http://dx.doi.org/10.1007/978-3-319-04897-0
Format: Electronic Resources

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

2024-05-31T11:42:42Z

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

Augmented Marked Graphs

2024-05-31T11:42:42Z

Yazar Cheung, King Sing. author.
http://dx.doi.org/10.1007/978-3-319-06428-4
Format: Electronic Resources

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

2024-05-31T11:42:42Z

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

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

2024-05-31T11:42:42Z

Yazar Jones, Cliff. editor.
http://dx.doi.org/10.1007/978-3-319-06410-9
Format: Electronic Resources

Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

2024-05-31T11:42:42Z

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

Future Business Software Current Trends in Business Software Development

2024-05-31T11:42:42Z

Yazar Brunetti, Gino. editor.
http://dx.doi.org/10.1007/978-3-319-04144-5
Format: Electronic Resources

Mobile Web Information Systems 11th International Conference, MobiWIS 2014, Barcelona, Spain, August 27-29, 2014. Proceedings

2024-05-31T11:42:42Z

Yazar Awan, Irfan. editor.
http://dx.doi.org/10.1007/978-3-319-10359-4
Format: Electronic Resources

Autonomy Requirements Engineering for Space Missions

2024-05-31T11:42:42Z

Yazar Vassev, Emil. author.
http://dx.doi.org/10.1007/978-3-319-09816-6
Format: Electronic Resources

Science Gateways for Distributed Computing Infrastructures Development Framework and Exploitation by Scientific User Communities

2024-05-31T11:42:42Z

Yazar Kacsuk, Péter. editor.
http://dx.doi.org/10.1007/978-3-319-11268-8
Format: Electronic Resources

Signal Processing and Information Technology Second International Joint Conference, SPIT 2012, Dubai, UAE, September 20-21, 2012, Revised Selected Papers

2024-05-31T11:42:42Z

Yazar Das, Vinu V. editor.
http://dx.doi.org/10.1007/978-3-319-11629-7
Format: Electronic Resources

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

2024-05-31T11:42:42Z

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

Membrane Computing 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers

2024-05-31T11:42:42Z

Yazar Alhazov, Artiom. editor.
http://dx.doi.org/10.1007/978-3-642-54239-8
Format: Electronic Resources

Break-Glass Handling Exceptional Situations in Access Control

2024-05-31T11:42:42Z

Yazar Petritsch, Helmut. author.
http://dx.doi.org/10.1007/978-3-658-07365-7
Format: Electronic Resources

Design Science Methodology for Information Systems and Software Engineering

2024-05-31T11:42:42Z

Yazar Wieringa, Roel J. author.
http://dx.doi.org/10.1007/978-3-662-43839-8
Format: Electronic Resources

Process Design for Natural Scientists An Agile Model-Driven Approach

2024-05-31T11:42:42Z

Yazar Lamprecht, Anna-Lena. editor.
http://dx.doi.org/10.1007/978-3-662-45006-2
Format: Electronic Resources