Search Results for Computer simulation.

Computer simulation techniques

2024-11-08T23:10:03Z

Author Naylor, Thomas H.
Preferred Shelf Number QA 76.5 C615 1966
Format: Books
Availability Beytepe Library~1

Computer simulation using particles

2024-11-08T23:10:03Z

Author Hockney, Roger W. Eastwood, James W.
Preferred Shelf Number ONLINE
Electronic Access book distributed by Taylor & Francis Group. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Computer simulation in geology

2024-11-08T23:10:03Z

Author Harbaugh, John Warvelle, 1926- Bonham-Carter, Graeme, ort. yaz.
Preferred Shelf Number QE 48.8 H37 1970
Format: Books
Availability Beytepe Library~1

Oscillator design and computer simulation

2024-11-08T23:10:03Z

Author Rhea, Randall W.
Preferred Shelf Number TK 7872.O7 R54 1995
Format: Books
Availability Beytepe Library~1

Computer Simulation of Thermal Plant Operations

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Time reversability, computer simulation, algorithms, chaos

2024-11-08T23:10:03Z

Author Hoover, William G. (William Graham), 1936- Hoover, Carol Griswold.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=479883
Format: Electronic Resources
Availability Online Library~1

Fluid simulation for computer graphics

2024-11-08T23:10:03Z

Author Bridson, Robert, 1976-
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Systems modeling and computer simulation

2024-11-08T23:10:03Z

Author Kheir, Naim A., 1933- ed.
Preferred Shelf Number QA 76.9.C65 S975 1996
Format: Books
Availability Beytepe Library~1

Oscillator Design and Computer Simulation

2024-11-08T23:10:03Z

Author Rhea, Randell W.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1049/SBEW023E
Format: Electronic Resources
Availability Online Library~1

HF Filter Design and Computer Simulation

2024-11-08T23:10:03Z

Author Rhea, Randall W.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1049/SBEW010E
Format: Electronic Resources
Availability Online Library~1

Computer simulation methods in theoretical physics

2024-11-08T23:10:03Z

Author Heermann, Dieter Wdovich, 1894-1984.
Preferred Shelf Number QC 20 H47 1990
Format: Books
Availability Beytepe Library~1

Computer-aided modelling and simulation

2024-11-08T23:10:03Z

Author Spriet, Jan A. Vansteenkiste, C., ort. yaz.
Preferred Shelf Number QA 76.9.C65 S67 1982
Format: Books
Availability Beytepe Library~1

Analog/logic computer programming and simulation

2024-11-08T23:10:03Z

Author Ricci, Fred J.
Preferred Shelf Number QA 76.4 R53 1973
Format: Books
Availability Beytepe Library~1

Computer simulation of dynamic systems

2024-11-08T23:10:03Z

Author Kochenburger, Ralph J.
Preferred Shelf Number T 57.62 K56 1972
Format: Books
Availability Beytepe Library~1

Analog computer simulation of engineering systems

2024-11-08T23:10:03Z

Author James, Merlin L. Smith, G. M. , ort. yaz. Wolford, J. C. , ort. yaz.
Preferred Shelf Number TA 345 J32 1971
Format: Books
Availability Beytepe Library~1

Computer simulation of materials at atomic level

2024-11-08T23:10:03Z

Author Deák, Péter. Frauenheim, Thomas. Pederson, Mark Roger. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/3527603107 HathiTrust Digital Library Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/43069165.html MyiLibrary, Table of contents http://www.myilibrary.com?id=55955&ref=toc
Format: Electronic Resources
Availability Online Library~1

Computer simulation in biology : a Basic introduction

2024-11-08T23:10:03Z

Author Keen, Robert E. Spain, J. D., ort. yaz.
Preferred Shelf Number QH 323.5 K45 1992
Format: Books
Availability Beytepe Library~1

The settlement of Polynesia : a computer simulation

2024-11-08T23:10:03Z

Author Levison, Michael. Ward, R. Gerard, ort. yaz. Webb, John W., ort. yaz.
Preferred Shelf Number GF 852.P64 L48 1973
Format: Books
Availability Beytepe Library~1

Computer-aided circuit design : simulation and optimization

2024-11-08T23:10:03Z

Author Director, Stephen W. , 1943- ed.
Preferred Shelf Number TK 7867 D56 1973
Format: Books
Availability Beytepe Library~1

Co-designers cultures of computer simulation in architecture

2024-11-08T23:10:03Z

Author Loukissas, Yanni A. (Yanni Alexander)
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Modeling and simulation : the computer science of illusion

2024-11-08T23:10:03Z

Author Raczynski, Stanislaw.
Preferred Shelf Number ONLINE
Electronic Access Wiley Online Library
Format: Electronic Resources
Availability Online Library~1

Computer simulation and experimental assessment of cardiac electrophysiology

2024-11-08T23:10:03Z

Author Virag, Nathalie, ed. Blanc, Olivier, ed. Kappenberger, Lukas, ed. International Workshop on Computer Simulation and Experimental Assessment of Electrical Cardiac Function (2nd : 2000 : Lausanne, Switzerland)
Preferred Shelf Number WG 330 C738 2001
Format: Books
Availability Health Sciences Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 23rd International Conference, SAMOS 2023, Samos, Greece, July 2-6, 2023, Proceedings

2024-11-08T23:10:03Z

Author Silvano, Cristina. editor. Pilato, Christian. editor. Reichenbach, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521320.1)
Electronic Access https://doi.org/10.1007/978-3-031-46077-7
Format: Electronic Resources
Availability Online Library~1

Advanced methodologies and technologies in artificial intelligence, computer simulation, and human-computer interaction

2024-11-08T23:10:03Z

Author Khosrow-Pour, Mehdi, 1951- editor. IGI Global, publisher.
Preferred Shelf Number ONLINE
Electronic Access Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7368-5
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 19th International Conference, SAMOS 2019, Samos, Greece, July 7–11, 2019, Proceedings

