Search Results for Computers. - Narrowed by: Computer simulation.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputers.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026pe$003dd$00253A$0026ps$003d300?dt=list
2024-12-27T09:42:00Z
Modeling with technology : mindtools for conceptual change
ent://SD_ILS/0/SD_ILS:268492
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Jonassen, David H. Jonassen, David H., 1947- Computers as mindtools for schools.<br/>Preferred Shelf Number LB1028.5 J612 2006<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Artificial Intelligence for Communications and Networks First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:483515
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Han, Shuai. editor. Ye, Liang. editor. Meng, Weixiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22968-9">https://doi.org/10.1007/978-3-030-22968-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483867
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29662-9">https://doi.org/10.1007/978-3-030-29662-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484028
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27008-7">https://doi.org/10.1007/978-3-030-27008-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Hybrid Information Processing Third EAI International Conference, ADHIP 2019, Nanjing, China, September 21–22, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:484329
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Gui, Guan. editor. (orcid)0000-0003-3888-2881 Yun, Lin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-36405-2">https://doi.org/10.1007/978-3-030-36405-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:484045
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-25540-4">https://doi.org/10.1007/978-3-030-25540-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:486031
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-16722-6">https://doi.org/10.1007/978-3-030-16722-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neural Modeling of Speech Processing and Speech Learning An Introduction
ent://SD_ILS/0/SD_ILS:486198
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Kröger, Bernd J. author. Bekolay, Trevor. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-15853-8">https://doi.org/10.1007/978-3-030-15853-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling and Simulation for Autonomous Systems 5th International Conference, MESAS 2018, Prague, Czech Republic, October 17–19, 2018, Revised Selected papers
ent://SD_ILS/0/SD_ILS:486272
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Mazal, Jan. editor. (orcid)0000-0001-5741-558X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-14984-0">https://doi.org/10.1007/978-3-030-14984-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486274
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-18744-6">https://doi.org/10.1007/978-3-030-18744-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:486626
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23703-5">https://doi.org/10.1007/978-3-030-23703-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Algorithms, Systems, and Applications 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483667
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Biagioni, Edoardo S. editor. Zheng, Yao. editor. Cheng, Siyao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23597-0">https://doi.org/10.1007/978-3-030-23597-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483746
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34968-4">https://doi.org/10.1007/978-3-030-34968-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483898
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30446-1">https://doi.org/10.1007/978-3-030-30446-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484770
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32409-4">https://doi.org/10.1007/978-3-030-32409-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484889
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20652-9">https://doi.org/10.1007/978-3-030-20652-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
VR Technologies in Cultural Heritage First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485425
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Duguleană, Mihai. editor. Carrozzino, Marcello. editor. Gams, Matjaž. editor. Tanea, Iulian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05819-7">https://doi.org/10.1007/978-3-030-05819-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Mental Workload: Models and Applications Second International Symposium, H-WORKLOAD 2018, Amsterdam, The Netherlands, September 20-21, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486432
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Longo, Luca. editor. (orcid)0000-0002-2718-5426 Leva, M. Chiara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-14273-5">https://doi.org/10.1007/978-3-030-14273-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400459
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71734-0">https://doi.org/10.1007/978-3-319-71734-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cellular Automata 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485712
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Was, Jaroslaw. editor. Sirakoulis, Georgios. editor. Bandini, Stefania. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11520-7">https://doi.org/10.1007/978-3-319-11520-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485724
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11653-2">https://doi.org/10.1007/978-3-319-11653-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Brain-Inspired Computing International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485756
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Grandinetti, Lucio. editor. Lippert, Thomas. editor. Petkov, Nicolai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12084-3">https://doi.org/10.1007/978-3-319-12084-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:486822
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11245-9">https://doi.org/10.1007/978-3-319-11245-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487033
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Mendes, Pedro. editor. Dada, Joseph O. editor. Smallbone, Kieran. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12982-2">https://doi.org/10.1007/978-3-319-12982-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:488425
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Cordeiro, José. editor. van Sinderen, Marten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44920-2">https://doi.org/10.1007/978-3-662-44920-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Process Design for Natural Scientists An Agile Model-Driven Approach
ent://SD_ILS/0/SD_ILS:488739
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Lamprecht, Anna-Lena. editor. Margaria, Tiziana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45006-2">https://doi.org/10.1007/978-3-662-45006-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:488991
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Desai, Narayan. editor. Cirne, Walfredo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43779-7">https://doi.org/10.1007/978-3-662-43779-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Haptics: Neuroscience, Devices, Modeling, and Applications 9th International Conference, EuroHaptics 2014, Versailles, France, June 24-26, 2014, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:489050
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Auvray, Malika. editor. Duriez, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44193-0">https://doi.org/10.1007/978-3-662-44193-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Haptics: Neuroscience, Devices, Modeling, and Applications 9th International Conference, EuroHaptics 2014, Versailles, France, June 24-26, 2014, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:489241
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Auvray, Malika. editor. Duriez, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44196-1">https://doi.org/10.1007/978-3-662-44196-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Artificial Intelligence -- IBERAMIA 2014 14th Ibero-American Conference on AI, Santiago de Chile, Chile, November 24-27, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489173
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Bazzan, Ana L.C. editor. Pichara, Karim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12027-0">https://doi.org/10.1007/978-3-319-12027-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
AsiaSim 2014 14th International Conference on Systems Simulation, Kitakyushu, Japan, October 26-30, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489459
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Tanaka, Satoshi. editor. Hasegawa, Kyoko. editor. Xu, Rui. editor. Sakamoto, Naohisa. editor. Turner, Stephen John. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45289-9">https://doi.org/10.1007/978-3-662-45289-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Parallel and distributed simulation systems : Analysis and applications
ent://SD_ILS/0/SD_ILS:355184
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Takahashi N. W.<br/>Preferred Shelf Number QA76.9.C65 F84 2014 V.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485624
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Seidl, Martina. editor. Tillmann, Nikolai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09099-3">https://doi.org/10.1007/978-3-319-09099-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Computational Fluid Dynamics 25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:488042
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Li, Kenli. editor. Xiao, Zheng. editor. Wang, Yan. editor. Du, Jiayi. editor. Li, Keqin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-53962-6">https://doi.org/10.1007/978-3-642-53962-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Field-Coupled Nanocomputing Paradigms, Progress, and Perspectives
ent://SD_ILS/0/SD_ILS:489092
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Anderson, Neal G. editor. Bhanja, Sanjukta. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43722-3">https://doi.org/10.1007/978-3-662-43722-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Game Theory 7th International Symposium, SAGT 2014, Haifa, Israel, September 30 -- October 2, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488995
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Lavi, Ron. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44803-8">https://doi.org/10.1007/978-3-662-44803-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling and Simulation for Autonomous Systems First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:489019
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Hodicky, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13823-7">https://doi.org/10.1007/978-3-319-13823-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science XXIII Special Issue on Cyberworlds
ent://SD_ILS/0/SD_ILS:489252
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. Mao, Xiaoyang. editor. Hong, Lichan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43790-2">https://doi.org/10.1007/978-3-662-43790-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Telematics - Support for Transport 14th International Conference on Transport Systems Telematics, TST 2014, Katowice/Krakow/Ustron, Poland, October 22-25, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489514
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Mikulski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45317-9">https://doi.org/10.1007/978-3-662-45317-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Image and Graphics Technologies Chinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:487827
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Tan, Tieniu. editor. Ruan, Qiuqi. editor. Wang, Shengjin. editor. Ma, Huimin. editor. Huang, Kaiqi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45498-5">https://doi.org/10.1007/978-3-662-45498-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Agent-Based Simulation XIV International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:488959
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Alam, Shah Jamal. editor. Parunak, H. Van Dyke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54783-6">https://doi.org/10.1007/978-3-642-54783-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multiagent System Technologies 12th German Conference, MATES 2014, Stuttgart, Germany, September 23-25, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489629
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Müller, Jörg P. editor. Weyrich, Michael. editor. Bazzan, Ana L.C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11584-9">https://doi.org/10.1007/978-3-319-11584-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334071
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334071.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35867-8">http://dx.doi.org/10.1007/978-3-642-35867-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances on Practical Applications of Agents and Multi-Agent Systems 11th International Conference, PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334528
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Demazeau, Yves. editor. Ishida, Toru. editor. Corchado, Juan M. editor. Bajo, Javier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334528.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38073-0">http://dx.doi.org/10.1007/978-3-642-38073-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multiagent System Technologies 11th German Conference, MATES 2013, Koblenz, Germany, September 16-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335001
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Klusch, Matthias. editor. Thimm, Matthias. editor. Paprzycki, Marcin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335001.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40776-5">http://dx.doi.org/10.1007/978-3-642-40776-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Game Theory 6th International Symposium, SAGT 2013, Aachen, Germany, October 21-23, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335101
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Vöcking, Berthold. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335101.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41392-6">http://dx.doi.org/10.1007/978-3-642-41392-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Activities of Transport Telematics 13th International Conference on Transport Systems Telematics, TST 2013, Katowice-Ustroń, Poland, October 23–26, 2013, Selected Papers
ent://SD_ILS/0/SD_ILS:335135
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Mikulski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335135.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41647-7">http://dx.doi.org/10.1007/978-3-642-41647-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product-Focused Software Process Improvement 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334768
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Heidrich, Jens. editor. Oivo, Markku. editor. Jedlitschka, Andreas. editor. Baldassarre, Maria Teresa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334768.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39259-7">http://dx.doi.org/10.1007/978-3-642-39259-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334871
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Malyshkin, Victor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334871.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39958-9">http://dx.doi.org/10.1007/978-3-642-39958-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recht ex machina Formalisierung des Rechts im Internet der Dienste
ent://SD_ILS/0/SD_ILS:193673
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Raabe, Oliver. author. Wacker, Richard. author. Oberle, Daniel. author. Baumann, Christian. author. Funk, Christian. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17671-5">http://dx.doi.org/10.1007/978-3-642-17671-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196710
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Ser, Javier. editor. Jorswieck, Eduard Axel. editor. Miguez, Joaquin. editor. Matinmikko, Marja. editor. Palomar, Daniel P. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29479-2">http://dx.doi.org/10.1007/978-3-642-29479-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Critical Infrastructure Protection VI 6th IFIP WG 11.10 International Conference, ICCIP 2012, Washington, DC, USA, March 19-21, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197638
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Butts, Jonathan. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35764-0">http://dx.doi.org/10.1007/978-3-642-35764-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Based Software Performance Analysis
ent://SD_ILS/0/SD_ILS:192394
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Cortellessa, Vittorio. author. Di Marco, Antinisca. author. Inverardi, Paola. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13621-4">http://dx.doi.org/10.1007/978-3-642-13621-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to modeling and simulation of technical and physical systems with Modelica
ent://SD_ILS/0/SD_ILS:249934
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Fritzson, Peter A., 1952-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=6047592">http://ieeexplore.ieee.org/servlet/opac?bknumber=6047592</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Computing Technologies 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195262
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Malyshkin, Victor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23178-0">http://dx.doi.org/10.1007/978-3-642-23178-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Large-Scale Scientific Computing 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009. Revised Papers
ent://SD_ILS/0/SD_ILS:192025
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12535-5">http://dx.doi.org/10.1007/978-3-642-12535-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mobile Lightweight Wireless Systems Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193365
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Chatzimisios, Periklis. editor. Verikoukis, Christos. editor. Santamaría, Ignacio. editor. Laddomada, Massimiliano. editor. Hoffmann, Oliver. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16644-0">http://dx.doi.org/10.1007/978-3-642-16644-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Job Scheduling Strategies for Parallel Processing 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193317
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16505-4">http://dx.doi.org/10.1007/978-3-642-16505-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Computing Technologies 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190573
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Malyshkin, Victor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03275-2">http://dx.doi.org/10.1007/978-3-642-03275-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Robust and Online Large-Scale Optimization Models and Techniques for Transportation Systems
ent://SD_ILS/0/SD_ILS:191279
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Ahuja, Ravindra K. editor. Möhring, Rolf H. editor. Zaroliagis, Christos D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05465-5">http://dx.doi.org/10.1007/978-3-642-05465-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Large-Scale Scientific Computing 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers
ent://SD_ILS/0/SD_ILS:188254
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78827-0">http://dx.doi.org/10.1007/978-3-540-78827-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Ad Hoc and Sensor Networks A Cross-Layer Design Perspective
ent://SD_ILS/0/SD_ILS:166257
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Jurdak, Raja. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-39023-9">http://dx.doi.org/10.1007/978-0-387-39023-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Intelligence in Fault Diagnosis
ent://SD_ILS/0/SD_ILS:175483
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Palade, Vasile. editor. Jain, Lakhmi. editor. Bocaniala, Cosmin Danut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-631-5">http://dx.doi.org/10.1007/978-1-84628-631-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Large-Scale Scientific Computing 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005. Revised Papers
ent://SD_ILS/0/SD_ILS:183063
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11666806">http://dx.doi.org/10.1007/11666806</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of object-oriented modeling and simulation with Modelica 2.1
ent://SD_ILS/0/SD_ILS:249658
2024-12-27T09:42:00Z
2024-12-27T09:42:00Z
Author Fritzson, Peter A., 1952-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5264314">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5264314</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>