Priporočene teme znotraj vašega iskanja.
Showing 1 - 20 results of 55 for search '', čas poizvedbe: 0.12s Refine Results
1
Proceedings, 16th International Conference on Software Engineering : May 16-21, 1994, Sorrento, Italy /
Los Alamitos, CA : IEEE Computer Society Press, 1994

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Knjiga
2
Tests and proofs : 14th International Conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings /
Cham : Springer, 2020

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Knjiga
3
Testing software and systems : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings /
Cham, Switzerland : Springer, 2016

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Knjiga
4
Intelligent software methodologies, tools and techniques : 13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014. Revised selected papers /
Cham : Springer, 2015

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Knjiga
5
Formal methods and software engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings /
Cham, Switzerland : Springer, 2016

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Knjiga
6
Computational science and its applications -- ICCSA 2018 : 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings.
Cham : Springer, 2018

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Knjiga
7
Model-Driven Engineering and Software Development : 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised selected papers /
Cham, Switzerland : Springer, 2017

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Knjiga
8
Engineering trustworthy software systems : second International School, SETSS 2016, Chongqing, China, March 28-April 2, 2016, Tutorial lectures /
Cham, Switzerland : Springer, 2017

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Knjiga
9
Computational science and its applications -- ICCSA 2017 : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings.
Cham : Springer, 2017

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Knjiga
10
Leveraging applications of formal methods, verification, and validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised selected papers /
Cham : Springer, 2016

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Knjiga
11
Software process technology : third European workshop, EWSPT '94, Villard de Lans, France, February 7-9, 1994 : proceedings /
Berlin ; New York : Springer-Verlag, 1994

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Knjiga
12
Computational science and its applications -- ICCSA 2017 : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings.
Cham, Switzerland : Springer, 2017

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Knjiga
13
Testing software and systems : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings /
Cham, Switzerland : Springer, 2018

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Knjiga
14
Product-focused software process improvement : 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings /
Cham, Switzerland : Springer, 2016

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Knjiga
15
Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings /
Cham, Switzerland : Springer, 2018

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Knjiga
16
Computational science and its applications -- ICCSA 2018 : 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings.
Cham : Springer, 2018

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Knjiga
18
Intelligent software methodologies, tools and techniques : 14th International Conference, SoMeT 2015, Naples, Italy, September 15-17, 2015, proceedings /
Cham : Springer, 2015

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Knjiga
19
Reliable software technologies -- Ada-Europe 2018 : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings /
Cham, Switzerland : Springer, 2018

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Knjiga
20
Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings /
Cham, Switzerland : Springer, 2017

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Knjiga
Iskalna orodja: RSS — Pošljite iskanje po emailu — Shrani iskanje