2019

Advanced CAD modeling : explicit, parametric, free-form CAD and re-engineering

Vukašinović, Nikola, author

Cham, Switzerland : Springer, [2019]

 

2017

Advanced computational methods in energy, power, electric vehicles, and their integration : International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on I

International Conference on Life System Modeling and Simulation (2017 : Nanjing Shi, China)

Singapore : Springer, 2017

 

2017

Advanced computational methods in life system modeling and simulation : International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing

International Conference on Life System Modeling and Simulation (2017 : Nanjing Shi, China)

Singapore : Springer, 2017

 

2018

Advances in manufacturing, production management and process control : joint proceedings of the AHFE 2018 International Conference on Advanced Production Management and Process Control, the AHFE Inter

International Conference on Applied Human Factors and Ergonomics and the Affiliated Conferences (9th : 2018 : Orlando, Florida)

Cham, Switzerland : Springer, 2018

 

2017

Advances in social simulation 2015

Social Simulation Conference (11th : 2015 : Groningen, Netherlands)

Cham, Switzerland : Springer, 2017

 

2018

Algorithmic game theory : 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings

SAGT (Symposium) (11th : 2018 : Beijing, China)

Cham, Switzerland : Springer, 2018

 

2018

Applied scientific computing : with Python

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

Cham, Switzerland : Springer, 2018

 

2015

Artificial life and intelligent agents : first International Symposium, ALIA 2014, Bangor, UK, November 5-6, 2014. Revised selected papers

ALIA (Symposium) (1st : 2014 : Bangor, Wales)

Cham : Springer, 2015

 

2018

Artificial life and intelligent agents : second international symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, revised selected papers

ALIA (Symposium) (2nd : 2016 : Birmingham, Great Britain)

Cham, Switzerland : Springer, [2018]

 

2018

Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

ATVA (Symposium) (16th : 2018 : Los Angeles, Calif.)

Cham, Switzerland : Springer, 2018

 

2016

Big data technology and applications : first National Conference, BDTA 2015, Harbin, China, December 25-26, 2015. Proceedings

BDTA (Conference) (1st : 2015 : Harbin Shi, China)

Singapore : Springer, 2016

 

2015

Bio-inspired computing -- theories and applications : 10th International Conference, BIC-TA 2015 Hefei, China, September 25-28, 2015, Proceedings

International Conference on Bio-inspired Computing, Theories and Applications (10th : 2015 : Hefei Shi, China)

Berlin : Springer, 2015

 

2016

Bio-inspired computing -- theories and applications : 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised selected papers.

