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
English
(102)
Subject
Computer simulation.
(80)
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
Select an Action
102 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Life sciences, information sciences
Life sciences, information sciences
Author 
Colloque de Cerisy (2016 September 17-24 : Cerisy-la-Salle, France), author. Gaudin, Thierry, editor. Lacroix, Dominique, editor. Maurel, Marie-Christine, editor. Pomerol, Jean-Charles, editor.
Preferred Shelf Number 
QH301
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452713
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Analog automation and digital feedback control techniques
Analog automation and digital feedback control techniques
Author 
Mbihi, Jean.
Preferred Shelf Number 
TJ213
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452836
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Statistical analysis of ecotoxicity studies
Statistical analysis of ecotoxicity studies
Author 
Green, John William, 1943- author. Springer, Timothy A., 1948 March 3- author. Holbech, Henrik, 1969- author.
Preferred Shelf Number 
QH541.15 .T68
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119488798
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Applied chemoinformatics : achievements and future opportunities
Applied chemoinformatics : achievements and future opportunities
Author 
Engel, Thomas, Dr., editor. Gasteiger, J. (Johann), editor.
Preferred Shelf Number 
QD39.3 .E46 A66 2018 EB
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527806539
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Communication systems principles using MATLAB
Communication systems principles using MATLAB
Author 
Leis, John, 1966- author.
Preferred Shelf Number 
TK5105 .L45 2018
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119470663
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for An introduction to cyber modeling and simulation
An introduction to cyber modeling and simulation
Author 
Couretas, Jerry M., 1966- author.
Preferred Shelf Number 
QA76.9 .C65
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119420842
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Virtual World Design.
Virtual World Design.
Author 
Cudworth, Ann Latham, author. CRC Press LLC.
Preferred Shelf Number 
QA76.9 .C65 C83 2017
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429187384
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
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:
21. 
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:
22. 
Cover image for Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Author 
Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71734-0
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Engineering Simulations as Scientific Instruments: A Pattern Language With Kieran Alden, Paul S. Andrews, James L. Bown, Alastair Droop, Richard B. Greaves, Mark Read, Adam T. Sampson, Jon Timmis, Alan F.T. Winfield
Engineering Simulations as Scientific Instruments: A Pattern Language With Kieran Alden, Paul S. Andrews, James L. Bown, Alastair Droop, Richard B. Greaves, Mark Read, Adam T. Sampson, Jon Timmis, Alan F.T. Winfield
Author 
Stepney, Susan. author. Polack, Fiona A.C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01938-9
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for The Test and Launch Control Technology for Launch Vehicles
The Test and Launch Control Technology for Launch Vehicles
Author 
Song, Zhengyu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-8712-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action