2024-11-08T23:10:03Z

Author Pnevmatikatos, Dionisios N. editor. Pelcat, Maxime. editor. Jung, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27562-4
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Hypothesis-Driven Simulation Studies Assistance for the Systematic Design and Conducting of Computer Simulation Experiments

2024-11-08T23:10:03Z

Author Lorig, Fabian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-27588-4
Format: Electronic Resources
Availability Online Library~1

Summer of Simulation 50 Years of Seminal Computer Simulation Research

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Analysis and Simulation of Electrical and Computer Systems

2024-11-08T23:10:03Z

Author Mazur, Damian. editor. Gołębiowski, Marek. editor. Korkosz, Mariusz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63949-9
Format: Electronic Resources
Availability Online Library~1

Computer-aided graphing and simulation tools for AutoCAD users

2024-11-08T23:10:03Z

Author Simionescu, P. A., 1968- author.
Preferred Shelf Number ONLINE(356711.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Testing and Validation of Computer Simulation Models Principles, Methods and Applications

2024-11-08T23:10:03Z

Author Murray-Smith, David J. author. SpringerLink (Online service)
Preferred Shelf Number XX(518652.1)
Electronic Access https://doi.org/10.1007/978-3-319-15099-4
Format: Electronic Resources
Availability Online Library~1

Modeling and simulation of computer networks and systems : methodologies and applications

2024-11-08T23:10:03Z

Author Obaidat, Mohammad S. (Mohammad Salameh), 1952- Nicopolitidis, P. Zarai, Faouzi.
Preferred Shelf Number TK5105.5 M63 2015
Format: Books
Availability Beytepe Library~1

Social Interaction, Globalization and Computer-Aided Analysis A Practical Guide to Developing Social Simulation

2024-11-08T23:10:03Z

Author Osherenko, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6260-5
Format: Electronic Resources
Availability Online Library~1

Technology computer aided design simulation for VLSI MOSFET

2024-11-08T23:10:03Z

Author Sarkar, Chandan Kumar, editor of compilation.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

The practical OPNET user guide for computer network simulation

2024-11-08T23:10:03Z

Author Sethi, Adarshpal S. Hnatyshin, Vasil Y.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Health Care Evaluation Using Computer Simulation Concepts, Methods, and Applications

2024-11-08T23:10:03Z

Author Sobolev, Boris. author. Sanchez, Victor. author. Kuramoto, Lisa. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-2233-4
Format: Electronic Resources
Availability Online Library~1

Computer Simulation Study of Collective Phenomena in Dense Suspensions of Red Blood Cells under Shear

2024-11-08T23:10:03Z

Author Krüger, Timm. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-2376-2
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Simulating nature a philosohpical study of computer-simulation uncertainties and their role in climate science and policy advice

2024-11-08T23:10:03Z

Author Petersen, Arthur C. (Arthur Caesar), 1970-
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Introduction to Computational Cardiology Mathematical Modeling and Computer Simulation

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Advanced Computer Simulation Approaches for Soft Matter Sciences III

2024-11-08T23:10:03Z

Author Holm, Christian. editor. Kremer, Kurt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87706-6
Format: Electronic Resources
Availability Online Library~1

Gesture-Based Human-Computer Interaction and Simulation 7th International Gesture Workshop, GW 2007, Lisbon, Portugal, May 23-25, 2007, Revised Selected Papers

2024-11-08T23:10:03Z

Author Sales Dias, Miguel. editor. Gibet, Sylvie. editor. Wanderley, Marcelo M. editor. Bastos, Rafael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92865-2
Format: Electronic Resources
Availability Online Library~1

Computer Simulation Studies in Condensed-Matter Physics XIX Proceedings of the NineteenthWorkshop Athens, GA, USA, February 20–24, 2006

2024-11-08T23:10:03Z

Author Landau, D. P. editor. Lewis, S. P. editor. Schöttler, H. B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85625-2
Format: Electronic Resources
Availability Online Library~1

Computer Simulation and Data Analysis in Molecular Biology and Biophysics An Introduction Using R

2024-11-08T23:10:03Z

Author Bloomfield, Victor. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0083-8
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009. Proceedings

2024-11-08T23:10:03Z

Author Bertels, Koen. editor. Dimopoulos, Nikitas. editor. Silvano, Cristina. editor. Wong, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03138-0
Format: Electronic Resources
Availability Online Library~1

Epistemological Aspects of Computer Simulation in the Social Sciences Second International Workshop, EPOS 2006, Brescia, Italy, October 5-6, 2006, Revised Selected and Invited Papers

2024-11-08T23:10:03Z

Author Squazzoni, Flaminio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01109-2
Format: Electronic Resources
Availability Online Library~1

Electromagnetism and interconnections advanced mathematical tools for computer-aided simulation

2024-11-08T23:10:03Z

Author Charruau, Stephane. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9780470611838 http://site.ebrary.com/lib/alltitles/Doc?id=10361210
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings

2024-11-08T23:10:03Z

Author Bereković, Mladen. editor. Dimopoulos, Nikitas. editor. Wong, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70550-5
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007. Proceedings

2024-11-08T23:10:03Z

Author Vassiliadis, Stamatis. editor. Bereković, Mladen. editor. Hämäläinen, Timo D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73625-7
Format: Electronic Resources
Availability Online Library~1

Chemical engineering dynamics an introduction to modelling and computer simulation

2024-11-08T23:10:03Z

Author Ingham, John, Dr. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9783527614219
Format: Electronic Resources
Availability Online Library~1

An introduction to computer simulation methods : applications to physical systems

2024-11-08T23:10:03Z

Author Gould, Harvey. Tobochnik, Jan., ort. yaz. Christian, Wolfgang, ort.yaz.
Preferred Shelf Number QC52 .G685 2006
Format: Books
Availability Beytepe Library~1

Gesture in Human-Computer Interaction and Simulation 6th International Gesture Workshop, GW 2005, Berder Island, France, May 18-20, 2005, Revised Selected Papers

2024-11-08T23:10:03Z

Author Gibet, Sylvie. editor. Courty, Nicolas. editor. Kamp, Jean-François. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11678816
Format: Electronic Resources
Availability Online Library~1

Computer Simulation Studies in Condensed-Matter Physics XVIII Proceedings of the Eighteenth Workshop Athens, GA, USA, March 7–11, 2005

2024-11-08T23:10:03Z

Author Landau, David P. editor. Lewis, Steven P. editor. Schüttler, Heinz-Bernd. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-32640-3
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006. Proceedings

2024-11-08T23:10:03Z

Author Vassiliadis, Stamatis. editor. Wong, Stephan. editor. Hämäläinen, Timo D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11796435
Format: Electronic Resources
Availability Online Library~1

Computer Simulation Studies in Condensed-Matter Physics XVI

2024-11-08T23:10:03Z

Author Landau, David P. editor. Lewis, Steven P. editor. Schütler, Heinz-Bernd. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137808
Format: Electronic Resources
Availability Online Library~1

Azobenzen molekülünün ışık duyarlı konformasyon değişimlerinin bilgisayar simülasyonu = Computer simulation of light sensitive conformational changes of azobenzene molecule

2024-11-08T23:10:03Z

Author Turgut, Umut Orçun.
Preferred Shelf Number TEZ/7195 T929 2005
Format: Books
Availability Beytepe Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, 2005. Proceedings

2024-11-08T23:10:03Z

Author Hämäläinen, Timo D. editor. Pimentel, Andy D. editor. Takala, Jarmo. editor. Vassiliadis, Stamatis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138322
Format: Electronic Resources
Availability Online Library~1

Advanced Computer Simulation Approaches for Soft Matter Sciences I

2024-11-08T23:10:03Z

Author Holm, Christian. editor. Kremer, Kurt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b98052
Format: Electronic Resources
Availability Online Library~1

Advanced Computer Simulation Approaches for Soft Matter Sciences II

2024-11-08T23:10:03Z

Author Holm, Christian. editor. Kremer, Kurt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136792
Format: Electronic Resources
Availability Online Library~1

Reliable methods for computer simulation error control and a posteriori estimates

2024-11-08T23:10:03Z

Author Neittaanmäki, P. (Pekka) Repin, Sergey I.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444513762
Format: Electronic Resources
Availability Online Library~1

Chemical engineering dynamics : an introduction to modelling and computer simulation

2024-11-08T23:10:03Z

Author Ingham, John.
Preferred Shelf Number TP 155.75 C45 2000
Format: Books
Availability Beytepe Library~2

Microstructures, mechanical properties and processes--computer simulation and modelling

2024-11-08T23:10:03Z

Author European Conference on Advanced Materials and Processes (6th : 1999 : Munich, Germany) Bréchet, Yves. Deutsche Gesellschaft für Materialkunde. Federation of European Materials Societies. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/3527606157
Format: Electronic Resources
Availability Online Library~1

Kömür hazırlama tesislerinin simülasyonu için bilgisayar paket programının geliştirilmesi = The development of a computer program for simulation of coal preparation plants

2024-11-08T23:10:03Z

Author Sönmez, Birol.
Preferred Shelf Number TEZ 4402 .S66 1999
Format: Books
Availability Beytepe Library~1

Expert systems and computer simulation in energy engineering : selected papers from the second international forum, Erlangen, Germany, 17-20 March, 1992

2024-11-08T23:10:03Z

Author Kim, J. H.
Preferred Shelf Number TJ 163.7 E97 1995
Format: Books
Availability Beytepe Library~1

Computer simulation studies in condensed matter physics II : new directions: proceedings of the second workshop, Athens, GA, USA, February 20-24, 1990

2024-11-08T23:10:03Z

Author Landau, D. P., ed. Mon, K. K., ed. Schüttler, H. B., ed.
Preferred Shelf Number QC 173.4.C65 C652 1990
Format: Books
Availability Beytepe Library~2

Computer simulation and computer algebra : lecture for beginners

2024-11-08T23:10:03Z

Author Stauffer, D., ort. yaz.
Preferred Shelf Number QA 76.9.C65 C656 1989
Format: Books
Availability Beytepe Library~1

Probability modeling and computer simulation : an integrated introduction with applications to engineering and computer science

2024-11-08T23:10:03Z

Author Matloff, Norman S.
Preferred Shelf Number QA 273 M385 1988
Format: Books
Availability Beytepe Library~1

Mathematical simulation and computer analysis of thin, strip rolling mills

2024-11-08T23:10:03Z

Author Polukhin, Vladimir Petrovich.
Preferred Shelf Number TS 340 P63 1975
Format: Books
Availability Beytepe Library~1

Dynamics of the Vietnam war : a quantitative analysis and predictive computer simulation

2024-11-08T23:10:03Z

Author Milstein, Jeffrey S.
Preferred Shelf Number DS 557 A6 M485 1974
Format: Books
Availability Beytepe Library~1

An introduction to computer simulation in applied science

2024-11-08T23:10:03Z

Author Abrahan, Farid F. , ed. Tiller, William A. , ed.
Preferred Shelf Number TA 403.6 I57 1972
Format: Books
Availability Beytepe Library~1

Computer simulation experiments with models of economic systems

2024-11-08T23:10:03Z

Author Naylor, Thomas H.
Preferred Shelf Number HB 74.M3 N32 1971
Format: Books
Availability Beytepe Library~1

Computer simulation applications : discrete-event simulation for synthesis and analysis of complex systems

2024-11-08T23:10:03Z

Author Reitman, Julian.
Preferred Shelf Number T 57.62 R45 1971
Format: Books
Availability Beytepe Library~1

Candidates, issues and strategies : A computer simulation of the 1960 and 1964 Presidential elections

2024-11-08T23:10:03Z

Author Pool, Ithiel de Sola, 1917- Abelson, Robert P., ort. yaz. Popkin, Samuel L., ort. yaz.
Preferred Shelf Number E 837.7 P6 1965
Format: Books
Availability Beytepe Library~1

Symposium on simulation models : methodology and applications to the behavioral siences

2024-11-08T23:10:03Z

Author Conference on Computer Simulation, University of California, Los Angeles, 1961. Hoggatt, Austin Curwood, ed. by. Balderston, Frederick E., ed. by.
Preferred Shelf Number H 62 C5848 1963
Format: Books
Availability Beytepe Library~1

The modelling of human behaviour

2024-11-08T23:10:03Z

Author Schmidt, B. (SCS)The Society for Computer Simulation International. (ASIM)Arbeitsgemeinschaft Simulation.
Preferred Shelf Number HM 271 S51 2000
Format: Books
Availability Beytepe Library~1

Proceedings

2024-11-08T23:10:03Z

Author European Simulation Symposium (1994 : İstanbul) Kaylan, Ali Rıza, ed. by Lehmann, Axel, ed. by Ören, Tuncer İ., ed. by Society for Computer Simulation.
Preferred Shelf Number QA 76.9.C65 E97 1994 V.1
Format: Books
Availability Beytepe Library~3

Computational modelling and simulation of aircraft and the environment

2024-11-08T23:10:03Z

Author Diston, Dominic J.
Preferred Shelf Number ONLINE
Electronic Access Books24x7 http://www.books24x7.com/marc.asp?bookid=33686 John Wiley http://dx.doi.org/10.1002/9780470744130 http://site.ebrary.com/lib/alltitles/Doc?id=10313614
Format: Electronic Resources
Availability Online Library~1

Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part I

2024-11-08T23:10:03Z

Author Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520194.1)
Electronic Access https://doi.org/10.1007/978-3-031-23950-2
Format: Electronic Resources
Availability Online Library~1

