Search Results for - Narrowed by: Management of Computing and Information Systems. - Logic design.

Bidirectional Transformations International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures

2024-06-04T20:44:13Z

by Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917
https://doi.org/10.1007/978-3-319-79108-1
Format: Electronic Resources

Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings

2024-06-04T20:44:13Z

by Smart, Nigel P. editor. (orcid)0000-0003-3567-3304
https://doi.org/10.1007/978-3-319-76953-0
Format: Electronic Resources

Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

2024-06-04T20:44:13Z

by Wotawa, Franz. editor.
https://doi.org/10.1007/978-3-319-47443-4
Format: Electronic Resources

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

2024-06-04T20:44:13Z

by Braga, Christiano. editor.
https://doi.org/10.1007/978-3-319-28934-2
Format: Electronic Resources

Transactions on Foundations for Mastering Change I

2024-06-04T20:44:13Z

by Steffen, Bernhard. editor.
https://doi.org/10.1007/978-3-319-46508-1
Format: Electronic Resources

Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

2024-06-04T20:44:13Z

by Ribeiro, Leila. editor.
https://doi.org/10.1007/978-3-319-49815-7
Format: Electronic Resources

Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27–28, 2016, Revised Selected Papers

2024-06-04T20:44:13Z

by Maciaszek, Leszek A. editor.
https://doi.org/10.1007/978-3-319-56390-9
Format: Electronic Resources

Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

2024-06-04T20:44:13Z

by Cornélio, Márcio. editor.
https://doi.org/10.1007/978-3-319-29473-5
Format: Electronic Resources

System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

2024-06-04T20:44:13Z

by Grabowski, Jens. editor.
https://doi.org/10.1007/978-3-319-46613-2
Format: Electronic Resources

Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

2024-06-04T20:44:13Z

by Hildebrandt, Thomas. editor.
https://doi.org/10.1007/978-3-319-33612-1
Format: Electronic Resources

Requirements Engineering: Foundation for Software Quality 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings

2024-06-04T20:44:13Z

by Daneva, Maya. editor.
https://doi.org/10.1007/978-3-319-30282-9
Format: Electronic Resources

Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

2024-06-04T20:44:13Z

by Crnkovic, Ivica. editor.
https://doi.org/10.1007/978-3-319-45892-2
Format: Electronic Resources

FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

2024-06-04T20:44:13Z

by Fitzgerald, John. editor.
https://doi.org/10.1007/978-3-319-48989-6
Format: Electronic Resources

Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings

2024-06-04T20:44:13Z

by Wąsowski, Andrzej. editor.
https://doi.org/10.1007/978-3-319-42061-5
Format: Electronic Resources

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings

2024-06-04T20:44:13Z

by Harrison, Michael D. editor.
http://dx.doi.org/10.1007/978-3-540-87698-4
Format: Electronic Resources

Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings

2024-06-04T20:44:13Z

by Dumas, Marlon. editor.
http://dx.doi.org/10.1007/978-3-540-79230-7
Format: Electronic Resources

Model Driven Architecture – Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings

2024-06-04T20:44:13Z

by Schieferdecker, Ina. editor.
http://dx.doi.org/10.1007/978-3-540-69100-6
Format: Electronic Resources

FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

2024-06-04T20:44:13Z

by Cuellar, Jorge. editor.
http://dx.doi.org/10.1007/978-3-540-68237-0
Format: Electronic Resources

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

2024-06-04T20:44:13Z

by Suzuki, Kenji. editor.
http://dx.doi.org/10.1007/978-3-540-68524-1
Format: Electronic Resources

ECOOP 2008 – Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings

2024-06-04T20:44:13Z

by Vitek, Jan. editor.
http://dx.doi.org/10.1007/978-3-540-70592-5
Format: Electronic Resources

Requirements Engineering: Foundation for Software Quality 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings

2024-06-04T20:44:13Z

by Paech, Barbara. editor.
http://dx.doi.org/10.1007/978-3-540-69062-7
Format: Electronic Resources

Object-Oriented Technology. ECOOP 2007 Workshop Reader ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports

2024-06-04T20:44:13Z

by Cebulla, Michael. editor.
http://dx.doi.org/10.1007/978-3-540-78195-0
Format: Electronic Resources

Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers

2024-06-04T20:44:13Z

by Hierons, Robert M. editor.
http://dx.doi.org/10.1007/978-3-540-78917-8
Format: Electronic Resources

Model Driven Architecture- Foundations and Applications Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings

2024-06-04T20:44:13Z

by Akehurst, David H. editor.
http://dx.doi.org/10.1007/978-3-540-72901-3
Format: Electronic Resources

Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings

2024-06-04T20:44:13Z

by Concas, Giulio. editor.
http://dx.doi.org/10.1007/978-3-540-73101-6
Format: Electronic Resources

Foundations of Security Analysis and Design IV FOSAD 2006/2007 Tutorial Lectures

2024-06-04T20:44:13Z

by Aldini, Alessandro. editor.
http://dx.doi.org/10.1007/978-3-540-74810-6
Format: Electronic Resources

Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings

2024-06-04T20:44:13Z

by Paillier, Pascal. editor.
http://dx.doi.org/10.1007/978-3-540-74735-2
Format: Electronic Resources

Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers

2024-06-04T20:44:13Z

by Guelfi, Nicolas. editor.
http://dx.doi.org/10.1007/978-3-540-71876-5
Format: Electronic Resources

ECOOP 2007 – Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings

2024-06-04T20:44:13Z

by Ernst, Erik. editor.
http://dx.doi.org/10.1007/978-3-540-73589-2
Format: Electronic Resources

Advances in Computer Science – ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings

2024-06-04T20:44:13Z

by Cervesato, Iliano. editor.
http://dx.doi.org/10.1007/978-3-540-76929-3
Format: Electronic Resources

SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings

2024-06-04T20:44:13Z

by Gaudin, Emmanuel. editor.
http://dx.doi.org/10.1007/978-3-540-74984-4
Format: Electronic Resources

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings

2024-06-04T20:44:13Z

by Saglietti, Francesca. editor.
http://dx.doi.org/10.1007/978-3-540-75101-4
Format: Electronic Resources

Object-Oriented Technology. ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports

2024-06-04T20:44:13Z

by Südholt, Mario. editor.
http://dx.doi.org/10.1007/978-3-540-71774-4
Format: Electronic Resources

Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings

2024-06-04T20:44:13Z

by Sawyer, Pete. editor.
http://dx.doi.org/10.1007/978-3-540-73031-6
Format: Electronic Resources

Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings

2024-06-04T20:44:13Z

by Petrenko, Alexandre. editor.
http://dx.doi.org/10.1007/978-3-540-73066-8
Format: Electronic Resources

Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers

2024-06-04T20:44:13Z

by Sokolsky, Oleg. editor.
http://dx.doi.org/10.1007/978-3-540-77395-5
Format: Electronic Resources

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers

2024-06-04T20:44:13Z

by Okada, Mitsu. editor.
http://dx.doi.org/10.1007/978-3-540-77505-8
Format: Electronic Resources

Cryptographic Hardware and Embedded Systems - CHES 2006 8th International Workshop, Yokohama, Japan, October 10-13, 2006. Proceedings

2024-06-04T20:44:13Z

by Goubin, Louis. editor.
http://dx.doi.org/10.1007/11894063
Format: Electronic Resources

Model Driven Architecture – Foundations and Applications Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006. Proceedings

2024-06-04T20:44:13Z

by Rensink, Arend. editor.
http://dx.doi.org/10.1007/11787044
Format: Electronic Resources

Computer Safety, Reliability, and Security 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings

2024-06-04T20:44:13Z

by Górski, Janusz. editor.
http://dx.doi.org/10.1007/11875567
Format: Electronic Resources

Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

2024-06-04T20:44:13Z

by Grieskamp, Wolfgang. editor.
http://dx.doi.org/10.1007/11759744
Format: Electronic Resources

Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers

2024-06-04T20:44:13Z

by Guelfi, Nicolas. editor.
http://dx.doi.org/10.1007/11751113
Format: Electronic Resources

Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings

2024-06-04T20:44:13Z

by Abrahamsson, Pekka. editor.
http://dx.doi.org/10.1007/11774129
Format: Electronic Resources

ECOOP 2006 – Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings

2024-06-04T20:44:13Z

by Thomas, Dave. editor.
http://dx.doi.org/10.1007/11785477
Format: Electronic Resources

Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

2024-06-04T20:44:13Z

by Havelund, Klaus. editor.
http://dx.doi.org/10.1007/11940197
Format: Electronic Resources

FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

2024-06-04T20:44:13Z

by Misra, Jayadev. editor.
http://dx.doi.org/10.1007/11813040
Format: Electronic Resources

Cryptographic Hardware and Embedded Systems – CHES 2005 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings

2024-06-04T20:44:13Z

by Rao, Josyula R. editor.
http://dx.doi.org/10.1007/11545262
Format: Electronic Resources

Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings

2024-06-04T20:44:13Z

by Winther, Rune. editor.
http://dx.doi.org/10.1007/11563228
Format: Electronic Resources

Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures

2024-06-04T20:44:13Z

by Aldini, Alessandro. editor.
http://dx.doi.org/10.1007/11554578
Format: Electronic Resources

Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings

2024-06-04T20:44:13Z

by Baumeister, Hubert. editor.
http://dx.doi.org/10.1007/b137278
Format: Electronic Resources

ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings

2024-06-04T20:44:13Z

by Black, Andrew P. editor.
http://dx.doi.org/10.1007/11531142
Format: Electronic Resources

Model Driven Architecture European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papers

2024-06-04T20:44:13Z

by Aßmann, Uwe. editor.
http://dx.doi.org/10.1007/11538097
Format: Electronic Resources

Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

2024-06-04T20:44:13Z

by Leue, Stefan. editor.
http://dx.doi.org/10.1007/b137052
Format: Electronic Resources

SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings

2024-06-04T20:44:13Z

by Prinz, Andreas. editor.
http://dx.doi.org/10.1007/b137793
Format: Electronic Resources

Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers

2024-06-04T20:44:13Z

by Grabowski, Jens. editor.
http://dx.doi.org/10.1007/b106767
Format: Electronic Resources

FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings

2024-06-04T20:44:13Z

by Fitzgerald, John. editor.
http://dx.doi.org/10.1007/b27882
Format: Electronic Resources

Model Driven Architecture – Foundations and Applications First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005. Proceedings

2024-06-04T20:44:13Z

by Hartman, Alan. editor.
http://dx.doi.org/10.1007/11581741
Format: Electronic Resources

Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers

2024-06-04T20:44:13Z

by Guelfi, Nicolas. editor.
http://dx.doi.org/10.1007/b136153
Format: Electronic Resources