subjectheading:[Software engineering -- Congresses.] - Search Results - University of Southern Indiana

login

Home > Search Results: subjectheading:[Software engineering -- Congresses.]

Search:

Search Tips :: Advanced Search :: Browse Resources (beta)

Sort by

ascending
descending

Display

Collections

Select collection

Format

Select output format

1.	Software engineering and formal methods : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings [...] International Conference on Software Engineering and Formal Methods (21st : 2023[...] Cham : Springer, 2023. QA76.758 \| View e-resource \| Available Online \| Detailed record - Similar records
2.	Rules and reasoning : 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings / Anna Fensel, Ana Oza[...] RuleML+RR (Joint Conference) (7th : 2023 : Oslo, Norway); Fensel, Anna, editor.; Oza[...] Cham : Springer, 2023. QA76.9.L63 R85 2023 \| View e-resource \| Available Online \| Detailed record - Similar records
3.	Logics in artificial intelligence : 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings / Sarah Gaggl, M[...] JELIA (Conference) (18th : 2023 : Dresden, Germany); Gaggl, Sarah, editor.; Martinez[...] Cham, Switzerland : Springer, [2023] Q334 \| View e-resource \| Available Online \| Detailed record - Similar records
4.	Formal methods for industrial critical systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings [...] International Workshop on Formal Methods for Industrial Critical Systems (28th :[...] Cham : Springer, 2023. QA76.9.F67 \| View e-resource \| Available Online \| Detailed record - Similar records
5.	Computer safety, reliability, and security : SAFECOMP 2023 Workshops : ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, Sept[...] SAFECOMP (Conference) (42nd : 2023 : Toulouse, France); Guiochet, Jérémie, edito[...] Cham : Springer, 2023. QA76.9.A25 \| View e-resource \| Available Online \| Detailed record - Similar records
6.	Computer safety, reliability, and security : 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings /[...] SAFECOMP (Conference) (42nd : 2023 : Toulouse, France); Guiochet, Jérémie, edito[...] Cham : Springer, 2023. QA76.9.A25 \| View e-resource \| Available Online \| Detailed record - Similar records
7.	Systems, software and services process improvement : 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Pro[...] EuroSPI (Conference) (30th : 2023 : Grenoble, France); Yılmaz, Murat (Computer sc[...] Cham : Springer, 2023. QA76.76.D47 \| View e-resource \| Available Online \| Detailed record - Similar records
8.	Systems, software and services process improvement : 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Pro[...] EuroSPI (Conference) (30th : 2023 : Grenoble, France); Yılmaz, Murat (Computer sc[...] Cham : Springer, 2023. QA76.76.D47 \| View e-resource \| Available Online \| Detailed record - Similar records
9.	Tests and proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, proceedings / Virgile Prevosto, Cristina Seceleanu, [...] TAP (Conference) (17th : 2023 : Leicester, England); Prevosto, Virgile, editor.; Sec[...] Cham : Springer, [2023] ©2023 QA76.758 \| View e-resource \| Available Online \| Detailed record - Similar records
10.	Artificial intelligence application in networks and systems : proceedings of 12th Computer Science On-line Conference 2023. Volume 3 / edited by [...] Computer Science On-line Conference (12th : 2023 : Online); Silhavy, Radek, editor[...] Cham : Springer, 2023. Q334 \| View e-resource \| Available Online \| Detailed record - Similar records

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.