Search Results for Arithmetic.

Quantization and Arithmetic

Format:

Availability

Online Library~1

Available:
Copies:

6.

Author

Unterberger, André. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-7643-8791-4

Format:

Availability

Online Library~1

Available:
Copies:

7.

Arithmetic of Quadratic Forms

Author

Shimura, Goro. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-1732-4

Format:

Availability

Online Library~1

Available:
Copies:

8.

Birational Geometry, Rational Curves, and Arithmetic

Author

Bogomolov, Fedor. editor. Hassett, Brendan. editor. Tschinkel, Yuri. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332043.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-6482-2

Format:

Availability

Online Library~1

Available:
Copies:

9.

Elliptic Curves and Arithmetic Invariants

Author

Hida, Haruzo. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332082.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-6657-4

Format:

Availability

Online Library~1

Available:
Copies:

10.

Arithmetic and Geometry Around Galois Theory

Author

Dèbes, Pierre. editor. Emsalem, Michel. editor. Romagny, Matthieu. editor. Uludağ, A. Muhammed. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332618.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-0348-0487-5

Format:

Availability

Online Library~1

Available:
Copies:

11.

Computer Arithmetic Algorithms and Hardware Implementations

Author

Vlăduţiu, Mircea. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Arithmetic and Geometry Around Quantization

Author

Ceyhan, Özgür. editor. Manin, Yu. I. editor. Marcolli, Matilde. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-4831-2

Format:

Availability

Online Library~1

Available:
Copies:

13.

Handbook of Floating-Point Arithmetic

Author

Muller, Jean-Michel. author. Brisebarre, Nicolas. author. de Dinechin, Florent. author. Jeannerod, Claude-Pierre. author. Lefèvre, Vincent. author.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-4705-6

Format:

Availability

Online Library~1

Available:
Copies:

14.

Subsystems of Second Order Arithmetic

Author

Simpson, Stephen G..

Preferred Shelf Number

ONLINE

Electronic Access

Quantitative Arithmetic of Projective Varieties

Format:

Availability

Online Library~1

Available:
Copies:

15.

Author

Browning, Timothy D. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-0346-0129-0

Format:

Availability

Online Library~1

Available:
Copies:

16.

The Arithmetic of Elliptic Curves

Author

Silverman, Joseph H. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-09494-6

Format:

Availability

Online Library~1

Available:
Copies:

17.

The Arithmetic of Dynamical Systems

Author

Silverman, Joseph H. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-69904-2

Format:

Availability

Online Library~1

Available:
Copies:

18.

Groups Topological, Combinatorial and Arithmetic Aspects

Author

Müller, T. W..

Preferred Shelf Number

ONLINE

Electronic Access

Arithmetic and logic in computer systems

Format:

Availability

Online Library~1

Available:
Copies:

19.

Author

Lu, Mi.

Preferred Shelf Number

ONLINE

Electronic Access

Click for information
Full text available from Wiley InterScience
Authentication may be required
Available by subscription from Safari Books Online
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=226429

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cubic forms algebra, geometry, arithmetic

Author

Manin, I͡U. I.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444878236

Format:

Availability

Online Library~1

Available:
Copies:

21.

Dictionary of algebra, arithmetic, and trigonometry

Preferred Shelf Number

QA5

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9780429114526
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

22.

Arithmetic compactifications of PEL-type Shimura varieties

Author

Lan, Kai-Wen, author.

Preferred Shelf Number

ONLINE

Electronic Access

http://www.jstor.org/stable/10.2307/j.ctt24hpwv

Format:

Availability

Online Library~1

Available:
Copies:

23.

The Arithmetic of Fundamental Groups PIA 2010

Author

Stix, Jakob. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Guide to FPGA Implementation of Arithmetic Functions

Author

Deschamps, Jean-Pierre. author. Sutter, Gustavo D. author. Cantó, Enrique. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-2987-2

Format:

Availability

Online Library~1

Available:
Copies:

25.

Joint source channel coding using arithmetic codes

Author

Bi, Dongsheng. Hoffman, Michael W. (Michael Ward) Sayood, Khalid.

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440305

Format:

Availability

Online Library~1

Available:
Copies:

26.

Travelling Mathematics - The Fate of Diophantos' Arithmetic

Author

Meskens, Ad. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-0346-0643-1

Format:

Availability

Online Library~1

Available:
Copies:

27.

BigNum math implementing cryptographic multiple precision arithmetic

Author

St. Denis, Tom. Rose, Greg.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9781597491129

Format:

Availability

Online Library~1

Available:
Copies:

28.

The Brain: Fuzzy Arithmetic to Quantum Computing

Author

Rocha, Armando Freitas. author. Massad, Eduardo. author. Pereira, Alfredo. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-32357-0

Format:

Availability

Online Library~1

Available:
Copies:

29.

Next Generation Arithmetic 4th International Conference, CoNGA 2023, Singapore, March 1-2, 2023, Proceedings

Author

Gustafson, John. editor. (orcid) Leong, Siew Hoon. editor. Michalewicz, Marek. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-32180-1

Format:

Availability

Online Library~1

Available:
Copies:

30.

Approximate Arithmetic Circuit Architectures for FPGA-based Systems

Author

