Search Results for Simulation.

1.

Author

Henderson, Shane G. Nelson, Barry L.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect An electronic book accessible through the World Wide Web; click for information
ScienceDirect http://www.sciencedirect.com/science/handbooks/09270507

Format:

Availability

Online Library~1

Available:
Copies:

2.

Simulation

Author

Ross, Sheldon M.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780124158252

Format:

Availability

Online Library~1

Available:
Copies:

3.

Simulation

Author

Ross, Sheldon M.

Preferred Shelf Number

ONLINE(312914.1)

Electronic Access

Knovel http://app.knovel.com/web/toc.v/cid:kpSE000016

Format:

Availability

Online Library~1

Available:
Copies:

4.

Crowd Simulation

Author

Thalmann, Daniel. author. Musse, Soraia Raupp. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330982.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4450-2

Format:

Availability

Online Library~1

Available:
Copies:

5.

Crowd Simulation

Author

Thalmann, Daniel. author. Musse, Soraia Raupp. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-825-8

Format:

Availability

Online Library~1

Available:
Copies:

6.

OPNET IoT Simulation

Author

Chen, Min. author. Miao, Yiming. author. Humar, Iztok. author. (orcid)0000-0002-4940-3500 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-32-9170-6

Format:

Availability

Online Library~1

Available:
Copies:

7.

Simulation with Arena

Author

Kelton, W. David. Sadowski, Randall P. Zupick, Nancy B.

Preferred Shelf Number

QA76.9.C65 K45 2015

Format:

Availability

Beytepe Library~1

Available:
Copies:

8.

Simulation using ProModel

Author

Harrell, Charles, 1950- Ghosh, Biman K. Bowden, Royce.

Preferred Shelf Number

QA76.9.C65 H355 2012

Format:

Availability

Beytepe Library~1

Available:
Copies:

9.

Simulation with Arena

Author

Kelton, W. David. Sadowski, Randall P. Swets, Nancy B.

Preferred Shelf Number

QA76.9.C65 K45 2010

Format:

Availability

Beytepe Library~1

Available:
Copies:

10.

Quantum Circuit Simulation

Author

Viamontes, George F. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-3065-8

Format:

Availability

Online Library~1

Available:
Copies:

11.

Continuous System Simulation

Author

Cellier, François E. author. Kofman, Ernesto. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-30260-3

Format:

Availability

Online Library~1

Available:
Copies:

12.

Comprehensive Healthcare Simulation: Neurosurgery

Author

Alaraj, Ali. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-75583-0

Format:

Availability

Online Library~1

Available:
Copies:

13.

Modeling, Simulation, and Optimization

Author

Vasant, Pandian. editor. Litvinchev, Igor. editor. Marmolejo-Saucedo, José Antonio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-70542-2

Format:

Availability

Online Library~1

Available:
Copies:

14.

Interactive dynamic-system simulation

Author

Korn, Granino A. (Granino Arthur), 1922-

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

15.

Knowledge-based simulation : methodology and application

Author

Fishwick, Paul A. Modjeski, Richard B.

Preferred Shelf Number

QA76.9.C65 K65 1990

Format:

Availability

Health Sciences Library~1

Available:
Copies:

16.

Intelligent Control Design and MATLAB Simulation

Author

Liu, Jinkun. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-5263-7

Format:

Availability

Online Library~1

Available:
Copies:

17.

Modeling and Simulation in Industrial Engineering

Author

Ram, Mangey. editor. Davim, J. Paulo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-60432-9

Format:

Availability

Online Library~1

Available:
Copies:

18.

Simulation diskreter Prozesse Methoden und Anwendungen

Author

Hedtstück, Ulrich. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337144.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-34871-6

Format:

Availability

Online Library~1

Available:
Copies:

19.

Drehstrommaschinen im Inselbetrieb Modellbildung - Parametrierung - Simulation

Author

Mrugowsky, Hartmut. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(338322.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-2136-2

Format:

Availability

Online Library~1

Available:
Copies:

20.

Computer Simulation of Thermal Plant Operations

Author

O'Kelly, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331461.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-4256-1

Format:

Availability

Online Library~1

Available:
Copies:

21.

Modellbildung und Simulation Eine anwendungsorientierte Einführung

Author

Bungartz, Hans-Joachim. author. Zimmer, Stefan. author. Buchholz, Martin. author. Pflüger, Dirk. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337284.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37656-6

Format:

Availability

Online Library~1

Available:
Copies:

22.

Direct and Large-Eddy Simulation VIII

Author

Kuerten, Hans. editor. Geurts, Bernard. editor. Armenio, Vincenzo. editor. Fröhlich, Jochen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-2482-2

Format:

Availability

Online Library~1

Available:
Copies:

23.

Conceptual modeling for discrete-event simulation

Author

Robinson, Stewart, 1964-

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

24.

Modeling and Tools for Network Simulation

Author

Wehrle, Klaus. editor. Güneş, Mesut. editor. Gross, James. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-12331-3

Format:

Availability

Online Library~1

Available:
Copies:

25.

Modellbildung und Simulation Eine anwendungsorientierte Einführung

Author

Bungartz, Hans-Joachim. author. Zimmer, Stefan. author. Buchholz, Martin. author. Pflüger, Dirk. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-79810-1

Format:

Availability

Online Library~1

Available:
Copies:

26.

Multi-agent systems simulation and applications

Author

Uhrmacher, Adelinde. Weyns, Danny.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

27.

Agent-directed simulation and systems engineering

Author

Yilmaz, Levent, 1971- Ören, Tuncer I. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=481737
John Wiley http://dx.doi.org/10.1002/9783527627783

Format:

Availability

Online Library~1

Available:
Copies:

28.

New Algorithms for Macromolecular Simulation

Author

Leimkuhler, Benedict. editor. Chipot, Christophe. editor. Elber, Ron. editor. Laaksonen, Aatto. editor. Mark, Alan. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-31618-3

Format:

Availability

Online Library~1

Available:
Copies:

29.

Modeling and Simulation in Scilab/Scicos

Author

Campbell, Stephen L. author. Chancelier, Jean-Philippe. author. Nikoukhah, Ramine. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-30486-X

Format:

Availability

Online Library~1

Available:
Copies:

30.

Agent-Based Modeling Meets Gaming Simulation

Author

Arai, Kiyoshi. Deguchi, Hiroshi. Matsui, Hiroyuki. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/4-431-29427-9

Format:

Availability

Online Library~1

Available:
Copies:

31.

Object-oriented simulation reusability, adaptability, maintainability

Author

Zobrist, George W. (George Winston), 1934- Leonard, James V.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263105

Format:

Availability

Online Library~1

Available:
Copies:

32.

Systems modeling and computer simulation

Author

Kheir, Naim A., 1933- ed.

Preferred Shelf Number

QA 76.9.C65 S975 1996

Format:

Availability

Beytepe Library~1

Available:
Copies:

33.

Modelling and Simulation Exploring Dynamic System Behaviour

Author

Birta, Louis G. author. Arbez, Gilbert. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-18869-6

Format:

Availability

Online Library~1

Available:
Copies:

34.

Multiphysics Simulation Electromechanical System Applications and Optimization

Author

Dede, Ercan M. author. Lee, Jaewook. author. Nomura, Tsuyoshi. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4471-5640-6

Format:

Availability

Online Library~1

Available:
Copies:

35.

Modelling and Simulation Exploring Dynamic System Behaviour

Author

Birta, Louis G. author. Arbez, Gilbert. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330882.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-2783-3

Format:

Availability

Online Library~1

Available:
Copies:

36.

Comprehensive Healthcare Simulation: Operations, Technology, and Innovative Practice

Author

Crawford, Scott B. editor. Baily, Lance W. editor. Monks, Stormy M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-15378-6

Format:

Availability

Online Library~1

Available:
Copies:

37.

System simulation techniques with MATLAB and Simulink

Author

Xue, Dingyü. Chen, YangQuan, 1966-

Preferred Shelf Number

T57.62 X84 2014

Format:

Availability

Beytepe Library~1

Available:
Copies:

38.

Discrete and continuous simulation : theory and practice

Author

Bandyopadhyay, Susmita, author. Bhattacharya, Ranjan, author.

Preferred Shelf Number

ONLINE(356664.1)

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

39.

Haptic Rendering for Simulation of Fine Manipulation

Author

Wang, Dangxiao. author. Xiao, Jing. author. Zhang, Yuru. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-44949-3

Format:

Availability

Online Library~1

Available:
Copies:

40.

Systems Biology Integrative Biology and Simulation Tools

Author

Prokop, Aleš. editor. Csukás, Béla. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336324.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-6803-1

Format:

Availability

Online Library~1

Available:
Copies:

41.

Simulation and Learning A Model-Centered Approach

Author

Landriscina, Franco. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331291.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-1954-9

Format:

Availability

Online Library~1

Available:
Copies:

42.

Large-scale simulation models, algorithms, and applications

Author

Chen, Dan, 1973- Wang, Lizhe, 1974- Chen, Jingying, 1973 -

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

43.

Nonsmooth Modeling and Simulation for Switched Circuits

Author

Acary, Vincent. author. Bonnefon, Olivier. author. Brogliato, Bernard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-9681-4

Format:

Availability

Online Library~1

Available:
Copies:

44.

Enabling a Simulation Capability in the Organisation

Author

Greasley, Andrew. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-169-5

Format:

Availability

Online Library~1

Available:
Copies:

45.

Smart Driver Training Simulation Save Money. Prevent.

Author

Käppler, Wolf Dieter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-77070-1

Format:

Availability

Online Library~1

Available:
Copies:

46.

Modelling and Simulation Exploring Dynamic System Behaviour

Author

Birta, Louis G. author. Arbez, Gilbert. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-622-3

Format:

Availability

Online Library~1

Available:
Copies:

47.

Advancing Social Simulation: The First World Congress

Author

Takahashi, Shingo. editor. Sallach, David. editor. Rouchier, Juliette. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-4-431-73167-2

Format:

Availability

Online Library~1

Available:
Copies:

48.

Computer Simulation Validation Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives

Author

Beisbart, Claus. editor. Saam, Nicole J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-70766-2

Format:

Availability

Online Library~1

Available:
Copies:

49.

Summer of Simulation 50 Years of Seminal Computer Simulation Research

Author

Sokolowski, John. editor. Durak, Umut. editor. Mustafee, Navonil. editor. Tolk, Andreas. editor. (orcid)0000-0002-4201-8757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-17164-3

Format:

Availability

Online Library~1

Available:
Copies:

50.

Introduction to Transportation Analysis, Modeling and Simulation Computational Foundations and Multimodal Applications

Author

Möller, Dietmar P.F. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4471-5637-6

Format:

Availability

Online Library~1

Available:
Copies:

51.

Modelling and Simulation of Diffusive Processes Methods and Applications

Author

Basu, S.K. editor. Kumar, Naveen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-05657-9

Format:

Availability

Online Library~1

Available:
Copies:

52.

Guide to Modeling and Simulation of Systems of Systems

Author

Zeigler, Bernard P. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330586.1)

Electronic Access

http://dx.doi.org/10.1007/978-0-85729-865-2

Format:

Availability

Online Library~1

Available:
Copies:

53.

Co-designers cultures of computer simulation in architecture

Author

Loukissas, Yanni A. (Yanni Alexander)

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

54.

Circuit Simulation with SPICE OPUS Theory and Practice

Author

Tuma, Tadej. author. Buermen, Árpád. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-4867-1

Format:

Availability

Online Library~1

Available:
Copies:

55.

Mathematical modeling and simulation introduction for scientists and engineers

Author

Velten, Kai. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=482349
John Wiley http://dx.doi.org/10.1002/9783527627608
http://swb.eblib.com/patron/FullRecord.aspx?p=482349

Format:

Availability

Online Library~1

Available:
Copies:

56.

Modeling and simulation : the computer science of illusion

Author

Raczynski, Stanislaw.

Preferred Shelf Number

ONLINE

Electronic Access

Wiley Online Library

Format:

Availability

Online Library~1

Available:
Copies:

57.

Simulation for Industry 4.0 Past, Present, and Future

Author

Gunal, Murat M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-04137-3

Format:

Availability

Online Library~1

Available:
Copies:

58.

Recent Advances in Network Simulation The OMNeT++ Environment and its Ecosystem

Author

Virdis, Antonio. editor. Kirsche, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-12842-5

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Modelling and Simulation in Science, Technology and Engineering Mathematics Proceedings of the International Conference on Modelling and Simulation (MS-17)

Modelling and Simulation in Science, Technology and Engineering Mathematics Proceedings of the International Conference on Modelling and Simulation (MS-17)

Author

Chattopadhyay, Surajit. editor. Roy, Tamal. editor. Sengupta, Samarjit. editor. Berger-Vachon, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-74808-5

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Modelling and Simulation for Autonomous Systems 5th International Conference, MESAS 2018, Prague, Czech Republic, October 17–19, 2018, Revised Selected papers

Modelling and Simulation for Autonomous Systems 5th International Conference, MESAS 2018, Prague, Czech Republic, October 17–19, 2018, Revised Selected papers

Author

Mazal, Jan. editor. (orcid)0000-0001-5741-558X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-14984-0

Format:

Availability

Online Library~1

Available:
Copies:

61.

Cover image for Methods and Applications for Modeling and Simulation of Complex Systems 19th Asia Simulation Conference, AsiaSim 2019, Singapore, October 30 – November 1, 2019, Proceedings

Methods and Applications for Modeling and Simulation of Complex Systems 19th Asia Simulation Conference, AsiaSim 2019, Singapore, October 30 – November 1, 2019, Proceedings

Author

Tan, Gary. editor. Lehmann, Axel. editor. Teo, Yong Meng. editor. Cai, Wentong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-15-1078-6

Format:

Availability

Online Library~1

Available:
Copies:

62.

Simulation Tools and Techniques 11th International Conference, SIMUtools 2019, Chengdu, China, July 8–10, 2019, Proceedings

Author

Song, Houbing. editor. Jiang, Dingde. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-32216-8

Format:

Availability

Online Library~1

Available:
Copies:

63.

Cover image for Intersections in Simulation and Gaming: Disruption and Balance Third Australasian Simulation Congress, ASC 2019, Gold Coast, Australia, September 2–5, 2019, Proceedings

Intersections in Simulation and Gaming: Disruption and Balance Third Australasian Simulation Congress, ASC 2019, Gold Coast, Australia, September 2–5, 2019, Proceedings

Author

Naweed, Anjum. editor. (orcid)0000-0002-5534-4295 Bowditch, Lorelle. editor. Sprick, Cyle. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-32-9582-7

Format:

Availability

Online Library~1

Available:
Copies:

64.

Simulation Science First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers

Author

Baum, Marcus. editor. Brenner, Gunther. editor. Grabowski, Jens. editor. Hanschke, Thomas. editor. Hartmann, Stefan. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-96271-9

Format:

Availability

Online Library~1

Available:
Copies:

65.

Cover image for Methods and Applications for Modeling and Simulation of Complex Systems 18th Asia Simulation Conference, AsiaSim 2018, Kyoto, Japan, October 27–29, 2018, Proceedings

Methods and Applications for Modeling and Simulation of Complex Systems 18th Asia Simulation Conference, AsiaSim 2018, Kyoto, Japan, October 27–29, 2018, Proceedings

Author

Li, Liang. editor. Hasegawa, Kyoko. editor. Tanaka, Satoshi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-2853-4

Format:

Availability

Online Library~1

Available:
Copies:

66.

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:

67.

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:

68.

Multi-Agent Based Simulation XVIII International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers

Author

Dimuro, Graçaliz Pereira. editor. (orcid)0000-0001-6986-9888 Antunes, Luis. editor. (orcid)0000-0002-8237-6524 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91587-6

Format:

Availability

Online Library~1

Available:
Copies:

69.

Cover image for Modelling and Simulation for Autonomous Systems 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers

Modelling and Simulation for Autonomous Systems 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers

Author

Mazal, Jan. editor. (orcid)0000-0001-5741-558X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-76072-8

Format:

Availability

Online Library~1

Available:
Copies:

70.

Numerical Simulation of the Aerodynamics of High-Lift Configurations

Author

López Mejia, Omar Darío. editor. (orcid)0000-0001-6795-9396 Escobar Gomez, Jaime A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-62136-4

Format:

Availability

Online Library~1

Available:
Copies:

71.

Cover image for Advances in Human Factors in Simulation and Modeling Proceedings of the AHFE 2017 International Conference on Human Factors in Simulation and Modeling, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

Advances in Human Factors in Simulation and Modeling Proceedings of the AHFE 2017 International Conference on Human Factors in Simulation and Modeling, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

Author

Cassenti, Daniel N. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-60591-3

Format:

Availability

Online Library~1

Available:
Copies:

72.

Principles of object oriented modeling and simulation with Modelica 3.3 : a cyber-physical approach

Author

Fritzson, Peter A., 1952-

Preferred Shelf Number

ONLINE(342108.1)

Electronic Access

ebrary An electronic book accessible through the World Wide Web; click to view
John Wiley http://dx.doi.org/10.1002/9781118989166

Format:

Availability

Online Library~1

Available:
Copies:

73.

Simulation technologies in networking and communications : selecting the best tool for the test

Author

Pathan, Al-Sakib Khan, editor. Monowar, Muhammad Mostafa, editor. Khan, Shafiullah, editor.

Preferred Shelf Number

ONLINE(357100.1)

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

74.

Handbook of Parallel and distributed simulation systems : Analysis and applications

Author

Takahashi N. W.

Preferred Shelf Number

QA76.9.C65 F84 2014 V.1

Format:

Availability

Beytepe Library~2

Available:
Copies:

75.

Cover image for Life System Modeling and Simulation International Conference on Life System Modeling and Simulation, LSMS 2014, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 2014, Proceedings, Part I

Life System Modeling and Simulation International Conference on Life System Modeling and Simulation, LSMS 2014, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 2014, Proceedings, Part I

Author

Ma, Shiwei. editor. Jia, Li. editor. Li, Xin. editor. Wang, Ling. editor. Zhou, Huiyu. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-45283-7

Format:

Availability

Online Library~1

Available:
Copies:

76.

Simulation of ODE/PDE Models with MATLAB®, OCTAVE and SCILAB Scientific and Engineering Applications

Author

Vande Wouwer, Alain. author. Saucez, Philippe. author. Vilas, Carlos. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-06790-2

Format:

Availability

Online Library~1

Available:
Copies:

77.

Cover image for Intelligent Computing in Smart Grid and Electrical Vehicles International Conference on Life System Modeling and Simulation, LSMS 2014 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 2014, Proceedings, Part Ⅲ

Intelligent Computing in Smart Grid and Electrical Vehicles International Conference on Life System Modeling and Simulation, LSMS 2014 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 2014, Proceedings, Part Ⅲ

Author

Li, Kang. editor. Xue, Yusheng. editor. Cui, Shumei. editor. Qun, Niu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-45286-8

Format:

Availability

Online Library~1

Available:
Copies:

78.

Multi-Agent-Based Simulation XIV International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers

Author

Alam, Shah Jamal. editor. Parunak, H. Van Dyke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54783-6

Format:

Availability

Online Library~1

Available:
Copies:

79.

Cover image for High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013. Revised Selected Papers

High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013. Revised Selected Papers

Author

Jarvis, Stephen A. editor. Wright, Steven A. editor. Hammond, Simon D. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-10214-6

Format:

Availability

Online Library~1

Available:
Copies:

80.

AsiaSim 2014 14th International Conference on Systems Simulation, Kitakyushu, Japan, October 26-30, 2014. Proceedings

Author

Tanaka, Satoshi. editor. Hasegawa, Kyoko. editor. Xu, Rui. editor. Sakamoto, Naohisa. editor. Turner, Stephen John. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-45289-9

Format:

Availability

Online Library~1

Available:
Copies:

81.

Cover image for Simulation, Modeling, and Programming for Autonomous Robots 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings

Simulation, Modeling, and Programming for Autonomous Robots 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings

Author

Brugali, Davide. editor. Broenink, Jan. editor. Kroeger, Torsten. editor. MacDonald, Bruce. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-11900-7

Format:

Availability

Online Library~1

Available:
Copies:

82.

Biomedical Simulation 6th International Symposium, ISBMS 2014, Strasbourg, France, October 16-17, 2014, Proceedings

Author

Bello, Fernando. editor. Cotin, Stéphane. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-12057-7

Format:

Availability

Online Library~1

Available:
Copies:

83.

Quasi-Dimensional Simulation of Spark Ignition Engines From Thermodynamic Optimization to Cyclic Variability

Author

Medina, Alejandro. author. Curto-Risso, Pedro Luis. author. Hernández, Antonio Calvo. author. Guzmán-Vargas, Lev. author. Angulo-Brown, Fernando. author.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4471-5289-7

Format:

Availability

Online Library~1

Available:
Copies:

84.

Simulation of Urban Mobility First International Conference, SUMO 2013, Berlin, Germany, May 15-17, 2013. Revised Selected Papers

Author

Behrisch, Michael. editor. Krajzewicz, Daniel. editor. Weber, Melanie. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-45079-6

Format:

Availability

Online Library~1

Available:
Copies:

85.

Cover image for Modelling and Simulation for Autonomous Systems First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers

Modelling and Simulation for Autonomous Systems First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers

Author

Hodicky, Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-13823-7

Format:

Availability

Online Library~1

Available:
Copies:

86.

Real-time simulation technologies principles, methodologies, and applications

Author

Popovici, Katalin. Mosterman, Pieter J.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

87.

Cover image for Annual Dynamics of Daylight Variability and Contrast A Simulation-Based Approach to Quantifying Visual Effects in Architecture

Annual Dynamics of Daylight Variability and Contrast A Simulation-Based Approach to Quantifying Visual Effects in Architecture

Author

Rockcastle, Siobhan. author. Andersen, Marilyne. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331178.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-5233-0

Format:

Availability

Online Library~1

Available:
Copies:

88.

Cover image for Sustained Simulation Performance 2013 Proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2013

Sustained Simulation Performance 2013 Proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2013

Author

Resch, Michael M. editor. Bez, Wolfgang. editor. Focht, Erich. editor. Kobayashi, Hiroaki. editor. Kovalenko, Yevgeniya. editor.

Preferred Shelf Number

