Search Results for - Narrowed by: Software engineering. - Information theory.

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

2024-05-29T09:49:36Z

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

Empowering Learners for Life in the Digital Age IFIP TC 3 Open Conference on Computers in Education, OCCE 2018, Linz, Austria, June 24–28, 2018, Revised Selected Papers

2024-05-29T09:49:36Z

Yazar Passey, Don. editor. (orcid)0000-0002-9205-502X
https://doi.org/10.1007/978-3-030-23513-0
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-29T09:49:36Z

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

Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part I

2024-05-29T09:49:36Z

Yazar Ishai, Yuval. editor.
https://doi.org/10.1007/978-3-030-17653-2
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-29T09:49:36Z

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

The Multi-Agent Programming Contest 2018 Agents Teaming Up in an Urban Environment

2024-05-29T09:49:36Z

Yazar Ahlbrecht, Tobias. editor. (orcid)0000-0002-4652-901X
https://doi.org/10.1007/978-3-030-37959-9
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-29T09:49:36Z

Yazar Boldyreva, Alexandra. editor.
https://doi.org/10.1007/978-3-030-26948-7
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-29T09:49:36Z

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

Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part II

2024-05-29T09:49:36Z

Yazar Ishai, Yuval. editor.
https://doi.org/10.1007/978-3-030-17656-3
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-29T09:49:36Z

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

Codes, Cryptology and Information Security Third International Conference, C2SI 2019, Rabat, Morocco, April 22–24, 2019, Proceedings - In Honor of Said El Hajji

2024-05-29T09:49:36Z

Yazar Carlet, Claude. editor.
https://doi.org/10.1007/978-3-030-16458-4
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-29T09:49:36Z

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

Topics in Cryptology – CT-RSA 2019 The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4–8, 2019, Proceedings

2024-05-29T09:49:36Z

Yazar Matsui, Mitsuru. editor.
https://doi.org/10.1007/978-3-030-12612-4
Format: Electronic Resources

Service-Oriented Computing 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings

2024-05-29T09:49:36Z

Yazar Yangui, Sami. editor. (orcid)0000-0001-9756-642X
https://doi.org/10.1007/978-3-030-33702-5
Format: Electronic Resources

Internet of Things – ICIOT 2019 4th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

2024-05-29T09:49:36Z

Yazar Issarny, Valerie. editor.
https://doi.org/10.1007/978-3-030-23357-0
Format: Electronic Resources

ICT Education 47th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2018, Gordon's Bay, South Africa, June 18–20, 2018, Revised Selected Papers

2024-05-29T09:49:36Z

Yazar Kabanda, Salah. editor.
https://doi.org/10.1007/978-3-030-05813-5
Format: Electronic Resources

Information and Communication Technology for Development for Africa Second International Conference, ICT4DA 2019, Bahir Dar, Ethiopia, May 28-30, 2019, Revised Selected Papers

2024-05-29T09:49:36Z

Yazar Mekuria, Fisseha. editor.
https://doi.org/10.1007/978-3-030-26630-1
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-29T09:49:36Z

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

Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part III

2024-05-29T09:49:36Z

Yazar Ishai, Yuval. editor.
https://doi.org/10.1007/978-3-030-17659-4
Format: Electronic Resources

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

2024-05-29T09:49:36Z

Yazar Jang-Jaccard, Julian. editor. (orcid)0000-0002-1002-057X
https://doi.org/10.1007/978-3-030-21548-4
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-29T09:49:36Z

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

Progress in Cryptology – LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers

2024-05-29T09:49:36Z

Yazar Lange, Tanja. editor.
https://doi.org/10.1007/978-3-030-25283-0
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-05-29T09:49:36Z

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

Social, Cultural, and Behavioral Modeling 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings

2024-05-29T09:49:36Z

Yazar Thomson, Robert. editor.
https://doi.org/10.1007/978-3-319-93372-6
Format: Electronic Resources

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

2024-05-29T09:49:36Z

Yazar Jones, Cliff. editor.
https://doi.org/10.1007/978-3-030-01461-2
Format: Electronic Resources

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

2024-05-29T09:49:36Z

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

Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

2024-05-29T09:49:36Z

Yazar Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622
https://doi.org/10.1007/978-3-319-96562-8
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-05-29T09:49:36Z

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

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

2024-05-29T09:49:36Z

Yazar Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772
https://doi.org/10.1007/978-3-030-02768-1
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-05-29T09:49:36Z

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

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

2024-05-29T09:49:36Z

Yazar Dutle, Aaron. editor.
https://doi.org/10.1007/978-3-319-77935-5
Format: Electronic Resources

Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

2024-05-29T09:49:36Z

Yazar Johnsen, Einar Broch. editor.
https://doi.org/10.1007/978-3-319-92970-5
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-05-29T09:49:36Z

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

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

2024-05-29T09:49:36Z

Yazar Havelund, Klaus. editor. (orcid)0000-0001-7079-0472
https://doi.org/10.1007/978-3-319-95582-7
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-05-29T09:49:36Z

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

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

2024-05-29T09:49:36Z

Yazar Steffen, Bernhard. author.
https://doi.org/10.1007/978-3-319-68397-3
Format: Electronic Resources

Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings

2024-05-29T09:49:36Z

Yazar Stamelos, Ioannis. editor.
https://doi.org/10.1007/978-3-030-00623-5
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-05-29T09:49:36Z

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

Handbook of Model Checking

2024-05-29T09:49:36Z

Yazar Clarke, Edmund M. editor.
https://doi.org/10.1007/978-3-319-10575-8
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

2024-05-29T09:49:36Z

Yazar Beyersdorff, Olaf. editor.
https://doi.org/10.1007/978-3-319-94144-8
Format: Electronic Resources

High Performance Computing for Computational Science – VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers

2024-05-29T09:49:36Z

Yazar Dutra, Inês. editor.
https://doi.org/10.1007/978-3-319-61982-8
Format: Electronic Resources

Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

2024-05-29T09:49:36Z

Yazar D'Souza, Deepak. editor.
https://doi.org/10.1007/978-3-319-68167-2
Format: Electronic Resources

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

2024-05-29T09:49:36Z

Yazar Aceto, Luca. editor.
https://doi.org/10.1007/978-3-319-63121-9
Format: Electronic Resources

Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

2024-05-29T09:49:36Z

Yazar Polikarpova, Nadia. editor. (orcid)0000-0001-5571-173X
https://doi.org/10.1007/978-3-319-66845-1
Format: Electronic Resources

Process Algebras for Petri Nets The Alphabetization of Distributed Systems

2024-05-29T09:49:36Z

Yazar Gorrieri, Roberto. author.
https://doi.org/10.1007/978-3-319-55559-1
Format: Electronic Resources

The Semantic Web 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1, 2017, Proceedings, Part II

2024-05-29T09:49:36Z

Yazar Blomqvist, Eva. editor.
https://doi.org/10.1007/978-3-319-58451-5
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

2024-05-29T09:49:36Z

Yazar Gaspers, Serge. editor. (orcid)0000-0002-6947-9238
https://doi.org/10.1007/978-3-319-66263-3
Format: Electronic Resources

Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings

2024-05-29T09:49:36Z

Yazar Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990
https://doi.org/10.1007/978-3-319-66197-1
Format: Electronic Resources

Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

2024-05-29T09:49:36Z

Yazar Cavalheiro, Simone. editor. (orcid)0000-0002-7442-7379
https://doi.org/10.1007/978-3-319-70848-5
Format: Electronic Resources

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

2024-05-29T09:49:36Z

Yazar Fantechi, Alessandro. editor.
https://doi.org/10.1007/978-3-319-68499-4
Format: Electronic Resources

The Semantic Web – ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21–25, 2017, Proceedings, Part I

2024-05-29T09:49:36Z

Yazar d'Amato, Claudia. editor. (orcid)0000-0002-3385-987X
https://doi.org/10.1007/978-3-319-68288-4
Format: Electronic Resources

Risks and Security of Internet and Systems 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers

2024-05-29T09:49:36Z

Yazar Cuppens, Frédéric. editor.
https://doi.org/10.1007/978-3-319-54876-0
Format: Electronic Resources

The Semantic Web – ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part II

2024-05-29T09:49:36Z

Yazar d'Amato, Claudia. editor. (orcid)0000-0002-3385-987X
https://doi.org/10.1007/978-3-319-68204-4
Format: Electronic Resources

Models of Computation

2024-05-29T09:49:36Z

Yazar Bruni, Roberto. author.
https://doi.org/10.1007/978-3-319-42900-7
Format: Electronic Resources

Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers

2024-05-29T09:49:36Z

Yazar Liu, Shaoying. editor.
https://doi.org/10.1007/978-3-319-57708-1
Format: Electronic Resources

Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

2024-05-29T09:49:36Z

Yazar Paskevich, Andrei. editor.
https://doi.org/10.1007/978-3-319-72308-2
Format: Electronic Resources

The Semantic Web 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1, 2017, Proceedings, Part I

2024-05-29T09:49:36Z

Yazar Blomqvist, Eva. editor.
https://doi.org/10.1007/978-3-319-58068-5
Format: Electronic Resources

Designing the Digital Transformation 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 – June 1, 2017, Proceedings

2024-05-29T09:49:36Z

Yazar Maedche, Alexander. editor.
https://doi.org/10.1007/978-3-319-59144-5
Format: Electronic Resources