Ullah, Salim. author. Kumar, Akash. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Arithmetic of Finite Fields 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 - September 2, 2022, Revised Selected Papers

Arithmetic of Finite Fields 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 - September 2, 2022, Revised Selected Papers

Author

Mesnager, Sihem. editor. Zhou, Zhengchun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Arithmetic of Finite Fields 7th International Workshop, WAIFI 2018, Bergen, Norway, June 14-16, 2018, Revised Selected Papers

Author

Budaghyan, Lilya. editor. Rodríguez-Henríquez, Francisco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-05153-2

Format:

Availability

Online Library~1

Available:
Copies:

33.

Digital electronics 2 : sequential and arithmetic logic circuits

Author

Ndjountche, Tertulien.

Preferred Shelf Number

ONLINE

Electronic Access

Wiley Online Library

Format:

Availability

Online Library~1

Available:
Copies:

34.

Arithmetic of Finite Fields 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers

Author

Koç, Çetin Kaya. editor. Mesnager, Sihem. editor. Savaş, Erkay. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Design of Arithmetic Circuits in Quantum Dot Cellular Automata Nanotechnology

Author

Sridharan, K. author. Pudi, Vikramkumar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Number theory arithmetic in Shangri-La proceedings of the 6th China-Japan seminar

Author

China-Japan Seminar on Number Theory (6th : 2011 : Shanghai, China) Kanemitsu, Shigeru. Li, Hongze. Liu, Jianya.

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=564574

Format:

Availability

Online Library~1

Available:
Copies:

37.

Arithmetic and Geometry of K3 Surfaces and Calabi–Yau Threefolds

Author

Laza, Radu. editor. Schütt, Matthias. editor. Yui, Noriko. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332028.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-6403-7

Format:

Availability

Online Library~1

Available:
Copies:

38.

Rational Points and Arithmetic of Fundamental Groups Evidence for the Section Conjecture

Author

Stix, Jakob. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333349.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933

Author

Ewald, William. editor. Sieg, Wilfried. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336850.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-540-69444-1

Format:

Availability

Online Library~1

Available:
Copies:

40.

Knots and Primes An Introduction to Arithmetic Topology

Author

Morishita, Masanori. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-2158-9

Format:

Availability

Online Library~1

Available:
Copies:

41.

Arithmetic of Finite Fields 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings

Author

Özbudak, Ferruh. editor. Rodríguez-Henríquez, Francisco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Arithmetic Differential Operators over the p-adic Integers

Author

Ralph, Claire C.. Simanca, Santiago R..

Preferred Shelf Number

ONLINE

Electronic Access

Some Problems of Unlikely Intersections in Arithmetic and Geometry.

Format:

Availability

Online Library~1

Available:
Copies:

43.

Author

Zannier, Umberto. Masser, David.

Preferred Shelf Number

ONLINE

Electronic Access

http://www.jstor.org/stable/10.2307/j.ctt7rndx

Format:

Availability

Online Library~1

Available:
Copies:

44.

Set Theory, Arithmetic, and Foundations of Mathematics Theorems, Philosophies

Author

Kennedy, Juliette. Kossak, Roman.

Preferred Shelf Number

ONLINE

Electronic Access

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

Author

Herde, Christian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-9949-1

Format:

Availability

Online Library~1

Available:
Copies:

46.

Arithmetic of Finite Fields Third International Workshop, WAIFI 2010, Istanbul, Turkey, June 27-30, 2010. Proceedings

Author

Hasan, M. Anwar. editor. Helleseth, Tor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-13797-6

Format:

Availability

Online Library~1

Available:
Copies:

47.

Arithmetic Geometry Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, September 10-15, 2007

Author

Colliot-Thélène, Jean-Louis. author. Swinnerton-Dyer, Peter. author. Vojta, Paul. author. Corvaja, Pietro. editor. Gasbarri, Carlo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-15945-9

Format:

Availability

Online Library~1

Available:
Copies:

48.

Arithmetic Optimization Techniques for Hardware and Software Design

Author

Kastner, Ryan. Hosangadi, Anup. Fallah, Farzan.

Preferred Shelf Number

ONLINE

Electronic Access

Algebra, Arithmetic, and Geometry Volume I: In Honor of Yu. I. Manin

Format:

Availability

Online Library~1

Available:
Copies:

49.

Author

Tschinkel, Yuri. editor. Zarhin, Yuri. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-4745-2

Format:

Availability

Online Library~1

Available:
Copies:

50.

Algebra, Arithmetic, and Geometry Volume II: In Honor of Yu. I. Manin

Author

Tschinkel, Yuri. editor. Zarhin, Yuri. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-4747-6

Format:

Availability

Online Library~1

Available:
Copies:

51.

Arithmetic of Finite Fields 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings

Author

Gathen, Joachim. editor. Imaña, José Luis. editor. Koç, Çetin Kaya. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-69499-1

Format:

Availability

Online Library~1

Available:
Copies:

52.

The Large Sieve and its Applications Arithmetic Geometry, Random Walks and Discrete Groups

Author

Kowalski, E..

Preferred Shelf Number

ONLINE

Electronic Access

Arithmetic of Finite Fields First International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007. Proceedings

Format:

Availability

Online Library~1

Available:
Copies:

53.

Author

Carlet, Claude. editor. Sunar, Berk. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-73074-3

