Search Results for Arithmetic -- Foundations.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Yazar

SpringerLink (Online service)

(11)

Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

(7)

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914

(7)

Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X

(7)

Paszynski, Maciej. editor.

(7)

Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395

(7)

de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453

(7)

Byrne, J. Richard

(1)

Doneddu, Alfred.

(1)

Eicholz, Robert E.

(1)

Ewald, William. editor.

(1)

Frege, Gottlob, 1848-1925.

(1)

Goodstein, R. L. (Reuben Louis)

(1)

Greuel, Gert-Martin. editor.

(1)

Hackworth, Robert D.

(1)

Halmos, Paul R. (Paul Richard), 1916-2006.

(1)

Hashisaki, Joseph, ort. yaz.

(1)

(1)

Kennedy, Juliette.

(1)

Koch, Thorsten. editor.

(1)

(1)

O'Daffer, Phares G., ort. yaz.

(1)

Paule, Peter. editor.

(1)

Peterson, John A.

(1)

Rees, Michael, 1964- author.

(1)

Serovajsky, Simon, author.

(1)

Sieg, Wilfried. editor.

(1)

Smart, Nigel. author.

(1)

Soare, Robert I. author.

(1)

Sommese, Andrew. editor.

(1)

Tarski, Alfred.

(1)

Tümünü genişlet

Dil

(22)

(1)

(1)

Yayın Yılı

-

(7)

(3)

(3)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Arithmetic -- Foundations.

(10)

Computer science -- Mathematics.

(10)

Mathematics of Computing.

(9)

Computer science.

(8)

Software engineering.

(8)

Theory of Computation.

(8)

Artificial intelligence.

(7)

Computer Engineering and Networks.

(7)

Computer engineering.

(7)

Computer networks .

(7)

Aritmetik -- Temel.

(6)

Logic, Symbolic and mathematical.

(3)

Discrete mathematics.

(2)

Mathematics -- Philosophy.

(2)

(2)

Algebraic logic.

(1)

(1)

BUSINESS & ECONOMICS -- Finance.

(1)

BUSINESS & ECONOMICS.

(1)

Corporations -- Finance -- Mathematical models

(1)

Corporations -- Finance -- Mathematical models.

(1)

Data Structures and Information Theory.

(1)

Data structures (Computer science).

(1)

Discrete Mathematics in Computer Science.

(1)

Electronic books.

(1)

(1)

Finance -- Mathematical models

(1)

Finance -- Mathematical models.

(1)

(1)

Finances -- Modèles mathématiques.

(1)

Information theory.

(1)

MATHEMATICS / Functional Analysis

(1)

MATHEMATICS / General

(1)

MATHEMATICS / Logic.

(1)

MATHEMATICS / Set Theory

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical logic.

(1)

(1)

Microsoft Excel (Computer file)

(1)

Microsoft Office

(1)

Microsoft Office.

(1)

Numaralandırma.

(1)

(1)

(1)

Numerical analysis.

(1)

Recursion theory.

(1)

Security Science and Technology.

(1)

Security systems.

(1)

Visual Basic for Applications (Computer program language)

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

Elektronik Kütüphane

Taylor Francis E-Kitap Koleksiyonu

Wiley E-Kitap Koleksiyonu

Kütüphane

Beytepe Kütüphanesi

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

24 sonuç bulundu

Arama sonuçlarına abone ol

1 2

000000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

One or more items could not be added because you are not logged in.

1.

David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933 için kapak resmi

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

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

Yazar

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

Yer Numarası

ONLINE(336850.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Set Theory, Arithmetic, and Foundations of Mathematics Theorems, Philosophies için kapak resmi

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

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

Yazar

Kennedy, Juliette. Kossak, Roman.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

On the foundations of geometry and formal theories of arithmetic için kapak resmi

On the foundations of geometry and formal theories of arithmetic

On the foundations of geometry and formal theories of arithmetic

Yazar

Frege, Gottlob, 1848-1925.

Yer Numarası

B 3245.F2 O8 1971

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

4.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II için kapak resmi

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II

Yazar

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV için kapak resmi

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV

Yazar

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I için kapak resmi

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I

Yazar

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-63749-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III için kapak resmi

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III

Yazar

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII için kapak resmi

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII

Yazar

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-63783-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI için kapak resmi

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI

Yazar

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-63778-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V için kapak resmi

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V

Yazar

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Architecture of mathematics için kapak resmi

Architecture of mathematics

Architecture of mathematics

Yazar

Serovajsky, Simon, author.

Yer Numarası

QA9

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Principles of financial modelling : model design and best practices using Excel and VBA için kapak resmi

Principles of financial modelling : model design and best practices using Excel and VBA

Principles of financial modelling : model design and best practices using Excel and VBA

Yazar

Rees, Michael, 1964- author.

Yer Numarası

HG106

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781118903933

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11