Search Results for Arithmetic.

17 Results Found

00000000000000000DEFAULT

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:

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:

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:

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:

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

Author

Mostowski, Andrzej

Preferred Shelf Number

BC 135 M6 1952

Format:

Availability

Beytepe Library~1

Available:
Copies:

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:

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:

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:

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:

10.

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:

11.

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:

12.

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:

13.

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:

14.

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:

15.

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:

16.

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:

17.

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:

	{displayName}	{count}
{error}