subjectheading:[Logic design.] - Search Results - University of Southern Indiana

login

Home > Search Results: subjectheading:[Logic design.]

Search:

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

Sort by

ascending
descending

Display

Collections

Select collection

Format

Select output format

1.	Problem solving in operation management / Patricia Esperanza Balderas-Cañas, Gabriel De Las Nieves Sánchez-Guerrero, editors. Balderas, Patricia.; Sánchez Guerrero, Gabriel de las Nieves. Cham : Springer, 2021. TA169.7 .P76 2021 \| View e-resource \| Available Online \| Detailed record - Similar records
2.	Trustworthy hardware design : combinational logic locking techniques / Muhammad Yasin, Jeyavijayan (JV) Rajendran and Ozgur Sinanoglu. Yasin, Muhammad, author.; Rajenn, Jeyavijayan (JV), author.; Sinanoglu, Ozgur, autho[...] Cham, Switzerland : Springer, [2020] ©2020 TK7868.L6 \| View e-resource \| Available Online \| Detailed record - Similar records
3.	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
4.	Conceptual spaces : Elaborations and applications / edited by Mauri Kaipainen, Frank Zenker, Antti Hautamäki, Peter Gärdenfors. Kaipainen, Mauri, editor.; Zenker, Frank, editor.; Hautamäki, Antti., editor.; Gärde[...] Cham : Springer International Publishing : Imprint: Springer, 2019. B731 \| View e-resource \| Available Online \| Detailed record - Similar records
5.	Security and Trust Management : 14th International Workshop, STM 2018, Barcelona, Spain, September 6-7, 2018, Proceedings / edited by Sokratis K.[...] Katsikas, Sokratis K. editor.; Alcaraz, Cristina. editor. Cham : Springer International Publishing : Imprint: Springer, 2018. QA76.9.A25 \| View e-resource \| Available Online \| Detailed record - Similar records
6.	Euro-Par 2018: Parallel Processing : 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Pro[...] Aldinucci, Marco. editor.; Padovani, Luca. editor.; Torquati, Massimo. editor. Cham : Springer International Publishing : Imprint: Springer, 2018. QA76.7-76.73 \| View e-resource \| Available Online \| Detailed record - Similar records
7.	Computational Science -- ICCS 2018 : 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings. Part II / edited by Yong Shi, Hao[...] International Conference on Computational Science (18th : 2018 : Wuxi Shi, China[...] Cham : Springer, 2018. QA75.5 \| View e-resource \| Available Online \| Detailed record - Similar records
8.	Meaning and Proscription in Formal Logic : Variations on the Propositional Logic of William T. Parry / by Thomas Macaulay Ferguson. Ferguson, Thomas Macaulay, author. Cham : Springer International Publishing : Imprint : Springer, 2017. BC1-199 \| View e-resource \| Available Online \| Detailed record - Similar records
9.	Accelerator Programming Using Directives : 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for Hig[...] Chandrasekaran, Sunita, editor.; Juckeland, Guido, editor. Cham : Springer International Publishing : Imprint : Springer, 2018. QA76.7-76.73 \| View e-resource \| Available Online \| Detailed record - Similar records
10.	Scaling OpenMP for Exascale Performance and Portability : 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-2[...] De Supinski, Bronis R., editor.; Olivier, Stephen L. editor.; Terboven, Christian. e[...] Cham : Springer International Publishing : Imprint: Springer, 2017. TK7895.M5 \| 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.