Format:

Availability

Online Library~1

Available:
Copies:

54.

The Shaping of Arithmetic after C. F. Gauss’s Disquisitiones Arithmeticae

Author

Goldstein, Catherine. editor. Schappacher, Norbert. editor. Schwermer, Joachim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-34720-0

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Arithmetic and Geometry Around Hypergeometric Functions Lecture Notes of a CIMPA Summer School held at Galatasaray University, Istanbul, 2005

Arithmetic and Geometry Around Hypergeometric Functions Lecture Notes of a CIMPA Summer School held at Galatasaray University, Istanbul, 2005

Author

Holzapfel, Rolf-Peter. editor. Uludağ, A. Muhammed. editor. Yoshida, Masaaki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-7643-8284-1

Format:

Availability

Online Library~1

Available:
Copies:

56.

The Legacy of Mario Pieri in Geometry and Arithmetic

Author

Marchisotto, Elena Anne. author. Smith, James T. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-4603-5

Format:

Availability

Online Library~1

Available:
Copies:

57.

Noncommutative Geometry and Number Theory Where Arithmetic meets Geometry and Physics

Author

Consani, Caterina. editor. Marcolli, Matilde. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-0352-8

Format:

Availability

Online Library~1

Available:
Copies:

58.

Synthesis of arithmetic circuits FPGA, ASIC and embedded systems

Author

Deschamps, Jean-Pierre, 1945- Bioul, Géry Jean Antoine. Sutter, Gustavo D. John Wiley & Sons.

Preferred Shelf Number

ONLINE

Electronic Access

Click for information
Available by subscription from Safari Books Online
John Wiley http://dx.doi.org/10.1002/0471741426
http://www3.interscience.wiley.com/cgi-bin/bookhome/112570650
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0621/2005003237-b.html

Format:

Availability

Online Library~1

Available:
Copies:

59.

Applied Fuzzy Arithmetic An Introduction with Engineering Applications

Author

Hanss, Michael. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138914

Format:

Availability

Online Library~1

Available:
Copies:

60.

Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.

Author

Goodstein, R. L. (Reuben Louis)

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533852

Format:

Availability

Online Library~1

Available:
Copies:

61.

Sentences undecidable in formalized arithmetic an exposition of the theory of Kurt Gödel

Author

Mostowski, Andrzej.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444533753

Format:

Availability

Online Library~1

Available:
Copies:

62.

Cover image for Internet of Things, Smart Spaces, and Next Generation Networks and Systems 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedings

Internet of Things, Smart Spaces, and Next Generation Networks and Systems 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedings

Author

Koucheryavy, Yevgeni. editor. (orcid) Aziz, Ahmed. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

63.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I

Author

Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

64.

Cover image for Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part II

Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part II

Author

Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-30445-3

Format:

Availability

Online Library~1

Available:
Copies:

65.

Cover image for Applied Cryptography and Network Security Workshops ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Kyoto, Japan, June 19-22, 2023, Proceedings

Applied Cryptography and Network Security Workshops ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Kyoto, Japan, June 19-22, 2023, Proceedings

Author

Zhou, Jianying. editor. (orcid) Batina, Lejla. editor. Li, Zengpeng. editor. Lin, Jingqiang. editor. Losiouk, Eleonora. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-41181-6

Format:

Availability

Online Library~1

Available:
Copies:

66.

Smart Technologies for Power and Green Energy Proceedings of STPGE 2022

Author

Dash, Rudra Narayan. editor. Rathore, Akshay Kumar. editor. Khadkikar, Vinod. editor. Patel, Ranjeeta. editor. Debnath, Manoj. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-2764-5

Format:

Availability

Online Library~1

Available:
Copies:

67.

Engineering Mathematics and Computing

Author

Gyei-Kark, Park. editor. Jana, Dipak Kumar. editor. Panja, Prabir. editor. Abd Wahab, Mohd Helmy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-2300-5

Format:

Availability

Online Library~1

Available:
Copies:

68.

Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems

Author

Drechsler, Rolf. editor. Huhn, Sebastian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-28916-3

Format:

Availability

Online Library~1

Available:
Copies:

69.

Uncertainty, Constraints, and Decision Making

Author

Ceberio, Martine. editor. Kreinovich, Vladik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-36394-8

Format:

Availability

Online Library~1

Available:
Copies:

70.

Metaheuristics and Optimization in Computer and Electrical Engineering Volume 2: Hybrid and Improved Algorithms

Author

Razmjooy, Navid. editor. Ghadimi, Noradin. editor. Rajinikanth, Venkatesan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-42685-8

Format:

Availability

Online Library~1

Available:
Copies:

71.

Machine Learning and Metaheuristics: Methods and Analysis

Author

Dulhare, Uma N. editor. Houssein, Essam Halim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-6645-5

Format:

Availability

Online Library~1

Available:
Copies:

72.

Inventive Communication and Computational Technologies Proceedings of ICICCT 2022

Author

Ranganathan, G. editor. Fernando, Xavier. editor. Rocha, Álvaro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-4960-9

Format:

Availability

Online Library~1

Available:
Copies:

73.

Data Analytics A Theoretical and Practical View from the EDISON Project

Author

Cuadrado-Gallego, Juan J. author. Demchenko, Yuri. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-39129-3