Emerging Networking Architecture and Technologies First International Conference, ICENAT 2022, Shenzhen, China, November 15-17, 2022, Proceedings

2024-11-08T23:10:03Z

Author Quan, Wei. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520200.1)
Electronic Access https://doi.org/10.1007/978-981-19-9697-9
Format: Electronic Resources
Availability Online Library~1

Bio-inspired Information and Communications Technologies 14th EAI International Conference, BICT 2023, Okinawa, Japan, April 11-12, 2023, Proceedings

2024-11-08T23:10:03Z

Author Chen, Yifan. editor. Yao, Dezhong. editor. Nakano, Tadashi. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520635.1)
Electronic Access https://doi.org/10.1007/978-3-031-43135-7
Format: Electronic Resources
Availability Online Library~1

Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part III

2024-11-08T23:10:03Z

Author Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520752.1)
Electronic Access https://doi.org/10.1007/978-3-031-23944-1
Format: Electronic Resources
Availability Online Library~1

Advanced Communication and Intelligent Systems First International Conference, ICACIS 2022, Virtual Event, October 20-21, 2022, Revised Selected Papers

2024-11-08T23:10:03Z

Author Shaw, Rabindra Nath. editor. Paprzycki, Marcin. editor. Ghosh, Ankush. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number XX(520756.1)
Electronic Access https://doi.org/10.1007/978-3-031-25088-0
Format: Electronic Resources
Availability Online Library~1

