2016

Abstract state machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

ABZ (Conference) (5th : 2016 : Linz, Austria)

Switzerland : Springer, 2016

 

2018

Advanced computing strategies for engineering : 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings.

EG-ICE Workshop (25th : 2018 : Lausanne, Switzerland)

Cham, Switzerland : Springer, 2018

 

2018

Advanced concepts for intelligent vision systems : 19th International Conference, ACIVS 2018, Poitiers, France, September 24-27, 2018, Proceedings

ACIVS (Conference) (19th : 2018 : Poitiers, France)

Cham, Switzerland : Springer, 2018

 

2017

Advanced finite element simulation with MSC Marc : application of user subroutines

Javanbakht, Zia, author

Cham, Switzerland : Springer, 2017

 

2020

Advancements in complex analysis : from theory to practice

Cham : Springer, 2020

 

2016

Advances in artificial life, evolutionary computation and systems chemistry : 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015, Revised selected papers

WIVACE (Workshop) (10th : 2015 : Bari, Italy)

Switzerland : Springer, 2016

 

2017

Advances in artificial life, evolutionary computation, and systems chemistry : 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised selected papers

WIVACE (Workshop) (11th : 2016 : Fisciano, Italy)

Cham, Switzerland : Springer, 2017

 

2018

Advances in bioinformatics and computational biology : 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30-November 1, 2018, Proceedings

Brazilian Symposium on Bioinformatics (11th : 2018 : Niterói, Brazil)

Cham, Switzerland : Springer, 2018

 

2017

Advances in conceptual modeling : ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017, Proceedings

International Conference on Conceptual Modeling (36th : 2017 : Valencia, Spain)

Cham, Switzerland : Springer, 2017

 

2017

Advances in cryptology -- ASIACRYPT 2017 : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings.

International Conference on the Theory and Application of Cryptology and Information Security (23rd : 2017 : Hong Kong, China)

Cham, Switzerland : Springer, 2017

 

2017

Advances in cryptology -- ASIACRYPT 2017 : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings.

International Conference on the Theory and Application of Cryptology and Information Security (23rd : 2017 : Hong Kong, China)

Cham, Switzerland : Springer, 2017

 

2017

Advances in cryptology -- ASIACRYPT 2017 : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings.

International Conference on the Theory and Application of Cryptology and Information Security (23rd : 2017 : Hong Kong, China)

Cham, Switzerland : Springer, 2017

 

2020

Advances in dynamics, optimization and computation : a volume dedicated to Michael Dellnitz on the occasion of his 60th birthday

 

2016

Advances in neural networks -- ISNN 2016 : 13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016, Proceedings

International Symposium on Neural Networks (13th : 2016 : Saint Petersburg, Russia)

Switzerland : Springer, 2016

 

2017

Advances in neural networks -- ISNN 2017 : 14th International Symposium, ISNN 2017, Sapporo-shi, Hakodate, and Muroran, Hokkaido, Japan, June 21-26, 2017, Proceedings.

International Symposium on Neural Networks (14th : 2017 : Sapporo, Japan ; Muroran-shi, Japan)

Cham, Switzerland : Springer, 2017

 

2016

Advances in swarm intelligence : 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings.

ICSI (Conference) (7th : 2016 : Kuta, Bali, Indonesia)

[Place of publication not identified] : Springer, [2016]

 

2016

Advances in swarm intelligence : 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings.

ICSI (Conference) (7th : 2016 : Kuta, Bali, Indonesia)

[Place of publication not identified] : Springer, 2016

 

2017

Advances in swarm intelligence : 8th International Conference, ICSI 2017, Fukuoka, Japan, July 28 - August 1, 2017, Proceedings.

ICSI (Conference) (8th : 2017 : Fukuoka-shi, Japan)

Cham : Springer, 2017

 

2017

Adventures in Computer Science : From Classical Bits to Quantum Bits

Moret-Bonillo, Vicente, author

Cham : Springer International Publishing : Imprint : Springer, 2017

 

2017

Agents and artificial intelligence : 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised selected papers

ICAART (Conference) (8th : 2016 : Rome, Italy)

Cham, Switzerland : Springer, 2017

 

2018

Agents and artificial intelligence : 9th International Conference, ICAART 2017, Porto, Portugal, February 24-26, 2017, Revised selected papers

ICAART (Conference) (9th : 2017 : Porto, Portugal)

Cham, Switzerland : Springer, 2018

 

2015

AI 2015: Advances in Artificial Intelligence : 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 -- December 4, 2015, Proceedings

Australasian Joint Conference on Artificial Intelligence (28th : 2015 : Canberra, A.C.T.)

Cham : Springer, 2015

 

2018

AI approaches to the complexity of legal systems : AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017

Cham, Switzerland : Springer, 2018

 

2016

AI*IA 2016 advances in artificial intelligence : XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 - December 1, 2016, proceedings

Associazione italiana per l'intelligenza artificiale. Congress (15th : 2016 : Genoa, Italy)

Cham : Springer, [2016]

 

2017

AI*IA 2017 : Advances in Artificial Intelligence : XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings

Associazione italiana per l'intelligenza artificiale. Congress (16th : 2017 : Bari, Italy)

Cham, Switzerland : Springer, 2017

 