Format:

Availability

Online Library~1

Available:
Copies:

74.

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

Author

Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-33170-1

Format:

Availability

Online Library~1

Available:
Copies:

75.

Cover image for Cyber Security, Cryptology, and Machine Learning 7th International Symposium, CSCML 2023, Be'er Sheva, Israel, June 29-30, 2023, Proceedings

Cyber Security, Cryptology, and Machine Learning 7th International Symposium, CSCML 2023, Be'er Sheva, Israel, June 29-30, 2023, Proceedings

Author

Dolev, Shlomi. editor. Gudes, Ehud. editor. Paillier, Pascal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

76.

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:

77.

Futuristic Communication and Network Technologies Select Proceedings of VICFCNT 2021, Volume 2

Author

Subhashini, N. editor. Ezra, Morris. A. G. editor. Liaw, Shien-Kuei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-9748-8

Format:

Availability

Online Library~1

Available:
Copies:

78.

Transcending Signs : Essays in Existential Semiotics

Author

Ahonen, Pertti, contributor. Bankov, Kristian, contributor. Bauters, Merja, contributor. Berruti, Massimo, contributor. Castro Monteiro, Ricardo Nogueira de, contributor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1515/9783110789164
https://www.degruyter.com/isbn/9783110789164
Cover https://www.degruyter.com/document/cover/isbn/9783110789164/original

Format:

Availability

Online Library~1

Available:
Copies:

79.

Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings

Author

Hermenegildo, Manuel V. editor. Morales, José F. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

80.

Cover image for Computational Collective Intelligence 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings

Computational Collective Intelligence 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings

Author

Nguyen, Ngoc Thanh. editor. Botzheim, János. editor. Gulyás, László. editor. Núñez, Manuel. editor. Treur, Jan. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-41456-5

Format:

Availability

Online Library~1

Available:
Copies:

81.

GeNeDis 2022 Molecular, Chemical, and Cellular Biology

Author

Vlamos, Panagiotis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-31978-5

Format:

Availability

Online Library~1

Available:
Copies:

82.

Applications of Artificial Intelligence and Neural Systems to Data Science

Author

Esposito, Anna. editor. (orcid)0000-0002-7268-1795 Faundez-Zanuy, Marcos. editor. (orcid)0000-0003-0605-1282 Morabito, Francesco Carlo. editor. (orcid)0000-0003-0734-9136 Pasero, Eros. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-3592-5

Format:

Availability

Online Library~1

Available:
Copies:

83.

From Algorithms to Hardware Architectures Using Digital Radios as a Design Example

Author

Abbas, Karim. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

84.

International Conference on Artificial Intelligence Science and Applications (CAISA)

Author

Abd Elaziz, Mohamed. editor. Medhat Gaber, Mohamed. editor. El-Sappagh, Shaker. editor. Al-qaness, Mohammed A. A. editor. Ewees, Ahmed A. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-28106-8

Format:

Availability

Online Library~1

Available:
Copies:

85.

Advances in VLSI and Embedded Systems Select Proceedings of AVES 2021

Author

Darji, Anand D. editor. Joshi, Deepak. editor. Joshi, Amit. editor. Sheriff, Ray. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-6780-1

Format:

Availability

Online Library~1

Available:
Copies:

86.

Foundation Mathematics for Computer Science A Visual Approach

Author

Vince, John. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-17411-7

Format:

Availability

Online Library~1

Available:
Copies:

87.

Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Author

Schreiner, Wolfgang. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-24934-1

Format:

Availability

Online Library~1

Available:
Copies:

88.

Guide to Java A Concise Introduction to Programming

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-22842-1

Format:

Availability

Online Library~1

Available:
Copies:

89.

Logic of The Future. Volume 1, History and Applications

Author

Peirce, Charles S., author. Hilpinen, Risto, contributor. Pietarinen, Ahti-Veikko, contributor. Pietarinen, Ahti-Veikko, editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1515/9783110651409
https://www.degruyter.com/isbn/9783110651409
Cover https://www.degruyter.com/document/cover/isbn/9783110651409/original

Format:

Availability

Online Library~1

Available:
Copies:

90.

Algorithms for Computational Biology 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28–30, 2019, Proceedings

Author

Holmes, Ian. editor. (orcid)0000-0001-7639-5369 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-18174-1

Format:

Availability

Online Library~1

Available:
Copies:

91.

Pattern Recognition 40th German Conference, GCPR 2018, Stuttgart, Germany, October 9-12, 2018, Proceedings

Author

Brox, Thomas. editor. (orcid)0000-0002-6282-8861 Bruhn, Andrés. editor. Fritz, Mario. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-12939-2

Format:

Availability

Online Library~1

Available:
Copies:

92.

Pervasive Computing: A Networking Perspective and Future Directions

Author

Bhargava, Deepshikha. editor. Vyas, Sonali. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-3462-7

Format:

Availability

Online Library~1

Available:
Copies:

93.

Transactions on High-Performance Embedded Architectures and Compilers V

Author

Silvano, Cristina. editor. (orcid)0000-0003-1668-0883 Bertels, Koen. editor. (orcid)0000-0001-9310-4885 Schulte, Michael. editor. (orcid)0000-0002-0213-4155 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-58834-5

Format:

Availability

Online Library~1