Computer Science and Education in Computer Science 19th EAI International Conference, CSECS 2023, Boston, MA, USA, June 28-29, 2023, Proceedings

2024-11-08T23:10:03Z

Author Zlateva, Tanya. editor. Tuparov, Georgi. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520698.1)
Electronic Access https://doi.org/10.1007/978-3-031-44668-9
Format: Electronic Resources
Availability Online Library~1

Image and Graphics Technologies and Applications 18th Chinese Conference, IGTA 2023, Beijing, China, August 17-19, 2023, Revised Selected Papers

2024-11-08T23:10:03Z

Author Yongtian, Wang. editor. Lifang, Wu. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520718.1)
Electronic Access https://doi.org/10.1007/978-981-99-7549-5
Format: Electronic Resources
Availability Online Library~1

Internet of Things, Smart Spaces, and Next Generation Networks and Systems 22nd International Conference, NEW2AN 2022, Tashkent, Uzbekistan, December 15-16, 2022, Proceedings

2024-11-08T23:10:03Z

Author Koucheryavy, Yevgeni. editor. (orcid) Aziz, Ahmed. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number XX(520839.1)
Electronic Access https://doi.org/10.1007/978-3-031-30258-9
Format: Electronic Resources
Availability Online Library~1

Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings

2024-11-08T23:10:03Z

Author Morusupalli, Raghava. editor. Dandibhotla, Teja Santosh. editor. Atluri, Vani Vathsala. editor. Windridge, David. editor. Lingras, Pawan. editor.
Preferred Shelf Number XX(521001.1)
Electronic Access https://doi.org/10.1007/978-3-031-36402-0
Format: Electronic Resources
Availability Online Library~1

RoboCup 2022: Robot World Cup XXV

2024-11-08T23:10:03Z

Author Eguchi, Amy. editor. Lau, Nuno. editor. Paetzel-Prüsmann, Maike. editor. Wanichanon, Thanapat. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520910.1)
Electronic Access https://doi.org/10.1007/978-3-031-28469-4
Format: Electronic Resources
Availability Online Library~1

Human-Centered Artificial Intelligence Advanced Lectures

2024-11-08T23:10:03Z

Author Chetouani, Mohamed. editor. (orcid) Dignum, Virginia. editor. Lukowicz, Paul. editor. (orcid) Sierra, Carles. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520925.1)
Electronic Access https://doi.org/10.1007/978-3-031-24349-3
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part VII

2024-11-08T23:10:03Z

Author Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)
Preferred Shelf Number XX(521240.1)
Electronic Access https://doi.org/10.1007/978-981-99-6498-7
Format: Electronic Resources
Availability Online Library~1

