Limit Search Results
Author
SpringerLink (Online service)
(79)
Li, Bo. editor.
(4)
Chen, Qianbin. editor.
(2)
Chockler, Hana. editor. (orcid)0000-0003-1219-0713
(2)
Gu, Xuemai. editor.
(2)
Language
Subject
Computer simulation.
(79)
Computer science.
(30)
Artificial intelligence.
(27)
Software engineering.
(25)
Computer Communication Networks.
(17)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
83 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Oscillator design and computer simulation
Oscillator design and computer simulation
Author 
Rhea, Randall W.
Preferred Shelf Number 
TK 7872.O7 R54 1995
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Analysis and Simulation of Electrical and Computer Systems
Analysis and Simulation of Electrical and Computer Systems
Author 
Mazur, Damian. editor. Gołębiowski, Marek. editor. Korkosz, Mariusz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63949-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Computational modelling and simulation of aircraft and the environment
Computational modelling and simulation of aircraft and the environment
Author 
Diston, Dominic J.
Preferred Shelf Number 
ONLINE
Electronic Access 
Books24x7 http://www.books24x7.com/marc.asp?bookid=33686
John Wiley http://dx.doi.org/10.1002/9780470744130
http://site.ebrary.com/lib/alltitles/Doc?id=10313614
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Wireless Internet 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings
Wireless Internet 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings
Author 
Li, Cheng. editor. Mao, Shiwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90802-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings
From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings
Author 
Manoonpong, Poramate. editor. (orcid)0000-0002-4806-7576 Larsen, Jørgen Christian. editor. (orcid)0000-0002-4741-8290 Xiong, Xiaofeng. editor. Hallam, John. editor. Triesch, Jochen. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-97628-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Author 
Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01090-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Modeling Discrete-Event Systems with GPenSIM An Introduction
Modeling Discrete-Event Systems with GPenSIM An Introduction
Author 
Davidrajuh, Reggie. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73102-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Enterprise and Organizational Modeling and Simulation 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11–12, 2018, Selected Papers
Enterprise and Organizational Modeling and Simulation 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11–12, 2018, Selected Papers
Author 
Pergl, Robert. editor. (orcid)0000-0003-2980-4400 Babkin, Eduard. editor. (orcid)0000-0003-2597-9043 Lock, Russell. editor. (orcid)0000-0002-4543-3753 Malyzhenkov, Pavel. editor. (orcid)0000-0003-1973-5026 Merunka, Vojtěch. editor. (orcid)0000-0002-9056-1439
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00787-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Author 
Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96145-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Handbook of Dynamic Data Driven Applications Systems
Handbook of Dynamic Data Driven Applications Systems
Author 
Blasch, Erik. editor. Ravela, Sai. editor. Aved, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95504-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Simulations for Design and Manufacturing Select Papers from AIMTDR 2016
Simulations for Design and Manufacturing Select Papers from AIMTDR 2016
Author 
Dixit, Uday S. editor. Kant, Ravi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-8518-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for 5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings
5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings
Author 
Long, Keping. editor. Leung, Victor C.M. editor. Zhang, Haijun. editor. Feng, Zhiyong. editor. Li, Yonghui. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72823-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets