Search Results | College of the Holy Cross - "LNCS sublibrary. Theoretical computer science and general issues."

1

Computer science -- theory and applications : 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28-July 2, 2021, Proceedings

Computer science -- theory and applications : 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28-July 2, 2021, Proceedings Rahul Santhanam, Daniil Musatov (eds.).

Published 2021

“...LNCS sublibrary. Theoretical computer science and general issues ;...”
Click for online access

Electronic

2

Leveraging applications of formal methods, verification and validation : Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings. Part III

Leveraging applications of formal methods, verification and validation : Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes... Tiziana Margaria, Bernhard Steffen (eds.).

Published 2020

“...LNCS sublibrary. Theoretical computer science and general issues ;...”
Click for online access

Electronic

3

Informatics in schools : rethinking computing education : 14th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2021, Virtual event, November 3-5, 2021, Proceedings

Informatics in schools : rethinking computing education : 14th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2021, Virtual event... Erik Barendsen, Christos Chytas (eds.).

Published 2021

“...LNCS sublibrary. Theoretical computer science and general issues....”
Click for online access

Electronic

4

Theory and practice of natural computing : 10th International Conference, TPNC 2021, Tsukuba, Japan, December 7-10, 2021, Proceedings

Theory and practice of natural computing : 10th International Conference, TPNC 2021, Tsukuba, Japan, December 7-10, 2021, Proceedings Claus Aranha, Carlos Martín-Vide, Miguel A. Vega-Rodríguez (eds.).

Published 2021

“...LNCS sublibrary. Theoretical computer science and general issues....”
Click for online access

Electronic

5

Optimization and applications : 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27-October 1, 2021, Proceedings

Optimization and applications : 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27-October 1, 2021, Proceedings Nicholas N. Olenev, Yuri G. Evtushenko, Milojica Jaćimović, Michael Khachay, Vlasta Malkova (eds.).

Published 2021

“...LNCS sublibrary. Theoretical computer science and general issues....”
Click for online access

Electronic

6

Algorithms and architectures for parallel processing : 21st International Conference, ICA3PP 2021, Virtual event, December 3-5, 2021, Proceedings. Part I

Algorithms and architectures for parallel processing : 21st International Conference, ICA3PP 2021, Virtual event, December 3-5, 2021, Proceedings. Part I Yongxuan Lai, Tian Wang, Min Jiang, Guangquan Xu, Wei Liang, Aniello Castiglione (eds.).

Published 2022

“...LNCS sublibrary. Theoretical computer science and general issues....”
Click for online access

Electronic

7

High performance computing : ISC High Performance Digital 2021 International Workshops, Frankfurt am Main, Germany, June 24-July 2, 2021, Revised Selected Papers

High performance computing : ISC High Performance Digital 2021 International Workshops, Frankfurt am Main, Germany, June 24-July 2, 2021, Revised Selected Papers Heike Jagode, Hartwig Anzt, Hatem Ltaief, Piotr Luszczek (eds.).

Published 2021

“...LNCS sublibrary. Theoretical computer science and general issues....”
Click for online access

Electronic

8

WALCOM : Algorithms and Computation : 16th International Conference and Workshops, WALCOM 2022, Jember, Indonesia, March 24-26, 2022, Proceedings

WALCOM : Algorithms and Computation : 16th International Conference and Workshops, WALCOM 2022, Jember, Indonesia, March 24-26, 2022, Proceedings Petra Mutzel, Md. Saidur Rahman, Slamin (eds.).

Published 2022

“...LNCS sublibrary. Theoretical computer science and general issues....”
Click for online access

Electronic

9

Parallel and distributed computing, applications and technologies : 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17-19, 2021, Proceedings

Parallel and distributed computing, applications and technologies : 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17-19, 2021, Proceedings Hong Shen, Yingpeng Sang, Yong Zhang, Nong Xiao, Hamid R. Arabnia, Geoffrey Fox, Ajay Gupta, Manu Malek (eds.).

Published 2022

“...LNCS sublibrary. Theoretical computer science and general issues....”
Click for online access

Electronic

10

Computational data and social networks : 10th International Conference, CSoNet 2021, Virtual event, November 15-17, 2021, Proceedings

Computational data and social networks : 10th International Conference, CSoNet 2021, Virtual event, November 15-17, 2021, Proceedings David Mohaisen, Ruoming Jin (eds.).

Published 2021

“...LNCS sublibrary. Theoretical computer science and general issues....”
Click for online access

Electronic

11

Model checking, synthesis, and learning : essays dedicated to Bengt Jonsson on the occasion of his 60th birthday

Model checking, synthesis, and learning : essays dedicated to Bengt Jonsson on the occasion of his 60th birthday Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi (eds.).