ONLINE(332866.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-01439-5

Format:

Availability

Online Library~1

Available:
Copies:

89.

Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers

Author

Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334136.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36157-9

Format:

Availability

Online Library~1

Available:
Copies:

90.

Modeling, Simulation and Visual Analysis of Crowds A Multidisciplinary Perspective

Author

Ali, Saad. editor. Nishino, Ko. editor. Manocha, Dinesh. editor. Shah, Mubarak. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332421.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-8483-7

Format:

Availability

Online Library~1

Available:
Copies:

91.

AsiaSim 2013 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedings

Author

Tan, Gary. editor. Yeo, Gee Kin. editor. Turner, Stephen John. editor. Teo, Yong Meng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335181.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-45037-2

Format:

Availability

Online Library~1

Available:
Copies:

92.

Guide to Modeling and Simulation of Systems of Systems User’s Reference

Author

Zeigler, Bernard P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331013.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4570-7

Format:

Availability

Online Library~1

Available:
Copies:

93.

Assessment and Simulation Tools for Sustainable Energy Systems Theory and Applications

Author

Cavallaro, Fausto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331156.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-5143-2

Format:

Availability

Online Library~1

Available:
Copies:

94.

Cover image for Modeling and Simulation in Engineering, Economics, and Management International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013. Proceedings

Modeling and Simulation in Engineering, Economics, and Management International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013. Proceedings

Author

Fernández-Izquierdo, María Ángeles. editor. Muñoz-Torres, María Jesús. editor. León, Raúl. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334573.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38279-6

Format:

Availability

Online Library~1

Available:
Copies:

95.

Multi-Agent-Based Simulation XIII International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers

Author

Giardini, Francesca. editor. Amblard, Frédéric. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334684.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38859-0

Format:

Availability

Online Library~1

Available:
Copies:

96.

Cover image for Enterprise and Organizational Modeling and Simulation 9th International Workshop, EOMAS 2013, Held at CAiSE 2013, Valencia, Spain, June 17, 2013, Selected Papers

Enterprise and Organizational Modeling and Simulation 9th International Workshop, EOMAS 2013, Held at CAiSE 2013, Valencia, Spain, June 17, 2013, Selected Papers

Author

Barjis, Joseph. editor. Gupta, Ashish. editor. Meshkat, Amir. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335132.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-41638-5

Format:

Availability

Online Library~1

Available:
Copies:

97.

Web Proxy Cache Replacement Strategies Simulation, Implementation, and Performance Evaluation

Author

ElAarag, Hala. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331089.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4893-7

Format:

Availability

Online Library~1

Available:
Copies:

98.

Foundations and Methods of Stochastic Simulation A First Course

Author

Nelson, Barry L. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331960.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-6160-9

Format:

Availability

Online Library~1

Available:
Copies:

99.

Process Simulation and Parametric Modeling for Strategic Project Management

Author

Morales, Peter J. author. Anderson, Dennis. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332177.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-6989-6

Format:

Availability

Online Library~1

Available:
Copies:

100.

Cover image for Sustained Simulation Performance 2012 Proceedings of the joint Workshop on High Performance Computing on Vector Systems, Stuttgart (HLRS), and Workshop on Sustained Simulation Performance, Tohoku University, 2012

Sustained Simulation Performance 2012 Proceedings of the joint Workshop on High Performance Computing on Vector Systems, Stuttgart (HLRS), and Workshop on Sustained Simulation Performance, Tohoku University, 2012

Author

Resch, Michael M. editor. Wang, Xin. editor. Bez, Wolfgang. editor. Focht, Erich. editor. Kobayashi, Hiroaki. editor.

Preferred Shelf Number

ONLINE(333577.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-32454-3

Format:

Availability

Online Library~1

Available:
Copies:

101.

Multi-Agent-Based Simulation XII International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers

Author

Villatoro, Daniel. editor. Sabater-Mir, Jordi. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-28400-7

Format:

Availability

Online Library~1

Available:
Copies:

102.

Use Cases of Discrete Event Simulation Appliance and Research

Author

Bangsow, Steffen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-28777-0

Format:

Availability

Online Library~1

Available:
Copies:

103.

Cover image for Modeling and Simulation in Engineering, Economics and Management International Conference, MS 2012, New Rochelle, NY, USA, May 30 - June 1, 2012. Proceedings

Modeling and Simulation in Engineering, Economics and Management International Conference, MS 2012, New Rochelle, NY, USA, May 30 - June 1, 2012. Proceedings

Author

Engemann, Kurt J. editor. Gil-Lafuente, Anna M. editor. Merigó, José M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-30433-0

Format:

Availability

Online Library~1

Available:
Copies:

104.

Cover image for PEM Fuel Cells with Bio-Ethanol Processor Systems A Multidisciplinary Study of Modelling, Simulation, Fault Diagnosis and Advanced Control

PEM Fuel Cells with Bio-Ethanol Processor Systems A Multidisciplinary Study of Modelling, Simulation, Fault Diagnosis and Advanced Control

Author

Basualdo, Marta S. editor. Feroldi, Diego. editor. Outbib, Rachid. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84996-184-4

Format:

Availability

Online Library~1

Available:
Copies:

105.

Cover image for Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings

Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings

Author

Kim, Jong-Hyun. editor. Lee, Kangsun. editor. Tanaka, Satoshi. editor. Park, Soo-Hyun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-4-431-54216-2

Format:

Availability

Online Library~1

Available:
Copies:

106.

Information Quality and Management Accounting A Simulation Analysis of Biases in Costing Systems

Author

Leitner, Stephan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-33209-8

Format:

Availability

Online Library~1

Available:
Copies:

107.

Cover image for Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings

Author

Noda, Itsuki. editor. Ando, Noriaki. editor. Brugali, Davide. editor. Kuffner, James J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-34327-8

Format:

Availability

Online Library~1

Available:
Copies:

108.

Cover image for System Simulation and Scientific Computing International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I

System Simulation and Scientific Computing International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I

Author

Xiao, Tianyuan. editor. Zhang, Lin. editor. Ma, Shiwei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-34381-0

Format:

Availability

Online Library~1

Available:
Copies:

109.

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

Author

Xiao, Tianyuan. editor. Zhang, Lin. editor. Fei, Minrui. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-34384-1

Format:

Availability

Online Library~1

Available:
Copies:

110.

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

Author

Xiao, Tianyuan. editor. Zhang, Lin. editor. Fei, Minrui. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-34387-2

Format:

Availability

Online Library~1

Available:
Copies:

111.

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

Author

Xiao, Tianyuan. editor. Zhang, Lin. editor. Fei, Minrui. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-34390-2

Format:

Availability

Online Library~1

Available:
Copies:

112.

System Simulation and Scientific Computing International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II

Author

Xiao, Tianyuan. editor. Zhang, Lin. editor. Ma, Shiwei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-34396-4

Format:

Availability

Online Library~1

Available:
Copies:

113.

Cover image for Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

Author

Kim, Tai-hoon. editor. Ramos, Carlos. editor. Abawajy, Jemal. editor. Kang, Byeong-Ho. editor. Ślęzak, Dominik. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35248-5

Format:

Availability

Online Library~1

Available:
Copies:

114.

Cover image for Agent Based Simulation for a Sustainable Society and Multi-agent Smart Computing International Workshops, PRIMA 2011, Wollongong, Australia, November 14, 2011 Revised Selected Papers

Agent Based Simulation for a Sustainable Society and Multi-agent Smart Computing International Workshops, PRIMA 2011, Wollongong, Australia, November 14, 2011 Revised Selected Papers

Author

Cranefield, Stephen. editor. Song, Insu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35612-4

Format:

Availability

Online Library~1

Available:
Copies:

115.

Handbook of real-world applications in modeling and simulation

Author

Sokolowski, John A., 1953- Banks, Catherine M., 1960-

Preferred Shelf Number

ONLINE

Electronic Access

Connect to MyiLibrary resource.
John Wiley http://dx.doi.org/10.1002/9781118241042
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=822094

Format:

Availability

Online Library~1

Available:
Copies:

116.

Introduction to Discrete Event Simulation and Agent-based Modeling Voting Systems, Health Care, Military, and Manufacturing

Author

Allen, Theodore T. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-85729-139-4

Format:

Availability

Online Library~1

Available:
Copies:

117.

Supply Chain Simulation A System Dynamics Approach for Improving Performance

Author

Campuzano, Francisco. author. Mula, Josefa. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-85729-719-8

Format:

Availability

Online Library~1

Available:
Copies:

118.

Simulation und Optimierung in Produktion und Logistik Praxisorientierter Leitfaden mit Fallbeispielen

Author

März, Lothar. editor. Krug, Wilfried. editor. Rose, Oliver. editor. Weigert, Gerald. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-14536-0

Format:

Availability

Online Library~1

Available:
Copies:

119.

Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers

Author

Leuken, René. editor. Sicard, Gilles. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-17752-1

Format:

Availability

Online Library~1

Available:
Copies:

120.

Cover image for Enterprise and Organizational Modeling and Simulation 7th International Workshop, EOMAS 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Selected Papers

Enterprise and Organizational Modeling and Simulation 7th International Workshop, EOMAS 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Selected Papers

Author

Barjis, Joseph. editor. Eldabi, Tillal. editor. Gupta, Ashish. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-24175-8

Format:

Availability

Online Library~1

Available:
Copies:

121.

Multi-Agent-Based Simulation XI International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers

Author

Bosse, Tibor. editor. Geller, Armando. editor. Jonker, Catholijn M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-18345-4

Format:

Availability

Online Library~1

Available:
Copies:

122.

Modelling, Simulation and Software Concepts for Scientific-Technological Problems

Author

Stephan, Ernst. editor. Wriggers, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-20490-6

Format:

Availability

Online Library~1

Available:
Copies:

123.

Cover image for Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part I

Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part I

Author

Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-21783-8

Format:

Availability

Online Library~1

Available:
Copies:

124.

Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part II

Author

Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-21802-6

Format:

Availability

Online Library~1

Available:
Copies:

125.

Simulation and Verification of Electronic and Biological Systems

Author

Li, Peng. editor. Silveira, Luís Miguel. editor. Feldmann, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0149-6

Format:

Availability

Online Library~1

Available:
Copies:

126.

Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings

Author

Ayala, José L. editor. García-Cámara, Braulio. editor. Prieto, Manuel. editor. Ruggiero, Martino. editor. Sicard, Gilles. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-24154-3

Format:

Availability

Online Library~1

Available:
Copies:

127.

Building software for simulation theory and algorithms, with applications in C++

Author

Nutaro, James.

Preferred Shelf Number

ONLINE

Electronic Access

John Wiley http://dx.doi.org/10.1002/9780470877999
Safari Books Online http://proquest.safaribooksonline.com/?fpi=9780470414699
MyiLibrary, Table of contents http://www.myilibrary.com?id=302507&ref=toc
Cover image http://catalogimages.wiley.com/images/db/jimages/9780470414699.jpg
http://proquest.safaribooksonline.com/9780470414699

Format:

Availability

Online Library~1

Available:
Copies:

128.

Introduction to modeling and simulation of technical and physical systems with Modelica

Author

Fritzson, Peter A., 1952-

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=6047592

Format:

Availability

Online Library~1

Available:
Copies:

129.

Simulation of dynamic systems with MATLAB and Simulink / Harold Klee, Randal Allen..

Author

Klee, Harold. Allen, Randal, 1964-

Preferred Shelf Number

QA76.9.C65 K585 2011

Format:

Availability

Beytepe Library~1

Available:
Copies:

130.

Modeling and Simulation in Scilab/Scicos with ScicosLab 4.4

Author

Campbell, Stephen L. author. Chancelier, Jean-Philippe. author. Nikoukhah, Ramine. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-5527-2

Format:

Availability

Online Library~1

Available:
Copies:

131.

Cover image for Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, Proceedings, Part II

Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, Proceedings, Part II

Author

Li, Kang. editor. Fei, Minrui. editor. Jia, Li. editor. Irwin, George W. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-15597-0

Format:

Availability

Online Library~1

Available:
Copies:

132.

Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part III

Author

Li, Kang. editor. Jia, Li. editor. Sun, Xin. editor. Fei, Minrui. editor. Irwin, George W. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-15615-1

Format:

Availability

Online Library~1

Available:
Copies:

133.

Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, Deptember 17-20, 2010, Proceedings, Part I

Author

Li, Kang. editor. Fei, Minrui. editor. Jia, Li. editor. Irwin, George W. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-15621-2

Format:

Availability

Online Library~1

Available:
Copies:

134.

Cover image for Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings

Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings

Author

Ando, Noriaki. editor. Balakirsky, Stephen. editor. Hemker, Thomas. editor. Reggiani, Monica. editor. Stryk, Oskar. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-17319-6

Format:

Availability

Online Library~1

Available:
Copies:

135.

Introduction to Computational Cardiology Mathematical Modeling and Computer Simulation

Author

Kogan, Boris Ja. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-76686-7

Format:

Availability

Online Library~1

Available:
Copies:

136.

Molecular Modeling and Simulation: An Interdisciplinary Guide An Interdisciplinary Guide

Author

Schlick, Tamar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-6351-2

Format:

Availability

Online Library~1

Available:
Copies:

137.

Simulation Methods for Reliability and Availability of Complex Systems

Author

Faulin, Javier. editor. Juan, Angel A. editor. Martorell, Sebastián. editor. Ramírez-Márquez, José-Emmanuel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-213-9

Format:

Availability

Online Library~1

Available:
Copies:

138.

Manufacturing Simulation with Plant Simulation and SimTalk Usage and Programming with Examples and Solutions

Author

Bangsow, Steffen. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-05074-9

Format:

Availability

Online Library~1

Available:
Copies:

139.

Biomedical Simulation 5th International Symposium, ISBMS 2010, Phoenix, AZ, USA, January 23-24, 2010. Proceedings

Author

Bello, Fernando. editor. Cotin, Stéphane. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-11615-5

Format:

Availability

Online Library~1

Available:
Copies:

140.

Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers

Author

Monteiro, José. editor. Leuken, René. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-11802-9

Format:

Availability

Online Library~1

Available:
Copies:

141.

Multi-Agent-Based Simulation X International Workshop, MABS 2009, Budapest, Hungary, May 11-12, 2009 Revised Selected Papers

Author

Tosto, Gennaro. editor. Dyke Parunak, H. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-13553-8

Format:

Availability

Online Library~1

Available:
Copies:

142.

Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part I

Author

Li, Kang. editor. Li, Xin. editor. Ma, Shiwei. editor. Irwin, George W. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-15853-7

Format:

Availability

Online Library~1

Available:
Copies:

143.

Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part II

Author

Li, Kang. editor. Li, Xin. editor. Ma, Shiwei. editor. Irwin, George W. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-15859-9

Format:

Availability

Online Library~1

Available:
Copies:

144.

Topology Control in Wireless Sensor Networks with a companion simulation tool for teaching and research

Author

Labrador, Miguel A. author. Wightman, Pedro M. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-9585-6

Format:

Availability

Online Library~1

Available:
Copies:

145.

Object Oriented Simulation A Modeling and Programming Perspective

Author

Garrido, José M. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-0516-1

Format:

Availability

Online Library~1

Available:
Copies:

146.

Simulation-Based Case Studies in Logistics Education and Applied Research

Author

Merkuryev, Yuri. editor. Merkuryeva, Galina. editor. Piera, Miquel Àngel. editor. Guasch, Antoni. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-187-3

Format:

Availability

Online Library~1

Available:
Copies:

147.

A Practical Guide to Ecological Modelling Using R as a Simulation Platform

Author

Soetaert, Karline. editor. Herman, Peter M.J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-8624-3

Format:

Availability

Online Library~1

Available:
Copies:

148.

Multi-Agent-Based Simulation IX International Workshop, MABS 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers

Author

David, Nuno. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01991-3

Format:

Availability

Online Library~1

Available:
Copies:

149.

Discrete-event modeling and simulation a practitioner's approach

Author

Wainer, Gabriel A.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

150.

Simulation and Inference for Stochastic Differential Equations With R Examples

Author

Iacus, Stefano M. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-75839-8

Format:

Availability

Online Library~1

Available:
Copies:

151.

Qualitätskriterien für die Simulation in Produktion und Logistik Planung und Durchführung von Simulationsstudien

Author

Wenzel, Sigrid. author. Weiß, Matthias. author. Collisi-Böhmer, Simone. author. Pitsch, Holger. author. Rose, Oliver. author.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-35276-1

Format:

Availability

Online Library~1

Available:
Copies:

152.

Verifikation und Validierung für die Simulation in Produktion und Logistik Vorgehensmodelle und Techniken

Author

Rabe, Markus. author. Spiekermann, Sven. author. Wenzel, Sigrid. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-35282-2

Format:

Availability

Online Library~1

Available:
Copies:

153.

Auralization Fundamentals of Acoustics, Modelling, Simulation, Algorithms and Acoustic Virtual Reality

Author

Vorländer, Michael. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-48830-9

Format:

Availability

Online Library~1

Available:
Copies:

154.

Cover image for From Animals to Animats 10 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008. Proceedings

From Animals to Animats 10 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008. Proceedings

Author

Asada, Minoru. editor. Hallam, John C. T. editor. Meyer, Jean-Arcady. editor. Tani, Jun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-69134-1

Format:

Availability

Online Library~1

Available:
Copies:

155.

Multi-Agent-Based Simulation VIII International Workshop, MABS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers

Author

Antunes, Luis. editor. Paolucci, Mario. editor. Norling, Emma. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-70916-9

Format:

Availability

Online Library~1

Available:
Copies:

156.

Cover image for Simulation, Modeling, and Programming for Autonomous Robots First International Conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008. Proceedings

Simulation, Modeling, and Programming for Autonomous Robots First International Conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008. Proceedings

Author

Carpin, Stefano. editor. Noda, Itsuki. editor. Pagello, Enrico. editor. Reggiani, Monica. editor. Stryk, Oskar. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-89076-8

Format:

Availability

Online Library~1

Available:
Copies:

157.

Biomedical Simulation 4th International Symposium, ISBMS 2008, London, UK, July 7-8, 2008 Proceedings

Author

Bello, Fernando. editor. Edwards, P. J. Eddie. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-70521-5

Format:

Availability

Online Library~1

Available:
Copies:

158.

Multi-Agent-Based Simulation VII International Workshop, MABS 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

Author

Antunes, Luis. editor. Takadama, Keiki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-76539-4

Format:

Availability

Online Library~1

Available:
Copies:

159.

Systems Modeling and Simulation Theory and Applications, Asia Simulation Conference 2006

Author

Koyamada, Koji. editor. Tamura, Shinsuke. editor. Ono, Osamu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-4-431-49022-7

Format:

Availability

Online Library~1

Available:
Copies:

160.

AsiaSim 2007 Asia Simulation Conference 2007, Seoul, Korea, October 10-12, 2007. Proceedings

Author

Park, Jin-Woo. editor. Kim, Tag- Gon. editor. Kim, Yun-Bae. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-77600-0

Format:

Availability

Online Library~1

Available:
Copies:

161.

Simulation of Semiconductor Processes and Devices 2007 SISPAD 2007

Author

Grasser, Tibor. editor. Selberherr, Siegfried. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-211-72861-1

Format:

Availability

Online Library~1

Available:
Copies:

162.

Electronics Process Technology Production Modelling, Simulation and Optimisation

Author

Sauer, Wilfried. author. Oppermann, Martin. author. Werner, Sebastian. author. Wohlrabe, Heinz. author. Zerna, Thomas. author.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-84628-354-X

Format:

Availability

Online Library~1

Available:
Copies:

163.

Cover image for Multi-Agent-Based Simulation VI International Workshop, MABS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers

Multi-Agent-Based Simulation VI International Workshop, MABS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers

Author

Sichman, Jaime S. editor. Antunes, Luis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11734680

Format:

Availability

Online Library~1

Available:
Copies:

164.

Cover image for From Animals to Animats 9 9th International Conference on Simulation of Adaptive Behavior, SAB 2006, Rome, Italy, September 25-29, 2006. Proceedings

From Animals to Animats 9 9th International Conference on Simulation of Adaptive Behavior, SAB 2006, Rome, Italy, September 25-29, 2006. Proceedings

Author

Nolfi, Stefano. editor. Baldassarre, Gianluca. editor. Calabretta, Raffaele. editor. Hallam, John C. T. editor. Marocco, Davide. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11840541

Format:

Availability

Online Library~1

Available:
Copies:

165.

Modellbildung und Simulation hochdynamischer Fertigungssysteme Eine praxisnahe Einführung

Author

Zirn, Oliver. author. Weikert, Sascha. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-29279-9

Format:

Availability

Online Library~1

Available:
Copies:

166.

Biomedical Simulation Third International Symposium, ISBMS 2006, Zurich, Switzerland, July 10-11, 2006. Proceedings

Author

Harders, Matthias. editor. Székely, Gábor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11790273

Format:

Availability

Online Library~1

Available:
Copies:

167.

Multi-Agent and Multi-Agent-Based Simulation Joint Workshop MABS 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

Author

Davidsson, Paul. editor. Logan, Brian. editor. Takadama, Keiki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b106991

Format:

Availability

Online Library~1

Available:
Copies:

168.

Simulation Approaches in Transportation Analysis Recent Advances and Challenges

Author

Kitamura, Ryuichi. editor. Kuwahara, Maso. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b104513

Format:

Availability

Online Library~1

Available:
Copies:

169.

Cover image for Agent-Based Simulation: From Modeling Methodologies to Real-World Applications Post-Proceedings of the Third International Workshop on Agent-Based Approaches in Economic and Social Complex Systems 2004

Agent-Based Simulation: From Modeling Methodologies to Real-World Applications Post-Proceedings of the Third International Workshop on Agent-Based Approaches in Economic and Social Complex Systems 2004

Author

Terano, Takao. editor. Kita, Hajime. editor. Kaneda, Toshiyuki. editor. Arai, Kiyoshi. editor. Deguchi, Hiroshi. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138317

Format:

Availability

Online Library~1

Available:
Copies:

170.

Cover image for Artificial Intelligence and Simulation 13th International Conference on AI, Simulation, Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers

Artificial Intelligence and Simulation 13th International Conference on AI, Simulation, Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers

Author

Kim, Tag Gon. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b105609

Format:

Availability

Online Library~1

Available:
Copies:

171.

Cover image for Systems Modeling and Simulation: Theory and Applications Third Asian Simulation Conference, AsianSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers

Systems Modeling and Simulation: Theory and Applications Third Asian Simulation Conference, AsianSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers

Author

Baik, Doo-Kwon. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b105611

Format:

Availability

Online Library~1

Available:
Copies:

172.

3D-Groundwater Modeling with PMWIN A Simulation System for Modeling Groundwater Flow and Transport Processes

Author

Chiang, Wen-Hsing. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-27592-4

Format:

Availability

Online Library~1

Available:
Copies:

173.

Principles of object-oriented modeling and simulation with Modelica 2.1

Author

Fritzson, Peter A., 1952-

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5264314

Format:

Availability

Online Library~1

Available:
Copies:

174.

Guide to Dynamic Simulations of Rigid Bodies and Particle Systems

Author

Coutinho, Murilo G. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330975.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4417-5

Format:

Availability

Online Library~1

Available:
Copies:

175.

Cellular Automaton Modeling of Biological Pattern Formation Characterization, Applications, and Analysis

Author

Deutsch, Andreas. author. Dormann, Sabine. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138451

Format:

Availability

Online Library~1

Available:
Copies:

176.

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Author

Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-34968-4

Format:

Availability

Online Library~1

Available:
Copies:

177.

Practice of Optimisation Theory in Geotechnical Engineering

Author

Yin, Zhen-Yu. author. Jin, Yin-Fu. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-3408-5

Format:

Availability

Online Library~1

Available:
Copies:

178.

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

Author

Herzig, Andreas. editor. (orcid)0000-0003-0833-2782 Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-29007-8

Format:

Availability

Online Library~1

Available:
Copies:

179.

Cover image for Computational and Information Technologies in Science, Engineering and Education 9th International Conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018, Revised Selected Papers

Computational and Information Technologies in Science, Engineering and Education 9th International Conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018, Revised Selected Papers

Author

Shokin, Yuri. editor. (orcid)0000-0002-5178-8294 Shaimardanov, Zhassulan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-12203-4

Format:

Availability

Online Library~1

Available:
Copies:

180.

Cover image for Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

Author

André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-29662-9

Format:

Availability

Online Library~1

Available:
Copies:

181.

Cover image for Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Author

Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-27008-7

Format:

Availability

Online Library~1

Available:
Copies:

182.

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Author

Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-25540-4

Format:

Availability

Online Library~1

Available:
Copies:

183.

IoT as a Service 4th EAI International Conference, IoTaaS 2018, Xi’an, China, November 17–18, 2018, Proceedings

Author

Li, Bo. editor. Yang, Mao. editor. (orcid)0000-0001-6081-1006 Yuan, Hui. editor. (orcid)0000-0001-5212-3393 Yan, Zhongjiang. editor. (orcid)0000-0003-2806-5343 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-14657-3

Format:

Availability

Online Library~1

Available:
Copies:

184.

The Art of High Performance Computing for Computational Science, Vol. 2 Advanced Techniques and Examples for Materials Science

Author

Geshi, Masaaki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-9802-5

Format:

Availability

Online Library~1

Available:
Copies:

185.

Green Energy and Networking 6th EAI International Conference, GreeNets 2019, Dalian, China, May 4, 2019, Proceedings

Author

Jin, Jiyu. editor. Li, Peng. editor. Fan, Lei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-21730-3

Format:

Availability

Online Library~1

Available:
Copies:

186.

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

Author

Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-20652-9

Format:

Availability

Online Library~1

Available:
Copies:

187.

Ray Tracing: A Tool for All

Author

Peddie, Jon. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-17490-3

Format:

Availability

Online Library~1

Available:
Copies:

188.

Effective Model-Based Systems Engineering

Author

Borky, John M. author. Bradley, Thomas H. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-95669-5

Format:

Availability

Online Library~1

Available:
Copies:

189.

Recent Trends in Signal and Image Processing ISSIP 2017

Author

Bhattacharyya, Siddhartha. editor. Mukherjee, Anirban. editor. Bhaumik, Hrishikesh. editor. Das, Swagatam. editor. Yoshida, Kaori. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-8863-6

Format:

Availability

Online Library~1

Available:
Copies:

190.

Handbook of Model Predictive Control

Author

Raković, Saša V. editor. Levine, William S. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-77489-3

Format:

Availability

Online Library~1

Available:
Copies:

191.

Cover image for Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

Author

Duan, Zhenhua. editor. Liu, Shaoying. editor. Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-13651-2

Format:

Availability

Online Library~1

Available:
Copies:

192.

Cover image for 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 International Conference on Human Aspects of Advanced Manufacturing, and the AHFE International Conference on Additive Manufacturing, Modeling Systems and 3D Prototyping, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA

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 International Conference on Human Aspects of Advanced Manufacturing, and the AHFE International Conference on Additive Manufacturing, Modeling Systems and 3D Prototyping, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA

Author

Karwowski, Waldemar. editor. Trzcielinski, Stefan. editor. Mrugalska, Beata. editor. Di Nicolantonio, Massimo. editor. Rossi, Emilio. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-94196-7

Format:

Availability

Online Library~1

Available:
Copies:

193.

New Developments on Computational Methods and Imaging in Biomechanics and Biomedical Engineering

Author

Tavares, João Manuel R. S. editor. Fernandes, Paulo Rui. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-23073-9

Format:

Availability

Online Library~1

Available:
Copies:

194.

Transient Effects in Simulations of Hybrid Electric Drivetrains

Author

Winke, Florian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-658-22554-4

Format:

Availability

Online Library~1

Available:
Copies:

195.

Cover image for Wireless Algorithms, Systems, and Applications 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings

Wireless Algorithms, Systems, and Applications 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings

Author

Biagioni, Edoardo S. editor. Zheng, Yao. editor. Cheng, Siyao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-23597-0

Format:

Availability

Online Library~1

Available:
Copies:

196.

Cover image for Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Author

Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30446-1

Format:

Availability

Online Library~1

Available:
Copies:

197.

Ad Hoc Networks 11th EAI International Conference, ADHOCNETS 2019, Queenstown, New Zealand, November 18–21, 2019, Proceedings

Author

Zheng, Jun. editor. Li, Cheng. editor. (orcid)0000-0003-3424-2414 Chong, Peter Han Joo. editor. Meng, Weixiao. editor. Yan, Feng. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-37262-0

Format:

Availability

Online Library~1

Available:
Copies:

198.

Pervasive Computing: A Networking Perspective and Future Directions

Author

Bhargava, Deepshikha. editor. Vyas, Sonali. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-3462-7

Format:

Availability

Online Library~1

Available:
Copies:

199.

Modeling and Application of Flexible Electronics Packaging

Author

Huang, YongAn. author. Yin, Zhouping. author. Wan, Xiaodong. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-3627-0

Format:

Availability

Online Library~1

Available:
Copies:

200.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-17502-3

Format:

Availability

Online Library~1

Available:
Copies:

201.

Algorithmic Game Theory 12th International Symposium, SAGT 2019, Athens, Greece, September 30 – October 3, 2019, Proceedings

Author

Fotakis, Dimitris. editor. Markakis, Evangelos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30473-7

Format:

Availability

Online Library~1

Available:
Copies:

202.

Recent Trends in Signal and Image Processing Proceedings of ISSIP 2018

Author

Bhattacharyya, Siddhartha. editor. Pal, Sankar K. editor. Pan, Indrajit. editor. Das, Abhijit. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-6783-0

Format:

Availability

Online Library~1

Available:
Copies:

203.

Cover image for Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Author

Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-16722-6

Format:

Availability

Online Library~1

Available:
Copies:

204.

Bioinformatics and Phylogenetics Seminal Contributions of Bernard Moret

Author

Warnow, Tandy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-10837-3

Format:

Availability

Online Library~1

Available:
Copies:

205.

Cover image for The Art of High Performance Computing for Computational Science, Vol. 1 Techniques of Speedup and Parallelization for General Purposes

The Art of High Performance Computing for Computational Science, Vol. 1 Techniques of Speedup and Parallelization for General Purposes

Author

Geshi, Masaaki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-6194-4

Format:

Availability

Online Library~1

Available:
Copies:

206.

Cover image for Cyber Physical Systems. Model-Based Design 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers

Cyber Physical Systems. Model-Based Design 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers

Author

Chamberlain, Roger. editor. (orcid)0000-0002-7207-6106 Taha, Walid. editor. (orcid)0000-0003-3160-9188 Törngren, Martin. editor. (orcid)0000-0002-4300-885X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-23703-5

Format:

Availability

Online Library~1

Available:
Copies:

207.

Mathematical Insights into Advanced Computer Graphics Techniques

Author

Dobashi, Yoshinori. editor. Kaji, Shizuo. editor. Iwasaki, Kei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-2850-3

Format:

Availability

Online Library~1

Available:
Copies:

208.

Simulating Urban Traffic Scenarios 3rd SUMO Conference 2015 Berlin, Germany

Author

Behrisch, Michael. editor. Weber, Melanie. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-33616-9

Format:

Availability

Online Library~1

Available:
Copies:

209.

Cover image for Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part IV

Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part IV

Author

Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-27538-9

Format:

Availability

Online Library~1

Available:
Copies:

210.

Experimental and Numerical Study of Glass Façade Breakage Behavior under Fire Conditions Fire Safety Engineering

Author

Wang, Yu. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-6484-6

Format:

Availability

Online Library~1

Available:
Copies:

211.

Cover image for Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part I

Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part I

Author

Jia, Min. editor. (orcid)0000-0003-3551-8654 Guo, Qing. editor. Meng, Weixiao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-19153-5

Format:

Availability

Online Library~1

Available:
Copies:

212.

Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part II

Author

Jia, Min. editor. (orcid)0000-0003-3551-8654 Guo, Qing. editor. Meng, Weixiao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-19156-6

Format:

Availability

Online Library~1

Available:
Copies:

213.

Advanced CAD Modeling Explicit, Parametric, Free-Form CAD and Re-engineering

Author

Vukašinović, Nikola. author. Duhovnik, Jože. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-02399-7

Format:

Availability

Online Library~1

Available:
Copies:

214.

Cover image for Artificial Intelligence for Communications and Networks First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part I

Artificial Intelligence for Communications and Networks First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part I

Author

Han, Shuai. editor. Ye, Liang. editor. Meng, Weixiao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-22968-9

Format:

Availability

Online Library~1

Available:
Copies:

215.

Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part VI

Author

Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-27529-7

Format:

Availability

Online Library~1

Available:
Copies:

216.

Cover image for Advanced Hybrid Information Processing Third EAI International Conference, ADHIP 2019, Nanjing, China, September 21–22, 2019, Proceedings, Part II

Advanced Hybrid Information Processing Third EAI International Conference, ADHIP 2019, Nanjing, China, September 21–22, 2019, Proceedings, Part II

Author

Gui, Guan. editor. (orcid)0000-0003-3888-2881 Yun, Lin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-36405-2

Format:

Availability

Online Library~1

Available:
Copies:

217.

Cover image for Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

Author

Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-32409-4

Format:

Availability

Online Library~1

Available:
Copies:

218.

Cover image for VR Technologies in Cultural Heritage First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers

VR Technologies in Cultural Heritage First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers

Author

Duguleană, Mihai. editor. Carrozzino, Marcello. editor. Gams, Matjaž. editor. Tanea, Iulian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-05819-7

Format:

Availability

Online Library~1

Available:
Copies:

219.

Neural Modeling of Speech Processing and Speech Learning An Introduction

Author

Kröger, Bernd J. author. Bekolay, Trevor. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-15853-8

Format:

Availability

Online Library~1

Available:
Copies:

220.

Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Author

Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-18744-6

Format:

Availability

Online Library~1

Available:
Copies:

221.

Cover image for Human Mental Workload: Models and Applications Second International Symposium, H-WORKLOAD 2018, Amsterdam, The Netherlands, September 20-21, 2018, Revised Selected Papers

Human Mental Workload: Models and Applications Second International Symposium, H-WORKLOAD 2018, Amsterdam, The Netherlands, September 20-21, 2018, Revised Selected Papers

Author

Longo, Luca. editor. (orcid)0000-0002-2718-5426 Leva, M. Chiara. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-14273-5

Format:

Availability

Online Library~1

Available:
Copies:

222.

BERRU Predictive Modeling Best Estimate Results with Reduced Uncertainties

Author

Cacuci, Dan Gabriel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-58395-1

Format:

Availability

Online Library~1

Available:
Copies:

223.

Cover image for New Global Perspectives on Industrial Engineering and Management International Joint Conference ICIEOM-ADINGOR-IISE-AIM-ASEM

New Global Perspectives on Industrial Engineering and Management International Joint Conference ICIEOM-ADINGOR-IISE-AIM-ASEM

Author

Mula, Josefa. editor. Barbastefano, Rafael. editor. Díaz-Madroñero, Manuel. editor. Poler, Raúl. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-93488-4

Format:

Availability

Online Library~1

Available:
Copies:

224.

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Author

Biondi, Fabrizio. editor. Given-Wilson, Thomas. editor. Legay, Axel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30923-7

Format:

Availability

Online Library~1

Available:
Copies:

225.

Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part V

Author

Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-27541-9

Format:

Availability

Online Library~1

Available:
Copies:

226.

New Perspectives on Applied Industrial Tools and Techniques

Author

García-Alcaraz, Jorge Luis. editor. (orcid)0000-0002-7092-6963 Alor-Hernández, Giner. editor. Maldonado-Macías, Aidé Aracely. editor. Sánchez-Ramírez, Cuauhtémoc. editor. (orcid)0000-0002-0344-1966 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-56871-3

Format:

Availability

Online Library~1

Available:
Copies:

227.

Bioinformatics: Sequences, Structures, Phylogeny

Author

Shanker, Asheesh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-1562-6

Format:

Availability

Online Library~1

Available:
Copies:

228.

Computer Simulations of Space Societies

Author

Bainbridge, William Sims. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-90560-0

Format:

Availability

Online Library~1

Available:
Copies:

229.

Cover image for Advances in Neural Computation, Machine Learning, and Cognitive Research Selected Papers from the XIX International Conference on Neuroinformatics, October 2-6, 2017, Moscow, Russia

Advances in Neural Computation, Machine Learning, and Cognitive Research Selected Papers from the XIX International Conference on Neuroinformatics, October 2-6, 2017, Moscow, Russia

Author

Kryzhanovsky, Boris. editor. Dunin-Barkowski, Witali. editor. Redko, Vladimir. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66604-4

Format:

Availability

Online Library~1

Available:
Copies:

230.

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:

231.

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 II

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 II

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-96142-2

Format:

Availability

Online Library~1

Available:
Copies:

232.

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:

233.

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:

234.

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:

235.

Cover image for Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II

Author

Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-74727-9

Format:

Availability

Online Library~1

Available:
Copies:

236.

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

Author

de Boer, Frank. editor. Bonsangue, Marcello. editor. Rutten, Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-90089-6

Format:

Availability

Online Library~1

Available:
Copies:

237.

Cover image for New Advances in Mechanism and Machine Science Proceedings of The 12th IFToMM International Symposium on Science of Mechanisms and Machines (SYROM 2017)

New Advances in Mechanism and Machine Science Proceedings of The 12th IFToMM International Symposium on Science of Mechanisms and Machines (SYROM 2017)

Author

Doroftei, Ioan. editor. Oprisan, Cezar. editor. Pisla, Doina. editor. Lovasz, Erwin Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-79111-1

Format:

Availability

Online Library~1

Available:
Copies:

238.

Nature Inspired Computing Proceedings of CSI 2015

Author

Panigrahi, Bijaya Ketan. editor. Hoda, M. N. editor. Sharma, Vinod. editor. Goel, Shivendra. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-6747-1

Format:

Availability

Online Library~1

Available:
Copies:

239.

Encyclopedia of Social Network Analysis and Mining

Author

Alhajj, Reda. editor. Rokne, Jon. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4939-7131-2

Format:

Availability

Online Library~1

Available:
Copies:

240.

Cover image for New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

Author

Abdelwahed, El Hassan. editor. Bellatreche, Ladjel. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Golfarelli, Matteo. editor. Jean, Stéphane. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-02852-7

Format:

Availability

Online Library~1

Available:
Copies:

241.

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

Author

McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Horvath, Andras. editor. (orcid)0000-0002-8210-545X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-99154-2

Format:

Availability

Online Library~1

Available:
Copies:

242.

Probability and Statistics for Computer Science

Author

Forsyth, David. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-64410-3

Format:

Availability

Online Library~1

Available:
Copies:

243.

Advanced Hybrid Information Processing First International Conference, ADHIP 2017, Harbin, China, July 17–18, 2017, Proceedings

Author

Sun, Guanglu. editor. Liu, Shuai. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-73317-3

Format:

Availability

Online Library~1

Available:
Copies:

244.

Finite Element Applications A Practical Guide to the FEM Process

Author

Okereke, Michael. author. Keates, Simeon. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-67125-3

Format:

Availability

Online Library~1

Available:
Copies:

245.

Bone Adaptation In Silico Approach

Author

Kameo, Yoshitaka. author. Tsubota, Ken-ichi. author. Adachi, Taiji. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-4-431-56514-7

Format:

Availability

Online Library~1

Available:
Copies:

246.

Multi-layer Pavement System under Blast Load

Author

Wu, Jun. author. Wu, Hao. author. Tan, Hong Wei Andy. author. Chew, Soon Hoe. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-5001-5

Format:

Availability

Online Library~1

Available:
Copies:

247.

Thermal Effects in Complex Machining Processes Final Report of the DFG Priority Programme 1480

Author

Biermann, D. editor. Hollmann, F. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-57120-1

Format:

Availability

Online Library~1

Available:
Copies:

248.

Cover image for Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part I

Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part I

Author

Gu, Xuemai. editor. Liu, Gongliang. editor. Li, Bo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-73564-1

Format:

Availability

Online Library~1

Available:
Copies:

249.

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:

250.

Reliability Aspect of Cloud Computing Environment

Author

Kumar, Vikas. author. Vidhyalakshmi, R. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-3023-0

Format:

Availability

Online Library~1

Available:
Copies:

251.

Honeypot Frameworks and Their Applications: A New Framework

Author

NG, Chee Keong. author. Pan, Lei. author. Xiang, Yang. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-7739-5

Format:

Availability

Online Library~1

Available:
Copies:

252.

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:

253.

Food Dependency in the Middle East and North Africa Region Retrospective Analysis and Projections to 2050

Author

Le Mouël, Chantal. editor. Schmitt, Bertrand. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-94-024-1563-6

Format:

Availability

Online Library~1

Available:
Copies:

254.

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:

255.

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:

256.

Applied Scientific Computing With Python

Author

Turner, Peter R. author. Arildsen, Thomas. author. (orcid)0000-0003-3254-3790 Kavanagh, Kathleen. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-89575-8

Format:

Availability

Online Library~1

Available:
Copies:

257.

Cover image for 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

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

Author

Bajo, Javier. editor. Corchado, Juan M. editor. Navarro Martínez, Elena María. editor. Osaba Icedo, Eneko. editor. Mathieu, Philippe. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-94779-2

Format:

Availability

Online Library~1

Available:
Copies:

258.

3D Kinematics

Author

Haslwanter, Thomas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-75277-8

Format:

Availability

Online Library~1

Available:
Copies:

259.

Cover image for Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Author

Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00244-2

Format:

Availability

Online Library~1

Available:
Copies:

260.

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:

261.

Real-Time Modelling and Processing for Communication Systems Applications and Practices

Author

Alam, Muhammad. editor. Dghais, Wael. editor. Chen, Yuanfang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-72215-3

Format:

Availability

Online Library~1

Available:
Copies:

262.

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:

263.

Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part II

Author

Li, Bo. editor. Shu, Lei. editor. Zeng, Deze. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-78139-6

Format:

Availability

Online Library~1

Available:
Copies:

264.

Ad Hoc Networks 9th International Conference, AdHocNets 2017, Niagara Falls, ON, Canada, September 28–29, 2017, Proceedings

Author

Zhou, Yifeng. editor. Kunz, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-74439-1

Format:

Availability

Online Library~1

Available:
Copies:

265.

Cover image for Latent Variable Analysis and Signal Separation 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2–5, 2018, Proceedings

Latent Variable Analysis and Signal Separation 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2–5, 2018, Proceedings

Author

Deville, Yannick. editor. (orcid)0000-0002-8769-2446 Gannot, Sharon. editor. (orcid)0000-0002-2885-170X Mason, Russell. editor. (orcid)0000-0002-6030-9603 Plumbley, Mark D. editor. (orcid)0000-0002-9708-1075 Ward, Dominic. editor. (orcid)0000-0002-7819-0145

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-93764-9

Format:

Availability

Online Library~1

Available:
Copies:

266.

Innovative Techniques and Applications of Modelling, Identification and Control Selected and Expanded Reports from ICMIC’17

Author

Zhu, Quanmin. editor. Na, Jing. editor. Wu, Xing. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-7212-3

Format:

Availability

Online Library~1

Available:
Copies:

267.

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Author

Gallardo, María del Mar. editor. Merino, Pedro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-94111-0

Format:

Availability

Online Library~1

Available:
Copies:

268.

Automatic Control Systems in Biomedical Engineering An Interactive Educational Approach

Author

Fernández de Cañete, J. author. Galindo, C. author. Barbancho, J. author. Luque, A. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-75717-9

Format:

Availability

Online Library~1

Available:
Copies:

269.

Computational Models of Rhythm and Meter

Author

Boenn, Georg. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-76285-2

Format:

Availability

Online Library~1

Available:
Copies:

270.

Proceedings of the International Conference on Modern Research in Aerospace Engineering MRAE-2016

Author

Singh, Sanjay. editor. Raj, Pushkar. editor. Tambe, Samir. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-5849-3

Format:

Availability

Online Library~1

Available:
Copies:

271.

Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage

Author

Gonzalez-Perez, Cesar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-72652-6

Format:

Availability

Online Library~1

Available:
Copies:

272.

Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part II

Author

Gu, Xuemai. editor. Liu, Gongliang. editor. Li, Bo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-73447-7

Format:

Availability

Online Library~1

Available:
Copies:

273.

Cover image for Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Author

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-95582-7

Format:

Availability

Online Library~1

Available:
Copies:

274.

Cover image for Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Author

Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00151-3

Format:

Availability

Online Library~1

Available:
Copies:

275.

Cover image for VipIMAGE 2017 Proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017

VipIMAGE 2017 Proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017

Author

Tavares, João Manuel R.S. editor. Natal Jorge, R.M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68195-5

Format:

Availability

Online Library~1

Available:
Copies:

276.

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

Author

Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-77935-5

Format:

Availability

Online Library~1

Available:
Copies:

277.

Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Author

Furia, Carlo A. editor. Winter, Kirsten. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-98938-9

Format:

Availability

Online Library~1

Available:
Copies:

278.

Algorithmic Game Theory 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings

Author

Deng, Xiaotie. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-99660-8

Format:

Availability

Online Library~1

Available:
Copies:

279.

Cover image for Artificial Life and Intelligent Agents Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers

Artificial Life and Intelligent Agents Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers

Author

Lewis, Peter R. editor. Headleand, Christopher J. editor. Battle, Steve. editor. Ritsos, Panagiotis D. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-90418-4

Format:

Availability

Online Library~1

Available:
Copies:

280.

Systems Analysis Approach for Complex Global Challenges

Author

Mensah, Priscilla. editor. Katerere, David. editor. Hachigonta, Sepo. editor. Roodt, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-71486-8

Format:

Availability

Online Library~1

Available:
Copies:

281.

Cover image for Advances in Cross-Cultural Decision Making Proceedings of the AHFE 2017 International Conference on Cross-Cultural Decision Making, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

Advances in Cross-Cultural Decision Making Proceedings of the AHFE 2017 International Conference on Cross-Cultural Decision Making, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

Author

Hoffman, Mark. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-60747-4

Format:

Availability

Online Library~1

Available:
Copies:

282.

Fuzzy Graph Theory with Applications to Human Trafficking

Author

Mordeson, John N. author. Mathew, Sunil. author. Malik, Davender S. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-76454-2

Format:

Availability

Online Library~1

Available:
Copies:

283.

Exploring Occupant Behavior in Buildings Methods and Challenges

Author

Wagner, Andreas. editor. O’Brien, William. editor. Dong, Bing. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-61464-9

Format:

Availability

Online Library~1

Available:
Copies:

284.

Stochastic Finite Element Methods An Introduction

Author

Papadopoulos, Vissarion. author. Giovanis, Dimitris G. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-64528-5

Format:

Availability

Online Library~1

Available:
Copies:

285.

Computational Methods and Models for Transport New Challenges for the Greening of Transport Systems

Author

Diez, Pedro. editor. Neittaanmäki, Pekka. editor. Periaux, Jacques. editor. Tuovinen, Tero. editor. Bräysy, Olli. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-54490-8

Format:

Availability

Online Library~1

Available:
Copies:

286.

Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part I

Author

Li, Bo. editor. Shu, Lei. editor. Zeng, Deze. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-78130-3

Format:

Availability

Online Library~1

Available:
Copies:

287.

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I

Author

Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-74718-7

Format:

Availability

Online Library~1

Available:
Copies:

288.

Automatic Tuning of Compilers Using Machine Learning

Author

Ashouri, Amir H. author. Palermo, Gianluca. author. Cavazos, John. author. Silvano, Cristina. author. (orcid)0000-0003-1668-0883 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-71489-9

Format:

Availability

Online Library~1

Available:
Copies:

289.

Cover image for Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II

Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II

Author

Chen, Qianbin. editor. Meng, Weixiao. editor. Zhao, Liqiang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66628-0

Format:

Availability

Online Library~1

Available:
Copies:

290.

Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I

Author

Chen, Qianbin. editor. Meng, Weixiao. editor. Zhao, Liqiang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66625-9

Format:

Availability

Online Library~1

Available:
Copies:

291.

Neural Networks for Cooperative Control of Multiple Robot Arms

Author

Li, Shuai. author. Zhang, Yinyan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-7037-2

Format:

Availability

Online Library~1

Available:
Copies:

292.

Computational frameworks : systems, models and applications

Author

Traoré, Mamadou K. (Mamadou Kaba), editor.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9781785482564

Format:

Availability

Online Library~1

Available:
Copies:

293.

Optimization methods in metabolic networks

Author

Maranas, Costas D., 1967- , author. Zomorrodi, Ali R., author.

Preferred Shelf Number

QP171 M37 2016

Format:

Availability

Beytepe Library~2

Available:
Copies:

294.

A practical guide to SysML : the systems modeling language

Author

Friedenthal, Sanford, author. Moore, Alan, 1961- author. Steiner, Rick, author.

Preferred Shelf Number

ONLINE(355422.1)

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780128002025

Format:

Availability

Online Library~1

Available:
Copies:

295.

Bayesian programming

Author

Bessiere, Pierre.

Preferred Shelf Number

QA76.6 B4764 2014

Format:

Availability

Beytepe Library~1

Available:
Copies:

296.

Elements of stochastic modelling

Author

Borovkov, K.

Preferred Shelf Number

QA274 B655 2014

Format:

Availability

Beytepe Library~1

Available:
Copies:

297.

Virtual world design : creating immersive virtual environments

Author

Cudworth, Ann Latham, 1955- author.

Preferred Shelf Number

ONLINE(356384.1)

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

298.

Cover image for Cellular Automata 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings

Cellular Automata 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings

Author

Was, Jaroslaw. editor. Sirakoulis, Georgios. editor. Bandini, Stefania. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-11520-7

Format:

Availability

Online Library~1

Available:
Copies:

299.

Cover image for Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings

Author

Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-11653-2

Format:

Availability

Online Library~1

Available:
Copies:

300.

Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings

Author

Seidl, Martina. editor. Tillmann, Nikolai. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-09099-3

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}