2023

Recent trends in algebraic development techniques : 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, revised selected papers

WADT (Workshop) (26th : 2022 : Aveiro, Portugal)

Cham : Springer, [2023]

 

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

 

2021

Data management technologies and applications : 9th International Conference, DATA 2020, Virtual Event, July 7-9, 2020, Revised Selected Papers

DATA (Conference) (9th : 2020 : Online)

Cham, Switzerland : Springer, 2021

 

2021

Fundamentals of software engineering : 9th International Conference, FSEN 2021, Virtual event, May 19-21, 2021, Revised selected papers

IPM International Conference on Fundamentals of Software Engineering (9th : 2021 : Online)

Cham, Switzerland : Springer, 2021

 

2021

Recent trends in algebraic development techniques : 25th international workshop, WADT 2020, virtual event, April 29, 2020 : revised selected papers

WADT (Workshop) (25th : 2020 : Online)

Cham : Springer, [2021]

 

2021

Reversible computation : 13th international conference, RC 2021, virtual event, July 7-8, 2021 : proceedings

RC (Workshop : Reversible computation) (13th : 2021 : Online)

Cham : Springer, [2021]

 

2021

Trends and applications in information systems and technologies.

World Conference on Information Systems and Technologies (2021 : Online)

Cham, Switzerland : Springer, [2021]

 

2020

Computational science/intelligence and applied informatics

ACIS International Conference on Computational Science/Intelligence & Applied Informatics (6th : 2019 : Honolulu, Hawaii)

Cham, Switzerland : Springer, [2020]

 

2020

Declarative programming and knowledge management : Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers

Conference on Declarative Programming (2019 : Cottbus, Germany)



 

2020

Programming languages and systems : 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, proceedings

APLAS (Symposium) (18th : 2020 : Online)

Cham : Springer, [2020]

 

2019

Theory and Practice of Computation : Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2018), September 17-18, 2018, Manila, the Philippines

 

2019

Functional and constraint logic programming : 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised selected papers

WFLP (Workshop) (26th : 2018 : Frankfurt am Main, Germany)

Cham, Switzerland : Springer, 2019

 

2019

Software engineering : proceedings of CSI 2015

Computer Society of India. Annual Convention (50th : 2015 : Delhi, India)

[Singapore] : Springer, [2019]

 

2019

Software technology : methods and tools : 51st international conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, proceedings

TOOLS (Conference) (51st : 2019 : Tatarstan, Russia)

Cham, Switzerland : Springer, 2019

 

2019

Structured object-oriented formal language and method : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised selected papers

SOFL+MSVL (Workshop) (8th : 2018 : Gold Coast, Qld.)

Cham, Switzerland : Springer, 2019

 

2018

Rewriting logic and its applications : 12th International Workshop, WRLA 2018, held as a satellite event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

WRLA (Conference) (12th : 2018 : Thessalonikē, Greece)

Cham, Switzerland : Springer, 2018

 

2018

Engineering trustworthy software systems : third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial lectures

SETSS (International school) (3rd : 2017 : Chongqing, China)

Cham, Switzerland : Springer, 2018

 

2018

Integrated formal methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

International Conference on Integrated Formal Methods (14th : 2018 : Maynooth, Ireland)

Cham : Springer, 2018

 

2018

Structured object-oriented formal language and method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers

SOFL+MSVL (Workshop) (7th : 2017 : Xi'an, China)

Cham : Springer, 2018

 

2018

Software analysis, testing, and evolution : 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018, Proceedings

SATE (Conference) (8th : 2018 : Shenzhen Shi, China)

Cham, Switzerland : Springer, 2018

 

2017

Data privacy management, cryptocurrencies and blockchain technology : ESORICS 2017 International Workshops, DPM 2017 and CBT 2017, Oslo, Norway, September 14-15, 2017, Proceedings

DPM (Workshop) (12th : 2017 : Oslo, Norway)

Cham, Switzerland : Springer, 2017

 

2017

Proceedings of the 2015 Federated Conference on Software Development and Object Technologies

Federated Conference on Software Development and Object Technologies (2nd : 2015 : Žilina, Slovak Republic)

Cham, Switzerland : Springer, [2017]

 

2017

Practical aspects of declarative languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

PADL (Symposium) (19th : 2017 : Paris, France)

Cham, Switzerland : Springer, 2017

 

2017

Proceedings of the 5th International Conference on Frontiers in Intelligent Computing : theory and applications : FICTA 2016.

International Conference on Frontiers in Intelligent Computing (5th : 2016 : Bhubaneswar, India)

Singapore : Springer, [2017]

 

2016

Fundamental approaches to software engineering : 19th International Conference, FASE 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the

FASE (Conference) (19th : 2016 : Eindhoven, Netherlands)

Berlin : Springer, 2016

 

2016

Formal methods and software engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

International Conference on Formal Engineering Methods (18th : 2016 : Tokyo, Japan)

Cham, Switzerland : Springer, 2016

 

2016

Integrated formal methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

International Conference on Integrated Formal Methods (12th : 2016 : Reykjavík, Iceland)

Switzerland : Springer, 2016

 

2016

Leveraging applications of formal methods, verification and validation : discussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016

ISoLA (Symposium) (7th : 2016 : Kerkyra, Greece)

Cham : Springer, 2016

 

2016

Structured object-oriented formal language and method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015, Revised selected papers

SOFL+MSVL (Workshop) (5th : 2015 : Paris, France)

Switzerland : Springer, 2016

 

2016

Reversible computation : 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

RC (Workshop : Reversible computation) (8th : 2016 : Bologna, Italy)

Cham : Springer, 2016

 

2016

Programming languages : 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, proceedings

SBLP (Symposium) (20th : 2016 : Maringá, Brazil)

Cham : Springer, 2016

 

2016

System analysis and modeling : technology-specific aspects of models : 9th International Conference, SAM 2016, Saint-Malo, France, October 3-4, 2016. Proceedings

SAM (Workshop : System analysis) (9th : 2016 : Saint-Malo, France)

Cham, Switzerland : Springer, 2016

 

2015

Management, Information and Educational Engineering

Yao, Wenli



 

2015

Logic programming and nonmonotonic reasoning : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

LPNMR (Conference) (13th : 2015 : Lexington, Kentucky)

Cham : Springer, 2015

 

2015

OpenMP: Heterogenous Execution and Data Movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings

IWOMP (Conference) (11th : 2015 : Aachen, Germany)

Cham : Springer, 2015

 

2015

Structured object-oriented formal language and method : 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised selected papers

SOFL+MSVL (Workshop) (4th : 2014 : Luxembourg, Luxembourg)

Cham : Springer, 2015

 

2014

Knowledge engineering and management : proceedings of the seventh International Conference on Intelligent Systems and Knowledge Engineering, Beijing, China, Dec 2012 (ISKE 2012)

International Conference on Intelligent Systems and Knowledge Engineering (7th : 2012 : Beijing, China)



 

2014

Software language engineering : 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

SLE (Conference) (7th : 2014 : Västerås, Sweden)

Cham : Springer, 2014

 

2014

ECOOP 2014 -- Object-oriented programming : 28th European Conference, Uppsala, Sweden, July 28-August 1, 2014. Proceedings

ECOOP (Conference) (28th : 2014 : Uppsala, Sweden)

Heidelberg : Springer, 2014

 

2014

Software architecture : 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings

ECSA (Conference) (8th : 2014 : Vienna, Austria)

Cham : Springer, 2014

 

2013

Emerging trends in computing, informatics, systems sciences, and engineering

International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (2010 : Bridgeport, Conn.)



 

2013

Emerging technologies for information systems, computing, and management

International Conference on Emerging Technologies for Information Systems, Computing, and Management (2012 : Hangzhou, China)



 

2013

Formal methods for components and objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised selected papers

FMCO (Symposium) (11th : 2012 : Bertinoro, Italy)



 

2013

ECOOP 2013-- Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings

ECOOP (Conference) (27th : 2013 : Montpellier, France)



 

2013

Innovations and advances in computer, information, systems sciences, and engineering

International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (2011)



 

2013

Genetic and evolutionary computing : proceedings of the seventh International Conference on Genetic and Evolutionary Computing, ICGEC 2013, August 25-27, 2013-- Prague, Czech Republic

International Conference on Genetic and Evolutionary Computing (7th : 2013 : Prague, Czech Republic)

Cham : Springer, [2013]

 

2013

Pervasive computing and the networked world : Joint International Conference, ICPCA/SWS 2012, Istanbul, Turkey, November 28-30, 2012, Revised selected papers

International Conference on Pervasive Computing and Applications (2012 : Istanbul, Turkey)



 

2013

Proceedings of the 2012 International Conference on Communication, Electronics and Automation Engineering

International Conference on Communication, Electronics and Automation Engineering (2012 : Xi'an Shi, China)



 

2013

SOFSEM 2013: Theory and practice of computer science : 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013.

SOFSEM (Conference) (39th : 2013 : Špindleruv Mlýn, Czech Republic)



 

2013

Software architecture : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings

ECSA (Conference) (7th : 2013 : Montpellier, France)

Berlin : Springer, [2013]