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

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

2024-06-22T13:12:32Z

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

Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings

2024-06-22T13:12:32Z

by Cox, Michael T. editor.
https://doi.org/10.1007/978-3-030-01081-2
Format: Electronic Resources

Crowdsourced Data Management Hybrid Machine-Human Computing

2024-06-22T13:12:32Z

by Li, Guoliang. author.
https://doi.org/10.1007/978-981-10-7847-7
Format: Electronic Resources

Unfoldings A Partial-Order Approach to Model Checking

2024-06-22T13:12:32Z

by Esparza, Javier. author.
http://dx.doi.org/10.1007/978-3-540-77426-6
Format: Electronic Resources

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

2024-06-22T13:12:32Z

by de Boer, Frank. editor.
https://doi.org/10.1007/978-3-319-90089-6
Format: Electronic Resources

Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

2024-06-22T13:12:32Z

by Mohamed, Otmane Ait. editor.
http://dx.doi.org/10.1007/978-3-540-71067-7
Format: Electronic Resources

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

2024-06-22T13:12:32Z

by Hurd, Joe. editor.
http://dx.doi.org/10.1007/11541868
Format: Electronic Resources

Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings

2024-06-22T13:12:32Z

by Caires, Luís. editor.
http://dx.doi.org/10.1007/11523468
Format: Electronic Resources

Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers

2024-06-22T13:12:32Z

by Brim, Luboš. editor.
http://dx.doi.org/10.1007/978-3-540-70952-7
Format: Electronic Resources

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

2024-06-22T13:12:32Z

by Sestoft, Peter. editor.
http://dx.doi.org/10.1007/11693024
Format: Electronic Resources

Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings

2024-06-22T13:12:32Z

by Mycroft, Alan. editor.
http://dx.doi.org/10.1007/11688839
Format: Electronic Resources

Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2024-06-22T13:12:32Z

by Bodik, Rastislav. editor.
http://dx.doi.org/10.1007/b107108
Format: Electronic Resources

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2024-06-22T13:12:32Z

by Sagiv, Mooly. editor.
http://dx.doi.org/10.1007/b107380
Format: Electronic Resources

Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

2024-06-22T13:12:32Z

by Baresi, Luciano. editor.
http://dx.doi.org/10.1007/11693017
Format: Electronic Resources

Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings

2024-06-22T13:12:32Z

by Ganter, Bernhard. editor.
http://dx.doi.org/10.1007/b105806
Format: Electronic Resources

Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2024-06-22T13:12:32Z

by Sassone, Vladimiro. editor.
http://dx.doi.org/10.1007/b106850
Format: Electronic Resources

Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2024-06-22T13:12:32Z

by Cerioli, Maura. editor.
http://dx.doi.org/10.1007/b107062
Format: Electronic Resources

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I

2024-06-22T13:12:32Z

by Bugliesi, Michele. editor.
http://dx.doi.org/10.1007/11786986
Format: Electronic Resources

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

2024-06-22T13:12:32Z

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

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

2024-06-22T13:12:32Z

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

Persuasive Technology Second International Conference on Persuasive Technology, PERSUASIVE 2007, Palo Alto, CA, USA, April 26-27, 2007, Revised Selected Papers

2024-06-22T13:12:32Z

by Kort, Yvonne. editor.
http://dx.doi.org/10.1007/978-3-540-77006-0
Format: Electronic Resources

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings

2024-06-22T13:12:32Z

by Arge, Lars. editor.
http://dx.doi.org/10.1007/978-3-540-73420-8
Format: Electronic Resources

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

2024-06-22T13:12:32Z

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