Showing
1 - 20
results of
433
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
Find
Advanced Search
|
Browse
|
Search Tips
Page will reload when a filter is removed.
Applied Filters:
Suggested Topics:
Remove Filter
Software engineering
AND
Remove Filter
Computer simulation
Other:
Remove Filter
*-*
Page will reload when a filter is removed.
Show filters (3)
Suggested Topics:
Remove Filter
Software engineering
AND
Remove Filter
Computer simulation
Other:
Remove Filter
*-*
Search Results | College of the Holy Cross
Suggested Topics within your search.
Suggested Topics within your search.
Computer simulation
Software engineering
Electronic resources (E-books)
422
Computers
130
Application software
124
Artificial intelligence
124
Computer communication systems
104
Algorithms
101
Programming languages (Electronic computers)
93
Computer logic
80
Computer programming
65
Computer science
63
Management information systems
58
Mathematical logic
49
Numerical analysis
44
Computer system failures
40
Data mining
37
Database management
32
Optical data processing
31
User interfaces (Computer systems)
30
Computer organization
27
Business—Data processing
21
Computer science—Mathematics
21
Information technology
21
Special purpose computers
19
Bioinformatics
16
Bioinformatics
12
Computational biology
12
Information storage and retrieval
12
Mathematical statistics
11
Showing
1 - 20
results of
433
for search '
'
, query time: 0.05s
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
Models in Software Engineering Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers edited by Juergen Dingel, Arnor Solberg.
Published 2011
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 2
2
Multi-Agent-Based Simulation XII International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers edited by Daniel Villatoro, Jordi Sabater-Mir, Jaime Simao Sichman.
Published 2012
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 3
3
Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part III edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan.
Published 2015
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 4
4
Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006, Revised Papers edited by Karin Coninx, Kris Luyten, Kevin A. Schneider.
Published 2007
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 5
5
New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings edited by El Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean, Dominique Mery, Kazumi Nakamatsu, Carlos Ordonez.
Published 2018
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 6
6
Model and Data Engineering 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings edited by Ladjel Bellatreche, Yannis Manolopoulos.
Published 2015
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 7
7
Advances in Modeling Agricultural Systems edited by Petraq Papajorgji, Panos M. Pardalos.
Published 2009
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 8
8
Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings edited by Annabelle McIver, Andras Horvath.
Published 2018
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 9
9
Product-Focused Software Process Improvement 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010, Proceedings edited by Muhammad Ali Babar, Matias Vierimaa, Markku Oivo.
Published 2010
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 10
10
Advances in Conceptual Modeling ER 2012 Workshops CMS, ECDM-NoCoDA, MODIC, MORE-BI, RIGIM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012, Proceedings edited by Silvana Castano, Panos Vassiliadis, Laks Lakshmanan, Mong Li Lee.
Published 2012
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 11
11
Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan.
Published 2015
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 12
12
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I edited by Hana Chockler, Georg Weissenbacher.
Published 2018
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 13
13
Model and Data Engineering First International Conference, MEDI 2011, Obidos, Portugal, September 28-30, 2011. Proceedings edited by Ladjel Bellatreche, Filipe Mota Pinto.
Published 2011
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 14
14
Computational Science and Its Applications -- ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part III edited by Beniamino Murgante, Osvaldo Gervasi, Sanjay Misra, Nadia Nedjah, Ana Maria Alves Coutinho Rocha, David Taniar, Bernady O. Apduhan.
Published 2012
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 15
15
Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium... edited by Anna-Lena Lamprecht.
Published 2016
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 16
16
Enterprise and Organizational Modeling and Simulation 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11–12, 2018, Selected Papers edited by Robert Pergl, Eduard Babkin, Russell Lock, Pavel Malyzhenkov, Vojtěch Merunka.
Published 2018
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 17
17
NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings edited by Julia M. Badger, Kristin Yvonne Rozier.
Published 2019
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 18
18
Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part V edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan.
Published 2015
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 19
19
Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II edited by Fu Lee Wang, Hepu Deng, Jingsheng Lei.
Published 2010
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 20
20
Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings edited by Yamine Ait-Ameur, Shengchao Qin.
Published 2019
Call Number:
Loading…
Located:
Loading…
Click to view e-book
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
[22]
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
433 results
433
Location
E-Resources
422 results
422
Online
11 results
11
Language
English
433 results
433
Library of Congress Call Number
E - United States History
422 results
422
Q - Science
9 results
9
T - Technology
2 results
2
Genre
Actes de congrès
9 results
9
Conference papers and proceedings
9 results
9
Congresses
9 results
9
proceedings (reports)
9 results
9
Electronic books
3 results
3
Database
Springer Ebooks
10 results
10
Ebook Central
1 results
1
Record Source
FOLIO
422 results
422
eResources
11 results
11