Showing
1 - 20
results of
706
for search '
'
Skip to content
Library Home
Start Over
Research Databases
E-Journals
Course Reserves
Library Home
Login to library account
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Language
Library Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced Search
|
Browse
|
Search Tips
Page will reload when a filter is removed.
Applied Filters:
Suggested Topics:
Remove Filter
Artificial intelligence
AND
Remove Filter
Computer logic
Other:
Remove Filter
*-*
Page will reload when a filter is removed.
Show filters (3)
Suggested Topics:
Remove Filter
Artificial intelligence
AND
Remove Filter
Computer logic
Other:
Remove Filter
*-*
Search Results | College of the Holy Cross
Suggested Topics within your search.
Suggested Topics within your search.
Artificial intelligence
Computer logic
Electronic resources (E-books)
669
Mathematical logic
470
Software engineering
417
Programming languages (Electronic computers)
287
Computer programming
222
Computers
160
Computer communication systems
115
Computer science—Mathematics
96
Algorithms
95
Application software
68
Computer simulation
31
Architecture, Computer
29
Natural language processing (Computer science)
24
Information storage and retrieval
22
Computer science
20
Database management
19
Computer system failures
18
Computer organization
16
Mathematical statistics
15
Numerical analysis
14
Special purpose computers
14
artificial intelligence
14
Logic design
13
Data mining
12
Data structures (Computer science)
12
General
11
Intelligence (AI) & Semantics
11
User interfaces (Computer systems)
11
Showing
1 - 20
results of
706
for search '
'
, query time: 0.06s
Narrow Search
Sort
Relevance
Newest
Oldest
Call Number
Author
Title
Select all entries on the page
Email
Export
Print
Save
Select result number 1
1
Computer performance engineering and stochastic modelling : 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20-23, 2023, pro... Mauro Iacono, Marco Scarpa, Enrico Barbierato, Salvatore Serrano, Davide Cerotti, Francesco Longo, editors.
Published 2023
Click for online access
eBook
Save to List
Saved in:
Select result number 2
2
Logic, language, and security : essays dedicated to Andre Scedrov on the occasion of his 65th birthday Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov, Boon Thau Loo, Mitsuhiro Okada (eds.).
Published 2020
Click for online access
eBook
Save to List
Saved in:
Select result number 3
3
Software engineering and formal methods : SEFM 2019 collocated workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, revised selected papers Javier Camara, Martin Steffan (eds.).
Published 2020
Click for online access
eBook
Save to List
Saved in:
Select result number 4
4
Functional and logic programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings Keisuke Nakano, Konstantinos Sagonas (eds.).
Published 2020
Click for online access
eBook
Save to List
Saved in:
Select result number 5
5
Automated reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings. Part II Nicolas Peltier, Viorica Sofronie-Stokkermans (eds.).
Published 2020
Click for online access
eBook
Save to List
Saved in:
Select result number 6
6
Leveraging applications of formal methods, verification and validation : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, Octob... Tiziana Margaria, Bernhard Steffen (eds.).
Published 2020
Click for online access
eBook
Save to List
Saved in:
Select result number 7
7
Formal methods and software engineering : 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings Shang-Wei Lin, Zhe Hou, Brendan Mahoney (eds.).
Published 2021
Click for online access
eBook
Save to List
Saved in:
Select result number 8
8
Static analysis : 27th International Symposium, SAS 2020, virtual event, November 18-20, 2020, proceedings David Pichardie, Mihaela Sighireanu (eds.).
Published 2020
Click for online access
eBook
Save to List
Saved in:
Select result number 9
9
Logic-Based Program Synthesis and Transformation : 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020 : proceedings Maribel Fernández (ed.).
Published 2021
Click for online access
eBook
Save to List
Saved in:
Select result number 10
10
Software engineering and formal methods : SEFM 2020 collocated workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, the Netherlands, September 14-15, 2020, revised selected papers Loek Cleophas, Mieke Massink (eds.).
Published 2021
Click for online access
eBook
Save to List
Saved in:
Select result number 11
11
Dynamic logic : new trends and applications : second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings Luís Soares Barbosa, Alexandru Baltag (eds.).
Published 2020
Click for online access
eBook
Save to List
Saved in:
Select result number 12
12
Foundations of Information and Knowledge Systems : 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings Andreas Herzig, Juha Kontinen (eds.).
Published 2020
Click for online access
eBook
Save to List
Saved in:
Select result number 13
13
Logics for computer and data sciences, and artificial intelligence Lech T. Polkowski.
by
Polkowski, Lech
Published 2022
Click for online access
eBook
Save to List
Saved in:
Select result number 14
14
Artificial intelligence logic and applications : the 2nd international conference, AILA 2022, Shanghai, China, August 26-28, 2022 : proceedings Yixiang Chen, Songmao Zhang (eds.).
Published 2022
Click for online access
eBook
Save to List
Saved in:
Select result number 15
15
Automated reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings. Part I Nicolas Peltier, Viorica Sofronie-Stokkermans (eds.).
Published 2020
Click for online access
eBook
Save to List
Saved in:
Select result number 16
16
Computer performance engineering : 16th European Workshop, EPEW 2019, Milan, Italy, November 28-29, 2019, Revised Selected Papers Marco Gribaudo, Mauro Iacono, Tuan Phung-Duc, Rostislav Razumchik (eds.).
Published 2020
Click for online access
eBook
Save to List
Saved in:
Select result number 17
17
Fields of logic and computation III : essays dedicated to Yuri Gurevich on the occasion of his 80th birthday Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner (eds.).
Published 2020
Click for online access
eBook
Save to List
Saved in:
Select result number 18
18
Developments in language theory : 24th international conference, DLT 2020, Tampa, FL, USA, May 11-15, 2020, proceedings Nataša Jonoska, Dmytro Savchuk (eds.).
Published 2020
Click for online access
eBook
Save to List
Saved in:
Select result number 19
19
Rules and reasoning : 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020, Proceedings Víctor Gutiérrez-Basulto, Tomáš Kliegr, Ahmet Soylu, Martin Giese, Dumitru Roman (eds.).
Published 2020
Click for online access
eBook
Save to List
Saved in:
Select result number 20
20
Computer safety, reliability, and security : 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira (eds.).
Published 2020
Click for online access
eBook
Save to List
Saved in:
Select all entries on the page
Email
Export
Print
Save
1
2
3
4
5
6
7
8
9
10
11
Next
[36]
Search Tools:
Get RSS Feed
Email this Search
Save Search
Back
Narrow Search
Page will reload when a filter is selected or excluded.
Year of Publication
From:
To:
Format
eBook
706 results
706
Location
E-Resources
669 results
669
Online
37 results
37
Language
English
706 results
706
Library of Congress Call Number
E - United States History
669 results
669
Q - Science
37 results
37
Genre
Actes de congrès
32 results
32
Conference papers and proceedings
32 results
32
Congresses
32 results
32
proceedings (reports)
32 results
32
Electronic books
7 results
7
Festschriften
2 results
2
Database
Springer Ebooks
34 results
34
Record Source
FOLIO
669 results
669
eResources
37 results
37