Search Results for Logic

Skip to:Search Results

|

|

|

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

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

Daraltılmış:

+

Konu: Data Structures and Information Theory.

Yazar

SpringerLink (Online service)

(11)

Kobayashi, Naoki. editor.

(2)

Worrell, James. editor.

(2)

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611

(1)

Ahmad, Badlishah. editor.

(1)

Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973

(1)

Burns, Richard. editor. (orcid)0000-0002-3961-438X

(1)

Büscher, Niklas. author.

(1)

Chihi, Ines. editor.

(1)

Ganter, Bernhard. author. (orcid)0000-0003-0767-1379

(1)

Gopal, T.V. editor.

(1)

Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678

(1)

Jäger, Gerhard. editor.

(1)

Katzenbeisser, Stefan. author.

(1)

Kellenberger, Kathi. author.

(1)

Kesner, Delia. editor. (orcid)0000-0003-4254-3129

(1)

Knapp, Alexander. editor. (orcid)0000-0002-4050-3249

(1)

Lemanski, Jens. editor. (orcid)0000-0003-3661-4752

(1)

Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017

(1)

Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021

(1)

Maurya, Sudhanshu. editor.

(1)

Peddoju, Sateesh K. editor.

(1)

Sadeghian, Alireza. editor.

(1)

Shaw, Scott. author.

(1)

Steila, Silvia. editor.

(1)

Tahayori, Hooman. editor.

(1)

Viana, Petrucio. editor. (orcid)0000-0002-3517-6706

(1)

Wille, Rudolf. author.

(1)

Tümünü genişlet

Dil

(11)

Yayın Yılı

-

(4)

(2)

(2)

(1)

(1)

(1)

Tümünü genişlet

Konu

Data structures (Computer science).

(11)

Information theory.

(11)

Computer science -- Mathematics.

(5)

Computer science.

(5)

Artificial intelligence.

(4)

Computer System Implementation.

(4)

Computer systems.

(4)

Mathematics of Computing.

(4)

Theory of Computation.

(4)

Mathematical Logic and Foundations.

(3)

Mathematical logic.

(3)

Computational intelligence.

(2)

Computer programming.

(2)

Programming Techniques.

(2)

(1)

(1)

(1)

Communications Engineering, Networks.

(1)

Compilers (Computer programs).

(1)

Compilers and Interpreters.

(1)

Computer Science Logic and Foundations of Programming.

(1)

Computer networks -- Security measures.

(1)

Control Structures and Microprogramming.

(1)

Control engineering.

(1)

Control, Robotics, Automation.

(1)

Data and Information Security.

(1)

Data protection.

(1)

Database management.

(1)

Discrete Mathematics in Computer Science.

(1)

Discrete mathematics.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Formal Languages and Automata Theory.

(1)

Human-computer interaction.

(1)

Information Model.

(1)

Information Storage and Retrieval.

(1)

Information modeling.

(1)

Information storage and retrieval systems.

(1)

(1)

Logic programming.

(1)

Machine theory.

(1)

Microprogramming .

(1)

Mobile and Network Security.

(1)

Order, Lattices, Ordered Algebraic Structures.

(1)

(1)

Software engineering.

(1)

Telecommunication.

(1)

User Interfaces and Human Computer Interaction.

(1)

User interfaces (Computer systems).

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik Kütüphane

Kütüphane

Ç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ç

11 sonuç bulundu

Arama sonuçlarına abone ol

1

00000000000DEFAULT_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.

Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings için kapak resmi

Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Yazar

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings için kapak resmi

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Yazar

Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings için kapak resmi

Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings

Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings

Yazar

Lemanski, Jens. editor. (orcid)0000-0003-3661-4752 Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678 Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021 Viana, Petrucio. editor. (orcid)0000-0002-3517-6706 Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Formal Concept Analysis Mathematical Foundations için kapak resmi

Formal Concept Analysis Mathematical Foundations

Formal Concept Analysis Mathematical Foundations

Yazar

Ganter, Bernhard. author. (orcid)0000-0003-0767-1379 Wille, Rudolf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II için kapak resmi

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Yazar

Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I için kapak resmi

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Yazar

Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Cyber Technologies and Emerging Sciences ICCTES 2021 için kapak resmi

Cyber Technologies and Emerging Sciences ICCTES 2021

Cyber Technologies and Emerging Sciences ICCTES 2021

Yazar

Maurya, Sudhanshu. editor. Peddoju, Sateesh K. editor. Ahmad, Badlishah. editor. Chihi, Ines. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-2538-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings için kapak resmi

Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

Yazar

Gopal, T.V. editor. Jäger, Gerhard. editor. Steila, Silvia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Compilation for Secure Multi-party Computation için kapak resmi

Compilation for Secure Multi-party Computation

Compilation for Secure Multi-party Computation

Yazar

Büscher, Niklas. author. Katzenbeisser, Stefan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Frontiers of Higher Order Fuzzy Sets için kapak resmi

Frontiers of Higher Order Fuzzy Sets

Frontiers of Higher Order Fuzzy Sets

Yazar

Sadeghian, Alireza. editor. Tahayori, Hooman. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-1-4614-3442-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Beginning T-SQL için kapak resmi

Beginning T-SQL

Beginning T-SQL

Yazar

Kellenberger, Kathi. author. Shaw, Scott. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-1-4842-0046-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11