Search Results for Inference.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Software engineering.

Author

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)

Language

(9)

Publication Date

-

(3)

(2)

(1)

(1)

(1)

(1)

Subject

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)

Material Type

Shelf Location

Electronic Library

Wiley E-Book Collection

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

9 Results Found

Subscribe to search results

1

000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

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

1.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Official Google Cloud Certified Professional Data Engineer study guide

Official Google Cloud Certified Professional Data Engineer study guide

Official Google Cloud Certified Professional Data Engineer study guide

Author

Sullivan, Dan, 1962-

Preferred Shelf Number

QA76.3

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Models of Computation

Models of Computation

Models of Computation

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11