Search Results for Software. - Narrowed by: Computer simulation.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?dt=list
2024-12-29T17:15:53Z
Software Process Modeling
ent://SD_ILS/0/SD_ILS:165037
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Model-Based Software Performance Analysis
ent://SD_ILS/0/SD_ILS:192394
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Artificial Life Models in Software
ent://SD_ILS/0/SD_ILS:175940
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Komosinski, Maciej. editor. Adamatzky, Andrew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-285-6">http://dx.doi.org/10.1007/978-1-84882-285-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Self-Adaptive Systems
ent://SD_ILS/0/SD_ILS:190235
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Cheng, Betty H. C. editor. Lemos, Rogério. editor. Giese, Holger. editor. Inverardi, Paola. editor. Magee, Jeff. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02161-9">http://dx.doi.org/10.1007/978-3-642-02161-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Life Models in Software
ent://SD_ILS/0/SD_ILS:175318
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Adamatzky, Andrew. editor. Komosinski, Maciej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-214-4">http://dx.doi.org/10.1007/1-84628-214-4</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-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
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-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487100
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Jedlitschka, Andreas. editor. Kuvaja, Pasi. editor. Kuhrmann, Marco. editor. Männistö, Tomi. editor. Münch, Jürgen. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13835-0">https://doi.org/10.1007/978-3-319-13835-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Aspect-Oriented Software Development IX
ent://SD_ILS/0/SD_ILS:197616
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Leavens, Gary T. editor. Chiba, Shigeru. editor. Haupt, Michael. editor. Ostermann, Klaus. editor. Wohlstadter, Eric. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35551-6">http://dx.doi.org/10.1007/978-3-642-35551-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Games, Actions and Social Software Multidisciplinary Aspects
ent://SD_ILS/0/SD_ILS:196670
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Eijck, Jan. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29326-9">http://dx.doi.org/10.1007/978-3-642-29326-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Aspect-Oriented Software Development VIII
ent://SD_ILS/0/SD_ILS:194895
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Katz, Shmuel. editor. Mezini, Mira. editor. Schwanninger, Christine. editor. Joosen, Wouter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22031-9">http://dx.doi.org/10.1007/978-3-642-22031-9</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
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Transactions on Aspect-Oriented Software Development III
ent://SD_ILS/0/SD_ILS:187349
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75162-5">http://dx.doi.org/10.1007/978-3-540-75162-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Aspect-Oriented Software Development IV
ent://SD_ILS/0/SD_ILS:187770
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77042-8">http://dx.doi.org/10.1007/978-3-540-77042-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Aspect-Oriented Software Development I
ent://SD_ILS/0/SD_ILS:183575
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11687061">http://dx.doi.org/10.1007/11687061</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Aspect-Oriented Software Development II
ent://SD_ILS/0/SD_ILS:185149
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11922827">http://dx.doi.org/10.1007/11922827</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Agent-Based Applications, Platforms and Development Kits
ent://SD_ILS/0/SD_ILS:197862
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Unland, Rainer. editor. Calisti, Monique. editor. Klusch, Matthias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137512">http://dx.doi.org/10.1007/b137512</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-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486937
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Biondi, Fabrizio. editor. Given-Wilson, Thomas. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30923-7">https://doi.org/10.1007/978-3-030-30923-7</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-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401564
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Gallardo, María del Mar. editor. Merino, Pedro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94111-0">https://doi.org/10.1007/978-3-319-94111-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage
ent://SD_ILS/0/SD_ILS:399464
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Gonzalez-Perez, Cesar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72652-6">https://doi.org/10.1007/978-3-319-72652-6</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-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Multi-Agent Based Beam Search for Real-Time Production Scheduling and Control Method, Software and Industrial Application
ent://SD_ILS/0/SD_ILS:331015
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Kang, Shu Gang. author. Choi, Shiu Hong. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331015.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4576-9">http://dx.doi.org/10.1007/978-1-4471-4576-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Using Event-B for Critical Device Software Systems
ent://SD_ILS/0/SD_ILS:331181
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Singh, Neeraj Kumar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331181.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5260-6">http://dx.doi.org/10.1007/978-1-4471-5260-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332934
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332934.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02654-1">http://dx.doi.org/10.1007/978-3-319-02654-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335215
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Cordeiro, José. editor. Hammoudi, Slimane. editor. Sinderen, Marten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335215.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45404-2">http://dx.doi.org/10.1007/978-3-642-45404-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:334055
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334055.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35813-5">http://dx.doi.org/10.1007/978-3-642-35813-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334120
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334120.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36089-3">http://dx.doi.org/10.1007/978-3-642-36089-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
ent://SD_ILS/0/SD_ILS:334556
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334556.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38209-3">http://dx.doi.org/10.1007/978-3-642-38209-3</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-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Product-Focused Software Process Improvement 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 Proceedings
ent://SD_ILS/0/SD_ILS:197012
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Dieste, Oscar. editor. Jedlitschka, Andreas. editor. Juristo, Natalia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31063-8">http://dx.doi.org/10.1007/978-3-642-31063-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196745
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Kienzle, Jörg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29645-1">http://dx.doi.org/10.1007/978-3-642-29645-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Building software for simulation theory and algorithms, with applications in C++
ent://SD_ILS/0/SD_ILS:298473
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Nutaro, James.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9780470877999">http://dx.doi.org/10.1002/9780470877999</a>
Safari Books Online <a href="http://proquest.safaribooksonline.com/?fpi=9780470414699">http://proquest.safaribooksonline.com/?fpi=9780470414699</a>
MyiLibrary, Table of contents <a href="http://www.myilibrary.com?id=302507&ref=toc">http://www.myilibrary.com?id=302507&ref=toc</a>
Cover image <a href="http://catalogimages.wiley.com/images/db/jimages/9780470414699.jpg">http://catalogimages.wiley.com/images/db/jimages/9780470414699.jpg</a>
<a href="http://proquest.safaribooksonline.com/9780470414699">http://proquest.safaribooksonline.com/9780470414699</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling, Simulation and Software Concepts for Scientific-Technological Problems
ent://SD_ILS/0/SD_ILS:194390
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Stephan, Ernst. editor. Wriggers, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20490-6">http://dx.doi.org/10.1007/978-3-642-20490-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models in Software Engineering Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194627
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Dingel, Juergen. editor. Solberg, Arnor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21210-9">http://dx.doi.org/10.1007/978-3-642-21210-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product-Focused Software Process Improvement 12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194837
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Caivano, Danilo. editor. Oivo, Markku. editor. Baldassarre, Maria Teresa. editor. Visaggio, Giuseppe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21843-9">http://dx.doi.org/10.1007/978-3-642-21843-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191890
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Brand, Mark. editor. Gašević, Dragan. editor. Gray, Jeff. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12107-4">http://dx.doi.org/10.1007/978-3-642-12107-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product-Focused Software Process Improvement 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192450
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Ali Babar, M. editor. Vierimaa, Matias. editor. Oivo, Markku. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13792-1">http://dx.doi.org/10.1007/978-3-642-13792-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191939
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Ghosh, Sudipto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12261-3">http://dx.doi.org/10.1007/978-3-642-12261-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Language Engineering First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189684
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Gašević, Dragan. editor. Lämmel, Ralf. editor. Wyk, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00434-6">http://dx.doi.org/10.1007/978-3-642-00434-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
ent://SD_ILS/0/SD_ILS:190535
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Bove, Ana. editor. Barbosa, Luís Soares. editor. Pardo, Alberto. editor. Pinto, Jorge Sousa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03153-3">http://dx.doi.org/10.1007/978-3-642-03153-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Aspect-Oriented Software Development VI Special Issue on Aspects and Model-Driven Engineering
ent://SD_ILS/0/SD_ILS:190731
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Katz, Shmuel. editor. Ossher, Harold. editor. France, Robert. editor. Jézéquel, Jean-Marc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03764-1">http://dx.doi.org/10.1007/978-3-642-03764-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191134
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05031-2">http://dx.doi.org/10.1007/978-3-642-05031-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models in Software Engineering Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers
ent://SD_ILS/0/SD_ILS:190073
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Chaudron, Michel R. V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01648-6">http://dx.doi.org/10.1007/978-3-642-01648-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trustworthy Software Development Processes International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings
ent://SD_ILS/0/SD_ILS:190084
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Wang, Qing. editor. Garousi, Vahid. editor. Madachy, Raymond. editor. Pfahl, Dietmar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01680-6">http://dx.doi.org/10.1007/978-3-642-01680-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models in Software Engineering Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers
ent://SD_ILS/0/SD_ILS:185702
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Giese, Holger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69073-3">http://dx.doi.org/10.1007/978-3-540-69073-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186104
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Broy, Manfred. editor. Krüger, Ingolf H. editor. Meisinger, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70930-5">http://dx.doi.org/10.1007/978-3-540-70930-5</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
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Engineering Interactive Systems Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188827
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Forbrig, Peter. editor. Paternò, Fabio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85992-5">http://dx.doi.org/10.1007/978-3-540-85992-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers
ent://SD_ILS/0/SD_ILS:185845
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Kühne, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69489-2">http://dx.doi.org/10.1007/978-3-540-69489-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Driven Architecture in Practice A Software Production Environment Based on Conceptual Modeling
ent://SD_ILS/0/SD_ILS:186381
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Pastor, Oscar. author. Molina, Juan Carlos. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71868-0">http://dx.doi.org/10.1007/978-3-540-71868-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Empirical Software Engineering Issues. Critical Assessment and Future Directions International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers
ent://SD_ILS/0/SD_ILS:186242
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Basili, Victor R. editor. Rombach, Dieter. editor. Schneider, Kurt. editor. Kitchenham, Barbara. editor. Pfahl, Dietmar. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71301-2">http://dx.doi.org/10.1007/978-3-540-71301-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automotive Software – Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:184601
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Broy, Manfred. editor. Krüger, Ingolf H. editor. Meisinger, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11823063">http://dx.doi.org/10.1007/11823063</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Techniques Applied to Agricultural Systems An Object-Oriented and UML Approach
ent://SD_ILS/0/SD_ILS:165482
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Papajorgji, Petraq J. author. Pardalos, Panos M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28171-1">http://dx.doi.org/10.1007/0-387-28171-1</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
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483746
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
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-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
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-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399353
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01090-4">https://doi.org/10.1007/978-3-030-01090-4</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
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
ent://SD_ILS/0/SD_ILS:401217
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author de Boer, Frank. editor. Bonsangue, Marcello. editor. Rutten, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90089-6">https://doi.org/10.1007/978-3-319-90089-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399782
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Furia, Carlo A. editor. Winter, Kirsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98938-9">https://doi.org/10.1007/978-3-319-98938-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
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
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-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Models@run.time Foundations, Applications, and Roadmaps
ent://SD_ILS/0/SD_ILS:485584
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Bencomo, Nelly. editor. France, Robert B. editor. Cheng, Betty H.C. editor. Aßmann, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08915-7">https://doi.org/10.1007/978-3-319-08915-7</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-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400230
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00244-2">https://doi.org/10.1007/978-3-030-00244-2</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
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486932
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Cerone, Antonio. editor. Persico, Donatella. editor. Fernandes, Sara. editor. Garcia-Perez, Alexeis. editor. Katsaros, Panagiotis. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54338-8">https://doi.org/10.1007/978-3-642-54338-8</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-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Energy-Efficient Data Centers Second International Workshop, E²DC 2013, Berkeley, CA, USA, May 21, 2013. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:489547
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Klingert, Sonja. editor. Hesselbach-Serra, Xavier. editor. Perez Ortega, Maria. editor. Giuliani, Giovanni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-55149-9">https://doi.org/10.1007/978-3-642-55149-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems
ent://SD_ILS/0/SD_ILS:175331
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Truszkowski, Walt. author. Hallock, Harold. author. Rouff, Christopher. author. Karlin, Jay. author. Rash, James. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105417">http://dx.doi.org/10.1007/b105417</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Agent Modeling Language - AML A Comprehensive Approach to Modeling Multi-Agent Systems
ent://SD_ILS/0/SD_ILS:198053
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Cervenka, Radovan. author. Trencansky, Ivan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-8396-1">http://dx.doi.org/10.1007/978-3-7643-8396-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485539
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Duan, Zhenhua. editor. Liu, Shaoying. editor. Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-13651-2">https://doi.org/10.1007/978-3-030-13651-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:485282
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17502-3">https://doi.org/10.1007/978-3-030-17502-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Game Theory 12th International Symposium, SAGT 2019, Athens, Greece, September 30 – October 3, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485315
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Fotakis, Dimitris. editor. Markakis, Evangelos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30473-7">https://doi.org/10.1007/978-3-030-30473-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-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483829
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Herzig, Andreas. editor. (orcid)0000-0003-0833-2782 Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29007-8">https://doi.org/10.1007/978-3-030-29007-8</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-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
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-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
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-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Intersections in Simulation and Gaming: Disruption and Balance Third Australasian Simulation Congress, ASC 2019, Gold Coast, Australia, September 2–5, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486695
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Naweed, Anjum. editor. (orcid)0000-0002-5534-4295 Bowditch, Lorelle. editor. Sprick, Cyle. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-32-9582-7">https://doi.org/10.1007/978-981-32-9582-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399324
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Manoonpong, Poramate. editor. (orcid)0000-0002-4806-7576 Larsen, Jørgen Christian. editor. (orcid)0000-0002-4741-8290 Xiong, Xiaofeng. editor. Hallam, John. editor. Triesch, Jochen. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-97628-0">https://doi.org/10.1007/978-3-319-97628-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400211
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Bajo, Javier. editor. Corchado, Juan M. editor. Navarro Martínez, Elena María. editor. Osaba Icedo, Eneko. editor. Mathieu, Philippe. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94779-2">https://doi.org/10.1007/978-3-319-94779-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Dynamic Data Driven Applications Systems
ent://SD_ILS/0/SD_ILS:400436
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Blasch, Erik. editor. Ravela, Sai. editor. Aved, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95504-9">https://doi.org/10.1007/978-3-319-95504-9</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-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:400563
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-96142-2">https://doi.org/10.1007/978-3-319-96142-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:401958
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74718-7">https://doi.org/10.1007/978-3-319-74718-7</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
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Ad Hoc Networks 9th International Conference, AdHocNets 2017, Niagara Falls, ON, Canada, September 28–29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:401013
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Zhou, Yifeng. editor. Kunz, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74439-1">https://doi.org/10.1007/978-3-319-74439-1</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
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Multi-Agent Based Simulation XVIII International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401115
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Dimuro, Graçaliz Pereira. editor. (orcid)0000-0001-6986-9888 Antunes, Luis. editor. (orcid)0000-0002-8237-6524 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91587-6">https://doi.org/10.1007/978-3-319-91587-6</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
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Artificial Life and Intelligent Agents Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:399950
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Lewis, Peter R. editor. Headleand, Christopher J. editor. Battle, Steve. editor. Ritsos, Panagiotis D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90418-4">https://doi.org/10.1007/978-3-319-90418-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise and Organizational Modeling and Simulation 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11–12, 2018, Selected Papers
ent://SD_ILS/0/SD_ILS:400082
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Pergl, Robert. editor. (orcid)0000-0003-2980-4400 Babkin, Eduard. editor. (orcid)0000-0003-2597-9043 Lock, Russell. editor. (orcid)0000-0002-4543-3753 Malyzhenkov, Pavel. editor. (orcid)0000-0003-1973-5026 Merunka, Vojtěch. editor. (orcid)0000-0002-9056-1439<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00787-4">https://doi.org/10.1007/978-3-030-00787-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:400155
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-96145-3">https://doi.org/10.1007/978-3-319-96145-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400333
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Abdelwahed, El Hassan. editor. Bellatreche, Ladjel. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Golfarelli, Matteo. editor. Jean, Stéphane. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02852-7">https://doi.org/10.1007/978-3-030-02852-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400343
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Horvath, Andras. editor. (orcid)0000-0002-8210-545X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99154-2">https://doi.org/10.1007/978-3-319-99154-2</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
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:401105
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-74727-9">https://doi.org/10.1007/978-3-319-74727-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling and Simulation for Autonomous Systems 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401453
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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-319-76072-8">https://doi.org/10.1007/978-3-319-76072-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliability Aspect of Cloud Computing Environment
ent://SD_ILS/0/SD_ILS:399144
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Kumar, Vikas. author. Vidhyalakshmi, R. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-3023-0">https://doi.org/10.1007/978-981-13-3023-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399515
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00151-3">https://doi.org/10.1007/978-3-030-00151-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Computational Social Science Principles and Applications
ent://SD_ILS/0/SD_ILS:484369
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Cioffi-Revilla, Claudio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-5661-1">https://doi.org/10.1007/978-1-4471-5661-1</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-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Information Systems for Crisis Response and Management in Mediterranean Countries First International Conference, ISCRAM-med 2014, Toulouse, France, October 15-17, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485741
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Hanachi, Chihab. editor. Bénaben, Frédérick. editor. Charoy, François. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11818-5">https://doi.org/10.1007/978-3-319-11818-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling 33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29,2014. Proceedings
ent://SD_ILS/0/SD_ILS:485745
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Yu, Eric. editor. Dobbie, Gillian. editor. (orcid)0000-0001-7245-0367 Jarke, Matthias. editor. Purao, Sandeep. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12206-9">https://doi.org/10.1007/978-3-319-12206-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulation, Modeling, and Programming for Autonomous Robots 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485755
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Brugali, Davide. editor. Broenink, Jan. editor. Kroeger, Torsten. editor. MacDonald, Bruce. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11900-7">https://doi.org/10.1007/978-3-319-11900-7</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-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Advances in Practical Applications of Heterogeneous Multi-Agent Systems - The PAAMS Collection 12th International Conference, PAAMS 2014, Salamanca, Spain, June 4-6, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:487771
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Demazeau, Yves. editor. Zambonelli, Franco. editor. (orcid)0000-0002-6837-8806 Corchado Rodríguez, Juan M. editor. Bajo Pérez, Javier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07551-8">https://doi.org/10.1007/978-3-319-07551-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Precision Assembly Technologies and Systems 7th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2014, Chamonix, France, February 16-18, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:487874
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Ratchev, Svetan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45586-9">https://doi.org/10.1007/978-3-662-45586-9</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-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Process Design for Natural Scientists An Agile Model-Driven Approach
ent://SD_ILS/0/SD_ILS:488739
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
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-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Spatial Cognition IX International Conference, Spatial Cognition 2014, Bremen, Germany, September 15-19, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489022
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Freksa, Christian. editor. Nebel, Bernhard. editor. Hegarty, Mary. editor. Barkowsky, Thomas. editor. (orcid)0000-0002-3961-2595 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11215-2">https://doi.org/10.1007/978-3-319-11215-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Emotion Modeling Towards Pragmatic Computational Models of Affective Processes
ent://SD_ILS/0/SD_ILS:489042
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Bosse, Tibor. editor. Broekens, Joost. editor. Dias, João. editor. (orcid)0000-0002-1653-1821 van der Zwaan, Janneke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12973-0">https://doi.org/10.1007/978-3-319-12973-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Conceptual Modeling ER 2013 Workshops, LSAWM, MoBiD, RIGiM, SeCoGIS, WISM, DaSeM, SCME, and PhD Symposium, Hong Kong, China, November 11-13, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:489122
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Parsons, Jeffrey. editor. Chiu, Dickson. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14139-8">https://doi.org/10.1007/978-3-319-14139-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Decision Support Systems III - Impact of Decision Support Systems for Global Environments Euro Working Group Workshops, EWG-DSS 2013, Thessaloniki, Greece, May 29-31, 2013, and Rome, Italy, July 1-4, 2013, Revised Selected and Extended Papers
ent://SD_ILS/0/SD_ILS:487041
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Dargam, Fátima. editor. Hernández, Jorge E. editor. Zaraté, Pascale. editor. Liu, Shaofeng. editor. Ribeiro, Rita. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11364-7">https://doi.org/10.1007/978-3-319-11364-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logistics 5th International Conference, ICCL 2014, Valparaíso, Chile, September 24-26, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487652
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author González-Ramírez, Rosa G. editor. Schulte, Frederik. editor. Voß, Stefan. editor. Ceroni Díaz, Jose A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11421-7">https://doi.org/10.1007/978-3-319-11421-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multisensory Softness Perceived Compliance from Multiple Sources of Information
ent://SD_ILS/0/SD_ILS:488143
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Di Luca, Massimiliano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6533-0">https://doi.org/10.1007/978-1-4471-6533-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Conceptual Modeling ER 2014 Workshops, ENMO, MoBiD, MReBA, QMMQ, SeCoGIS, WISM, and ER Demos, Atlanta, GA, USA, October 27-29, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:488932
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Indulska, Marta. editor. Purao, Sandeep. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12256-4">https://doi.org/10.1007/978-3-319-12256-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulation of Urban Mobility First International Conference, SUMO 2013, Berlin, Germany, May 15-17, 2013. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:488997
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Behrisch, Michael. editor. Krajzewicz, Daniel. editor. Weber, Melanie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45079-6">https://doi.org/10.1007/978-3-662-45079-6</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-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Model and Data Engineering Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335097
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Cuzzocrea, Alfredo. editor. Maabout, Sofian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335097.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41366-7">http://dx.doi.org/10.1007/978-3-642-41366-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
User-Level Workflow Design A Bioinformatics Perspective
ent://SD_ILS/0/SD_ILS:335213
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Lamprecht, Anna-Lena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335213.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45389-2">http://dx.doi.org/10.1007/978-3-642-45389-2</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
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Biomedical Engineering Systems and Technologies 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:333263
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333263.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29752-6">http://dx.doi.org/10.1007/978-3-642-29752-6</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
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Numerical Analysis and Its Applications 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335116
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Dimov, Ivan. editor. Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335116.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41515-9">http://dx.doi.org/10.1007/978-3-642-41515-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
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
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
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
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
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334698
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334698.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38916-0">http://dx.doi.org/10.1007/978-3-642-38916-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334725
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334725.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39074-6">http://dx.doi.org/10.1007/978-3-642-39074-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334727
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Weber, Jens. editor. Perseil, Isabelle. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334727.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39088-3">http://dx.doi.org/10.1007/978-3-642-39088-3</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
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
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-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Domain Engineering Product Lines, Languages, and Conceptual Models
ent://SD_ILS/0/SD_ILS:334257
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Reinhartz-Berger, Iris. editor. Sturm, Arnon. editor. Clark, Tony. editor. Cohen, Sholom. editor. Bettin, Jorn. editor.<br/>Preferred Shelf Number ONLINE(334257.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36654-3">http://dx.doi.org/10.1007/978-3-642-36654-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:334826
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number ONLINE(334826.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39637-3">http://dx.doi.org/10.1007/978-3-642-39637-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:334827
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number ONLINE(334827.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39640-3">http://dx.doi.org/10.1007/978-3-642-39640-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:334828
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number ONLINE(334828.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39643-4">http://dx.doi.org/10.1007/978-3-642-39643-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:334829
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number ONLINE(334829.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39646-5">http://dx.doi.org/10.1007/978-3-642-39646-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:334830
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.<br/>Preferred Shelf Number ONLINE(334830.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39649-6">http://dx.doi.org/10.1007/978-3-642-39649-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
ent://SD_ILS/0/SD_ILS:334837
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334837.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39698-4">http://dx.doi.org/10.1007/978-3-642-39698-4</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-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334992
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Gupta, Ashutosh. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334992.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40708-6">http://dx.doi.org/10.1007/978-3-642-40708-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
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Augmented Reality Environments for Medical Imaging and Computer-Assisted Interventions 6th International Workshop, MIAR 2013 and 8th International Workshop, AE-CAI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335016
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Liao, Hongen. editor. Linte, Cristian A. editor. Masamune, Ken. editor. Peters, Terry M. editor. Zheng, Guoyan. editor.<br/>Preferred Shelf Number ONLINE(335016.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40843-4">http://dx.doi.org/10.1007/978-3-642-40843-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335022
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Kari, Jarkko. editor. Kutrib, Martin. editor. Malcher, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335022.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40867-0">http://dx.doi.org/10.1007/978-3-642-40867-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335043
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Pacino, Dario. editor. Voß, Stefan. editor. Jensen, Rune Møller. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335043.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41019-2">http://dx.doi.org/10.1007/978-3-642-41019-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335150
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Ng, Wilfred. editor. Storey, Veda C. editor. Trujillo, Juan C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335150.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41924-9">http://dx.doi.org/10.1007/978-3-642-41924-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Large-scale simulation models, algorithms, and applications
ent://SD_ILS/0/SD_ILS:291623
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Chen, Dan, 1973- Wang, Lizhe, 1974- Chen, Jingying, 1973 -<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439868966">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Industrial used of formal method formal verification
ent://SD_ILS/0/SD_ILS:305391
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Boulanger, Jean-Louis.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Wiley <a href="http://dx.doi.org/10.1002/9781118561829">http://dx.doi.org/10.1002/9781118561829</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196779
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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-29843-1">http://dx.doi.org/10.1007/978-3-642-29843-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Topology in Image Context 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196848
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Ferri, Massimo. editor. Frosini, Patrizio. editor. Landi, Claudia. editor. Cerri, Andrea. editor. Fabio, Barbara. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30238-1">http://dx.doi.org/10.1007/978-3-642-30238-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agents for Educational Games and Simulations International Workshop, AEGS 2011, Taipei, Taiwan, May 2, 2011. Revised Papers
ent://SD_ILS/0/SD_ILS:197208
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Beer, Martin. editor. Brom, Cyril. editor. Dignum, Frank. editor. Soo, Von-Wun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32326-3">http://dx.doi.org/10.1007/978-3-642-32326-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Uncertainty Quantification in Scientific Computing 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197255
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Dienstfrey, Andrew M. editor. Boisvert, Ronald F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32677-6">http://dx.doi.org/10.1007/978-3-642-32677-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cellular Automata 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197360
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Sirakoulis, Georgios Ch. editor. Bandini, Stefania. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33350-7">http://dx.doi.org/10.1007/978-3-642-33350-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Advances in the Message Passing Interface 19th European MPI Users’ Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197395
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Träff, Jesper Larsson. editor. Benkner, Siegfried. editor. Dongarra, Jack J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33518-1">http://dx.doi.org/10.1007/978-3-642-33518-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logistics Third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197405
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Hu, Hao. editor. Shi, Xiaoning. editor. Stahlbock, Robert. editor. Voß, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33587-7">http://dx.doi.org/10.1007/978-3-642-33587-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model and Data Engineering 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197407
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Abelló, Alberto. editor. Bellatreche, Ladjel. editor. Benatallah, Boualem. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33609-6">http://dx.doi.org/10.1007/978-3-642-33609-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Methods in Systems Biology 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197412
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Gilbert, David. editor. Heiner, Monika. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33636-2">http://dx.doi.org/10.1007/978-3-642-33636-2</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
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Artificial Immune Systems 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197430
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Coello Coello, Carlos A. editor. Greensmith, Julie. editor. Krasnogor, Natalio. editor. Liò, Pietro. editor. Nicosia, Giuseppe. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33757-4">http://dx.doi.org/10.1007/978-3-642-33757-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Conceptual Modeling ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197454
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Castano, Silvana. editor. Vassiliadis, Panos. editor. Lakshmanan, Laks V. editor. Lee, Mong Li. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33999-8">http://dx.doi.org/10.1007/978-3-642-33999-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197455
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Atzeni, Paolo. editor. Cheung, David. editor. Ram, Sudha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34002-4">http://dx.doi.org/10.1007/978-3-642-34002-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197507
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Noda, Itsuki. editor. Ando, Noriaki. editor. Brugali, Davide. editor. Kuffner, James J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34327-8">http://dx.doi.org/10.1007/978-3-642-34327-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
System Simulation and Scientific Computing International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:197509
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Xiao, Tianyuan. editor. Zhang, Lin. editor. Ma, Shiwei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34381-0">http://dx.doi.org/10.1007/978-3-642-34381-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:197510
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Xiao, Tianyuan. editor. Zhang, Lin. editor. Fei, Minrui. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34384-1">http://dx.doi.org/10.1007/978-3-642-34384-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part III
ent://SD_ILS/0/SD_ILS:197511
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Xiao, Tianyuan. editor. Zhang, Lin. editor. Fei, Minrui. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34387-2">http://dx.doi.org/10.1007/978-3-642-34387-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
AsiaSim 2012 Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:197512
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Xiao, Tianyuan. editor. Zhang, Lin. editor. Fei, Minrui. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34390-2">http://dx.doi.org/10.1007/978-3-642-34390-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
System Simulation and Scientific Computing International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:197513
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Xiao, Tianyuan. editor. Zhang, Lin. editor. Ma, Shiwei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34396-4">http://dx.doi.org/10.1007/978-3-642-34396-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197583
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Kim, Tai-hoon. editor. Ramos, Carlos. editor. Abawajy, Jemal. editor. Kang, Byeong-Ho. editor. Ślęzak, Dominik. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35248-5">http://dx.doi.org/10.1007/978-3-642-35248-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Systems Biology XIV Special Issue on Computational Models for Cell Processes
ent://SD_ILS/0/SD_ILS:197611
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Priami, Corrado. editor. Petre, Ion. editor. Vink, Erik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35524-0">http://dx.doi.org/10.1007/978-3-642-35524-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantum Interaction 6th International Symposium, QI 2012, Paris, France, June 27-29, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197627
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Busemeyer, Jerome R. editor. Dubois, François. editor. Lambert-Mogiliansky, Ariane. editor. Melucci, Massimo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35659-9">http://dx.doi.org/10.1007/978-3-642-35659-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Scientific Computing in C++
ent://SD_ILS/0/SD_ILS:173468
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2736-9">http://dx.doi.org/10.1007/978-1-4471-2736-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Complexity Theory, Techniques, and Applications
ent://SD_ILS/0/SD_ILS:174019
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Meyers, Robert A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1800-9">http://dx.doi.org/10.1007/978-1-4614-1800-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-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Principles and Practice of Multi-Agent Systems 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196083
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Desai, Nirmit. editor. Liu, Alan. editor. Winikoff, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25920-3">http://dx.doi.org/10.1007/978-3-642-25920-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Sensor Networks 9th European Conference, EWSN 2012, Trento, Italy, February 15-17, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196371
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Picco, Gian Pietro. editor. Heinzelman, Wendi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28169-3">http://dx.doi.org/10.1007/978-3-642-28169-3</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
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:197015
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31075-1">http://dx.doi.org/10.1007/978-3-642-31075-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:197021
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31125-3">http://dx.doi.org/10.1007/978-3-642-31125-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:197022
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31128-4">http://dx.doi.org/10.1007/978-3-642-31128-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:197025
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31137-6">http://dx.doi.org/10.1007/978-3-642-31137-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pyomo – Optimization Modeling in Python
ent://SD_ILS/0/SD_ILS:174214
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Hart, William E. author. Laird, Carl. author. Watson, Jean-Paul. author. Woodruff, David L. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-3226-5">http://dx.doi.org/10.1007/978-1-4614-3226-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An Introduction to Modern Mathematical Computing With Mathematica®
ent://SD_ILS/0/SD_ILS:174387
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Borwein, Jonathan M. author. Skerritt, Matthew P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4253-0">http://dx.doi.org/10.1007/978-1-4614-4253-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Membrane Computing 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196326
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Gheorghe, Marian. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Verlan, Sergey. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28024-5">http://dx.doi.org/10.1007/978-3-642-28024-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:196147
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Li, Daoliang. editor. Chen, Yingyi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27275-2">http://dx.doi.org/10.1007/978-3-642-27275-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:196148
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Li, Daoliang. editor. Chen, Yingyi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27278-3">http://dx.doi.org/10.1007/978-3-642-27278-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:196149
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Li, Daoliang. editor. Chen, Yingyi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27281-3">http://dx.doi.org/10.1007/978-3-642-27281-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Modeling and Computational Science International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196382
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Adam, Gheorghe. editor. Buša, Ján. editor. Hnatič, Michal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28212-6">http://dx.doi.org/10.1007/978-3-642-28212-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reconfigurable Computing: Architectures, Tools and Applications 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196427
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Choy, Oliver C. S. editor. Cheung, Ray C. C. editor. Athanas, Peter. editor. Sano, Kentaro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28365-9">http://dx.doi.org/10.1007/978-3-642-28365-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Agent-Based Simulation XII International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196436
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Villatoro, Daniel. editor. Sabater-Mir, Jordi. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28400-7">http://dx.doi.org/10.1007/978-3-642-28400-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Adaptive and Learning Agents International Workshop, ALA 2011, Held at AAMAS 2011, Taipei, Taiwan, May 2, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196460
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Vrancx, Peter. editor. Knudson, Matthew. editor. Grześ, Marek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28499-1">http://dx.doi.org/10.1007/978-3-642-28499-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Latent Variable Analysis and Signal Separation 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196475
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Theis, Fabian. editor. Cichocki, Andrzej. editor. Yeredor, Arie. editor. Zibulevsky, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28551-6">http://dx.doi.org/10.1007/978-3-642-28551-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Multi-Agent Systems 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196569
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Collier, Rem. editor. Dix, Jürgen. editor. Novák, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28939-2">http://dx.doi.org/10.1007/978-3-642-28939-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Petri Nets and Other Models of Concurrency V
ent://SD_ILS/0/SD_ILS:196605
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Jensen, Kurt. editor. Donatelli, Susanna. editor. Kleijn, Jetty. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29072-5">http://dx.doi.org/10.1007/978-3-642-29072-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
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
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-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
NETWORKING 2012 Workshops International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets, Held at NETWORKING 2012, Prague, Czech Republic, May 25, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196818
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Becvar, Zdenek. editor. Bestak, Robert. editor. Kencl, Lukas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30039-4">http://dx.doi.org/10.1007/978-3-642-30039-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196896
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Brucker, Achim D. editor. Julliand, Jacques. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30473-6">http://dx.doi.org/10.1007/978-3-642-30473-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design and Analysis of Algorithms First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197552
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Even, Guy. editor. Rawitz, Dror. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34862-4">http://dx.doi.org/10.1007/978-3-642-34862-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer and Computing Technologies in Agriculture IV 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:193859
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Li, Daoliang. editor. Liu, Yande. editor. Chen, Yingyi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18333-1">http://dx.doi.org/10.1007/978-3-642-18333-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer and Computing Technologies in Agriculture IV 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:193860
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Li, Daoliang. editor. Liu, Yande. editor. Chen, Yingyi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18336-2">http://dx.doi.org/10.1007/978-3-642-18336-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Agent-Based Simulation XI International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193863
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Bosse, Tibor. editor. Geller, Armando. editor. Jonker, Catholijn M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18345-4">http://dx.doi.org/10.1007/978-3-642-18345-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer and Computing Technologies in Agriculture IV 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part IV
ent://SD_ILS/0/SD_ILS:193871
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Li, Daoliang. editor. Liu, Yande. editor. Chen, Yingyi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18369-0">http://dx.doi.org/10.1007/978-3-642-18369-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reconfigurable Computing: Architectures, Tools and Applications 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194056
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Koch, Andreas. editor. Krishnamurthy, Ram. editor. McAllister, John. editor. Woods, Roger. editor. El-Ghazawi, Tarek. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19475-7">http://dx.doi.org/10.1007/978-3-642-19475-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Systems Biology XIII
ent://SD_ILS/0/SD_ILS:194142
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Priami, Corrado. editor. Back, Ralph-Johan. editor. Petre, Ion. editor. Vink, Erik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19748-2">http://dx.doi.org/10.1007/978-3-642-19748-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Algorithms in (Computer) Systems First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194144
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Marchetti-Spaccamela, Alberto. editor. Segal, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19754-3">http://dx.doi.org/10.1007/978-3-642-19754-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2011 International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:194852
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Iglesias, Andrés. editor. Taniar, David. editor. Apduhan, Bernady O. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21887-3">http://dx.doi.org/10.1007/978-3-642-21887-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2011 International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:194856
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Iglesias, Andrés. editor. Taniar, David. editor. Apduhan, Bernady O. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21898-9">http://dx.doi.org/10.1007/978-3-642-21898-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2011 International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:194863
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Iglesias, Andrés. editor. Taniar, David. editor. Apduhan, Bernady O. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21928-3">http://dx.doi.org/10.1007/978-3-642-21928-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2011 International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part III
ent://SD_ILS/0/SD_ILS:194864
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Iglesias, Andrés. editor. Taniar, David. editor. Apduhan, Bernady O. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21931-3">http://dx.doi.org/10.1007/978-3-642-21931-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2011 International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part V
ent://SD_ILS/0/SD_ILS:194865
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Iglesias, Andrés. editor. Taniar, David. editor. Apduhan, Bernady O. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21934-4">http://dx.doi.org/10.1007/978-3-642-21934-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Immune Systems 10th International Conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195004
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Liò, Pietro. editor. Nicosia, Giuseppe. editor. Stibor, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22371-6">http://dx.doi.org/10.1007/978-3-642-22371-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Hybrid Deliberative Layer for Robotic Agents Fusing DL Reasoning with HTN Planning in Autonomous Robots
ent://SD_ILS/0/SD_ILS:195071
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Hartanto, Ronny. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22580-2">http://dx.doi.org/10.1007/978-3-642-22580-2</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-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
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
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Model and Data Engineering First International Conference, MEDI 2011, Óbidos, Portugal, September 28-30, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195639
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Bellatreche, Ladjel. editor. Mota Pinto, Filipe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24443-8">http://dx.doi.org/10.1007/978-3-642-24443-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Advances in the Message Passing Interface 18th European MPI Users’ Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195641
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Cotronis, Yiannis. editor. Danalis, Anthony. editor. Nikolopoulos, Dimitrios S. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24449-0">http://dx.doi.org/10.1007/978-3-642-24449-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An Introduction to Modern Mathematical Computing With Maple™
ent://SD_ILS/0/SD_ILS:173595
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Borwein, Jonathan M. author. Skerritt, Matthew P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-0122-3">http://dx.doi.org/10.1007/978-1-4614-0122-3</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
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
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
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Agents for Games and Simulations II Trends in Techniques, Concepts and Design
ent://SD_ILS/0/SD_ILS:193824
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Dignum, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18181-8">http://dx.doi.org/10.1007/978-3-642-18181-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Biomedical Engineering Systems and Technologies Third International Joint Conference, BIOSTEC 2010, Valencia, Spain, January 20-23, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193908
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18472-7">http://dx.doi.org/10.1007/978-3-642-18472-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Research and Education in Robotics - EUROBOT 2011 International Conference, Prague, Czech Republic, June 15-17, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194878
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Obdržálek, David. editor. Gottscheber, Achim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21975-7">http://dx.doi.org/10.1007/978-3-642-21975-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:194816
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21783-8">http://dx.doi.org/10.1007/978-3-642-21783-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Building Innovation Pipelines through Computer-Aided Innovation 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 – July 1, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194940
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Cavallucci, Denis. editor. Guio, Roland. editor. Cascini, Gaetano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22182-8">http://dx.doi.org/10.1007/978-3-642-22182-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195420
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Yahav, Eran. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23702-7">http://dx.doi.org/10.1007/978-3-642-23702-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agents in Principle, Agents in Practice 14th International Conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195829
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Kinny, David. editor. Hsu, Jane Yung-jen. editor. Governatori, Guido. editor. Ghose, Aditya K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25044-6">http://dx.doi.org/10.1007/978-3-642-25044-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Motion in Games 4th International Conference, MIG 2011, Edinburgh, UK, November 13-15, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195839
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Allbeck, Jan M. editor. Faloutsos, Petros. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25090-3">http://dx.doi.org/10.1007/978-3-642-25090-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193079
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Cousot, Radhia. editor. Martel, Matthieu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15769-1">http://dx.doi.org/10.1007/978-3-642-15769-1</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
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194581
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Swart, Harrie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21070-9">http://dx.doi.org/10.1007/978-3-642-21070-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:194823
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21802-6">http://dx.doi.org/10.1007/978-3-642-21802-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Immune Systems 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192691
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Hart, Emma. editor. McEwan, Chris. editor. Timmis, Jon. editor. Hone, Andy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14547-6">http://dx.doi.org/10.1007/978-3-642-14547-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Intelligence Methods for Bioinformatics and Biostatistics 6th International Meeting, CIBB 2009, Genoa, Italy, October 15-17, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192699
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Masulli, Francesco. editor. Peterson, Leif E. editor. Tagliaferri, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14571-1">http://dx.doi.org/10.1007/978-3-642-14571-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithm Engineering Bridging the Gap between Algorithm Theory and Practice
ent://SD_ILS/0/SD_ILS:192794
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Müller-Hannemann, Matthias. editor. Schirra, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14866-8">http://dx.doi.org/10.1007/978-3-642-14866-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Virtual Agents 10th International Conference, IVA 2010, Philadelphia, PA, USA, September 20-22, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193119
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Allbeck, Jan. editor. Badler, Norman. editor. Bickmore, Timothy. editor. Pelachaud, Catherine. editor. Safonova, Alla. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15892-6">http://dx.doi.org/10.1007/978-3-642-15892-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computation and Intelligence 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193313
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Cai, Zhihua. editor. Hu, Chengyu. editor. Kang, Zhuo. editor. Liu, Yong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16493-4">http://dx.doi.org/10.1007/978-3-642-16493-4</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-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:193325
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Wang, Fu Lee. editor. Deng, Hepu. editor. Gao, Yang. editor. Lei, Jingsheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16527-6">http://dx.doi.org/10.1007/978-3-642-16527-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:193326
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Wang, Fu Lee. editor. Deng, Hepu. editor. Gao, Yang. editor. Lei, Jingsheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16530-6">http://dx.doi.org/10.1007/978-3-642-16530-6</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-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Motion in Games Third International Conference, MIG 2010, Utrecht, The Netherlands, November 14-16, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193475
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Boulic, Ronan. editor. Chrysanthou, Yiorgos. editor. Komura, Taku. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16958-8">http://dx.doi.org/10.1007/978-3-642-16958-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193567
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Ando, Noriaki. editor. Balakirsky, Stephen. editor. Hemker, Thomas. editor. Reggiani, Monica. editor. Stryk, Oskar. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17319-6">http://dx.doi.org/10.1007/978-3-642-17319-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Systems Biology XII Special Issue on Modeling Methodologies
ent://SD_ILS/0/SD_ILS:191777
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Priami, Corrado. editor. Breitling, Rainer. editor. Gilbert, David. editor. Heiner, Monika. editor. Uhrmacher, Adelinde M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11712-1">http://dx.doi.org/10.1007/978-3-642-11712-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Adaptive and Learning Agents Second Workshop, ALA 2009, Held as Part of the AAMAS 2009 Conference in Budapest, Hungary, May 12, 2009. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191806
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Taylor, Matthew E. editor. Tuyls, Karl. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11814-2">http://dx.doi.org/10.1007/978-3-642-11814-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191898
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Sirisuk, Phaophak. editor. Morgan, Fearghal. editor. El-Ghazawi, Tarek. editor. Amano, Hideharu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12133-3">http://dx.doi.org/10.1007/978-3-642-12133-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:191906
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Taniar, David. editor. Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Pardede, Eric. editor. Apduhan, Bernady O. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12156-2">http://dx.doi.org/10.1007/978-3-642-12156-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:191909
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Taniar, David. editor. Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Pardede, Eric. editor. Apduhan, Bernady O. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12165-4">http://dx.doi.org/10.1007/978-3-642-12165-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:191914
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Taniar, David. editor. Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Pardede, Eric. editor. Apduhan, Bernady O. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12179-1">http://dx.doi.org/10.1007/978-3-642-12179-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:191917
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Taniar, David. editor. Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Pardede, Eric. editor. Apduhan, Bernady O. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12189-0">http://dx.doi.org/10.1007/978-3-642-12189-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer and Computing Technologies in Agriculture III Third IFIP TC 12 International Conference, CCTA 2009, Beijing, China, October 14-17, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191927
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Li, Daoliang. editor. Zhao, Chunjiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12220-0">http://dx.doi.org/10.1007/978-3-642-12220-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-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Multi-Agent-Based Simulation X International Workshop, MABS 2009, Budapest, Hungary, May 11-12, 2009 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192373
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Tosto, Gennaro. editor. Dyke Parunak, H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13553-8">http://dx.doi.org/10.1007/978-3-642-13553-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Petri Nets and Other Models of Concurrency IV
ent://SD_ILS/0/SD_ILS:193833
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Jensen, Kurt. editor. Donatelli, Susanna. editor. Koutny, Maciej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18222-8">http://dx.doi.org/10.1007/978-3-642-18222-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
QVT - Operational Mappings Modellierung mit der Query Views Transformation
ent://SD_ILS/0/SD_ILS:189425
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Nolte, Siegfried. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92293-3">http://dx.doi.org/10.1007/978-3-540-92293-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graphs and Algorithms in Communication Networks Studies in Broadband, Optical, Wireless and Ad Hoc Networks
ent://SD_ILS/0/SD_ILS:190264
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Koster, Arie. editor. Muñoz, Xavier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02250-0">http://dx.doi.org/10.1007/978-3-642-02250-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intentional Perspectives on Information Systems Engineering
ent://SD_ILS/0/SD_ILS:192028
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Nurcan, Selmin. editor. Salinesi, Camille. editor. Souveyet, Carine. editor. Ralyté, Jolita. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12544-7">http://dx.doi.org/10.1007/978-3-642-12544-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192505
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Ferreira, Fernando. editor. Löwe, Benedikt. editor. Mayordomo, Elvira. editor. Mendes Gomes, Luís. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13962-8">http://dx.doi.org/10.1007/978-3-642-13962-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Haptics: Generating and Perceiving Tangible Sensations International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:192538
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Kappers, Astrid M. L. editor. Erp, Jan B. F. editor. Bergmann Tiest, Wouter M. editor. Helm, Frans C. T. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14064-8">http://dx.doi.org/10.1007/978-3-642-14064-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Haptics: Generating and Perceiving Tangible Sensations International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192542
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Kappers, Astrid M. L. editor. Erp, Jan B. F. editor. Bergmann Tiest, Wouter M. editor. Helm, Frans C. T. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14075-4">http://dx.doi.org/10.1007/978-3-642-14075-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Multi-Agent Systems 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192787
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Braubach, Lars. editor. Briot, Jean-Pierre. editor. Thangarajah, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14843-9">http://dx.doi.org/10.1007/978-3-642-14843-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:193021
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Li, Kang. editor. Fei, Minrui. editor. Jia, Li. editor. Irwin, George W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15597-0">http://dx.doi.org/10.1007/978-3-642-15597-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part III
ent://SD_ILS/0/SD_ILS:193027
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Li, Kang. editor. Jia, Li. editor. Sun, Xin. editor. Fei, Minrui. editor. Irwin, George W. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15615-1">http://dx.doi.org/10.1007/978-3-642-15615-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, Deptember 17-20, 2010, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:193029
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Li, Kang. editor. Fei, Minrui. editor. Jia, Li. editor. Irwin, George W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15621-2">http://dx.doi.org/10.1007/978-3-642-15621-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Advances in the Message Passing Interface 17th European MPI Users’ Group Meeting, EuroMPI 2010, Stuttgart, Germany, September 12-15, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193038
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Keller, Rainer. editor. Gabriel, Edgar. editor. Resch, Michael. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15646-5">http://dx.doi.org/10.1007/978-3-642-15646-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Medical Imaging and Augmented Reality 5th International Workshop, MIAR 2010, Beijing, China, September 19-20, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193056
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Liao, Hongen. editor. Edwards, P. J. "Eddie". editor. Pan, Xiaochuan. editor. Fan, Yong. editor. Yang, Guang-Zhong. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15699-1">http://dx.doi.org/10.1007/978-3-642-15699-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:193106
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Li, Kang. editor. Li, Xin. editor. Ma, Shiwei. editor. Irwin, George W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15853-7">http://dx.doi.org/10.1007/978-3-642-15853-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:193108
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Li, Kang. editor. Li, Xin. editor. Ma, Shiwei. editor. Irwin, George W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15859-9">http://dx.doi.org/10.1007/978-3-642-15859-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cellular Automata 9th International Conference on Cellular Automata for Research and Industry, ACRI 2010, Ascoli Piceno, Italy, September 21-24, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193146
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Bandini, Stefania. editor. Manzoni, Sara. editor. Umeo, Hiroshi. editor. Vizzari, Giuseppe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15979-4">http://dx.doi.org/10.1007/978-3-642-15979-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Latent Variable Analysis and Signal Separation 9th International Conference, LVA/ICA 2010, St. Malo, France, September 27-30, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193152
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Vigneron, Vincent. editor. Zarzoso, Vicente. editor. Moreau, Eric. editor. Gribonval, Rémi. editor. Vincent, Emmanuel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15995-4">http://dx.doi.org/10.1007/978-3-642-15995-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Real-World Wireless Sensor Networks 4th International Workshop, REALWSN 2010, Colombo, Sri Lanka, December 16-17, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193626
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Marron, Pedro J. editor. Voigt, Thiemo. editor. Corke, Peter. editor. Mottola, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17520-6">http://dx.doi.org/10.1007/978-3-642-17520-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Database Theory and Application, Bio-Science and Bio-Technology International Conferences, DTA and BSBT 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193657
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Zhang, Yanchun. editor. Cuzzocrea, Alfredo. editor. Ma, Jianhua. editor. Chung, Kyo-il. editor. Arslan, Tughrul. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17622-7">http://dx.doi.org/10.1007/978-3-642-17622-7</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
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Agent-directed simulation and systems engineering
ent://SD_ILS/0/SD_ILS:304925
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Yilmaz, Levent, 1971- Ören, Tuncer I. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=481737">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=481737</a>
John Wiley <a href="http://dx.doi.org/10.1002/9783527627783">http://dx.doi.org/10.1002/9783527627783</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-agent systems simulation and applications
ent://SD_ILS/0/SD_ILS:288741
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Uhrmacher, Adelinde. Weyns, Danny.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420070248">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design and Use of Serious Games
ent://SD_ILS/0/SD_ILS:170551
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Kankaanranta, Marja. editor. Neittaanmäki, Pekka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9496-5">http://dx.doi.org/10.1007/978-1-4020-9496-5</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
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
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/>
Intelligent Data Engineering and Automated Learning - IDEAL 2009 10th International Conference, Burgos, Spain, September 23-26, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190932
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Corchado, Emilio. editor. Yin, Hujun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04394-9">http://dx.doi.org/10.1007/978-3-642-04394-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multiagent System Technologies 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190850
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Braubach, Lars. editor. Hoek, Wiebe. editor. Petta, Paolo. editor. Pokahr, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04143-3">http://dx.doi.org/10.1007/978-3-642-04143-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer and Computing Technologies in Agriculture II, Volume 1 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China
ent://SD_ILS/0/SD_ILS:171896
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Li, Daoliang. editor. Zhao, Chunjiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-0209-2">http://dx.doi.org/10.1007/978-1-4419-0209-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer and Computing Technologies in Agriculture II, Volume 2 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China
ent://SD_ILS/0/SD_ILS:171897
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Li, Daoliang. editor. Zhao, Chunjiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-0211-5">http://dx.doi.org/10.1007/978-1-4419-0211-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer and Computing Technologies in Agriculture II, Volume 3 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China
ent://SD_ILS/0/SD_ILS:171898
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Zhao, Chunjiang. editor. Li, Daoliang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-0213-9">http://dx.doi.org/10.1007/978-1-4419-0213-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Life Models in Hardware
ent://SD_ILS/0/SD_ILS:175997
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Adamatzky, Andrew. editor. Komosinski, Maciej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-530-7">http://dx.doi.org/10.1007/978-1-84882-530-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Modeling Agricultural Systems
ent://SD_ILS/0/SD_ILS:167240
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Pardalos, Panos M. editor. Papajorgji, Petraq J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-75181-8">http://dx.doi.org/10.1007/978-0-387-75181-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coloured Petri Nets Modelling and Validation of Concurrent Systems
ent://SD_ILS/0/SD_ILS:189637
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Jensen, Kurt. author. Kristensen, Lars M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b95112">http://dx.doi.org/10.1007/b95112</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Machine Interaction Research Results of the MMI Program
ent://SD_ILS/0/SD_ILS:189685
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Lalanne, Denis. editor. Kohlas, Jürg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00437-7">http://dx.doi.org/10.1007/978-3-642-00437-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Analysis and Its Applications 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189696
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Margenov, Svetozar. editor. Vulkov, Lubin G. 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-00464-3">http://dx.doi.org/10.1007/978-3-642-00464-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189743
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Majumdar, Rupak. editor. Tabuada, Paulo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00602-9">http://dx.doi.org/10.1007/978-3-642-00602-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I
ent://SD_ILS/0/SD_ILS:190177
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Allen, Gabrielle. editor. Nabrzyski, Jarosław. editor. Seidel, Edward. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01970-8">http://dx.doi.org/10.1007/978-3-642-01970-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II
ent://SD_ILS/0/SD_ILS:190178
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Allen, Gabrielle. editor. Nabrzyski, Jarosław. editor. Seidel, Edward. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01973-9">http://dx.doi.org/10.1007/978-3-642-01973-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Societies in the Agents World IX 9th International Workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:190359
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Artikis, Alexander. editor. Picard, Gauthier. editor. Vercouter, Laurent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02562-4">http://dx.doi.org/10.1007/978-3-642-02562-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Neuro-Information Processing 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:190499
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Köppen, Mario. editor. Kasabov, Nikola. editor. Coghill, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03040-6">http://dx.doi.org/10.1007/978-3-642-03040-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Architectures for Parallel Processing 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190518
2024-12-29T17:15:53Z
2024-12-29T17:15:53Z
Author Hua, Arrems. editor. Chang, Shih-Liang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03095-6">http://dx.doi.org/10.1007/978-3-642-03095-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>