Search Results for Arithmetic.

1.

Arithmetic and geometry

Author

Dieulefait, Luis, editor.

Preferred Shelf Number

QA241 A695 2015

Format:

Availability

Beytepe Library~1

Available:
Copies:

2.

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:

3.

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

XX(518984.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Computational Intelligence in Digital and Network Designs and Applications

Author

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

Preferred Shelf Number

XX(518338.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

CryptoSchool

Author

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

Preferred Shelf Number

XX(518657.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Numbers and Computers

Author

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

Preferred Shelf Number

XX(518688.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

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

XX(519090.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

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

Author

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

Preferred Shelf Number

ONLINE(356699.1)

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

9.

Guide to Fortran 2008 Programming

Author

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

Preferred Shelf Number

XX(518637.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

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

XX(518655.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

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

XX(519161.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

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

XX(519313.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

13.

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

XX(519040.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}