Available:
Copies:

94.

Cover image for Learning and Intelligent Optimization 12th International Conference, LION 12, Kalamata, Greece, June 10–15, 2018, Revised Selected Papers

Learning and Intelligent Optimization 12th International Conference, LION 12, Kalamata, Greece, June 10–15, 2018, Revised Selected Papers

Author

Battiti, Roberto. editor. (orcid)0000-0002-0259-8603 Brunato, Mauro. editor. (orcid)0000-0002-7885-4255 Kotsireas, Ilias. editor. (orcid)0000-0003-2126-8383 Pardalos, Panos M. editor. (orcid)0000-0003-2824-101X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-05348-2

Format:

Availability

Online Library~1

Available:
Copies:

95.

Cover image for Machine Learning and Knowledge Extraction Third IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2019, Canterbury, UK, August 26–29, 2019, Proceedings

Machine Learning and Knowledge Extraction Third IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2019, Canterbury, UK, August 26–29, 2019, Proceedings

Author

Holzinger, Andreas. editor. (orcid)0000-0002-6786-5194 Kieseberg, Peter. editor. (orcid)0000-0002-2847-2152 Tjoa, A Min. editor. Weippl, Edgar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-29726-8

Format:

Availability

Online Library~1

Available:
Copies:

96.

Cover image for Applications of Evolutionary Computation 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings

Applications of Evolutionary Computation 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings

Author

Kaufmann, Paul. editor. (orcid)0000-0001-7196-389X Castillo, Pedro A. editor. (orcid)0000-0002-5258-0620 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-16692-2

Format:

Availability

Online Library~1

Available:
Copies:

97.

Cover image for Integer Programming and Combinatorial Optimization 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings

Integer Programming and Combinatorial Optimization 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings

Author

Lodi, Andrea. editor. (orcid)0000-0001-9269-633X Nagarajan, Viswanath. editor. (orcid)0000-0002-9514-5581 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

98.

Cover image for Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings

Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings

Author

Schiex, Thomas. editor. (orcid)0000-0001-6049-3415 de Givry, Simon. editor. (orcid)0000-0002-2242-0458 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30048-7

Format:

Availability

Online Library~1

Available:
Copies:

99.

Cover image for Algorithmic Aspects of Cloud Computing 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20–21, 2018, Revised Selected Papers

Algorithmic Aspects of Cloud Computing 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20–21, 2018, Revised Selected Papers

Author

Disser, Yann. editor. (orcid)0000-0002-2085-0454 Verykios, Vassilios S. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-19759-9

Format:

Availability

Online Library~1

Available:
Copies:

100.

Cover image for Research in Computational Molecular Biology 23rd Annual International Conference, RECOMB 2019, Washington, DC, USA, May 5-8, 2019, Proceedings

Research in Computational Molecular Biology 23rd Annual International Conference, RECOMB 2019, Washington, DC, USA, May 5-8, 2019, Proceedings

Author

Cowen, Lenore J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-17083-7

Format:

Availability

Online Library~1

Available:
Copies:

101.

Cover image for Big Data Analytics and Knowledge Discovery 21st International Conference, DaWaK 2019, Linz, Austria, August 26–29, 2019, Proceedings

Big Data Analytics and Knowledge Discovery 21st International Conference, DaWaK 2019, Linz, Austria, August 26–29, 2019, Proceedings

Author

Ordonez, Carlos. editor. Song, Il-Yeol. editor. Anderst-Kotsis, Gabriele. editor. Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Khalil, Ismail. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-27520-4

Format:

Availability

Online Library~1

Available:
Copies:

102.

Cover image for Graph-Theoretic Concepts in Computer Science 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers

Graph-Theoretic Concepts in Computer Science 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers

Author

Sau, Ignasi. editor. (orcid)0000-0002-8981-9287 Thilikos, Dimitrios M. editor. (orcid)0000-0003-0470-1800 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30786-8

Format:

Availability

Online Library~1

Available:
Copies:

103.

Cover image for Computer Information Systems and Industrial Management 18th International Conference, CISIM 2019, Belgrade, Serbia, September 19–21, 2019, Proceedings

Computer Information Systems and Industrial Management 18th International Conference, CISIM 2019, Belgrade, Serbia, September 19–21, 2019, Proceedings

Author

Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Chaki, Rituparna. editor. (orcid)0000-0003-1060-5778 Janev, Valentina. editor. (orcid)0000-0002-9794-8505 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-28957-7

Format:

Availability

Online Library~1

Available:
Copies:

104.

Rough Sets International Joint Conference, IJCRS 2019, Debrecen, Hungary, June 17–21, 2019, Proceedings

Author

Mihálydeák, Tamás. editor. (orcid)0000-0002-4382-5921 Min, Fan. editor. (orcid)0000-0002-3290-1036 Wang, Guoyin. editor. (orcid)0000-0002-8521-5232 Banerjee, Mohua. editor. (orcid)0000-0002-7517-0923 Düntsch, Ivo. editor. (orcid)0000-0001-8907-2382

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-22815-6

Format:

Availability

Online Library~1

Available:
Copies:

105.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Author

Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-46681-0

Format:

Availability

Online Library~1

Available:
Copies:

106.

Fuzzy Logic An Introductory Course for Engineering Students