Advances in Visual Computing 18th International Symposium, ISVC 2023, Lake Tahoe, NV, USA, October 16-18, 2023, Proceedings, Part I

2024-11-08T23:10:03Z

Author Bebis, George. editor. Ghiasi, Golnaz. editor. Fang, Yi. editor. Sharf, Andrei. editor. Dong, Yue. editor.
Preferred Shelf Number XX(521353.1)
Electronic Access https://doi.org/10.1007/978-3-031-47969-4
Format: Electronic Resources
Availability Online Library~1

Supercomputing 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part I

2024-11-08T23:10:03Z

Author Voevodin, Vladimir. editor. Sobolev, Sergey. editor. Yakobovskiy, Mikhail. editor. Shagaliev, Rashit. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521380.1)
Electronic Access https://doi.org/10.1007/978-3-031-49432-1
Format: Electronic Resources
Availability Online Library~1

Computer Aided Engineering of Batteries

2024-11-08T23:10:03Z

Author Santhanagopalan, Shriram. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520358.1)
Electronic Access https://doi.org/10.1007/978-3-031-17607-4
Format: Electronic Resources
Availability Online Library~1

Computer Supported Cooperative Work and Social Computing 17th CCF Conference, ChineseCSCW 2022, Taiyuan, China, November 25-27, 2022, Revised Selected Papers, Part I

2024-11-08T23:10:03Z

Author Sun, Yuqing. editor. Lu, Tun. editor. Guo, Yinzhang. editor. Song, Xiaoxia. editor. Fan, Hongfei. editor.
Preferred Shelf Number XX(520315.1)
Electronic Access https://doi.org/10.1007/978-981-99-2356-4
Format: Electronic Resources
Availability Online Library~1

Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II

2024-11-08T23:10:03Z

Author Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520319.1)
Electronic Access https://doi.org/10.1007/978-981-99-2446-2
Format: Electronic Resources
Availability Online Library~1

Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28-30, 2023, Revised Selected Papers

2024-11-08T23:10:03Z

Author Sokolinsky, Leonid. editor. Zymbler, Mikhail. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520526.1)
Electronic Access https://doi.org/10.1007/978-3-031-38864-4
Format: Electronic Resources
Availability Online Library~1

Comprehensive Healthcare Simulation: Pharmacy Education, Practice and Research

2024-11-08T23:10:03Z

Author Al-Worafi, Yaser Mohammed. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521591.1)
Electronic Access https://doi.org/10.1007/978-3-031-33761-1
Format: Electronic Resources
Availability Online Library~1

Distributed Computer and Communication Networks 25th International Conference, DCCN 2022, Moscow, Russia, September 26-29, 2022, Revised Selected Papers

2024-11-08T23:10:03Z

Author Vishnevskiy, Vladimir M. editor. Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520232.1)
Electronic Access https://doi.org/10.1007/978-3-031-30648-8
Format: Electronic Resources
Availability Online Library~1

Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III

2024-11-08T23:10:03Z

Author Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520246.1)
Electronic Access https://doi.org/10.1007/978-981-99-2449-3
Format: Electronic Resources
Availability Online Library~1

Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part II

2024-11-08T23:10:03Z

Author Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520264.1)
Electronic Access https://doi.org/10.1007/978-3-031-23947-2
Format: Electronic Resources
Availability Online Library~1

6GN for Future Wireless Networks 5th EAI International Conference, 6GN 2022, Harbin, China, December 17-18, 2022, Proceedings, Part II

2024-11-08T23:10:03Z

Author Li, Ao. editor. Shi, Yao. editor. Xi, Liang. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520491.1)
Electronic Access https://doi.org/10.1007/978-3-031-36014-5
Format: Electronic Resources
Availability Online Library~1

Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings

2024-11-08T23:10:03Z

Author Camarinha-Matos, Luis M. editor. Boucher, Xavier. editor. Ortiz, Angel. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520625.1)
Electronic Access https://doi.org/10.1007/978-3-031-42622-3
Format: Electronic Resources
Availability Online Library~1

Intelligent Human Computer Interaction 14th International Conference, IHCI 2022, Tashkent, Uzbekistan, October 20-22, 2022, Revised Selected Papers

2024-11-08T23:10:03Z

Author Zaynidinov, Hakimjon. editor. Singh, Madhusudan. editor. Tiwary, Uma Shanker. editor. Singh, Dhananjay. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number XX(520933.1)
Electronic Access https://doi.org/10.1007/978-3-031-27199-1
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Recent Trends in Signal and Image Processing ISSIP 2017

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Bioinformatics and Phylogenetics Seminal Contributions of Bernard Moret

2024-11-08T23:10:03Z

Author Warnow, Tandy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-10837-3
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Comprehensive Healthcare Simulation: Operations, Technology, and Innovative Practice

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Ray Tracing: A Tool for All

2024-11-08T23:10:03Z

Author Peddie, Jon. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17490-3
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

Author Wang, Yu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-6484-6
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

Author Geshi, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-9802-5
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Pervasive Computing: A Networking Perspective and Future Directions

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Recent Trends in Signal and Image Processing Proceedings of ISSIP 2018

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

Author Geshi, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-6194-4
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Mathematical Insights into Advanced Computer Graphics Techniques

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Computational modelling of nanoparticles

2024-11-08T23:10:03Z

Author Bromley, Stefan T., 1971- editor. Woodley, Scott M., editor.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect https://www.sciencedirect.com/science/bookseries/18762778/12
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Practice of Optimisation Theory in Geotechnical Engineering

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Simulation for Industry 4.0 Past, Present, and Future

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Modelling and Simulation Exploring Dynamic System Behaviour

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Modeling and Application of Flexible Electronics Packaging

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

MATLAB-based finite element programming in electromagnetic modeling

2024-11-08T23:10:03Z

