Résultats de "Programming and Software Engineering"

Résultats de "Programming and Software Engineering" Résultat(s) 1 - 50 résultats de 75 Laminas_Feed_Writer 2 (https://getlaminas.org) https://catalogue.univ-orleans.fr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Programming+and+Software+Engineering%22&type=Series&lng=fr 75 0 50 Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 November 1, 2013, proceedings Tue, 25 Nov 2025 06:10:41 +0000 https://catalogue.univ-orleans.fr/Record/947441 https://catalogue.univ-orleans.fr/Record/947441 Livre numérique 0 Programming Languages and Systems : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings Tue, 25 Nov 2025 06:10:40 +0000 https://catalogue.univ-orleans.fr/Record/947386 https://catalogue.univ-orleans.fr/Record/947386 Livre numérique 0 Formal methods for industrial critical systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings Tue, 25 Nov 2025 06:10:39 +0000 https://catalogue.univ-orleans.fr/Record/947229 https://catalogue.univ-orleans.fr/Record/947229 Livre numérique 0 Scaling up Learning for Sustained Impact : 8th European Conference, on Technology Enhanced Learning, EC-TEL 2013, Paphos, Cyprus, September 17-21, 2013. Proceedings Tue, 25 Nov 2025 06:10:39 +0000 https://catalogue.univ-orleans.fr/Record/947211 https://catalogue.univ-orleans.fr/Record/947211 Livre numérique 0 Model and data engineering : Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013 : proceedings Tue, 25 Nov 2025 06:10:39 +0000 https://catalogue.univ-orleans.fr/Record/947251 https://catalogue.univ-orleans.fr/Record/947251 Livre numérique 0 Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings Tue, 25 Nov 2025 06:10:39 +0000 https://catalogue.univ-orleans.fr/Record/947181 https://catalogue.univ-orleans.fr/Record/947181 Livre numérique 0 Principles and practice of constraint programming : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013 : proceedings Tue, 25 Nov 2025 06:10:39 +0000 https://catalogue.univ-orleans.fr/Record/947189 https://catalogue.univ-orleans.fr/Record/947189 Livre numérique 2013 0 Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013 : proceedings Tue, 25 Nov 2025 06:10:39 +0000 https://catalogue.univ-orleans.fr/Record/947206 https://catalogue.univ-orleans.fr/Record/947206 Legay, Axel Livre numérique Legay, Axel 0 Computer Safety, Reliability, and Security : 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings Tue, 25 Nov 2025 06:10:39 +0000 https://catalogue.univ-orleans.fr/Record/947208 https://catalogue.univ-orleans.fr/Record/947208 Bitsch, Friedemann Livre numérique Bitsch, Friedemann 0 Agent-oriented software engineering. 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, revised selected papers Tue, 25 Nov 2025 06:10:38 +0000 https://catalogue.univ-orleans.fr/Record/947109 https://catalogue.univ-orleans.fr/Record/947109 Livre numérique 0 Reversible Computation : 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings Tue, 25 Nov 2025 06:10:38 +0000 https://catalogue.univ-orleans.fr/Record/947028 https://catalogue.univ-orleans.fr/Record/947028 Livre numérique 2013 0 Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers Tue, 25 Nov 2025 06:10:38 +0000 https://catalogue.univ-orleans.fr/Record/947085 https://catalogue.univ-orleans.fr/Record/947085 Livre numérique 0 Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013 : proceedings Tue, 25 Nov 2025 06:10:35 +0000 https://catalogue.univ-orleans.fr/Record/946665 https://catalogue.univ-orleans.fr/Record/946665 Livre numérique 0 Dependable computing : 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013 : proceedings Tue, 25 Nov 2025 06:10:35 +0000 https://catalogue.univ-orleans.fr/Record/946689 https://catalogue.univ-orleans.fr/Record/946689 Livre numérique 2013 0 Requirements Engineering: Foundation for Software Quality : 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings Tue, 25 Nov 2025 06:10:33 +0000 https://catalogue.univ-orleans.fr/Record/946317 https://catalogue.univ-orleans.fr/Record/946317 Livre numérique 0 Software Engineering : International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures Tue, 25 Nov 2025 06:10:31 +0000 https://catalogue.univ-orleans.fr/Record/945862 https://catalogue.univ-orleans.fr/Record/945862 Livre numérique 0 System Analysis and Modeling: Theory and Practice : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers Tue, 25 Nov 2025 06:10:31 +0000 https://catalogue.univ-orleans.fr/Record/945917 https://catalogue.univ-orleans.fr/Record/945917 Livre numérique 0 Generative and Transformational Techniques in Software Engineering IV : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers Tue, 25 Nov 2025 06:10:31 +0000 https://catalogue.univ-orleans.fr/Record/945855 https://catalogue.univ-orleans.fr/Record/945855 Livre numérique 0 Software engineering for self-adaptive systems. International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 : revised selected and invited papers Tue, 25 Nov 2025 06:10:30 +0000 https://catalogue.univ-orleans.fr/Record/945840 https://catalogue.univ-orleans.fr/Record/945840 Livre numérique 0 Ada 2012 reference manual : language and standard libraries : international standard ISO/IEC 8652/2012 (E) Mon, 24 Nov 2025 06:10:18 +0000 https://catalogue.univ-orleans.fr/Record/947524 https://catalogue.univ-orleans.fr/Record/947524 Livre numérique 0 Ada 2012 rationale : the language, the standard libraries Mon, 24 Nov 2025 06:10:18 +0000 https://catalogue.univ-orleans.fr/Record/947508 https://catalogue.univ-orleans.fr/Record/947508 Barnes, John Gilbert Presslie, 1937- Livre numérique Barnes, John Gilbert Presslie, 1937- 0 Practical aspects of declarative languages : 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013 : proceedings Mon, 24 Nov 2025 06:10:18 +0000 https://catalogue.univ-orleans.fr/Record/947515 https://catalogue.univ-orleans.fr/Record/947515 Livre numérique 0 User-level workflow design : a bioinformatics erspective Mon, 24 Nov 2025 06:10:18 +0000 https://catalogue.univ-orleans.fr/Record/947522 https://catalogue.univ-orleans.fr/Record/947522 Livre numérique 0 Hardware and software : verification and testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, proceedings Mon, 24 Nov 2025 06:10:17 +0000 https://catalogue.univ-orleans.fr/Record/947372 https://catalogue.univ-orleans.fr/Record/947372 Livre numérique 0 Middleware 2013 : ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 9-13, 2013, Proceedings Mon, 24 Nov 2025 06:10:17 +0000 https://catalogue.univ-orleans.fr/Record/947502 https://catalogue.univ-orleans.fr/Record/947502 Eyers, David Livre numérique Eyers, David 0 Software Language Engineering : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings Mon, 24 Nov 2025 06:10:17 +0000 https://catalogue.univ-orleans.fr/Record/947352 https://catalogue.univ-orleans.fr/Record/947352 Livre numérique 0 Testing software and systems : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, proceedings Mon, 24 Nov 2025 06:10:17 +0000 https://catalogue.univ-orleans.fr/Record/947473 https://catalogue.univ-orleans.fr/Record/947473 Livre numérique 0 Service-oriented computing : 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, proceedings Mon, 24 Nov 2025 06:10:17 +0000 https://catalogue.univ-orleans.fr/Record/947495 https://catalogue.univ-orleans.fr/Record/947495 Livre numérique 0 Programming Languages : 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings Mon, 24 Nov 2025 06:10:16 +0000 https://catalogue.univ-orleans.fr/Record/947222 https://catalogue.univ-orleans.fr/Record/947222 Livre numérique 0 Multicore Software Engineering, Performance, and Tools : International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings Mon, 24 Nov 2025 06:10:16 +0000 https://catalogue.univ-orleans.fr/Record/947113 https://catalogue.univ-orleans.fr/Record/947113 Livre numérique 2013 0 Fundamentals of Software Engineering : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers Mon, 24 Nov 2025 06:10:16 +0000 https://catalogue.univ-orleans.fr/Record/947143 https://catalogue.univ-orleans.fr/Record/947143 Livre numérique 2013 0 The Beauty of Functional Code : Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday Mon, 24 Nov 2025 06:10:16 +0000 https://catalogue.univ-orleans.fr/Record/947160 https://catalogue.univ-orleans.fr/Record/947160 Achten, Peter, 1939-2022 Livre numérique Achten, Peter, 1939-2022 0 Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures Mon, 24 Nov 2025 06:10:16 +0000 https://catalogue.univ-orleans.fr/Record/947187 https://catalogue.univ-orleans.fr/Record/947187 Giachino, Elena Livre numérique Giachino, Elena 0 Service-Oriented and Cloud Computing : Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013. Proceedings Mon, 24 Nov 2025 06:10:16 +0000 https://catalogue.univ-orleans.fr/Record/947191 https://catalogue.univ-orleans.fr/Record/947191 Livre numérique 0 OpenMP in the Era of Low Power Devices and Accelerators : 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings Mon, 24 Nov 2025 06:10:16 +0000 https://catalogue.univ-orleans.fr/Record/947196 https://catalogue.univ-orleans.fr/Record/947196 Livre numérique 0 Computer performance engineering : 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings Mon, 24 Nov 2025 06:10:16 +0000 https://catalogue.univ-orleans.fr/Record/947199 https://catalogue.univ-orleans.fr/Record/947199 Balsamo, Simonetta, 1958-...., informaticienne Livre numérique Balsamo, Simonetta, 1958-...., informaticienne 0 Software engineering for resilient systems : 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013 : proceedings Mon, 24 Nov 2025 06:10:16 +0000 https://catalogue.univ-orleans.fr/Record/947220 https://catalogue.univ-orleans.fr/Record/947220 Livre numérique 0 Formal Methods: Foundations and Applications : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings Mon, 24 Nov 2025 06:10:16 +0000 https://catalogue.univ-orleans.fr/Record/947237 https://catalogue.univ-orleans.fr/Record/947237 Livre numérique 2013 0 Model-Driven Engineering Languages and Systems : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 October 4, 2013. Proceedings Mon, 24 Nov 2025 06:10:16 +0000 https://catalogue.univ-orleans.fr/Record/947253 https://catalogue.univ-orleans.fr/Record/947253 Moreira, Ana, 1962- Livre numérique Moreira, Ana, 1962- 0 Automated Technology for Verification and Analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings Mon, 24 Nov 2025 06:10:15 +0000 https://catalogue.univ-orleans.fr/Record/946972 https://catalogue.univ-orleans.fr/Record/946972 Livre numérique 0 Theory, practice, and applications of rules on the Web : 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013 : proceedings Mon, 24 Nov 2025 06:10:15 +0000 https://catalogue.univ-orleans.fr/Record/947086 https://catalogue.univ-orleans.fr/Record/947086 Livre numérique 0 Search Based Software Engineering : 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings Mon, 24 Nov 2025 06:10:15 +0000 https://catalogue.univ-orleans.fr/Record/947098 https://catalogue.univ-orleans.fr/Record/947098 Livre numérique 0 Software composition : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013 : proceedings Mon, 24 Nov 2025 06:10:14 +0000 https://catalogue.univ-orleans.fr/Record/946744 https://catalogue.univ-orleans.fr/Record/946744 Livre numérique 0 NASA formal methods : 5th International symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings Mon, 24 Nov 2025 06:10:13 +0000 https://catalogue.univ-orleans.fr/Record/946626 https://catalogue.univ-orleans.fr/Record/946626 Livre numérique 0 Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012 : revised selected papers Mon, 24 Nov 2025 06:10:13 +0000 https://catalogue.univ-orleans.fr/Record/946629 https://catalogue.univ-orleans.fr/Record/946629 Livre numérique 0 Coordination models and languages : 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013 : proceedings Mon, 24 Nov 2025 06:10:13 +0000 https://catalogue.univ-orleans.fr/Record/946645 https://catalogue.univ-orleans.fr/Record/946645 Livre numérique 0 Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings Mon, 24 Nov 2025 06:10:13 +0000 https://catalogue.univ-orleans.fr/Record/946661 https://catalogue.univ-orleans.fr/Record/946661 Livre numérique 2013 0 Reliable software technologies : Ada-Europe 2013 : 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013 : Proceedings Mon, 24 Nov 2025 06:10:13 +0000 https://catalogue.univ-orleans.fr/Record/946662 https://catalogue.univ-orleans.fr/Record/946662 Livre numérique 0 End-user development : 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013 : proceedings Mon, 24 Nov 2025 06:10:13 +0000 https://catalogue.univ-orleans.fr/Record/946680 https://catalogue.univ-orleans.fr/Record/946680 Livre numérique 0 Static analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013 : proceedings Mon, 24 Nov 2025 06:10:13 +0000 https://catalogue.univ-orleans.fr/Record/946696 https://catalogue.univ-orleans.fr/Record/946696 Livre numérique 2013 0