Search Results for Inference.

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: Software engineering.

Yazar

SpringerLink (Online service)

(8)

Alferes, Jose Julio. editor.

(1)

Bartocci, Ezio. editor.

(1)

Bellucci, Francesco. editor.

(1)

Bertossi, Leopoldo. editor.

(1)

Bruni, Roberto. author.

(1)

Buckley, Christopher L. editor.

(1)

Chapman, Peter. editor. (orcid)0000-0002-5524-5780

(1)

Cialfi, Daniela. editor. (orcid)0000-0001-8953-062X

(1)

Fodor, Paul. editor.

(1)

Governatori, Guido. editor.

(1)

Huisman, Marieke. editor. (orcid)0000-0003-4467-072X

(1)

Lanillos, Pablo. editor. (orcid)0000-0001-9154-0798

(1)

Lio, Pietro. editor. (orcid)0000-0002-0540-5053

(1)

Moktefi, Amirouche. editor.

(1)

Montanari, Ugo. author.

(1)

Paoletti, Nicola. editor.

(1)

Perez-Kriz, Sarah. editor.

(1)

Ramstead, Maxwell. editor.

(1)

Roman, Dumitru. editor.

(1)

Rubin, Julia. editor.

(1)

Sajid, Noor. editor. (orcid)0000-0003-1904-2887

(1)

Sauerwald, Kai. editor. (orcid)0000-0002-1551-7016

(1)

Shimazaki, Hideaki. editor. (orcid)0000-0001-7794-3064

(1)

Stapleton, Gem. editor.

(1)

Sullivan, Dan, 1962-

(1)

Thimm, Matthias. editor. (orcid)0000-0002-8157-1053

(1)

Verbelen, Tim. editor. (orcid)0000-0003-2731-7262

(1)

Wisse, Martijn. editor.

(1)

Ölveczky, Peter Csaba. author.

(1)

Tümünü genişlet

Dil

(9)

Yayın Yılı

-

(3)

(2)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Computer science.

(5)

Artificial intelligence.

(4)

Formal Languages and Automata Theory.

(4)

Machine theory.

(4)

Application software.

(3)

Computer and Information Systems Applications.

(3)

Computer Communication Networks.

(2)

Computer Modelling.

(2)

Computer Science Logic and Foundations of Programming.

(2)

Computer networks .

(2)

Computer science -- Mathematics.

(2)

Computer simulation.

(2)

Theory of Computation.

(2)

Bioinformatics.

(1)

COMPUTERS -- Distributed Systems -- Cloud Computing.

(1)

Cloud computing

(1)

Cloud computing.

(1)

Compilers (Computer programs).

(1)

Compilers and Interpreters.

(1)

Computational and Systems Biology.

(1)

Computer vision.

(1)

Computers, Special purpose.

(1)

Electronic data processing personnel -- Certification

(1)

Electronic data processing personnel -- Certification -- Study guides.

(1)

Guides de l'étudiant.

(1)

Génie logiciel.

(1)

(1)

Information Storage and Retrieval.

(1)

Information storage and retrieval systems.

(1)

Mathematical statistics.

(1)

Probability and Statistics in Computer Science.

(1)

Software engineering

(1)

Special Purpose and Application-Based Systems.

(1)

(1)

(1)

Symbolic and Algebraic Manipulation.

(1)

examination study guides.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik Kütüphane

Wiley E-Kitap Koleksiyonu

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ç

9 sonuç bulundu

Arama sonuçlarına abone ol

1

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

Active Inference 4th International Workshop, IWAI 2023, Ghent, Belgium, September 13-15, 2023, Revised Selected Papers için kapak resmi

Active Inference 4th International Workshop, IWAI 2023, Ghent, Belgium, September 13-15, 2023, Revised Selected Papers

Active Inference 4th International Workshop, IWAI 2023, Ghent, Belgium, September 13-15, 2023, Revised Selected Papers

Yazar

Buckley, Christopher L. editor. Cialfi, Daniela. editor. (orcid)0000-0001-8953-062X Lanillos, Pablo. editor. (orcid)0000-0001-9154-0798 Ramstead, Maxwell. editor. Sajid, Noor. editor. (orcid)0000-0003-1904-2887

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Diagrammatic Representation and Inference 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings için kapak resmi

Diagrammatic Representation and Inference 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings

Diagrammatic Representation and Inference 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings

Yazar

Chapman, Peter. editor. (orcid)0000-0002-5524-5780 Stapleton, Gem. editor. Moktefi, Amirouche. editor. Perez-Kriz, Sarah. editor. Bellucci, Francesco. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 18th European Conference, ECSQARU 2025, Hagen, Germany, September 23-26, 2025, Proceedings için kapak resmi

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 18th European Conference, ECSQARU 2025, Hagen, Germany, September 23-26, 2025, Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 18th European Conference, ECSQARU 2025, Hagen, Germany, September 23-26, 2025, Proceedings

Yazar

Sauerwald, Kai. editor. (orcid)0000-0002-1551-7016 Thimm, Matthias. editor. (orcid)0000-0002-8157-1053 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-032-05134-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Official Google Cloud Certified Professional Data Engineer study guide için kapak resmi

Official Google Cloud Certified Professional Data Engineer study guide

Official Google Cloud Certified Professional Data Engineer study guide

Yazar

Sullivan, Dan, 1962-

Yer Numarası

QA76.3

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings için kapak resmi

Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Yazar

Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Rubin, Julia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Models of Computation için kapak resmi

Models of Computation

Models of Computation

Yazar

Bruni, Roberto. author. Montanari, Ugo. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude için kapak resmi

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

Yazar

Ölveczky, Peter Csaba. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-1-4471-6687-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings için kapak resmi

Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

Yazar

Alferes, Jose Julio. editor. Bertossi, Leopoldo. editor. Governatori, Guido. editor. Fodor, Paul. editor. Roman, Dumitru. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings için kapak resmi

Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

Yazar

Bartocci, Ezio. editor. Lio, Pietro. editor. (orcid)0000-0002-0540-5053 Paoletti, Nicola. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

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