Search Results for Arithmetic and Logic Structures.

28 Results Found

0000000000000000000000000000DEFAULT

Numbers and Computers

Author

Kneusel, Ronald T. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-67482-2

Format:

Availability

Online Library~1

Available:
Copies:

Next Generation Arithmetic 5th International Conference, CoNGA 2024, Sydney, NSW, Australia, February 20-21, 2024, Proceedings

Author

Michalewicz, Marek. editor. (orcid)0000-0002-6474-5234 Gustafson, John. editor. (orcid)0000-0002-2957-1304 De Silva, Himeshi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-72709-2

Format:

Availability

Online Library~1

Available:
Copies:

Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings

Author

Gebser, Martin. editor. Sergey, Ilya. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-52038-9

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Stabilization, Safety, and Security of Distributed Systems 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings

Stabilization, Safety, and Security of Distributed Systems 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings

Author

Spirakis, Paul. editor. Tsigas, Philippas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-69084-1

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Patch-Based Techniques in Medical Imaging Third International Workshop, Patch-MI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings

Patch-Based Techniques in Medical Imaging Third International Workshop, Patch-MI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings

Author

Wu, Guorong. editor. Munsell, Brent C. editor. Zhan, Yiqiang. editor. Bai, Wenjia. editor. Sanroma, Gerard. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-67434-6

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Discrete Geometry for Computer Imagery 20th IAPR International Conference, DGCI 2017, Vienna, Austria, September 19 - 21, 2017, Proceedings

Discrete Geometry for Computer Imagery 20th IAPR International Conference, DGCI 2017, Vienna, Austria, September 19 - 21, 2017, Proceedings

Author

Kropatsch, Walter G. editor. Artner, Nicole M. editor. Janusch, Ines. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66272-5

Format:

Availability

Online Library~1

Available:
Copies:

Guide to Data Structures A Concise Introduction Using Java

Author

Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-70085-4

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Databases Theory and Applications 28th Australasian Database Conference, ADC 2017, Brisbane, QLD, Australia, September 25-28, 2017, Proceedings

Databases Theory and Applications 28th Australasian Database Conference, ADC 2017, Brisbane, QLD, Australia, September 25-28, 2017, Proceedings

Author

Huang, Zi. editor. Xiao, Xiaokui. editor. Cao, Xin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Numbers and Computers

Author

Kneusel, Ronald T. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-50508-4

Format:

Availability

Online Library~1

Available:
Copies:

10.

Computer Vision Systems 11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised Selected Papers

Author

Liu, Ming. editor. Chen, Haoyao. editor. Vincze, Markus. editor. (orcid)0000-0002-2799-491X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68345-4

Format:

Availability

Online Library~1

Available:
Copies:

11.

Digital Logic for Computing

Author

Seiffertt, John. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers

High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers

Author

Dutra, Inês. editor. Camacho, Rui. editor. Barbosa, Jorge. editor. Marques, Osni. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-61982-8

Format:

Availability

Online Library~1

Available:
Copies:

13.

Memristor-Based Nanoelectronic Computing Circuits and Architectures Foreword by Leon Chua

Author

Vourkas, Ioannis. author. Sirakoulis, Georgios Ch. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-22647-7

Format:

Availability

Online Library~1

Available:
Copies:

14.

Computational Autism

Author

Galitsky, Boris. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications

Author

O'Regan, Gerard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-44561-8

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Scientific Computing, Computer Arithmetic, and Validated Numerics 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers

Scientific Computing, Computer Arithmetic, and Validated Numerics 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers

Author

Nehmeier, Marco. editor. Wolff von Gudenberg, Jürgen. editor. Tucker, Warwick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-31769-4

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Computer Algebra in Scientific Computing 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings

Computer Algebra in Scientific Computing 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings

Author

Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-45641-6

Format:

Availability

Online Library~1

Available:
Copies:

18.

Polynomial Theory of Error Correcting Codes

Author

Cancellieri, Giovanni. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings

Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings

Author

Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332910.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers

High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers

Author

Daydé, Michel. editor. Marques, Osni. editor. Nakajima, Kengo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334658.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38718-0

Format:

Availability

Online Library~1

Available:
Copies:

21.

Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers

Author

Xu, Weixia. editor. Xiao, Liquan. editor. Zhang, Chengyi. editor. Li, Jinwen. editor. Yu, Liyan. editor.

Preferred Shelf Number

ONLINE(335131.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-41635-4

Format:

Availability

Online Library~1

Available:
Copies:

22.

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Author

Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334038.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35722-0

Format:

Availability

Online Library~1

Available:
Copies:

23.

Complex Binary Number System Algorithms and Circuits

Author

Jamil, Tariq. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335470.1)

Electronic Access

http://dx.doi.org/10.1007/978-81-322-0854-9

Format:

Availability

Online Library~1

Available:
Copies:

24.

Design, Analysis and Test of Logic Circuits Under Uncertainty

Author

Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335669.1)

Electronic Access

http://dx.doi.org/10.1007/978-90-481-9644-9

Format:

Availability

Online Library~1

Available:
Copies:

25.

Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing

Author

Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334079.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35893-7

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers

Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers

Author

Xu, Weixia. editor. Xiao, Liquan. editor. Lu, Pingjing. editor. Li, Jinwen. editor. Zhang, Chengyi. editor.

Preferred Shelf Number

ONLINE(334080.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35898-2

Format:

Availability

Online Library~1

Available:
Copies:

27.

Computers, Software Engineering, and Digital Devices

Author

Dorf, Richard C., author. Taylor and Francis.

Preferred Shelf Number

TK7885

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

28.

Computer science handbook

Author

Tucker, Allen B.

Preferred Shelf Number

QA76 .C54755 2004

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}