Search Results for Performance - Narrowed by: Computer simulation.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dPerformance$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026ps$003d300?dt=list
2026-03-19T03:04:37Z
Model-Based Software Performance Analysis
ent://SD_ILS/0/SD_ILS:192394
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
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/>
Performance Analysis of Network Architectures
ent://SD_ILS/0/SD_ILS:184004
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Tutsch, Dietmar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-34310-5">http://dx.doi.org/10.1007/3-540-34310-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Computing for Expressive Music Performance
ent://SD_ILS/0/SD_ILS:330911
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Kirke, Alexis. editor. Miranda, Eduardo R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330911.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4123-5">http://dx.doi.org/10.1007/978-1-4471-4123-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Exscalate4CoV High-Performance Computing for COVID Drug Discovery
ent://SD_ILS/0/SD_ILS:526863
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Coletti, Silvano. editor. Bernardi, Gabriella. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30691-4">https://doi.org/10.1007/978-3-031-30691-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Art of High Performance Computing for Computational Science, Vol. 1 Techniques of Speedup and Parallelization for General Purposes
ent://SD_ILS/0/SD_ILS:486074
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Geshi, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-6194-4">https://doi.org/10.1007/978-981-13-6194-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Art of High Performance Computing for Computational Science, Vol. 2 Advanced Techniques and Examples for Materials Science
ent://SD_ILS/0/SD_ILS:484149
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Geshi, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-9802-5">https://doi.org/10.1007/978-981-13-9802-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616448
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Dutra, Inês. editor. Camacho, Rui. editor. Barbosa, Jorge. editor. Marques, Osni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61982-8">https://doi.org/10.1007/978-3-319-61982-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617034
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Reinecke, Philipp. editor. Di Marco, Antinisca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66583-2">https://doi.org/10.1007/978-3-319-66583-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Resource Management for Big Data Platforms Algorithms, Modelling, and High-Performance Computing Techniques
ent://SD_ILS/0/SD_ILS:611395
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Pop, Florin. editor. Kołodziej, Joanna. editor. Di Martino, Beniamino. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44881-7">https://doi.org/10.1007/978-3-319-44881-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computer Applications 6th International Conference, ISUM 2015, Mexico City, Mexico, March 9-13, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:610878
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Gitler, Isidoro. editor. (orcid)0000-0003-1241-5943 Klapp, Jaime. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-32243-8">https://doi.org/10.1007/978-3-319-32243-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High-Performance Computing for Structural Mechanics and Earthquake/Tsunami Engineering
ent://SD_ILS/0/SD_ILS:611902
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Yoshimura, Shinobu. editor. Hori, Muneo. editor. Ohsaki, Makoto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21048-3">https://doi.org/10.1007/978-3-319-21048-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616231
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Fiems, Dieter. editor. Paolieri, Marco. editor. Platis, Agapios N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46433-6">https://doi.org/10.1007/978-3-319-46433-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bionic Optimization in Structural Design Stochastically Based Methods to Improve the Performance of Parts and Assemblies
ent://SD_ILS/0/SD_ILS:617222
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Steinbuch, Rolf. editor. Gekeler, Simon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46596-7">https://doi.org/10.1007/978-3-662-46596-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Context-Enhanced Information Fusion Boosting Real-World Performance with Domain Knowledge
ent://SD_ILS/0/SD_ILS:616662
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Snidaro, Lauro. editor. García, Jesús. editor. (orcid)0000-0003-1768-2688 Llinas, James. editor. Blasch, Erik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28971-7">https://doi.org/10.1007/978-3-319-28971-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:489315
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Jarvis, Stephen A. editor. Wright, Steven A. editor. Hammond, Simon D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10214-6">https://doi.org/10.1007/978-3-319-10214-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:482656
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Horváth, András. editor. Wolter, Katinka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10885-8">https://doi.org/10.1007/978-3-319-10885-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sustained Simulation Performance 2013 Proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2013
ent://SD_ILS/0/SD_ILS:332866
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Resch, Michael M. editor. Bez, Wolfgang. editor. Focht, Erich. editor. Kobayashi, Hiroaki. editor. Kovalenko, Yevgeniya. editor.<br/>Preferred Shelf Number ONLINE(332866.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-01439-5">http://dx.doi.org/10.1007/978-3-319-01439-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334290
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Tribastone, Mirco. editor. Gilmore, Stephen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334290.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36781-6">http://dx.doi.org/10.1007/978-3-642-36781-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Performance Engineering 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334995
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Balsamo, Maria Simonetta. editor. Knottenbelt, William J. editor. Marin, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334995.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40725-3">http://dx.doi.org/10.1007/978-3-642-40725-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Proxy Cache Replacement Strategies Simulation, Implementation, and Performance Evaluation
ent://SD_ILS/0/SD_ILS:331089
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author ElAarag, Hala. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331089.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4893-7">http://dx.doi.org/10.1007/978-1-4471-4893-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sustained Simulation Performance 2012 Proceedings of the joint Workshop on High Performance Computing on Vector Systems, Stuttgart (HLRS), and Workshop on Sustained Simulation Performance, Tohoku University, 2012
ent://SD_ILS/0/SD_ILS:333577
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Resch, Michael M. editor. Wang, Xin. editor. Bez, Wolfgang. editor. Focht, Erich. editor. Kobayashi, Hiroaki. editor.<br/>Preferred Shelf Number ONLINE(333577.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32454-3">http://dx.doi.org/10.1007/978-3-642-32454-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Competence in High Performance Computing 2010 Proceedings of an International Conference on Competence in High Performance Computing, June 2010, Schloss Schwetzingen, Germany
ent://SD_ILS/0/SD_ILS:195522
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Bischof, Christian. editor. Hegering, Heinz-Gerd. editor. Nagel, Wolfgang E. editor. Wittum, Gabriel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24025-6">http://dx.doi.org/10.1007/978-3-642-24025-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Supply Chain Simulation A System Dynamics Approach for Improving Performance
ent://SD_ILS/0/SD_ILS:168578
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Campuzano, Francisco. author. Mula, Josefa. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-719-8">http://dx.doi.org/10.1007/978-0-85729-719-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and High Performance Computing III The 3rd Russian-German Advanced Research Workshop, Novosibirsk, Russia, July 23 - 27, 2007
ent://SD_ILS/0/SD_ILS:185686
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Krause, Egon. editor. Shokin, Yurii I. editor. Resch, Michael. editor. Shokina, Nina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69010-8">http://dx.doi.org/10.1007/978-3-540-69010-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187955
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Labarta, Jesús. editor. Joe, Kazuki. editor. Sato, Toshinori. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77704-5">http://dx.doi.org/10.1007/978-3-540-77704-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and High Performance Computing II The 2nd Russian-German Advanced Research Workshop, Stuttgart, Germany, March 14 to 16, 2005
ent://SD_ILS/0/SD_ILS:182878
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Krause, Egon. editor. Shokin, Yurii. editor. Resch, Michael. editor. Shokina, Nina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-31768-6">http://dx.doi.org/10.1007/3-540-31768-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in High Performance Computing and Computational Sciences The 1st Kazakh-German Advanced Research Workshop, Almaty, Kazakhstan, September 25 to October 1, 2005
ent://SD_ILS/0/SD_ILS:183853
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Shokin, Yurii. editor. Resch, Michael. editor. Shokina, Nina. editor. Danaev, Nargozy. editor. Orunkhanov, Murat. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-33844-4">http://dx.doi.org/10.1007/978-3-540-33844-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and High Performance Computing Russian-German Advanced Research Workshop, Novosibirsk, Russia, September 30 to October 2, 2003
ent://SD_ILS/0/SD_ILS:183319
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Krause, Egon. editor. Shokin, Yurii I. editor. Resch, Michael. editor. Shokina, Nina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-32376-7">http://dx.doi.org/10.1007/3-540-32376-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computational Science and Engineering IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22–27, 2004, Toulouse, France
ent://SD_ILS/0/SD_ILS:165006
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Ng, Michael K. editor. Doncescu, Andrei. editor. Yang, Laurence T. editor. Leng, Tau. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104300">http://dx.doi.org/10.1007/b104300</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Control Systems Benchmarks
ent://SD_ILS/0/SD_ILS:608684
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Maestre, José M. editor. (orcid)0000-0002-4968-6811 Ocampo-Martinez, Carlos. editor. (orcid)0000-0001-9251-6044 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-76312-0">https://doi.org/10.1007/978-3-031-76312-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Discrete-event simulation : concepts and production in arena
ent://SD_ILS/0/SD_ILS:599486
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Jerbi, Abdessalem, author.<br/>Preferred Shelf Number T57.62 .J47 2024<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394332236">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394332236</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the 4th International Conference on Advances in Computational Science and Engineering ICACSE 2023, 16-17 December, Manila, Philippines
ent://SD_ILS/0/SD_ILS:605011
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Thiruchelvam, Vinesh. editor. Alfred, Rayner. editor. (orcid)0000-0002-3080-3264 Ismail, Zamhar Iswandono Bin Awang. editor. Haviluddin, Haviluddin. editor. Baharum, Aslina. editor. (orcid)0000-0003-3910-5646<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-2977-7">https://doi.org/10.1007/978-981-97-2977-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulation on Hydration of Tricalcium Silicate in Cement Clinker
ent://SD_ILS/0/SD_ILS:601629
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Shen, Dejian. author. Wang, Xin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-4598-6">https://doi.org/10.1007/978-981-99-4598-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Attachment Ventilation Theory
ent://SD_ILS/0/SD_ILS:526947
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Li, Angui. author. (orcid)0000-0002-9461-3793 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-9259-9">https://doi.org/10.1007/978-981-19-9259-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational and Experimental Simulations in Engineering Proceedings of ICCES 2022
ent://SD_ILS/0/SD_ILS:526870
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Dai, Honghua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-02097-1">https://doi.org/10.1007/978-3-031-02097-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the 5th International Conference on Numerical Modelling in Engineering Volume 1: Numerical Modelling in Civil Engineering, NME 2022, 23-24 August, Ghent University, Belgium
ent://SD_ILS/0/SD_ILS:527037
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Abdel Wahab, Magd. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-8429-7">https://doi.org/10.1007/978-981-19-8429-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems engineering neural networks
ent://SD_ILS/0/SD_ILS:598111
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Migliaccio, Alessandro, author. Iannone, Giovanni, author.<br/>Preferred Shelf Number QA76.87 .M537 2023<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119902027">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119902027</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:402158
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Chen, Qianbin. editor. Meng, Weixiao. editor. Zhao, Liqiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66625-9">https://doi.org/10.1007/978-3-319-66625-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399472
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95582-7">https://doi.org/10.1007/978-3-319-95582-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:400843
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Li, Bo. editor. Shu, Lei. editor. Zeng, Deze. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78139-6">https://doi.org/10.1007/978-3-319-78139-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Internet 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:399201
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Li, Cheng. editor. Mao, Shiwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90802-1">https://doi.org/10.1007/978-3-319-90802-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399551
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77935-5">https://doi.org/10.1007/978-3-319-77935-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
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
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/>
5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:400890
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Long, Keping. editor. Leung, Victor C.M. editor. Zhang, Haijun. editor. Feng, Zhiyong. editor. Li, Yonghui. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72823-0">https://doi.org/10.1007/978-3-319-72823-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:401982
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Li, Bo. editor. Shu, Lei. editor. Zeng, Deze. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78130-3">https://doi.org/10.1007/978-3-319-78130-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:402150
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Chen, Qianbin. editor. Meng, Weixiao. editor. Zhao, Liqiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66628-0">https://doi.org/10.1007/978-3-319-66628-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Testing in Cloud Computing
ent://SD_ILS/0/SD_ILS:611844
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Tsai, Wei-Tek. author. Qi, Guanqiu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-4481-6">https://doi.org/10.1007/978-981-10-4481-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bankruptcy Prediction through Soft Computing based Deep Learning Technique
ent://SD_ILS/0/SD_ILS:612251
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Chaudhuri, Arindam. author. Ghosh, Soumya K. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6683-2">https://doi.org/10.1007/978-981-10-6683-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quality, Reliability, Security and Robustness in Heterogeneous Networks 12th International Conference, QShine 2016, Seoul, Korea, July 7-8, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613076
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Lee, Jong-Hyouk. editor. Pack, Sangheon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60717-7">https://doi.org/10.1007/978-3-319-60717-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615970
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394 Bortolussi, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66335-7">https://doi.org/10.1007/978-3-319-66335-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:617886
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Yuan, Hanning. editor. Geng, Jing. editor. Bian, Fuling. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3969-0">https://doi.org/10.1007/978-981-10-3969-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Process Improvement and Capability Determination 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617939
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Mas, Antonia. editor. Mesquida, Antoni. editor. O'Connor, Rory V. editor. Rout, Terry. editor. Dorling, Alec. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67383-7">https://doi.org/10.1007/978-3-319-67383-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Communication Technologies for Vehicles 12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:618303
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Pirovano, Alain. editor. Berbineau, Marion. editor. Vinel, Alexey. editor. Guerber, Christophe. editor. Roque, Damien. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56880-5">https://doi.org/10.1007/978-3-319-56880-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computer and Communication Networks 20th International Conference, DCCN 2017, Moscow, Russia, September 25-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611217
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66836-9">https://doi.org/10.1007/978-3-319-66836-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:611966
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Yuan, Hanning. editor. Geng, Jing. editor. Bian, Fuling. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3966-9">https://doi.org/10.1007/978-981-10-3966-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling, Design and Simulation of Systems 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:612072
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Mohamed Ali, Mohamed Sultan. editor. Wahid, Herman. editor. Mohd Subha, Nurul Adilla. editor. Sahlan, Shafishuhaza. editor. Md. Yunus, Mohd Amri. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6463-0">https://doi.org/10.1007/978-981-10-6463-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612150
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Cavalheiro, Simone. editor. Fiadeiro, José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70848-5">https://doi.org/10.1007/978-3-319-70848-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:612618
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63387-9">https://doi.org/10.1007/978-3-319-63387-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612856
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67035-5">https://doi.org/10.1007/978-3-319-67035-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Technologies and Mathematical Modelling. Queueing Theory and Applications 16th International Conference, ITMM 2017, Named After A.F. Terpugov, Kazan, Russia, September 29 - October 3, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613258
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Kirpichnikov, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68069-9">https://doi.org/10.1007/978-3-319-68069-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613250
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71255-0">https://doi.org/10.1007/978-3-319-71255-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Modeling and Simulation of Systems of Systems
ent://SD_ILS/0/SD_ILS:613527
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author P. Zeigler, Bernard. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64134-8">https://doi.org/10.1007/978-3-319-64134-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling, Design and Simulation of Systems 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:615614
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Mohamed Ali, Mohamed Sultan. editor. Wahid, Herman. editor. Mohd Subha, Nurul Adilla. editor. Sahlan, Shafishuhaza. editor. Md. Yunus, Mohd Amri. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6502-6">https://doi.org/10.1007/978-981-10-6502-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616190
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Feret, Jérôme. editor. Koeppl, Heinz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67471-1">https://doi.org/10.1007/978-3-319-67471-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616323
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Malyshkin, Victor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62932-2">https://doi.org/10.1007/978-3-319-62932-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulating Crowds in Egress Scenarios
ent://SD_ILS/0/SD_ILS:613657
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Cassol, Vinícius J. author. Musse, Soraia R. author. Jung, Cláudio R. author. Badler, Norman I. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65202-3">https://doi.org/10.1007/978-3-319-65202-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Earthquake Disaster Simulation of Civil Infrastructures From Tall Buildings to Urban Areas
ent://SD_ILS/0/SD_ILS:616661
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Lu, Xinzheng. author. Guan, Hong. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3087-1">https://doi.org/10.1007/978-981-10-3087-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:617856
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68270-9">https://doi.org/10.1007/978-3-319-68270-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Communication Technologies for Vehicles 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastián, Spain, June 6-7, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611330
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Mendizabal, Jaizki. editor. Berbineau, Marion. editor. Vinel, Alexey. editor. Pfletschinger, Stephan. editor. Bonneville, Hervé. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-38921-9">https://doi.org/10.1007/978-3-319-38921-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:612085
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42089-9">https://doi.org/10.1007/978-3-319-42089-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613083
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Bartocci, Ezio. editor. Lio, Pietro. editor. (orcid)0000-0002-0540-5053 Paoletti, Nicola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45177-0">https://doi.org/10.1007/978-3-319-45177-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computer and Communication Networks 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613702
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Vishnevsky, Vladimir. editor. (orcid)0000-0001-7373-4847 Kozyrev, Dmitry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30843-2">https://doi.org/10.1007/978-3-319-30843-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:613726
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42092-9">https://doi.org/10.1007/978-3-319-42092-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Opportunistic Mobile Networks Advances and Applications
ent://SD_ILS/0/SD_ILS:615092
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Misra, Sudip. author. Saha, Barun Kumar. author. Pal, Sujata. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29031-7">https://doi.org/10.1007/978-3-319-29031-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616053
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Agha, Gul. editor. Van Houdt, Benny. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43425-4">https://doi.org/10.1007/978-3-319-43425-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Geo-Informatics in Resource Management and Sustainable Ecosystem Third International Conference, GRMSE 2015, Wuhan, China, October 16-18, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617884
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Bian, Fuling. editor. Xie, Yichun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49155-3">https://doi.org/10.1007/978-3-662-49155-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:618138
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42111-7">https://doi.org/10.1007/978-3-319-42111-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Technologies and Mathematical Modelling: Queueing Theory and Applications 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:610744
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Gortsev, Alexander. editor. Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Yakupov, Rafael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44615-8">https://doi.org/10.1007/978-3-319-44615-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Modeling and Simulation in Business System Design
ent://SD_ILS/0/SD_ILS:611168
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Roubtsova, Ella. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15102-1">https://doi.org/10.1007/978-3-319-15102-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611725
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Remke, Anne. editor. Haverkort, Boudewijn R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-31559-1">https://doi.org/10.1007/978-3-319-31559-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Systems for Computer Modelling Proceedings of the 1st European-Middle Asian Conference on Computer Modelling 2015, EMACOM 2015
ent://SD_ILS/0/SD_ILS:611791
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Styskala, Vitezslav. editor. Kolosov, Dmitrii. editor. Snasel, Vaclav. editor. Karakeyev, Taalaybek. editor. Abraham, Ajith. editor. (orcid)0000-0002-0169-6738<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27644-1">https://doi.org/10.1007/978-3-319-27644-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:611808
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A. C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42085-1">https://doi.org/10.1007/978-3-319-42085-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:611984
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42108-7">https://doi.org/10.1007/978-3-319-42108-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation
ent://SD_ILS/0/SD_ILS:612466
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Al-Begain, Khalid. editor. Bargiela, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33786-9">https://doi.org/10.1007/978-3-319-33786-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Isochronous Wireless Network for Real-time Communication in Industrial Automation
ent://SD_ILS/0/SD_ILS:612935
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Trsek, Henning. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49158-4">https://doi.org/10.1007/978-3-662-49158-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616218
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Blanchette, Jasmin Christian. editor. Merz, Stephan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43144-4">https://doi.org/10.1007/978-3-319-43144-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:614682
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Zhang, Lin. editor. (orcid)0000-0003-1989-6102 Song, Xiao. editor. (orcid)0000-0003-4279-426X Wu, Yunjie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2663-8">https://doi.org/10.1007/978-981-10-2663-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evacuation Modeling Trends
ent://SD_ILS/0/SD_ILS:614754
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Cuesta, Arturo. editor. Abreu, Orlando. editor. Alvear, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-20708-7">https://doi.org/10.1007/978-3-319-20708-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unsteady Turbulent Flow Modelling and Applications
ent://SD_ILS/0/SD_ILS:617502
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Roos Launchbury, David. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-11912-6">https://doi.org/10.1007/978-3-658-11912-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Big Data Benchmarking 6th International Workshop, WBDB 2015, Toronto, ON, Canada, June 16-17, 2015 and 7th International Workshop, WBDB 2015, New Delhi, India, December 14-15, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616219
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Rabl, Tilmann. editor. Nambiar, Raghunath. editor. Baru, Chaitanya. editor. Bhandarkar, Milind. editor. Poess, Meikel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49748-8">https://doi.org/10.1007/978-3-319-49748-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616250
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author van Eekelen, Marko. editor. Dal Lago, Ugo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46559-3">https://doi.org/10.1007/978-3-319-46559-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computer and Communication Networks 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:618165
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51917-3">https://doi.org/10.1007/978-3-319-51917-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulation technologies in networking and communications : selecting the best tool for the test
ent://SD_ILS/0/SD_ILS:538668
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Pathan, Al-Sakib Khan, editor. Monowar, Muhammad Mostafa, editor. Khan, Shafiullah, editor.<br/>Preferred Shelf Number QA76.9 .C65 S56 2015<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781482225501">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
The Science of Golf Putting A Complete Guide for Researchers, Players and Coaches
ent://SD_ILS/0/SD_ILS:529815
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Dias, Gonçalo. author. Couceiro, Micael S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14880-9">https://doi.org/10.1007/978-3-319-14880-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334111
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Hömberg, Dietmar. editor. Tröltzsch, Fredi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334111.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36062-6">http://dx.doi.org/10.1007/978-3-642-36062-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334136
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334136.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36157-9">http://dx.doi.org/10.1007/978-3-642-36157-9</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
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
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/>
Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335120
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.<br/>Preferred Shelf Number ONLINE(335120.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41533-3">http://dx.doi.org/10.1007/978-3-642-41533-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Modeling and Simulation of Systems of Systems
ent://SD_ILS/0/SD_ILS:330586
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Zeigler, Bernard P. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330586.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-865-2">http://dx.doi.org/10.1007/978-0-85729-865-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334508
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Berbineau, Marion. editor. Jonsson, Magnus. editor. Bonnin, Jean-Marie. editor. Cherkaoui, Soumaya. editor. Aguado, Marina. editor.<br/>Preferred Shelf Number ONLINE(334508.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37974-1">http://dx.doi.org/10.1007/978-3-642-37974-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:335148
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335148.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41908-9">http://dx.doi.org/10.1007/978-3-642-41908-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:335179
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335179.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45025-9">http://dx.doi.org/10.1007/978-3-642-45025-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
AsiaSim 2013 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335181
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Tan, Gary. editor. Yeo, Gee Kin. editor. Turner, Stephen John. editor. Teo, Yong Meng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335181.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45037-2">http://dx.doi.org/10.1007/978-3-642-45037-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Large-scale simulation : models, algorithms, and applications
ent://SD_ILS/0/SD_ILS:546453
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Chen, Dan, 1973, author. Wang, Lizhe, 1974- Chen, Jingying, 1973 -<br/>Preferred Shelf Number QA76.9 .C65 C475 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439868966">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Energy Efficient Data Centers First International Workshop, E2DC 2012, Madrid, Spain, Mai 8, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197414
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Huusko, Jyrki. editor. Meer, Hermann. editor. Klingert, Sonja. editor. Somov, Andrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33645-4">http://dx.doi.org/10.1007/978-3-642-33645-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197418
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author France, Robert B. editor. Kazmeier, Jürgen. editor. Breu, Ruth. editor. Atkinson, Colin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33666-9">http://dx.doi.org/10.1007/978-3-642-33666-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Telematics in the Transport Environment 12th International Conference on Transport Systems Telematics, TST 2012, Katowice-Ustroń, Poland, October 10–13, 2012. Selected Papers
ent://SD_ILS/0/SD_ILS:197465
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Mikulski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34050-5">http://dx.doi.org/10.1007/978-3-642-34050-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ad Hoc Networks Third International ICST Conference, ADHOCNETS 2011, Paris, France, September 21-23, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196611
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Simplot-Ryl, David. editor. Dias de Amorim, Marcelo. editor. Giordano, Silvia. editor. Helmy, Ahmed. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29096-1">http://dx.doi.org/10.1007/978-3-642-29096-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testbeds and Research Infrastructure. Development of Networks and Communities 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196661
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Korakis, Thanasis. editor. Li, Hongbin. editor. Tran-Gia, Phuoc. editor. Park, Hong-Shik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29273-6">http://dx.doi.org/10.1007/978-3-642-29273-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings
ent://SD_ILS/0/SD_ILS:203980
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Kim, Jong-Hyun. editor. Lee, Kangsun. editor. Tanaka, Satoshi. editor. Park, Soo-Hyun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-4-431-54216-2">http://dx.doi.org/10.1007/978-4-431-54216-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual modeling for discrete-event simulation
ent://SD_ILS/0/SD_ILS:546083
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Robinson, Stewart, 1964-<br/>Preferred Shelf Number QA76.9 .C65 C6566 2011<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439810385">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Testbeds and Research Infrastructures. Development of Networks and Communities 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193730
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Magedanz, Thomas. editor. Gavras, Anastasius. editor. Thanh, Nguyen Huu. editor. Chase, Jeffry S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17851-1">http://dx.doi.org/10.1007/978-3-642-17851-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195562
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Ayala, José L. editor. García-Cámara, Braulio. editor. Prieto, Manuel. editor. Ruggiero, Martino. editor. Sicard, Gilles. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24154-3">http://dx.doi.org/10.1007/978-3-642-24154-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Mobile Ad Hoc Networks for Mobility Models
ent://SD_ILS/0/SD_ILS:172496
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Roy, Radhika Ranjan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-6050-4">http://dx.doi.org/10.1007/978-1-4419-6050-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193244
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Giese, Holger. editor. Karsai, Gabor. editor. Lee, Edward. editor. Rumpe, Bernhard. editor. Schätz, Bernhard. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16277-0">http://dx.doi.org/10.1007/978-3-642-16277-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193696
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Leuken, René. editor. Sicard, Gilles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17752-1">http://dx.doi.org/10.1007/978-3-642-17752-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ad Hoc Networks Second International Conference, ADHOCNETS 2010, Victoria, BC, Canada, August 18-20, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193771
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Zheng, Jun. editor. Simplot-Ryl, David. editor. Leung, Victor C. M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17994-5">http://dx.doi.org/10.1007/978-3-642-17994-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling and Tools for Network Simulation
ent://SD_ILS/0/SD_ILS:191960
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Wehrle, Klaus. editor. Güneş, Mesut. editor. Gross, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12331-3">http://dx.doi.org/10.1007/978-3-642-12331-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Stochastic Models for Fault Tolerance Restart, Rejuvenation and Checkpointing
ent://SD_ILS/0/SD_ILS:191629
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Wolter, Katinka. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11257-7">http://dx.doi.org/10.1007/978-3-642-11257-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Queueing Theory for Telecommunications Discrete Time Modelling of a Single Node System
ent://SD_ILS/0/SD_ILS:172838
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Alfa, Attahiru Sule. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-7314-6">http://dx.doi.org/10.1007/978-1-4419-7314-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Aspect-Oriented Software Development V
ent://SD_ILS/0/SD_ILS:190203
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Rashid, Awais. editor. Ossher, Harold. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02059-9">http://dx.doi.org/10.1007/978-3-642-02059-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analytical and Stochastic Modeling Techniques and Applications 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190250
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Al-Begain, Khalid. editor. Fiems, Dieter. editor. Horváth, Gábor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02205-0">http://dx.doi.org/10.1007/978-3-642-02205-0</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
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
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/>
Introduction to Network Simulator NS2
ent://SD_ILS/0/SD_ILS:166875
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Issariyakul, Teerawat. author. Hossain, Ekram. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-71760-9">http://dx.doi.org/10.1007/978-0-387-71760-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08
ent://SD_ILS/0/SD_ILS:170626
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Radetzki, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9714-0">http://dx.doi.org/10.1007/978-1-4020-9714-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189067
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88479-8">http://dx.doi.org/10.1007/978-3-540-88479-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Control and Automation International Conference, CA 2009, Held as Part of the Future Generation Information Technology Conference, CA 2009, Jeju Island, Korea, December 10-12, 2009.Proceedings
ent://SD_ILS/0/SD_ILS:191462
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Stoica, Adrian. editor. Kang, Byeong-Ho. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10741-2">http://dx.doi.org/10.1007/978-3-642-10741-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185675
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Al-Begain, Khalid. editor. Heindl, Armin. editor. Telek, Miklós. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68982-9">http://dx.doi.org/10.1007/978-3-540-68982-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Stochastic Discrete Event Systems Modeling, Evaluation, Applications
ent://SD_ILS/0/SD_ILS:187076
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Zimmermann, Armin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74173-2">http://dx.doi.org/10.1007/978-3-540-74173-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Common Component Modeling Example Comparing Software Component Models
ent://SD_ILS/0/SD_ILS:188664
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Rausch, Andreas. editor. Reussner, Ralf. editor. Mirandola, Raffaela. editor. Plášil, František. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85289-6">http://dx.doi.org/10.1007/978-3-540-85289-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Software Process Model Handbook for Incorporating People’s Capabilities
ent://SD_ILS/0/SD_ILS:165143
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Acuña, Silvia Teresita. author. Juristo, Natalia. author. Moreno, Ana María. author. Mon, Alicia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106969">http://dx.doi.org/10.1007/b106969</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Process Modeling
ent://SD_ILS/0/SD_ILS:165037
2026-03-19T03:04:37Z
2026-03-19T03:04:37Z
Author Acuña, Silvia T. editor. Juristo, Natalia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104986">http://dx.doi.org/10.1007/b104986</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>