Search Results for Computer hardware.

VLSI Design and Test 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papers

Yazar

Sengupta, Anirban. editor.

https://doi.org/10.1007/978-981-32-9767-8

Format:

Electronic Resources

Alıntı:

Computer Hardware. https://scigraph.springernature.com/ontologies/product-market-codes/I1200X

Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

Yazar

Piterman, Nir. editor.

http://dx.doi.org/10.1007/978-3-319-26287-1

Format:

Electronic Resources

Alıntı:

Hardware and Software: Verification and Testing 11th International Haifa Verification Conference

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings

Yazar

Yahav, Eran. editor.

http://dx.doi.org/10.1007/978-3-319-13338-6

Format:

Electronic Resources

Alıntı:

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Yazar

Strichman, Ofer. editor.

https://doi.org/10.1007/978-3-319-70389-3

Format:

Electronic Resources

Alıntı:

Computer Communication Networks. http://scigraph.springernature.com/things/product-market-codes/I

Numerical Methods of Mathematics Implemented in Fortran

Yazar

Bose, Sujit Kumar. author.

https://doi.org/10.1007/978-981-13-7114-1

Format:

Electronic Resources

Alıntı:

Computer mathematics.

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Yazar

Majumdar, Rupak. editor.

https://doi.org/10.1007/978-3-319-63390-9

Format:

Electronic Resources

Alıntı:

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

Yazar

Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481

https://doi.org/10.1007/978-3-030-00359-3

Format:

Electronic Resources

Alıntı:

Verification and Evaluation of Computer and Communication Systems 12th International Conference

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs

Yazar

Ayala-Rincón, Mauricio. author.

https://doi.org/10.1007/978-3-319-51653-0

Format:

Electronic Resources

Alıntı:

Math Applications in Computer Science. http://scigraph.springernature.com/things/product-market

Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings

Yazar

Shallit, Jeffrey. editor.

http://dx.doi.org/10.1007/978-3-319-19225-3

Format:

Electronic Resources

Alıntı:

Discrete Mathematics in Computer Science.

	{displayName}	{count}
{error}