Author Özgün, Özlem. Kuzuoğlu, Mustafa.
Preferred Shelf Number QC760 O94 2019
Format: Books
Availability Beytepe Library~1

Global algorithmic capital markets : high frequency trading, dark pools, and regulatory challenges

2024-11-08T23:10:03Z

Author Mattli, Walter.
Preferred Shelf Number HG4523 G555 2019
Format: Books
Availability Beytepe Library~1

Computational methods and algorithms for medicine and optimized clinical practice

2024-11-08T23:10:03Z

Author Chui, Kwok Tai, editor. Lytras, Miltiadis D., 1973- editor. IGI Global, publisher.
Preferred Shelf Number ONLINE
Electronic Access Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-8244-1
Format: Electronic Resources
Availability Online Library~1

Effective Model-Based Systems Engineering

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Handbook of Model Predictive Control

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Neural Modeling of Speech Processing and Speech Learning An Introduction

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

BERRU Predictive Modeling Best Estimate Results with Reduced Uncertainties

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

OPNET IoT Simulation

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Transient Effects in Simulations of Hybrid Electric Drivetrains

2024-11-08T23:10:03Z

Author Winke, Florian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-22554-4
Format: Electronic Resources
Availability Online Library~1

Comprehensive Healthcare Simulation: Neurosurgery

2024-11-08T23:10:03Z

Author Alaraj, Ali. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75583-0
Format: Electronic Resources
Availability Online Library~1

From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Numerical Simulation of the Aerodynamics of High-Lift Configurations

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

Author Deng, Xiaotie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99660-8
Format: Electronic Resources
Availability Online Library~1

Enterprise and Organizational Modeling and Simulation 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11–12, 2018, Selected Papers

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Applied Scientific Computing With Python

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

The Test and Launch Control Technology for Launch Vehicles

2024-11-08T23:10:03Z

Author Song, Zhengyu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-8712-7
Format: Electronic Resources
Availability Online Library~1

5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

Author Hoffman, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60747-4
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Nature Inspired Computing Proceedings of CSI 2015

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Modeling and Simulation in Industrial Engineering

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Encyclopedia of Social Network Analysis and Mining

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Multi-layer Pavement System under Blast Load

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Exploring Occupant Behavior in Buildings Methods and Challenges

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Stochastic Finite Element Methods An Introduction

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Automatic Tuning of Compilers Using Machine Learning

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Bone Adaptation In Silico Approach

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Bioinformatics: Sequences, Structures, Phylogeny

2024-11-08T23:10:03Z

Author Shanker, Asheesh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-1562-6
Format: Electronic Resources
Availability Online Library~1

Wireless Internet 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Modeling Discrete-Event Systems with GPenSIM An Introduction

2024-11-08T23:10:03Z

Author Davidrajuh, Reggie. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73102-5
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

3D Kinematics

2024-11-08T23:10:03Z

Author Haslwanter, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75277-8
Format: Electronic Resources
Availability Online Library~1

Handbook of Dynamic Data Driven Applications Systems

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Automatic Control Systems in Biomedical Engineering An Interactive Educational Approach

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Fuzzy Graph Theory with Applications to Human Trafficking

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Computational Models of Rhythm and Meter

2024-11-08T23:10:03Z

Author Boenn, Georg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76285-2
Format: Electronic Resources
Availability Online Library~1

Probability and Statistics for Computer Science

2024-11-08T23:10:03Z

Author Forsyth, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64410-3
Format: Electronic Resources
Availability Online Library~1

Modeling, Simulation, and Optimization

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Intelligent Control Design and MATLAB Simulation

2024-11-08T23:10:03Z

Author Liu, Jinkun. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-5263-7
Format: Electronic Resources
Availability Online Library~1

Finite Element Applications A Practical Guide to the FEM Process

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Neural Networks for Cooperative Control of Multiple Robot Arms

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Modelling and simulation in the science of micro- and meso-porous materials

2024-11-08T23:10:03Z

Author Catlow, C. R. A. (Charles Richard Arthur), 1947- Van Speybroeck, Veronique. Santen, R. A. van (Rutger A.)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128050576
Format: Electronic Resources
Availability Online Library~1

New Perspectives on Applied Industrial Tools and Techniques

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Reliability Aspect of Cloud Computing Environment

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Honeypot Frameworks and Their Applications: A New Framework

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Computer Simulations of Space Societies

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Systems Analysis Approach for Complex Global Challenges

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Simulations for Design and Manufacturing Select Papers from AIMTDR 2016

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Computational frameworks : systems, models and applications

2024-11-08T23:10:03Z

Author Traoré, Mamadou K. (Mamadou Kaba), editor.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781785482564
Format: Electronic Resources
Availability Online Library~1

The rewiring brain : a computational approach to structural plasticity in the adult brain

2024-11-08T23:10:03Z

Author Van Ooyen, Arjen, editor. Butz-Ostendorf, Markus, editor.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128037843 ScienceDirect https://www.sciencedirect.com/science/book/9780128037843
Format: Electronic Resources
Availability Online Library~1

Discrete simulation and animation for mining engineers

2024-11-08T23:10:03Z

Author Sturgul, John R., author.
Preferred Shelf Number TN275 S87 2016
Format: Books
Availability Beytepe Library~1

Introduction to EEG- and speech-based emotion recognition

2024-11-08T23:10:03Z

Author Abhang, Priyanka A., author. Gawali, Bharti W., author. Mehrotra, Suresh C., author.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect https://www.sciencedirect.com/science/book/9780128044902
Format: Electronic Resources
Availability Online Library~1

Computational systems biology : inference and modelling

2024-11-08T23:10:03Z

Author Lecca, Paola, 1973- author.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780081000953
Format: Electronic Resources
Availability Online Library~1

Advanced engineering materials and modeling

2024-11-08T23:10:03Z

Author Tiwari, Ashutosh, 1978- editor. Murugan, N. Arul, 1976- editor. Ahuja, Rajeev, 1965- editor.
Preferred Shelf Number ONLINE
Electronic Access Wiley Online Library
Format: Electronic Resources
Availability Online Library~1