Published 2021

“...LNCS sublibrary. Theoretical computer science and general issues....”
Click for online access

Electronic

12

Learning and intelligent optimization : 15th international conference, LION 15, Athens, Greece, June 20-25, 2021 : revised selected papers

Learning and intelligent optimization : 15th international conference, LION 15, Athens, Greece, June 20-25, 2021 : revised selected papers Dimitris E. Simos, Panos M. Pardalos, Ilias S. Kotsireas (eds.).

Published 2021

“...LNCS sublibrary. Theoretical computer science and general issues....”
Click for online access

Electronic

13

Approximation and online algorithms : 19th International Workshop, WAOA 2021, Lisbon, Portugal, September 6-10, 2021, Revised selected papers

Approximation and online algorithms : 19th International Workshop, WAOA 2021, Lisbon, Portugal, September 6-10, 2021, Revised selected papers Jochen Koenemann, Britta Peis (eds.).

Published 2021

“...LNCS sublibrary. Theoretical computer science and general issues....”
Click for online access

Electronic

14

Algorithms and discrete applied mathematics : 8th international conference, CALDAM 2022, Puducherry, India, February 10-12, 2022 : proceedings

Algorithms and discrete applied mathematics : 8th international conference, CALDAM 2022, Puducherry, India, February 10-12, 2022 : proceedings Niranjan Balachandran, R. Inkulu (eds.).

Published 2022

“...LNCS sublibrary. Theoretical computer science and general issues....”
Click for online access

Electronic

15

Internet of things - ICIOT 2021 : 6th international conference, held as part of the Services Conference Federation, SCF 2021, virtual event, December 10-14, 2021 : proceedings

Internet of things - ICIOT 2021 : 6th international conference, held as part of the Services Conference Federation, SCF 2021, virtual event, December 10-14, 2021 : proceedings Bedir Tekinerdogan, Yingwei Wang, Liang-Jie Zhang (eds.).

Published 2022

“...LNCS sublibrary. Theoretical computer science and general issues....”
Click for online access

Electronic

16

Algorithms and architectures for parallel processing : 21st International Conference, ICA3PP 2021, Virtual event, December 3-5, 2021, Proceedings. Part II

Algorithms and architectures for parallel processing : 21st International Conference, ICA3PP 2021, Virtual event, December 3-5, 2021, Proceedings. Part II Yongxuan Lai, Tian Wang, Min Jiang, Guangquan Xu, Wei Liang, Aniello Castiglione (eds.).

Published 2022

“...LNCS sublibrary. Theoretical computer science and general issues....”
Click for online access

Electronic

17

Algorithms and architectures for parallel processing : 21st International Conference, ICA3PP 2021, Virtual event, December 3-5, 2021, Proceedings. Part III

Algorithms and architectures for parallel processing : 21st International Conference, ICA3PP 2021, Virtual event, December 3-5, 2021, Proceedings. Part III Yongxuan Lai, Tian Wang, Min Jiang, Guangquan Xu, Wei Liang, Aniello Castiglione (eds.).

Published 2022

“...LNCS sublibrary. Theoretical computer science and general issues....”
Click for online access

Electronic

18

Stabilization, safety, and security of distributed systems : 23rd International Symposium, SSS 2021, Virtual event, November 17-20, 2021, Proceedings

Stabilization, safety, and security of distributed systems : 23rd International Symposium, SSS 2021, Virtual event, November 17-20, 2021, Proceedings Colette Johnen, Elad Michael Schiller, Stefan Schmid (eds.).

Published 2021

“...LNCS sublibrary. Theoretical computer science and general issues....”
Click for online access

Electronic

19

Frontiers of algorithmics : international joint conference, IJTCS-FAW 2021, Beijing, China, August 16-19, 2021 : proceedings

Frontiers of algorithmics : international joint conference, IJTCS-FAW 2021, Beijing, China, August 16-19, 2021 : proceedings Jinh Chen, Minming Li, Guochuan Zhang (eds.).

Published 2022

“...LNCS sublibrary. Theoretical computer science and general issues....”
Click for online access

Electronic

20

Formal methods teaching : 4th international workshop and tutorial, FMTea 2021 virtual event, November 21, 2021 : proceedings

Formal methods teaching : 4th international workshop and tutorial, FMTea 2021 virtual event, November 21, 2021 : proceedings João F. Ferreira, Alexandra Mendes, Claudio Menghi (eds.).

Published 2021

“...LNCS sublibrary. Theoretical computer science and general issues....”
Click for online access

Electronic

1
2
3
4
5
6
7
8
9
10
11
Next
[14]