2016

Leveraging applications of formal methods, verification and validation : foundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings.

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

Cham, Switzerland : Springer, 2016

 

2012

AsiaSim 2012 : Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012, Proceedings.

Asia Simulation Conference (2012 : Shanghai, China)



 

2006

Scientific visualization : the visual extraction of knowledge from data

 

2019

Human-computer interaction - INTERACT 2019 : 17th IFIP TC 13 international conference, Paphos, Cyprus, September 2-6, 2019 : proceedings.

International Conference on Human-Computer Interaction (International Federation for Information Processing) (17th : 2019 : Paphos, Cyprus)

Cham : Springer, [2019]

 

2002

Proceedings of the International Conference on Scientific & Engineering Computation (IC-SEC) 2002 : recent advances in computational science & engineering : 3-5 December 2002, Raffles City Convention

International Conference on Scientific & Engineering Computation (2002 : Singapore)



 

2017

Interactive storytelling : 10th International Conference on Interactive Digital Storytelling, ICIDS 2017 Funchal, Madeira, Portugal, November 14-17, 2017, Proceedings

Joint International Conference on Interactive Digital Storytelling (10th : 2017 : Funchal, Madeira Islands)

Cham, Switzerland : Springer, 2017

 

2009

Learning online with games, simulations, and virtual worlds : strategies for online instruction

Aldrich, Clark, 1967- author.
First edition
San Francisco, CA : Jossey-Bass, A Wiley Imprint, [2009]

 

2024

RoboCup 2023 : Robot World Cup XXVI

RoboCup (Conference) (26th : 2023 : Bordeaux, France)

Cham : Springer, 2024

 

1999

Proceedings

International Workshop on Distributed Interactive Simulation and Real Time Applications

Los Alamitos, Calif. : IEEE Computer Society Press ; [1997-©1999]

 

2006

Testing and modelling to obtain material behaviour for crash simulations

Odin, Jey.

[Place of publication not identified] : [publisher not identified], 2006

Request It 

2008

Intelligent agents and multi-agent systems : 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008 : proceedings

Pacific Rim International Conference on Multi-Agents (11th : 2008 : Hanoi, Vietnam)



 

2021

Advances in parallel & distributed processing, and applications : proceedings from PDPTA'20, CSC'20, MSV'20, and GCC'20

International Conference on Parallel and Distributed Processing Techniques and Applications (26th : 2020 : Las Vegas, Nev. ; Online)

Cham, Switzerland : Springer, 2021

 

2015

Science Fiction and Philosophy : From Time Travel to Superintelligence

Schneider, Susan
2nd ed


 

2013

Advances in sustainable and competitive manufacturing systems : 23rd International Conference on Flexible Automation and Intelligent Manufacturing

International FAIM Conference (23rd : 2013 : Porto, Portugal)



 

2010

Mastering the Art of Equity Trading Through Simulation, + Web-Based Software : the TraderEx Course

Schwartz, Robert A



 

2019

Computational methods in systems biology : 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings

CMSB (Conference) (17th : 2019 : Trieste, Italy)

Cham, Switzerland : Springer, 2019

 

2011

Information quality in e-Health : 7th Conference of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2011, Graz, Austria, November 25-26, 2011.

USAB (Symposium) (7th : 2011 : Graz, Austria)



 

2015

Curves and surfaces : 8th International Conference, Paris, France, June 12-18, 2014, Revised selected papers

International Conference on Curves and Surfaces (8th : 2014 : Paris, France)

Cham : Springer, 2015

 

2012

Medical image computing and computer-assisted intervention--MICCAI 2012. 15th International Conference, Nice, France, October 1-5, 2012, Proceedings

International Conference on Medical Image Computing and Computer-Assisted Intervention (15th : 2012 : Nice, France)



 

2014

MultiMedia modeling : 20th Anniversary International Conference, MMM 2014, Dublin, Ireland, January 6-10, 2014, Proceedings.

International Conference on Multi-Media Modeling (2014 : Dublin, Ireland)

Cham : Springer, 2014

 

1996

Visualization in Biomedical Computing : 4th International Conference, VBC'96 Hamburg, Germamy, September 22-25, 1996 Proceedings

 

2017

Virtual, augmented and mixed reality : 9th International Conference, VAMR 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, proceedings

VAMR (Conference) (9th : 2017 : Vancouver, B.C.)

Cham, Switzerland : Springer, [2017]

 

2023

Proceedings of the 4th International Conference on Big Data Analytics for Cyber-Physical System in Smart City. BDCPS 2022, December 16-17, 2022, Bangkok, Thailand

Big Data Analytics for Cyber-Physical System in Smart City (Conference) (4th : 2022 : Online)

Singapore : Springer, 2023

 

2010

Advances in social computing : third International Conference on Social Computing, Behavioral Modeling, and Prediction, SBP 2010, Bethesda, MD, USA, March 30-31, 2010 : proceedings

