2024

Software, system, and service engineering : S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023 and 8th Workshop on Advances in Programming

Conference on Practical Aspects of and Solutions for Software Engineering (24th : 2023 : Warsaw, Poland)



 

2023

Euro-Par 2022 : parallel processing workshops : Euro-Par 2022 International Workshops, Glasgow, UK, August 22-26, 2022, Revised selected papers

International EURO-PAR Conference (28th : 2022 : Glasgow, Scotland)

Cham, Switzerland : Springer, 2023

 

2023

Languages and compilers for parallel computing : 35th International Workshop, LCPC 2022, Chicago, IL, USA, October 12-14, 2022, Revised selected papers

LCPC (Workshop) (35th : 2022 : Chicago, Ill.)

Cham : Springer, 2023

 

2023

Parallel and distributed computing, applications and technologies : 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022 : proceedings

PDCAT (Conference) (23rd : 2022 : Sendai, Japan ; Online)

Cham, Switzerland : Springer, [2023]

 

2023

Programming languages and systems : 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, Apr

European Symposium on Programming (32nd : 2023 : Paris, France)

Cham, Switzerland : Springer, [2023]

 

2023

Proceedings TEEM 2022 tenth International Conference on Ecosystems for Enhancing Multiculturality, Salamanca, Spain, October 19-21 2022

International Conference on Ecosystems for Enhancing Multiculturality (10th : 2022 : Salamanca, Spain)



 

2023

Static analysis : 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022

International Static Analysis Symposium (29th : 2022 : Auckland, N.Z)

Cham : Springer, 2023

 

2023

Computer safety, reliability, and security : 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings

SAFECOMP (Conference) (42nd : 2023 : Toulouse, France)

Cham : Springer, 2023

 

2023

Computer safety, reliability, and security : SAFECOMP 2023 Workshops : ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings

SAFECOMP (Conference) (42nd : 2023 : Toulouse, France)

Cham : Springer, 2023

 

2023

Static analysis : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings

International Static Analysis Symposium (30th : 2023 : Cascais, Portugal)

Cham : Springer, 2023

 

2023

Programming languages and systems : 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings

APLAS (Symposium) (21st : 2023 : Taipei, Taiwan)



 

2022

Software engineering : a methodical approach

Foster, Elvis C., author
Second edition
Boca Raton, FL : CRC Press, 2022

 

2022

Algebraic informatics : 9th International Conference, CAI 2022, virtual event, October 27-29, 2022, proceedings

CAI (Conference) (9th : 2022 : Online)

Cham : Springer, [2022]

 

2022

Computer safety, reliability, and security : 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2002, proceedings

SAFECOMP (Conference) (41st : 2022 : Munich, Germany)



 

2022

Computer safety, reliability, and security : SAFECOMP 2022 Workshops : DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE Munich, Germany, September 6-9, 2022, Proceedings

SAFECOMP (Conference) (41st : 2022 : Munich, Germany)



 

2022

Euro-Par 2022 : parallel processing : 28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22-26, 2022, Proceedings

International EURO-PAR Conference (28th : 2022 : Glasgow, Scotland)

Cham : Springer, 2022

 

2022

Languages and compilers for parallel computing : 33rd international workshop, LCPC 2020, virtual event, October 14-16, 2020 : revised selected papers

LCPC (Workshop) (33rd : 2020 : Online)

Cham : Springer, [2022]

 

2022

Languages and compilers for parallel computing : 34th international workshop, LCPC 2021, Newark, DE, USA, October 13-14, 2021 : revised selected papers

LCPC (Workshop) (34th : 2021 : Online)

Cham : Springer, [2022]

 

2022

Programming languages and systems : 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, A

European Symposium on Programming (31st : 2022 : Munich, Germany)

Cham, Switzerland : Springer, 2022

 

2022

Software technologies : 16th International Conference, ICSOFT 2021, Virtual event, July 6-8, 2021, Revised selected papers

ICSOFT (Conference) (16th : 2021 : Online)

Cham, Switzerland : Springer, 2022

 

2022

Programming languages and systems : 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, proceedings

APLAS (Symposium) (20th : 2022 : Auckland, New Zealand)

Cham : Springer, [2022]

 

2021

Computer Safety, Reliability, and Security : 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings

SAFECOMP (Conference) (40th : 2021 : York, England)



 

2021

Computer safety, reliability, and security : SAFECOMP 2021 Workshops : DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings

SAFECOMP (Conference) (40th : 2021 : York, England)

Cham : Springer, 2021

 

2021

Evaluation of novel approaches to software engineering : 15th international conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020 : revised selected papers

