Search Results for System theory. - Narrowed by: Discrete Mathematics in Computer Science.

Transactions on Petri Nets and Other Models of Concurrency XIII

2024-09-06T00:06:57Z

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

Transactions on Petri Nets and Other Models of Concurrency XIV

2024-09-06T00:06:57Z

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

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II

2024-09-06T00:06:57Z

Yazar Moreno-Díaz, Roberto. editor.
https://doi.org/10.1007/978-3-319-74727-9
Format: Electronic Resources

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I

2024-09-06T00:06:57Z

Yazar Moreno-Díaz, Roberto. editor.
https://doi.org/10.1007/978-3-319-74718-7
Format: Electronic Resources

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

2024-09-06T00:06:57Z

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

Lai-Massey Cipher Designs History, Design Criteria and Cryptanalysis

2024-09-06T00:06:57Z

Yazar Nakahara Jr., Jorge. author.
https://doi.org/10.1007/978-3-319-68273-0
Format: Electronic Resources

Discrete Event Systems Diagnosis and Diagnosability

2024-09-06T00:06:57Z

Yazar Sayed-Mouchaweh, Moamar. author.
http://dx.doi.org/10.1007/978-1-4614-0031-8
Format: Electronic Resources

Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings

2024-09-06T00:06:57Z

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

Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

2024-09-06T00:06:57Z

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

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

2024-09-06T00:06:57Z

Yazar Kordy, Barbara. editor.
http://dx.doi.org/10.1007/978-3-319-46263-9
Format: Electronic Resources

Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

2024-09-06T00:06:57Z

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

Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings

2024-09-06T00:06:57Z

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

Parallel Problem Solving from Nature – PPSN XIII 13th International Conference, Ljubljana, Slovenia, September 13-17, 2014. Proceedings

2024-09-06T00:06:57Z

Yazar Bartz-Beielstein, Thomas. editor.
http://dx.doi.org/10.1007/978-3-319-10762-2
Format: Electronic Resources

Fairness in Academic Course Timetabling

2024-09-06T00:06:57Z

Yazar Mühlenthaler, Moritz. author.
http://dx.doi.org/10.1007/978-3-319-12799-6
Format: Electronic Resources

Algorithmic Game Theory 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings

2024-09-06T00:06:57Z

Yazar Deng, Xiaotie. editor.
https://doi.org/10.1007/978-3-319-99660-8
Format: Electronic Resources

Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings

2024-09-06T00:06:57Z

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

Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics

2024-09-06T00:06:57Z

Yazar Majkić, Zoran. author.
http://dx.doi.org/10.1007/978-3-319-04156-8
Format: Electronic Resources

Combinatorial Optimization and Applications 13th International Conference, COCOA 2019, Xiamen, China, December 13–15, 2019, Proceedings

2024-09-06T00:06:57Z

Yazar Li, Yingshu. editor.
https://doi.org/10.1007/978-3-030-36412-0
Format: Electronic Resources

Transactions on Computational Science XXVII

2024-09-06T00:06:57Z

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

Combinatorial Algorithms 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings

2024-09-06T00:06:57Z

Yazar Iliopoulos, Costas. editor.
https://doi.org/10.1007/978-3-319-94667-2
Format: Electronic Resources

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

2024-09-06T00:06:57Z

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

Cryptography and Coding 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015. Proceedings

2024-09-06T00:06:57Z

Yazar Groth, Jens. editor.
http://dx.doi.org/10.1007/978-3-319-27239-9
Format: Electronic Resources

Fast Software Encryption 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers

2024-09-06T00:06:57Z

Yazar Peyrin, Thomas. editor.
http://dx.doi.org/10.1007/978-3-662-52993-5
Format: Electronic Resources

Theory of Cryptography 11th Theory of Cryptography Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014. Proceedings

2024-09-06T00:06:57Z

Yazar Lindell, Yehuda. editor.
http://dx.doi.org/10.1007/978-3-642-54242-8
Format: Electronic Resources

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

2024-09-06T00:06:57Z

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

Information Security and Cryptology 11th International Conference, Inscrypt 2015, Beijing, China, November 1-3, 2015, Revised Selected Papers

2024-09-06T00:06:57Z

Yazar Lin, Dongdai. editor.
http://dx.doi.org/10.1007/978-3-319-38898-4
Format: Electronic Resources

Theory of Cryptography 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I

2024-09-06T00:06:57Z

Yazar Kushilevitz, Eyal. editor.
http://dx.doi.org/10.1007/978-3-662-49096-9
Format: Electronic Resources

Theory of Cryptography 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part II

2024-09-06T00:06:57Z

Yazar Kushilevitz, Eyal. editor.
http://dx.doi.org/10.1007/978-3-662-49099-0
Format: Electronic Resources

Selected Areas in Cryptography - SAC 2015 22nd International Conference, Sackville, NB, Canada, August 12-14, 2015, Revised Selected Papers

2024-09-06T00:06:57Z

Yazar Dunkelman, Orr. editor.
http://dx.doi.org/10.1007/978-3-319-31301-6
Format: Electronic Resources