Author

Trillas, Enric. author. Eciolaza, Luka. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

107.

Intelligent Systems in Science and Information 2014

Author

Arai, Kohei. editor. Kapoor, Supriya. editor. Bhatia, Rahul. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

108.

Proceedings of the Second International Conference on Mechatronics and Automatic Control

Author

Wang, Wego. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

109.

Cover image for Theory and Engineering of Complex Systems and Dependability Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 - July 3 2015, Brunów, Poland

Theory and Engineering of Complex Systems and Dependability Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 - July 3 2015, Brunów, Poland

Author

Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

110.

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:

111.

VLSI : circuits for emerging applications

Author

Wojcicki, Tomasz, editor.

Preferred Shelf Number

TK7874.75 .V57155 2014

Electronic Access

Quantitative evaluation of safety in drug development : design, analysis and reporting

Format:

Availability

Online Library~1

Available:
Copies:

112.

Author

Jiang, Qi (Biostatistician), editor. Xi, H. Amy, editor.

Preferred Shelf Number

RS57 .Q36 2015

Electronic Access

Computational Intelligence in Digital and Network Designs and Applications

Format:

Availability

Online Library~1

Available:
Copies:

113.

Author

Fakhfakh, Mourad. editor. Tlelo-Cuautle, Esteban. editor. Siarry, Patrick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-20071-2

Format:

Availability

Online Library~1

Available:
Copies:

114.

Guide to Fortran 2008 Programming

Author

Brainerd, Walter S. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4471-6759-4

Format:

Availability

Online Library~1

Available:
Copies:

115.

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77

Author

Chivers, Ian. author. Sleightholme, Jane. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

116.

CryptoSchool

Author

von zur Gathen, Joachim. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-48425-8

Format:

Availability

Online Library~1

Available:
Copies:

117.

Cover image for Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers

Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers

Author

Aher, Martin. editor. Hole, Daniel. editor. Jeřábek, Emil. editor. Kupke, Clemens. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-46906-4

Format:

Availability

Online Library~1

Available:
Copies:

118.

Cover image for Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I

Author

Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

119.

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-17260-6

Format:

Availability

Online Library~1

Available:
Copies:

120.

Cover image for Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Author

Pitts, Andrew. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-46678-0

Format:

Availability

Online Library~1

Available:
Copies:

121.

Competitive innovation and improvement : statistical design and control

Author

Dey, Kieron A., author. Taylor and Francis.

Preferred Shelf Number

QA279

Electronic Access

A first course in abstract algebra : rings, groups, and fields

Format:

Availability

Online Library~1

Available:
Copies:

122.

Author

Anderson, Marlow, 1950- author. Feil, Todd, 1951- author. Taylor and Francis.

Preferred Shelf Number

QA162

Electronic Access

Format:

Availability

Online Library~1

Available:
Copies:

123.

Elementary number theory

Author

Kraft, James S., author. Washington, Lawrence C., author. Taylor and Francis.

Preferred Shelf Number

QA241

Electronic Access

Transactions on Computational Science XXIV Special Issue on Reversible Computing

Format:

Availability

Online Library~1

Available:
Copies:

124.

Author

Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. Thapliyal, Himanshu. editor. Ranganathan, Nagarajan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-45711-5

Format:

Availability

Online Library~1

Available:
Copies:

125.

Cover image for Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings

Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings

Author

Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. Vorozhtsov, Evgenii V. editor. (orcid)0000-0003-2753-8399 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

126.

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:

127.

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:

128.

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:

129.

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:

130.

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:

131.

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:

132.

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:

133.

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:

134.

An introduction to number theory with cryptography

Author

Kraft, James S., eauthor. Washington, Lawrence C., author. Taylor and Francis.

Preferred Shelf Number

QA241

Electronic Access

Introduction to numerical analysis and scientific computing

Format:

Availability

Online Library~1

Available:
Copies:

135.

Author

Nassif, Nabil, author. Fayyad, Dolly Khuwayri, author. Taylor and Francis.

Preferred Shelf Number

QA297 .N37

Electronic Access

Algebraic and stochastic coding theory

Format:

Availability

Online Library~1

Available:
Copies:

136.

Author

Kythe, Dave K., author. Kythe, Prem K.

Preferred Shelf Number

QA268 .K98 2012

Electronic Access

Combinatory logic : pure, applied and typed

Format:

Availability

Online Library~1

Available:
Copies:

137.

Author

Bimbo, Katalin, 1963, author.

Preferred Shelf Number

QA9.5 .B56 2012

Electronic Access

Multiple-base number system : theory and applications

Format:

Availability

Online Library~1

Available:
Copies:

138.

Author

Dimitrov, Vassil., author. Jullien, Graham. Muscedere, Roberto.

Preferred Shelf Number

QA76.9 .C62 D56 2012

Electronic Access

Introduction to pharmaceutical calculations

Format:

Availability

Online Library~1

Available:
Copies:

139.

Author

Rees, Judith A. Smith, Ian, 1959 November 24- Smith, Brian, -2000.

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=355964

Format:

Availability

Online Library~1

Available:
Copies:

140.

Cover image for Mathematical handbook of formulas and tables based on Schaum's outline of mathematical handbook of formulas and tables by Murray R. Spiegel and John Liu