ENASE (Conference) (15th : 2020 : Online)

Cham : Springer, [2021]

 

2021

Euro-Par 2021 : Parallel processing : 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1-3, 2021, Proceedings

International EURO-PAR Conference (27th : 2021 : Online)

Cham, Switzerland : Springer, 2021

 

2021

Languages and compilers for parallel computing : 32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22-24, 2019, revised selected papers

LCPC (Workshop) (32nd : 2019 : Atlanta, Georgia)

Cham, Switzerland : Springer, [2021]

 

2021

OpenMP: enabling massive node-level parallelism : 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14-16, 2021, proceedings

IWOMP (Conference) (17th : 2021 : Bristol, UK)

Cham : Springer, 2021

 

2021

Programming languages and systems : 30th European Symposium on Programming, ESOP 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, L

European Symposium on Programming (30th : 2021 : Online)

Cham, Switzerland : Springer, [2021]

 

2021

Software technologies : 15th international conference, ICSOFT 2020, Online event, July 7-9, 2020, revised selected papers

ICSOFT (Conference) (15th : 2020 : Online)



 

2021

Practical aspects of declarative languages : 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, proceedings

PADL (Symposium) (23rd : 2021 : Online)

Cham, Switzerland : Springer, [2021]

 

2021

Programming languages and systems : 19th Asian symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, proceedings

APLAS (Symposium) (19th : 2021 : Chicago, Ill.)



 

2021

Formal methods and software engineering : 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings

International Conference on Formal Engineering Methods (22nd : 2020 : Singapore, Singapore)



 

2020

Application and theory of petri nets and concurrency : 41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020, Proceedings

International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (41st : 2020 : Online)



 

2020

Artificial intelligence in music, sound, art and design 9th International Conference, EvoMUSART 2020, held as part of EvoStar 2020, Seville, Spain, April 15-17, 2020, Proceedings

EvoMUSART (Conference) (9th : 2020 : Seville, Spain)



 

2020

Automated reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings.

IJCAR (Conference) (10th : 2020 : Online)



 

2020

Automated reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings.

IJCAR (Conference) (10th : 2020 : Online)



 

2020

Tests and proofs : 14th International Conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings

TAP (Conference) (14th : 2020 : Bergen, Norway)

Cham : Springer, 2020

 

2020

Chatbot research and design : Third International Workshop, CONVERSATIONS 2019, Amsterdam, the Netherlands, November 19-20, 2019, Revised Selected Papers

CONVERSATIONS (Workshop) (3rd : 2019 : Amsterdam, Netherlands)

Cham : Springer, 2020

 

2020

Trends in functional programming : 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised selected papers

International Symposium on Trends in Functional Programming (21st : 2020 : Krakow, Poland)

Cham : Springer, [2020]

 

2020

Computer safety, reliability, and security : 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings

SAFECOMP (Conference) (39th : 2020 : Online)



 

2020

Computer safety, reliability, and security : SAFECOMP 2020 Workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings

SAFECOMP (Conference) (39th : 2020 : Lisbon, Portugal)



 

2020

Computers helping people with special needs : 17th International Conference, ICCHP 2020, Lecco, Italy, September 9-11, 2020, Proceedings.

International Conference on Computers Helping People with Special Needs (17th : 2020 : Online). author

Cham : Springer, 2020

 

2020

Database and expert systems applications : DEXA 2020 International Workshops BIOKDD, IWCFS and MLKgraphs, Bratislava, Slovakia, September 14-17, 2020, Proceedings

Database and Expert Systems Applications Conference (31st : 2020 : Online)



 

2020

Dynamic logic : new trends and applications : second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings

DaLí (Internaional Workshop) (2nd : 2019 : Porto, Portugal)

Cham : Springer, 2020

 

2020

Euro-Par 2020: Parallel Processing : 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24-28, 2020, Proceedings

International EURO-PAR Conference (26th : 2020 : Online)

Cham, Switzerland : Springer, [2020]

 

2020

Formal methods for industrial critical systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings

FMICS (Conference) (25th : 2020 : Online)



 

2020

Formal methods : FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised selected papers.

International Symposium of Formal Methods Europe (23rd : 2019 : Porto, Portugal)



 

2020

Formal methods : FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised selected papers.

World Congress on Formal Methods (3rd : 2019 : Porto, Portugal)



 

2020

Functional and logic programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings

Fuji International Symposium on Functional and Logic Programming (15th : 2020 : Online)

Cham : Springer, 2020

 

2020

Graph transformation : 13th International Conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings

International Conference on Graph Transformation (13th : 2020 : Online)