International Conference on Bio-inspired Computing, Theories and Applications (11th : 2016 : Xi'an Shi, China)

Singapore : Springer, 2016

 

2016

Bio-inspired computing -- theories and applications : 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised selected papers.

International Conference on Bio-inspired Computing, Theories and Applications (11th : 2016 : Xi'an Shi, China)

Singapore : Springer, 2016

 

2017

Bio-inspired computing : theories and applications : 12th International Conference, BIC-TA 2017, Harbin, China, December 1-3, 2017, Proceedings

International Conference on Bio-inspired Computing, Theories and Applications (12th : 2017 : Harbin, China)

Singapore : Springer, 2017

 

2016

Challenge of transport telematics : 16th International Conference on Transport Systems Telematics, TST 2016, Katowice-Ustroń, Poland, March 16-19, 2016, Selected papers

International Conference "Transport Systems Telematics TST" (16th : 2016 : Katowice-Ustroń, Poland)

Cham, Switzerland : Springer, 2016

 

2018

Comprehensive healthcare simulation : neurosurgery

Cham, Switzerland : Springer, 2018

 

2016

Computational intelligence and intelligent systems : 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised selected papers

ISICA (Symposium) (7th : 2015 : Guangzhou, China)

Singapore : Springer, 2016

 

2016

Computational methods in systems biology : 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

CMSB (Conference) (14th : 2016 : Cambridge, England)

Cham, Switzerland : Springer, 2016

 

2017

Computer aided cerification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings.

CAV (Conference) (29th : 2017 : Heidelberg, Germany)

Cham, Switzerland : Springer, 2017

 

2017

Computer vision : Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, proceedings.

CCCV (Conference) (2nd : 2017 : Tianjin, China)

Singapore : Springer, 2017

 

2017

Computer vision : Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, proceedings.

CCCV (Conference) (2nd : 2017 : Tianjin, China)

Singapore : Springer, 2017

 

2017

Computer vision : Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, proceedings.

CCCV (Conference) (2nd : 2017 : Tianjin, China)

Singapore : Springer, 2017

 

2016

Dependable software engineering : theories, tools, and applications : second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

SETTA (Symposium) (2nd : 2016 : Beijing, China)

Cham, Switzerland : Springer, 2016

 

2017

Dependable software engineering : theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

SETTA (Symposium) (3rd : 2017 : Changsha Shi, China)

Cham, Switzerland : Springer, 2017

 

2016

Digital classics outside the echo-chamber : teaching, knowledge exchange and public engagement

London : Ubiquity Press, 2016

 

2016

Digital in underwater cultural heritage

Varinlioglu, Guzden, author
1st unabridged
Newcastle upon Tyne, UK : Cambridge Scholars Publishing, 2016

 

2016

Digital make-believe

Switzerland : Springer, 2016

 

2016

Discontinuous-fibre reinforced composites : fundamentals of stress transfer and fracture mechanics

Goh, Kheng Lim, author

London : Springer, [2016]

 

2016

Distributed computer and communication networks : 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, revised selected papers

DCCN (Conference) (18th : 2015 : Moscow, Russia)

Cham : Springer, [2016]

 

2016

Distributed computer and communication networks : 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised selected papers

DCCN (Conference) (19th : 2016 : Moscow, Russia)

Cham, Switzerland : Springer, 2016

 

2017

Distributed computer and communication networks : 20th International Conference, DCCN 2017, Moscow, Russia, September 25-29, 2017, Proceedings

DCCN (Conference) (20th : 2017 : Moscow, Russia)

Cham, Switzerland : Springer, 2017

 

2016

Economics with heterogeneous interacting agents : a practical guide to agent-based modeling

Switzerland : Springer, [2016]

 

2019

Effective model-based systems engineering

Borky, John M., author

Cham, Switzerland : Springer, [2019]

 

2018

Engineering Digital Transformation : Proceedings of the 11th International Conference on Industrial Engineering and Industrial Management

International Conference on Industrial Engineering and Industrial Management (11th : 2017 : Universitat Politecnica de Valencia, Spain)

Cham, Switzerland : Springer, 2018

 

2018

Enterprise and organizational modeling and simulation : 14th International Workshop, EOMAS 2018, held at CAiSE 2018, Tallinn, Estonia, June 11-12, 2018, Selected papers

International Workshop on Enterprise and Organizational Modeling and Simulation (14th : 2018 : Tallinn, Estonia)

Cham, Switzerland : Springer, 2018

 

2016

Evaluation of novel approaches to software engineering : 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised selected papers

ENASE (Conference) (11th : 2016 : Rome, Italy)

Cham, Switzerland : Springer, 2016

 

2018

Formal methods for industrial critical systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

International Workshop on Formal Methods for Industrial Critical Systems (23rd : 2018 : Maynooth, Ireland)

Cham, Switzerland : Springer, 2018

 

2017

Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

FORMATS (Conference) (15th : 2017 : Berlin, Germany)

Cham : Springer International Publishing, 2017

 

2018

Formal modeling and analysis of timed systems : 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings

FORMATS (Conference) (16th : 2018 : Beijing, China)

Cham, Switzerland : Springer, 2018

 

2017

Formal techniques for safety-critical systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised selected papers

FTSCS (Workshop) (5th : 2016 : Tokyo, Japan)

Cham, Switzerland : Springer, 2017

 

2016

Formal techniques for safety-critical systems : fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised selected papers

FTSCS (Workshop) (4th : 2015 : Paris, France)

Cham : Springer, 2016

 

2016

Geo-informatics in resource management and sustainable ecosystem : third International Conference, GRMSE 2015, Wuhan, China, October 16-18, 2015. Proceedings

GRMSE (Conference) (3rd : 2015 : Wuhan, China)

Heidelberg : Springer, 2016

 

2017

Geo-spatial knowledge and intelligence : 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised s

GRMSE (Conference) (4th : 2016 : Hong Kong, China)

Singapore : Springer, 2017

 

2017

Geo-spatial knowledge and intelligence : 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised s

GRMSE (Conference) (4th : 2016 : Hong Kong, China)

Singapore : Springer, 2017

 

2019

Handbook of model predictive control

Cham, Switzerland : Birkhäuser, [2019]

 

2015

Handbook of simulation optimization

New York : Springer Science and Business Media, [2015]

 

2016

High performance computer applications : 6th International Conference, ISUM 2015, Mexico City, Mexico, March 9-13, 2015, revised selected papers

ISUM (Conference) (6th : 2015 : Mexico City, Mexico)

Switzerland : Springer, 2016

 

2018

Highlights of practical applications of agents, multi-agent systems, and complexity : the PAAMS collection : International Workshops of PAAMS 2018, Toledo, Spain, June 20-22, 2018, Proceedings

International Conference on Practical Applications of Agents and Multiagent Systems (16th : 2018 : Toledo, Spain)

Cham, Switzerland : Springer, 2018

 

2016

Highlights of practical applications of scalable multi-agent systems : the PAAMS collection : International Workshops of PAAMS 2016, Sevilla, Spain, June 1-3, 2016. Proceedings

Switzerland : Springer, 2016