Search

Subject Computer simulation

371. Intelligent computing, networked control, and their engineering applications. International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings /: International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings. Part II : (2017)

Editors:
Yue, Dong; Peng, Chen; Du, Dajun; Zhang, Tengfei; Zheng, Min; Han, Qinglong
Other Names:
International Conference on Life System Modeling and Simulation; International Conference on Intelligent Computing for Sustainable Energy and Environment
Record Type:
Book
Extent:
1 online resource (xix, 717 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

373. Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014 and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers /: 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014 and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers. (2016)

Authors:
Lamprecht, Anna-Lena
Other Names:
ISoLA (Symposium), 6th; ISoLA (Symposium), 5th
Record Type:
Book
Extent:
1 online resource (157 pages)
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

375. 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 /: The PAAMS collection : International Workshops of PAAMS 2018, Toledo, Spain, June 20-22, 2018, Proceedings. (2018)

Editors:
Bajo Pérez, Javier
Other Names:
International Conference on Practical Applications of Agents and Multiagent Systems, 16th
Record Type:
Book
Extent:
1 online resource (xxiii, 552 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

376. 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 for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings /: International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings. Part I : (2017)

Editors:
Fei, Minrui; Ma, Shiwei; (Computer engineer), Li, Xin; Sun, Xin; Jia, Li; (Telecommunications engineer), Su, Zhou
Other Names:
International Conference on Life System Modeling and Simulation; International Conference on Intelligent Computing for Sustainable Energy and Environment
Record Type:
Book
Extent:
1 online resource (xviii, 609 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

377. Software technologies : 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised selected papers /: 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised selected papers. (2017)

Editors:
Cabello, Enrique; Cardoso, Jorge, 1970-; Ludwig, André; Maciaszek, Leszek; Sinderen, Marten J. van, 1958-
Other Names:
ICSOFT (Conference), 11th
Record Type:
Book
Extent:
1 online resource (xiv, 359 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

378. Parallel computational technologies : 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised selected papers /: 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised selected papers. (2017)

Editors:
Sokolinsky, Leonid; Zymbler, Mikhail
Other Names:
International Conference on Parallel Computational Technologies, 11th
Record Type:
Book
Extent:
1 online resource (xiii, 348 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

379. Software process improvement and capability determination : 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017, Proceedings /: 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017, Proceedings. (2017)

Editors:
Mas, Antonia; Mesquida, Antoni; O'Connor, Rory V; Rout, Terry; Dorling, Alec
Other Names:
SPICE (Conference), 17th
Record Type:
Book
Extent:
1 online resource (xii, 530 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

380. 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 selected papers /: 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised selected papers. Part II : (2017)

Editors:
Yuan, Hanning; Geng, Jing; Bian, Fuling
Other Names:
GRMSE (Conference), 4th
Record Type:
Book
Extent:
1 online resource (l, 497 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