2018

AI*IA 2018 -- advances in artificial intelligence : XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20-23, 2018, Proceedings

Associazione italiana per l'intelligenza artificiale. Congress (17th : 2018 : Trento, Italy)

Cham : Springer, 2018

 

2018

Algorithmic aspects in information and management : 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3-4, 2018, Proceedings

AAIM (Conference) (12th : 2018 : Dallas, Tex.)

Cham, Switzerland : Springer, 2018

 

2016

Algorithmic aspects of cloud computing : first International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised selected papers

ALGOCLOUD (Workshop) (1st : 2015 : Patrai, Greece)

Cham : Springer, 2016

 

2020

Algorithmic game theory : 13th international symposium, SAGT 2020, Augsburg, Germany, September 16-18, 2020 Proceedings

SAGT (Symposium) (13th : 2020 : Online)



 

2018

Algorithms and discrete applied mathematics : 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings

CALDAM (Conference) (4th : 2018 : Guwahati, India)

Switzerland : Springer, [2018]

 

2020

Algorithms and Discrete Applied Mathematics : 6th International Conference, CALDAM 2020, Hyderabad, India, February 13-15, 2020, Proceedings

CALDAM (Conference) (6th : 2020 : Hyderabad, India)

Cham : Springer, 2020

 

2016

Algorithms and discrete applied mathematics : second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016, Proceedings

CALDAM (Conference) (2nd : 2016 : Trivandrum, India)

Switzerland : Springer, 2016

 

2017

Algorithms and discrete applied mathematics : third International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017, Proceedings

CALDAM (Conference) (3rd : 2017 : Goa, India : State)

Cham, Switzerland : Springer, 2017

 

2018

Algorithms for computational biology : 5th International Conference, AlCoB 2018, Hong Kong, China, June 25-26, 2018, Proceedings

AlCoB (Conference) (5th : 2018 : Hong Kong, China)

Cham, Switzerland : Springer, 2018

 

2016

Algorithms for data science

Steele, Brian M., author.

Cham, Switzerland : Springer, 2016

 

2015

Algorithms for sensor systems : 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2015, Patras, Greece, September 17-18, 2015, Revised selected paper

ALGOSENSORS (Symposium) (11th : 2015 : Patras, Greece)

Cham : Springer, 2015

 

2017

Algorithms for sensor systems : 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, Aarhus, Denmark, August 25-26, 2016, Revised selected papers

ALGOSENSORS (Symposium) (12th : 2016 : Aarhus, Denmark)

Cham, Switzerland : Springer, 2017

 

2016

Algorithms in bioinformatics : 16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016. Proceedings

WABI (Workshop) (16th : 2016 : Aarhus, Denmark)

Switzerland : Springer, 2016

 

2018

Analytical and computational methods in probability theory : First International Conference, ACMPT 2017, Moscow, Russia, October 23-27, 2017, proceedings

ACMPT (Conference) (1st : 2017 : Moscow, Russia)

Cham, Switzerland : Springer, 2018

 

2016

Analytical and stochastic modeling techniques and applications : 23rd International Conference, ASMTA 2016, Cardiff, Wales, August 24-26, 2016. Proceedings

ASMTA (Conference) (23rd : 2016 : Cardiff, Wales)

Switzerland : Springer, 2016

 

2017

Application and theory of petri nets and concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, proceedings

International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (38th : 2017 : Zaragoza, Spain)

Cham, Switzerland : Springer, [2017]

 

2016

Applications of evolutionary computation : 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30-April 1, 2016, Proceedings,

EvoApplications (Conference) (19th : 2016 : Porto, Portugal)

Cham : Springer, 2016

 

2016

Applications of evolutionary computation : 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30-April 1, 2016, Proceedings,

EvoApplications (Conference) (19th : 2016 : Porto, Portugal)

Cham : Springer, 2016

 

2017

Applied logic for computer scientists : computational deduction and formal proofs

Ayala-Rincón, M. (Mauricio), author.

Cham, Switzerland : Springer, 2017

 

2018

Applied scientific computing : with Python

Turner, P. R. (Peter R.), 1948- author.

Cham, Switzerland : Springer, 2018

 

2015

Approximation and online algorithms : 12th International Workshop, WAOA 2014, Wrocław, Poland, September 11-12, 2014, Revised selected papers

WAOA (Workshop) (12th : 2014 : Wrocław, Poland)

Cham : Springer, 2015

 

2015

Approximation and online algorithms : 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015, revised selected papers

WAOA (Workshop) (13th : 2015 : Patrai, Greece)

Cham : Springer, 2015

 

2017

Approximation and online algorithms : 14th International Workshop, WAOA 2016, Aarhus, Denmark, August 25-26, 2016, Revised selected papers

WAOA (Workshop) (14th : 2016 : Århus, Denmark)

Cham, Switzerland : Springer, 2017

 

2018

Approximation and online algorithms : 15th International Workshop, WAOA 2017, Vienna, Austria, September 7-8, 2017, revised selected papers

WAOA (Workshop) (15th : 2017 : Vienna, Austria)

Cham, Switzerland : Springer, [2018]

 

2016

Artificial evolution : 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015. Revised selected papers

EA (Conference) (12th : 2015 : Lyon, France)

Switzerland : Springer, 2016