Mathematical handbook of formulas and tables based on Schaum's outline of mathematical handbook of formulas and tables by Murray R. Spiegel and John Liu

Author

Spiegel, Murray R. Liu, John. Hademenos, George J.

Preferred Shelf Number

ONLINE

Electronic Access

Mastering technical mathematics

Format:

Availability

Online Library~1

Available:
Copies:

141.

Author

Gibilisco, Stan. Crowhurst, Norman H.

Preferred Shelf Number

ONLINE

Electronic Access

Schaum's outline of basic business mathematics

Format:

Availability

Online Library~1

Available:
Copies:

142.

Author

Don, Eugene. Lerner, Joel J.

Preferred Shelf Number

ONLINE

Electronic Access

Schaum's outline of computer architecture

Format:

Availability

Online Library~1

Available:
Copies:

143.

Author

Carter, Nicholas (Nicholas P.)

Preferred Shelf Number

ONLINE

Electronic Access

Schaum's outline of review of elementary mathematics

Format:

Availability

Online Library~1

Available:
Copies:

144.

Author

Rich, Barnett, 1906- Schmidt, Philip A. Rich, Barnett, 1906- Review of elementary mathematics.

Preferred Shelf Number

ONLINE

Electronic Access

Schaum's outline of theory and problems of mathematics for nurses

Format:

Availability

Online Library~1

Available:
Copies:

145.

Author

Nishiura, Eizo. Stephens, Larry J. Stephens, Lana C.

Preferred Shelf Number

ONLINE

Electronic Access

A mathematical nature walk

Format:

Availability

Online Library~1

Available:
Copies:

146.

Author

Adam, John A.

Preferred Shelf Number

ONLINE

Electronic Access

http://www.jstor.org/stable/10.2307/j.ctt7sj14

Format:

Availability

Online Library~1

Available:
Copies:

147.

Everyday math demystified a self-teaching guide

Author

Gibilisco, Stan.

Preferred Shelf Number

ONLINE

Electronic Access

Format:

Availability

Online Library~1

Available:
Copies:

148.

Pre-algebra demystified

Author

Bluman, Allan G.

Preferred Shelf Number

ONLINE

Electronic Access

Dosage calculations demystified a self-teaching guide

Format:

Availability

Online Library~1

Available:
Copies:

149.

Author

Keogh, James Edward, 1948-

Preferred Shelf Number

ONLINE

Electronic Access

Computational aspects of modular forms and Galois representations : how one can compute in polynomial time the value of Ramanujan's tau at a prime

Format:

Availability

Online Library~1

Available:
Copies:

150.

Cover image for Computational aspects of modular forms and Galois representations : how one can compute in polynomial time the value of Ramanujan's tau at a prime

Author

Couveignes, Jean-Marc. Edixhoven, B. (Bas), 1962-

Preferred Shelf Number

ONLINE

Electronic Access

http://www.jstor.org/stable/10.2307/j.ctt7rzmb

Format:

Availability

Online Library~1

Available:
Copies:

151.

The New Sound of Indo-European : Essays in Phonological Reconstruction

Author

Back, Michael, contributor. Baldi, Philip, contributor. Bammesberger, Alfred, contributor. Beekes, R. S. P., contributor. Boisson, Claude, contributor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1515/9783110857344
https://www.degruyter.com/isbn/9783110857344
Cover https://www.degruyter.com/document/cover/isbn/9783110857344/original

Format:

Availability

Online Library~1

Available:
Copies:

152.

Geoinformatics in applied geomorphology

Author

Anbazhagan, Siddan. Subramanian, S. K. Yang, Xiaojun, 1965-

Preferred Shelf Number

GB401.5 .G46 2011

Electronic Access

Fuzzy logic and hydrological modeling

Format:

Availability

Online Library~1

Available:
Copies:

153.

Author

Sen, Zekai., author.

Preferred Shelf Number

GB656.2 .H9 S46 2010

Electronic Access

Roads to infinity : the mathematics of truth and proof

Format:

Availability

Online Library~1

Available:
Copies:

154.

Author

Stillwell, John., author.

Preferred Shelf Number

QA248 .S778 2010

Electronic Access

Circuits at the nanoscale : communications, imaging, and sensing

Format:

Availability

Online Library~1

Available:
Copies:

155.

Author

Iniewski, Krzysztof.

Preferred Shelf Number

TK7874.84 .C57 2009

Electronic Access

Security in RFID and sensor networks

Format:

Availability

Online Library~1

Available:
Copies:

156.

Author

Kitsos, Paris. Zhang, Yan, 1977-

Preferred Shelf Number

TK7872 .D48 S43 2009

Electronic Access

Digital design and fabrication

Format:

Availability

Online Library~1

Available:
Copies:

157.

Author

Oklobdzija, Vojin G.

Preferred Shelf Number

TK7885 .D54 2008

Electronic Access

Computer organization, design, and architecture

Format:

Availability

Online Library~1

Available:
Copies:

158.

Author

Shiva, Sajjan G., author. Shiva, Sajjan G. Computer design and architecture.

Preferred Shelf Number

TK7885 .S525 2008

Electronic Access

Fuzzy surfaces in GIS and geographical analysis : theory, analytical methods, algorithms and applications

Format:

Availability

Online Library~1

Available:
Copies:

159.

