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

login

Home > Search Results: subjectheading:[Computer logic.]

Search:

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

Sort by

ascending
descending

Display

Collections

Select collection

Format

Select output format

1.	Logic: reference book for computer scientists / Lech T. Polkowski. Polkowski, Lech, author.; Polkowski, Lech. Logics for computer and data sciences, [...] Cham : Springer, [2023] ©2023 QA76.9.L63 \| View e-resource \| Available Online \| Detailed record - Similar records
2.	Logics for computer and data sciences, and artificial intelligence / Lech T. Polkowski. Polkowski, Lech, author. Cham, Switzerland : Springer, 2022. QA76.9.L63 \| View e-resource \| Available Online \| Detailed record - Similar records
3.	Computational thinking : a perspective on computer science / Zhiwei Xu, Jialin Zhang. Xu, Zhiwei.; Zhang, Jialin (Computer scientist) Singapore : Springer, 2021. QA76.9.L63 \| View e-resource \| Available Online \| Detailed record - Similar records
4.	Mathematical reasoning : the history and impact of the DReaM group / Gregory Michaelson, editor. Michaelson, Gregory, editor. Cham, Switzerland : Springer, 2021. QA9 \| View e-resource \| Available Online \| Detailed record - Similar records
5.	Thinking programs : logical modeling and reasoning about languages, data, computations, and executions / Wolfgang Schreiner. Schreiner, Wolfgang, 1967- Cham, Switzerland : Springer, 2021. QA76.9.L63 \| View e-resource \| Available Online \| Detailed record - Similar records
6.	Nonsequential and distributed programming with Go : synchronization of concurrent processes: communication - cooperation - competition / Christia[...] Maurer, Christian, 1945- author. Wiesbaden : Springer, [2021] QA76.6 \| View e-resource \| Available Online \| Detailed record - Similar records
7.	Fields of logic and computation III : essays dedicated to Yuri Gurevich on the occasion of his 80th birthday / Andreas Blass, Patrick Cégielski,[...] Blass, Andreas, 1947-; Cégielski, Patrick, 1954-; Dershowitz, Nachum.; Droste, Manfre[...] Cham : Springer, 2020. QA76.9.L63 \| View e-resource \| Available Online \| Detailed record - Similar records
8.	Foundations of Information and Knowledge Systems 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings /[...] FoIKS (Symposium) (11th : 2020 : Dortmund, Germany); Herzig, Andreas, editor.; Konti[...] Cham Springer International Publishing 2020 SpringerLink \| View e-resource \| Available Online \| Detailed record - Similar records
9.	Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part II / Isil Dill[...] CAV (Conference) (31st : 2019 : New York, N.Y.); Dillig, Isil, editor.; Tasiran, Ser[...] Cham, Switzerland : SpringerOpen, [2019] QA76.758 .C38 2019 \| View e-resource \| Available Online \| Detailed record - Similar records
10.	Reliable Software Technologies Ada-Europe 2018 : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, Ju[...] Casimiro, António. editor.; Ferreira, Pedro M. editor. Cham : Springer International Publishing : Imprint: Springer, 2018. QA76.758 \| 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.