Showing
1 - 20
results of
2,256
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
Computer logic
Page will reload when a filter is removed.
Show filters (1)
Suggested Topics:
Remove Filter
Computer logic
Search Results | College of the Holy Cross
Suggested Topics within your search.
Suggested Topics within your search.
Computer logic
Electronic resources (E-books)
2,170
Software engineering
1,524
Mathematical logic
1,133
Programming languages (Electronic computers)
1,088
Computer programming
711
Artificial intelligence
706
Computers
704
Computer communication systems
403
Algorithms
389
Computer science—Mathematics
270
Computer science
189
Application software
182
Management information systems
142
Special purpose computers
126
Architecture, Computer
114
Computer simulation
99
Data structures (Computer science)
93
Operating systems (Computers)
84
Computer system failures
77
Information storage and retrieval
63
Computer organization
61
Database management
59
Computer security
51
Mathematical statistics
41
Natural language processing (Computer science)
39
User interfaces (Computer systems)
38
Microprocessors
37
Logic design
34
Numerical analysis
32
Showing
1 - 20
results of
2,256
for search '
'
, query time: 0.07s
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
Partitioning implementations for IBM e-server p5 servers [Nic Irving, Mathew Jenner, Arsi Kortesniemi].
by
Irving, Nic
Published 2005
Click for online access
eBook
Save to List
Saved in:
Select result number 2
2
Rules and reasoning : 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings Anna Fensel, Ana Ozaki, Dumitru Roman, Ahmet Soylu, editors.
Published 2023
Click for online access
eBook
Save to List
Saved in:
Select result number 3
3
Logic-based program synthesis and transformation : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings Robert Glück, Bishoksan Kafle, editors.
Published 2023
Click for online access
eBook
Save to List
Saved in:
Select result number 4
4
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 5
5
Logic: reference book for computer scientists Lech T. Polkowski.
by
Polkowski, Lech
Published 2023
Click for online access
eBook
Save to List
Saved in:
Select result number 6
6
Dynamic logic David Harel, Dexter Kozen, Jerzy Tiuryn.
by
Harel, David, 1950-
Published 2000
Click for online access
eBook
Save to List
Saved in:
Select result number 7
7
Dynamic logic : new trends and applications : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022 : revised selected papers Carlos Areces, Diana Costa, editors.
Published 2023
Click for online access
eBook
Save to List
Saved in:
Select result number 8
8
Logic and its applications : 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023 : proceedings Mohua Banerjee, A.V. Sreejith, editors.
Published 2023
Click for online access
eBook
Save to List
Saved in:
Select result number 9
9
Reversible computation : 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings Martin Kutrib, Uwe Meyer, editors.
Published 2023
Click for online access
eBook
Save to List
Saved in:
Select result number 10
10
Logics and languages for reliability and security edited by Javier Esparza, Bernd Spanfelner and Orna Grumberg.
Published 2010
Click for online access
eBook
Save to List
Saved in:
Select result number 11
11
Formal Logical Methods for System Security and Correctness.
by
Grumberg, O.
Published 2008
Click for online access
eBook
Save to List
Saved in:
Select result number 12
12
Computer Algebra in Scientific Computing : 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings edited by François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov.
Published 2020
Click for online access
eBook
Save to List
Saved in:
Select result number 13
13
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 14
14
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 15
15
Mathematical reasoning : the history and impact of the DReaM group Gregory Michaelson, editor.
Published 2021
Click for online access
eBook
Save to List
Saved in:
Select result number 16
16
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 17
17
Logic, language, information, and computation : 28th International Workshop, WOLLIC 2022, Iaşi, Romania, September 20-23, 2022, proceedings Agata Ciabattoni, Elaine Pimentel, Ruy J.G.B. de Queiroz (eds.).
Published 2022
Click for online access
eBook
Save to List
Saved in:
Select result number 18
18
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 19
19
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 20
20
Software verification : 12th international conference, VSTTE 2020, and 13th international workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, revised selected papers Maria Christaki, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel (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
[113]
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
2,254 results
2,254
Book
1 results
1
Conference Proceeding
1 results
1
Journal
1 results
1
Location
E-Resources
2,170 results
2,170
Online
84 results
84
Science
1 results
1
Language
English
2,256 results
2,256
Library of Congress Call Number
E - United States History
2,170 results
2,170
Q - Science
83 results
83
B - Philosophy, Psychology, Religion
1 results
1
P - Language and Literature
1 results
1
Genre
Congresses
67 results
67
Conference papers and proceedings
66 results
66
Actes de congrès
62 results
62
proceedings (reports)
62 results
62
Electronic books
16 results
16
Festschriften
4 results
4
Congressos
1 results
1
Llibres electrònics
1 results
1
Periodicals
1 results
1
see all…
Database
Springer Ebooks
68 results
68
Ebook Central
4 results
4
MIT Ebooks
1 results
1
Record Source
FOLIO
2,172 results
2,172
eResources
84 results
84