Optimization methods in metabolic networks

2024-11-08T23:10:03Z

Author Maranas, Costas D., 1967- , author. Zomorrodi, Ali R., author.
Preferred Shelf Number QP171 M37 2016
Format: Books
Availability Beytepe Library~2

An introduction to thermodynamic cycle simulations for internal combustion engines

2024-11-08T23:10:03Z

Author Caton, J. A. (Jerald A.)
Preferred Shelf Number TJ756 C38 2016
Format: Books
Availability Beytepe Library~1

Groundwater vulnerability : chernobyl nuclear disaster

2024-11-08T23:10:03Z

Author Faybishenko, Boris, editor. American Geophysical Union.
Preferred Shelf Number ONLINE(342085.1)
Electronic Access ebrary http://alltitles.ebrary.com/Doc?id=10951347 John Wiley http://dx.doi.org/10.1002/9781118962220
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Simulation modeling and analysis

2024-11-08T23:10:03Z

Author Law, Averill M.
Preferred Shelf Number QA76.9.C65 L38 2015
Format: Books
Availability Beytepe Library~1

Handbook of virtual environments : design, implementation, and applications

2024-11-08T23:10:03Z

Author Hale, Kelly S. Stanney, Kay M.
Preferred Shelf Number ONLINE(356746.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Computational modeling of pulverized coal fired boilers

2024-11-08T23:10:03Z

Author Ranade, Vivek V., author. Gupta, Devkumar F., author.
Preferred Shelf Number ONLINE(356972.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

The uncanny valley in games and animation

2024-11-08T23:10:03Z

Author Tinwell, Angela, author.
Preferred Shelf Number ONLINE(357045.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

The multibody systems approach to vehicle dynamics

2024-11-08T23:10:03Z

Author Blundell, Michael, author. Harty, Damian, author.
Preferred Shelf Number ONLINE(355475.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780080994253
Format: Electronic Resources
Availability Online Library~1

Simulation with Arena

2024-11-08T23:10:03Z

Author Kelton, W. David. Sadowski, Randall P. Zupick, Nancy B.
Preferred Shelf Number QA76.9.C65 K45 2015
Format: Books
Availability Beytepe Library~1

Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part III

2024-11-08T23:10:03Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number XX(518867.1)
Electronic Access https://doi.org/10.1007/978-3-319-21470-2
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence XIX

2024-11-08T23:10:03Z

Author Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. Xhafa, Fatos. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519152.1)
Electronic Access https://doi.org/10.1007/978-3-662-49017-4
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing Theories and Methodologies 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part II

2024-11-08T23:10:03Z

Author Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. Hussain, Abir. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519184.1)
Electronic Access https://doi.org/10.1007/978-3-319-22186-1
Format: Electronic Resources
Availability Online Library~1

Frontiers in computational chemistry. Volume 1

2024-11-08T23:10:03Z

Author Haq, Zaheer-ul- editor. Madura, J. D., editor.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781608058655
Format: Electronic Resources
Availability Online Library~1

Multiscale modeling for process safety applications

2024-11-08T23:10:03Z

Author Chakrabarty, Arnab, author. Mannan, Sam, author. Cagin, Tahir, author.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123969750
Format: Electronic Resources
Availability Online Library~1

A practical guide to SysML : the systems modeling language

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Process modelling and simulation in chemical, biochemical and environmental engineering

2024-11-08T23:10:03Z

Author Verma, Ashok Kumar, author.
Preferred Shelf Number ONLINE(356413.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

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

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Computational physics : Problem solving with computers

2024-11-08T23:10:03Z

Author Landau, Rubin H. Paez, Manuel J. Bordeianu, Cristian C.
Preferred Shelf Number QC20.82 L36 2015
Format: Books
Availability Beytepe Library~1

Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part II

2024-11-08T23:10:03Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number XX(518794.1)
Electronic Access https://doi.org/10.1007/978-3-319-21407-8
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV

2024-11-08T23:10:03Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number XX(519260.1)
Electronic Access https://doi.org/10.1007/978-3-319-21410-8
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I

2024-11-08T23:10:03Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number XX(519112.1)
Electronic Access https://doi.org/10.1007/978-3-319-21404-7
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part V

2024-11-08T23:10:03Z

Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number XX(519341.1)
Electronic Access https://doi.org/10.1007/978-3-319-21413-9
Format: Electronic Resources
Availability Online Library~1

Understanding the discrete element method : simulation of non-spherical particles for granular and multi-body systems

2024-11-08T23:10:03Z

Author Matuttis, Hans-Georg, author. Chen, J. F. (Jian-Fei), 1963- author.
Preferred Shelf Number ONLINE(341591.1)
Electronic Access John Wiley http://dx.doi.org/10.1002/9781118567210
Format: Electronic Resources
Availability Online Library~1

Computational approaches to studying the co-evolution of networks and behavior in social dilemmas

2024-11-08T23:10:03Z

Author Corten, Rense, author.
Preferred Shelf Number ONLINE(341743.1)
Electronic Access Cover image http://catalogimages.wiley.com/images/db/jimages/9781118636879.jpg Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1603264 John Wiley http://dx.doi.org/10.1002/9781118762912 MyiLibrary http://www.myilibrary.com?id=571625
Format: Electronic Resources
Availability Online Library~1

The multilevel fast multipole algorithm (MLFMA) for solving large-scale computational electromagnetics problems

2024-11-08T23:10:03Z

Author Ergül, Özgür, author. Gurel, Levent, author. IEEE Antennas and Propagation Society, sponsor.
Preferred Shelf Number ONLINE(341875.1)
Electronic Access Cover image http://catalogimages.wiley.com/images/db/jimages/9781119977414.jpg http://onlinelibrary.wiley.com/book/10.1002/9781118844977 John Wiley http://dx.doi.org/10.1002/9781118844977
Format: Electronic Resources
Availability Online Library~1

Process engineering and design using Visual Basic℗ʼ

2024-11-08T23:10:03Z

Author Datta, Arun, author.
Preferred Shelf Number ONLINE(342719.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Understanding LTE with MATLAB : from mathematical modeling to simulation and prototyping

2024-11-08T23:10:03Z

Author Zarrinkoub, Houman, author.
Preferred Shelf Number ONLINE(341541.1)
Electronic Access Cover image http://catalogimages.wiley.com/images/db/jimages/9781118443415.jpg John Wiley http://dx.doi.org/10.1002/9781118443446
Format: Electronic Resources
Availability Online Library~1

Advanced electric drives : analysis, control, and modeling using MATLAB/Simulink

2024-11-08T23:10:03Z

Author Mohan, Ned, author.
Preferred Shelf Number ONLINE(342003.1)
Electronic Access Cover image http://catalogimages.wiley.com/images/db/jimages/9781118485484.jpg Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1744264 ebrary http://site.ebrary.com/id/10896038 John Wiley http://dx.doi.org/10.1002/9781118910962 MyiLibrary http://www.myilibrary.com?id=629217
Format: Electronic Resources
Availability Online Library~1

Understanding large temporal networks and spatial networks : exploration, pattern searching, visualization and network evolution

2024-11-08T23:10:03Z

Author Batagelj, Vladimir, 1948-
Preferred Shelf Number ONLINE(342025.1)
Electronic Access Cover image http://catalogimages.wiley.com/images/db/jimages/9780470714522.jpg Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1780727 John Wiley http://dx.doi.org/10.1002/9781118915370 MyiLibrary http://www.myilibrary.com?id=642293 http://swb.eblib.com/patron/FullRecord.aspx?p=1780727
Format: Electronic Resources
Availability Online Library~1

Interatomic bonding in solids fundamentals, simulation, applications

2024-11-08T23:10:03Z

Author Levitin, Valim.
Preferred Shelf Number ONLINE(342212.1)
Electronic Access John Wiley http://dx.doi.org/10.1002/9783527671557
Format: Electronic Resources
Availability Online Library~1

Computational modeling of polymer composites : a study of creep and environmental effects

2024-11-08T23:10:03Z

Author Roy, Samit, author. Reddy, J. N., author.
Preferred Shelf Number ONLINE(342870.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Elements of stochastic modelling

2024-11-08T23:10:03Z

Author Borovkov, K.
Preferred Shelf Number QA274 B655 2014
Format: Books
Availability Beytepe Library~1

Discrete and continuous simulation : theory and practice

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Bayesian programming

2024-11-08T23:10:03Z

Author Bessiere, Pierre.
Preferred Shelf Number QA76.6 B4764 2014
Format: Books
Availability Beytepe Library~1

Logical modeling of biological systems

2024-11-08T23:10:03Z

Author Inoue, Katsumi, editor. Fariñas del Cerro, Luis, editor.
Preferred Shelf Number ONLINE(342139.1)
Electronic Access Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1765112 ebrary http://site.ebrary.com/id/10907565 John Wiley http://dx.doi.org/10.1002/9781119005223 MyiLibrary http://www.myilibrary.com?id=637336
Format: Electronic Resources
Availability Online Library~1

Handbook of Parallel and distributed simulation systems : Analysis and applications

2024-11-08T23:10:03Z

Author Takahashi N. W.
Preferred Shelf Number QA76.9.C65 F84 2014 V.1
Format: Books
Availability Beytepe Library~2

Integrated design and simulation of chemical processes

2024-11-08T23:10:03Z

Author Dimian, Alexandre C., author. Bildea, Costin Sorin, author. Kiss, Anton, author.
Preferred Shelf Number ONLINE(355552.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444627001
Format: Electronic Resources
Availability Online Library~1

Modelling, simulation and control of the dyeing process

2024-11-08T23:10:03Z

Author Shamey, R., author. Zhao, X., author.
Preferred Shelf Number ONLINE(355584.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780857091338
Format: Electronic Resources
Availability Online Library~1

Modeling enterprise architecture with TOGAF : a practical guide using UML and BPMN

2024-11-08T23:10:03Z

Author Desfray, Philippe, author. Raymond, Gilbert, author.
Preferred Shelf Number ONLINE(355810.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124199842
Format: Electronic Resources
Availability Online Library~1

Ecological modelling and engineering of lakes and wetlands

2024-11-08T23:10:03Z

Author Jørgensen, Sven Erik. Chang, Ni-Bin. Xu, Fu-Liu.
Preferred Shelf Number ONLINE(355860.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444632494
Format: Electronic Resources
Availability Online Library~1

Process modeling style

2024-11-08T23:10:03Z

Author Long, John O., author.
Preferred Shelf Number ONLINE(355910.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128009598
Format: Electronic Resources
Availability Online Library~1

Probability and statistics for computer scientists

2024-11-08T23:10:03Z

Author Baron, Michael, 1968-
Preferred Shelf Number QA273 B37 2014
Format: Books
Availability Beytepe Library~1

Introduction to scientific programming and simulation using R

2024-11-08T23:10:03Z

Author Jones, Owen (Owen Dafydd), author. Maillardet, Robert, author. Robinson, Andrew (Andrew P.), author.
Preferred Shelf Number Q183.9 J65 2014
Format: Books
Availability Beytepe Library~1

Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings

2024-11-08T23:10:03Z

Author Horváth, András. editor. Wolter, Katinka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10885-8
Format: Electronic Resources
Availability Online Library~1

Multiphysics Simulation Electromechanical System Applications and Optimization

2024-11-08T23:10:03Z

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: Electronic Resources
Availability Online Library~1

Integrating 3D Modeling, Photogrammetry and Design

2024-11-08T23:10:03Z

Author Foster, Shaun. author. Halbstein, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6329-9
Format: Electronic Resources
Availability Online Library~1