Information Security and Cryptology 10th International Conference, Inscrypt 2014, Beijing, China, December 13-15, 2014, Revised Selected Papers

2024-09-06T00:06:57Z

Yazar Lin, Dongdai. editor.
http://dx.doi.org/10.1007/978-3-319-16745-9
Format: Electronic Resources

Theory of Cryptography 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I

2024-09-06T00:06:57Z

Yazar Dodis, Yevgeniy. editor.
http://dx.doi.org/10.1007/978-3-662-46494-6
Format: Electronic Resources

Theory of Cryptography 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part II

2024-09-06T00:06:57Z

Yazar Dodis, Yevgeniy. editor.
http://dx.doi.org/10.1007/978-3-662-46497-7
Format: Electronic Resources

Selected Areas in Cryptography -- SAC 2014 21st International Conference, Montreal, QC, Canada, August 14-15, 2014, Revised Selected Papers

2024-09-06T00:06:57Z

Yazar Joux, Antoine. editor.
http://dx.doi.org/10.1007/978-3-319-13051-4
Format: Electronic Resources

Advances in Cryptology – EUROCRYPT 2017 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part II

2024-09-06T00:06:57Z

Yazar Coron, Jean-Sébastien. editor.
https://doi.org/10.1007/978-3-319-56614-6
Format: Electronic Resources

Advances in Cryptology – EUROCRYPT 2017 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part I

2024-09-06T00:06:57Z

Yazar Coron, Jean-Sébastien. editor.
https://doi.org/10.1007/978-3-319-56620-7
Format: Electronic Resources

Advances in Cryptology – EUROCRYPT 2017 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part III

2024-09-06T00:06:57Z

Yazar Coron, Jean-Sébastien. editor.
https://doi.org/10.1007/978-3-319-56617-7
Format: Electronic Resources

Arithmetic of Finite Fields 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers

2024-09-06T00:06:57Z

Yazar Koç, Çetin Kaya. editor.
http://dx.doi.org/10.1007/978-3-319-16277-5
Format: Electronic Resources

Progress in Cryptology - LATINCRYPT 2014 Third International Conference on Cryptology and Information Security in Latin America Florianópolis, Brazil, September 17–19, 2014 Revised Selected Papers

2024-09-06T00:06:57Z

Yazar Aranha, Diego F. editor.
http://dx.doi.org/10.1007/978-3-319-16295-9
Format: Electronic Resources

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

2024-09-06T00:06:57Z

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

Sequences and Their Applications - SETA 2014 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings

2024-09-06T00:06:57Z

Yazar Schmidt, Kai-Uwe. editor.
http://dx.doi.org/10.1007/978-3-319-12325-7
Format: Electronic Resources

Fundamentals of Computation Theory 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings

2024-09-06T00:06:57Z

Yazar Gąsieniec, Leszek Antoni. editor. (orcid)0000-0003-1809-9814
https://doi.org/10.1007/978-3-030-25027-0
Format: Electronic Resources

Autonomous Agents and Multiagent Systems AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers

2024-09-06T00:06:57Z

Yazar Sukthankar, Gita. editor. (orcid)0000-0002-6863-6609
https://doi.org/10.1007/978-3-319-71682-4
Format: Electronic Resources

Advances in Cryptology – EUROCRYPT 2016 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part I

2024-09-06T00:06:57Z

Yazar Fischlin, Marc. editor.
http://dx.doi.org/10.1007/978-3-662-49890-3
Format: Electronic Resources

Advances in Cryptology – EUROCRYPT 2016 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part II

2024-09-06T00:06:57Z

Yazar Fischlin, Marc. editor.
http://dx.doi.org/10.1007/978-3-662-49896-5
Format: Electronic Resources

Progress in Cryptology -- LATINCRYPT 2015 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 23-26, 2015, Proceedings

2024-09-06T00:06:57Z

Yazar Lauter, Kristin. editor.
http://dx.doi.org/10.1007/978-3-319-22174-8
Format: Electronic Resources

Codes, Cryptology, and Information Security First International Conference, C2SI 2015, Rabat, Morocco, May 26-28, 2015, Proceedings - In Honor of Thierry Berger

2024-09-06T00:06:57Z

Yazar El Hajji, Said. editor.
http://dx.doi.org/10.1007/978-3-319-18681-8
Format: Electronic Resources

Algorithmic Aspects in Information and Management 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018, Proceedings

2024-09-06T00:06:57Z

Yazar Tang, Shaojie. editor.
https://doi.org/10.1007/978-3-030-04618-7
Format: Electronic Resources

SOFSEM 2019: Theory and Practice of Computer Science 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings

2024-09-06T00:06:57Z

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

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

2024-09-06T00:06:57Z

Yazar Calimeri, Francesco. editor.
http://dx.doi.org/10.1007/978-3-319-23264-5
Format: Electronic Resources

SOFSEM 2014: Theory and Practice of Computer Science 40th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings

2024-09-06T00:06:57Z

Yazar Geffert, Viliam. editor.
http://dx.doi.org/10.1007/978-3-319-04298-5
Format: Electronic Resources