International Conference on Social Computing, Behavioral Modeling and Prediction (3rd : 2010 : Betheda, Md.)



 

2013

Learning basic genetics with interactive computer programs

Tseng, Charles C



 

2013

Intelligent Instruction Computer : Theory And Practice

Farr, Marshall J



 

2019

Interactive storytelling : 12th International Conference on Interactive Digital Storytelling, ICIDS 2019, Little Cottonwood Canyon, UT, USA, November 19-22, 2019, proceedings

Joint International Conference on Interactive Digital Storytelling (12th : 2019 : Little Cottonwood Canyon, Salt Lake County, Utah)

Cham, Switzerland : Springer, [2019]

 

2018

Advances in practical applications of agents, multi-agent systems, and complexity : the PAAMS Collection : 16th International Conference, 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

 

2013

Information computing and applications : 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013, revised selected papers.

ICICA (Conference) (4th : 2013 : Singapore)

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint : Springer, 2013

 

2023

Computer-human interaction research and applications : 7th International Conference, CHIRA 2023, Rome, Italy, November 16-17, 2023, proceedings.

CHIRA (Conference) (7th : 2023 : Rome, Italy)

Cham : Springer, [2023]

 

2007

User modeling 2007 : 11th international conference, UM 2007, Corfu, Greece, June 25-29, 2007 : proceedings

International Conference on User Modeling (11th : 2007 : Kerkyra, Greece)



 

2014

Hybrid Simulation : Theory, Implementation and Applications

Saouma, Victor



 

2010

Processor and system-on-chip simulation

 

2008

Computer supported cooperative work in design IV : 11th international conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007 : revised selected papers

International Conference on Computer Supported Cooperative Work in Design (11th : 2007 : Melbourne, Vic.)



 

2018

Learning Jupyter 5 : explore interactive computing using Python, Java, JavaScript, R, Julia, and JupyterLab

Toomey, Dan, author
Second edition
Birmingham, UK : Packt Publishing, 2018

 

2011

Applications of evolutionary computation : EvoApplications 2011 : EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, Torino, Italy, April 27-29, 2011, proceedings.

EvoApplications (Conference) (2011 : Turin, Italy)



 

2015

Learning Axure RP interactive prototypes : a practical, step-by-step guide to creating engaging prototypes with Axure

Krahenbuhl, John Henry, author.

Birmingham, England : Packt Publishing, 2015

 

2018

Intelligent transport systems -- from research and development to the market uptake : first International Conference, INTSYS 2017, Hyvinkää, Finland, November 29-30, 2017, Proceedings

International Conference on Intelligent Transport Systems (1st : 2017 : Hyvinkää, Finland)

Cham, Switzerland : Springer, 2018

 

2010

Advances in practical applications of agents and multiagent systems : 8th International Conference on the Practical Applications of Intelligent Agents and Multi-Agent Systems (PAAMS 2010)

International Conference on the Practical Application of Intelligent Agents and Multi-Agent Systems (8th : 2010 : University of Salamanca, Spain)



 

2013

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

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



 

2020

Auralization : fundamentals of acoustics, modelling, simulation, algorithms and acoustic virtual reality

Vorländer, Michael.
Second edition


 

2010

Advances in cryptology--CRYPTO 2010 : 30th annual cryptology conference, Santa Barbara, CA, USA, August 15-19, 2010 : proceedings

CRYPTO (Conference) (30th : 2010 : Santa Barbara, Calif.)



 

2020

Entertainment computing -- ICEC 2020 : 19th IFIP TC 14 International Conference, ICEC 2020, Xi'an, China, November 10-13, 2020, Proceedings

ICEC (Conference) (19th : 2020 : Online)



 

2008

Earthquakes : simulations, sources, and tsunamis

 

2012

Advanced technology in teaching : selected papers from the 2012 International Conference on Teaching and Computational Science (ICTCS 2012)

International Conference on Teaching and Computational Science (2012 : Macau, China)



 

2017

Transactions on edutainment XIII

Berlin, Germany : Springer, 2017

 

2019

Summer of simulation : 50 years of seminal computer simulation research

Cham, Switzerland : Springer, 2019

 

2012

Advances in new technologies, interactive interfaces and communicability : second International Conference, ADNTIIC 2011, Huerta Grande, Argentina, December 5-7, 2011 : revised selected papers

ADNTIIC 2011 (2011 : Huerta Grande, Argentina)



 

2012

Modeling psychophysical data in R

Knoblauch, K. (Kenneth)

New York, NY : Springer, ©2012

 

2015

Distributed, ambient, and pervasive interactions : 4th International Conference, DAPI 2016, held as a part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, proceedings

DAPI (Conference) (4th : 2016 : Toronto, Ont.)

Cham : Springer, 2015