Author

Lodwick, Weldon A., author.

Preferred Shelf Number

G70.23 .L63 2008

Electronic Access

Software solutions for engineers and scientists

Format:

Availability

Online Library~1

Available:
Copies:

160.

Author

Sanchez, Julio, 1938- author. Canton, Maria P.

Preferred Shelf Number

TA345 .S31535 2008

Electronic Access

Handbook of mathematics for engineers and scientists

Format:

Availability

Online Library~1

Available:
Copies:

161.

Author

Polyanin, A. D. (Andreai Dmitrievich)i, author. Manzhirov, A. V. (Aleksandr Vladimirovich)

Preferred Shelf Number

QA40 .P72 2007

Electronic Access

Microcontroller programming : the microchip PIC

Format:

Availability

Online Library~1

Available:
Copies:

162.

Author

Sanchez, Julio, 1938-, author. Canton, Maria P.

Preferred Shelf Number

TJ223 .P76 S36 2007

Electronic Access

Certain number-theoretic episodes in algebra

Format:

Availability

Online Library~1

Available:
Copies:

163.

Author

Sivaramakrishnan, R., 1936, author.

Preferred Shelf Number

QA247 .S5725 2007

Electronic Access

Geometric data structures for computer graphics

Format:

Availability

Online Library~1

Available:
Copies:

164.

Author

Langetepe, Elmar, 1967- Zachmann, Gabriel, 1967-

Preferred Shelf Number

T385 .L364 2006 EB

Electronic Access

Click here to view.
Taylor & Francis https://www.taylorfrancis.com/books/9780367803735
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

165.

The Prince of Mathematics : Carl Friedrich Gauss

Author

Tent, M. B. W., author. Taylor and Francis.

Preferred Shelf Number

QA29 .G3

Electronic Access

Non-unique factorizations : algebraic, combinatorial and analytic theory

Format:

Availability

Online Library~1

Available:
Copies:

166.

Author

Geroldinger, Alfred., author. Halter-Koch, Franz, 1944-

Preferred Shelf Number

QA247 .G47 2006

Electronic Access

Decision diagram techniques for micro- and nanoelectronic design handbook

Format:

Availability

Online Library~1

Available:
Copies:

167.

Author

Yanushkevich, Svetlana N.

Preferred Shelf Number

T57.95 .I549 2006

Electronic Access

Low-power CMOS circuits : technology, logic design and CAD tools

Format:

Availability

Online Library~1

Available:
Copies:

168.

Author

Piguet, Christian, author.

Preferred Shelf Number

TK7871.99 .M44 P56 2006

Electronic Access

Handbook of elliptic and hyperelliptic curve cryptography

Format:

Availability

Online Library~1

Available:
Copies:

169.

Author

Cohen, Henri. Frey, Gerhard, 1944- Avanzi, Roberto.

Preferred Shelf Number

QA567.2 .E44 H36 2006 EB

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781420034981
Taylor & Francis https://www.taylorfrancis.com/books/9780367801625
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

170.

Computers, Software Engineering, and Digital Devices

Author

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

Preferred Shelf Number

TK7885

Electronic Access

Low-power electronics design

Format:

Availability

Online Library~1

Available:
Copies:

171.

Author

Piguet, Christian.

Preferred Shelf Number

TK7874.66 .L65 2005

Electronic Access

Computer science handbook

Format:

Availability

Online Library~1

Available:
Copies:

172.

Author

Tucker, Allen B.

Preferred Shelf Number

QA76 .C54755 2004

Electronic Access

Mathematics manual for water and wastewater treatment plant operators

Format:

Availability

Online Library~1

Available:
Copies:

173.

Author

Spellman, Frank R., author.

Preferred Shelf Number

TD430 .S64 2004

Electronic Access

Introduction to information theory and data compression

Format:

Availability

Online Library~1

Available:
Copies:

174.

Author

Hankerson, Darrel R., author. Harris, Greg A. Johnson, Peter D. (Peter Dexter), 1945-

Preferred Shelf Number

Q360 .H35 2003

Electronic Access

Format:

Availability

Online Library~1

Available:
Copies:

175.

Mass spectrometry basics

Author

Herbert, Christopher G., author. Johnstone, R. A. W. (Robert Alexander Walker)

Preferred Shelf Number

QP519.9 .M3 H47 2003

Electronic Access

Mathematics of quantum computation

Format:

Availability

Online Library~1

Available:
Copies:

176.

Author

Brylinski, Ranee K. Chen, Goong, 1950-

Preferred Shelf Number

QA76.889 .M38 2002

Electronic Access

The Computer Engineering Handbook.

Format:

Availability

Online Library~1

Available:
Copies:

177.

Author

Oklobdzija, Vojin G., author. CRC Press LLC.

Preferred Shelf Number

TK7885 .C645 2002

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781420041545
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

178.

Optical switching/networking and computing for multimedia systems

Author

Guizani, Mohsen. Battou, Abdella.

Preferred Shelf Number

TK5103.59 .O6848 2002

Electronic Access

Pharmaceutical and clinical calculations

Format:

Availability

Online Library~1

Available:
Copies:

179.

Author

Khan, Mansoor A., author. Reddy, Indra K.

Preferred Shelf Number

RS57 .K47 2000

Electronic Access