subjectheading:[Computer programs] - Search Results - University of Southern Indiana

Go to main content

Search:

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

1.	Verification, model checking, and abstract interpretation : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, proc[...] VMCAI (Conference) (24th : 2023 : Boston, Mass.); Drăgoi, Cezara, editor.; Emmi, Mi[...] Cham : Springer, 2023. QA76.76.V47 \| View e-resource \| Available Online \| Detailed record - Similar records
2.	Computational logistics : 12th international conference, ICCL 2021, Enschede, the Netherlands, September 27-29, 2021 : proceedings / Martijn Mes,[...] ICCL (Conference) (12th : 2021 : Online); Mes, Martijn, editor.; Lalla-Ruiz, Eduardo[...] Cham : Springer, [2021] ©2021 HD38.5 .I33 2021 \| View e-resource \| Available Online \| Detailed record - Similar records
3.	Privately and publicly verifiable computing techniques : a survey / Denise Demirel, Lucas Schabhüser, Johannes Buchmann. Demirel, Denise, author.; Schabhüser, Lucas, author.; Buchmann, Johannes, author. Cham, Switzerland : Springer, 2017. QA76.6 \| View e-resource \| Available Online \| Detailed record - Similar records
4.	Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical System[...] International Workshop on Formal Methods for Industrial Critical Systems (22nd :[...] Cham, Switzerland : Springer, 2017. QA76.9.F67 I58 2017eb \| View e-resource \| Available Online \| Detailed record - Similar records
5.	Windows installation and update troubleshooting / Chris Rhodes, Andrew Bettany. Rhodes, Chris.; Bettany, Andrew. [United States] : Apress, 2016. New York, NY : Distributed to the book trade worldwide by Springer, ©216 QA76.76.O63 \| View e-resource \| Available Online \| Detailed record - Similar records
6.	Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical System[...] International Workshop on Formal Methods for Industrial Critical Systems (21st :[...] Cham : Springer, 2016. QA76.9.F67 I58 2016eb \| View e-resource \| Available Online \| Detailed record - Similar records
7.	Mathematics of program construction [electronic resource] : 12th International Conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015[...] MPC (Conference) (12th : 2015 : Königswinter, Germany); Hinze, Ralf, editor.; Voigt[...] Cham : Springer, 2015. QA76.6 .M63 2015eb \| View e-resource \| Available Online \| Detailed record - Similar records
8.	Formal methods for industrial critical systems [electronic resource] : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015, Pr[...] International Workshop on Formal Methods for Industrial Critical Systems (20th :[...] Cham : Springer, 2015. QA76.9.F67 I58 2015eb \| View e-resource \| Available Online \| Detailed record - Similar records
9.	Hardware and software [electronic resource] : verification and testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israe[...] International Haifa Verification Conference (10th : 2014 : Haifa, Israel); Yahav, [...] Cham : Springer, 2014. QA76.76.V47 \| View e-resource \| Available Online \| Detailed record - Similar records
10.	From programs to systems - the systems perspective in computing [electronic resource] : ETAPS Workshop, FPS 2014, in honor of Joseph Sifakis, Gre[...] FPS (Workshop) (2014 : Grenoble, France); Bensalem, Saddek, editor of compilation.; [...] Heidelberg : Springer, [2014] QA76.751 \| 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.