Search Results for Science. - Narrowed by: Electronic Library - Software engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dScience.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-09-09T14:41:07Z
Design Patterns for e-Science
ent://SD_ILS/0/SD_ILS:185346
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Gardner, Henry. author. Manduchi, Gabriele. author. Barth, Timothy J. editor. Griebel, Michael. editor. Keyes, David E. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-68090-X">http://dx.doi.org/10.1007/3-540-68090-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science XXXIV
ent://SD_ILS/0/SD_ILS:484579
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-59958-7">https://doi.org/10.1007/978-3-662-59958-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Python Scripting for Computational Science
ent://SD_ILS/0/SD_ILS:187003
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Langtangen, Hans Petter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73916-6">http://dx.doi.org/10.1007/978-3-540-73916-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science I
ent://SD_ILS/0/SD_ILS:188385
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79299-4">http://dx.doi.org/10.1007/978-3-540-79299-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science II
ent://SD_ILS/0/SD_ILS:188870
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Wang, Yingxu. editor. Yao, Yiyu. editor. Wang, Guoyin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87563-5">http://dx.doi.org/10.1007/978-3-540-87563-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Python Scripting for Computational Science
ent://SD_ILS/0/SD_ILS:182573
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Langtangen, Hans Petter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-31269-2">http://dx.doi.org/10.1007/3-540-31269-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An Introduction to Design Science
ent://SD_ILS/0/SD_ILS:489548
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Johannesson, Paul. author. Perjons, Erik. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10632-8">https://doi.org/10.1007/978-3-319-10632-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science XXXI Special Issue on Signal Processing and Security in Distributed Systems
ent://SD_ILS/0/SD_ILS:399739
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. Chaki, Nabendu. editor. Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-56499-8">https://doi.org/10.1007/978-3-662-56499-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Perspectives on data science for software engineering
ent://SD_ILS/0/SD_ILS:458991
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Menzies, Tim, editor. Williams, Laurie, 1962- editor. Zimmermann, Thomas, editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780128042069">http://www.sciencedirect.com/science/book/9780128042069</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science and its Applications CSA 2012
ent://SD_ILS/0/SD_ILS:206762
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Yeo, Sang-Soo. editor. Pan, Yi. editor. Lee, Yang Sun. editor. Chang, Hang Bae. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-5699-1">http://dx.doi.org/10.1007/978-94-007-5699-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software engineering foundations a software science perspective
ent://SD_ILS/0/SD_ILS:286411
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Wang, Yingxu.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9780203496091">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2019: Theory and Practice of Computer Science 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484191
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Catania, Barbara. editor. (orcid)0000-0002-6443-169X Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Nawrocki, Jerzy. editor. Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-10801-4">https://doi.org/10.1007/978-3-030-10801-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science – CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:484525
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Pesado, Patricia. editor. (orcid)0000-0003-0000-3482 Aciti, Claudio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20787-8">https://doi.org/10.1007/978-3-030-20787-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:484656
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24305-0">https://doi.org/10.1007/978-3-030-24305-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing and Software Science State of the Art and Perspectives
ent://SD_ILS/0/SD_ILS:486069
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91908-9">https://doi.org/10.1007/978-3-319-91908-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:487064
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24289-3">https://doi.org/10.1007/978-3-030-24289-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:487080
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24308-1">https://doi.org/10.1007/978-3-030-24308-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Data Science, Cyber Security and IT Applications First International Conference on Computing, ICC 2019, Riyadh, Saudi Arabia, December 10–12, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:486449
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Alfaries, Auhood. editor. Mengash, Hanan. editor. Yasar, Ansar. editor. (orcid)0000-0002-1542-2658 Shakshuki, Elhadi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-36368-0">https://doi.org/10.1007/978-3-030-36368-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:486968
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24302-9">https://doi.org/10.1007/978-3-030-24302-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:486969
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24296-1">https://doi.org/10.1007/978-3-030-24296-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cloud Computing and Services Science 8th International Conference, CLOSER 2018, Funchal, Madeira, Portugal, March 19-21, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485090
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Muñoz, Víctor Méndez. editor. Ferguson, Donald. editor. Helfert, Markus. editor. Pahl, Claus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29193-8">https://doi.org/10.1007/978-3-030-29193-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VI
ent://SD_ILS/0/SD_ILS:487065
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24311-1">https://doi.org/10.1007/978-3-030-24311-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Informatics in Schools. Fundamentals of Computer Science and Software Engineering 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399045
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Pozdniakov, Sergei N. editor. (orcid)0000-0002-1899-9145 Dagienė, Valentina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02750-6">https://doi.org/10.1007/978-3-030-02750-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science – CACIC 2017 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400029
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author De Giusti, Armando Eduardo. editor. (orcid)0000-0002-6459-3592 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-75214-3">https://doi.org/10.1007/978-3-319-75214-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:400039
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95162-1">https://doi.org/10.1007/978-3-319-95162-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:400040
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95165-2">https://doi.org/10.1007/978-3-319-95165-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cloud Computing and Service Science 7th International Conference, CLOSER 2017, Porto, Portugal, April 24–26, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400452
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Ferguson, Donald. editor. Muñoz, Víctor Méndez. editor. Cardoso, Jorge. editor. Helfert, Markus. editor. Pahl, Claus. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94959-8">https://doi.org/10.1007/978-3-319-94959-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:400571
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95171-3">https://doi.org/10.1007/978-3-319-95171-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
ent://SD_ILS/0/SD_ILS:400607
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89366-2">https://doi.org/10.1007/978-3-319-89366-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400711
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Bellatreche, Ladjel. editor. Biffl, Stefan. editor. van Leeuwen, Jan. editor. Wiedermann, Jiří. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73117-9">https://doi.org/10.1007/978-3-319-73117-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:402376
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95168-3">https://doi.org/10.1007/978-3-319-95168-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:402377
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95174-4">https://doi.org/10.1007/978-3-319-95174-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cloud Computing and Services Science Third International Conference, CLOSER 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:489256
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Helfert, Markus. editor. Desprez, Frédéric. editor. Ferguson, Donald. editor. Leymann, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11561-0">https://doi.org/10.1007/978-3-319-11561-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part VI
ent://SD_ILS/0/SD_ILS:486853
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09153-2">https://doi.org/10.1007/978-3-319-09153-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:487790
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09147-1">https://doi.org/10.1007/978-3-319-09147-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:489073
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09156-3">https://doi.org/10.1007/978-3-319-09156-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:484951
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09144-0">https://doi.org/10.1007/978-3-319-09144-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:485626
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09150-1">https://doi.org/10.1007/978-3-319-09150-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:487758
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09129-7">https://doi.org/10.1007/978-3-319-09129-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334106
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Kučera, Antonín. editor. Henzinger, Thomas A. editor. Nešetřil, Jaroslav. editor. Vojnar, Tomáš. editor. Antoš, David. editor.<br/>Preferred Shelf Number ONLINE(334106.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36046-6">http://dx.doi.org/10.1007/978-3-642-36046-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334358
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Pfenning, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334358.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37075-5">http://dx.doi.org/10.1007/978-3-642-37075-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Science, Engineering and Management 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334849
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Wang, Mingzheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334849.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39787-5">http://dx.doi.org/10.1007/978-3-642-39787-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334064
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.<br/>Preferred Shelf Number ONLINE(334064.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35843-2">http://dx.doi.org/10.1007/978-3-642-35843-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design Science at the Intersection of Physical and Virtual Design 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334675
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Brocke, Jan. editor. Hekkala, Riitta. editor. Ram, Sudha. editor. Rossi, Matti. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334675.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38827-9">http://dx.doi.org/10.1007/978-3-642-38827-9</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-09-09T14:41:07Z
2024-09-09T14:41:07Z
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-09-09T14:41:07Z
2024-09-09T14:41:07Z
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-09-09T14:41:07Z
2024-09-09T14:41:07Z
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-09-09T14:41:07Z
2024-09-09T14:41:07Z
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-09-09T14:41:07Z
2024-09-09T14:41:07Z
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/>
Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334910
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Heckel, Reiko. editor. Milius, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334910.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40206-7">http://dx.doi.org/10.1007/978-3-642-40206-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cloud Computing and Services Science Second International Conference, CLOSER 2012, Porto, Portugal, April 18-21, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:333024
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Ivanov, Ivan I. editor. Sinderen, Marten. editor. Leymann, Frank. editor. Shan, Tony. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333024.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-04519-1">http://dx.doi.org/10.1007/978-3-319-04519-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196086
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Kotásek, Zdeněk. editor. Bouda, Jan. editor. Černá, Ivana. editor. Sekanina, Lukáš. editor. Vojnar, Tomáš. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25929-6">http://dx.doi.org/10.1007/978-3-642-25929-6</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-09-09T14:41:07Z
2024-09-09T14:41:07Z
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-09-09T14:41:07Z
2024-09-09T14:41:07Z
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-09-09T14:41:07Z
2024-09-09T14:41:07Z
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-09-09T14:41:07Z
2024-09-09T14:41:07Z
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/>
Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197355
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Kahl, Wolfram. editor. Griffin, Timothy G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33314-9">http://dx.doi.org/10.1007/978-3-642-33314-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2012: Theory and Practice of Computer Science 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196264
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Bieliková, Mária. editor. Friedrich, Gerhard. editor. Gottlob, Georg. editor. Katzenbeisser, Stefan. editor. Turán, György. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27660-6">http://dx.doi.org/10.1007/978-3-642-27660-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems
ent://SD_ILS/0/SD_ILS:196468
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Phan, Cong-Vinh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28525-7">http://dx.doi.org/10.1007/978-3-642-28525-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196520
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Birkedal, Lars. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28729-9">http://dx.doi.org/10.1007/978-3-642-28729-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design Science Research in Information Systems. Advances in Theory and Practice 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196785
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Peffers, Ken. editor. Rothenberger, Marcus. editor. Kuechler, Bill. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29863-9">http://dx.doi.org/10.1007/978-3-642-29863-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Design Science European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197421
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Helfert, Markus. editor. Donnellan, Brian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33681-2">http://dx.doi.org/10.1007/978-3-642-33681-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2011: Theory and Practice of Computer Science 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:193875
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Černá, Ivana. editor. Gyimóthy, Tibor. editor. Hromkovič, Juraj. editor. Jefferey, Keith. editor. Králović, Rastislav. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18381-2">http://dx.doi.org/10.1007/978-3-642-18381-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing for Computational Science – VECPAR 2010 9th International conference, Berkeley, CA, USA, June 22-25, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194005
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Palma, José M. Laginha M. editor. Daydé, Michel. editor. Marques, Osni. editor. Lopes, João Correia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19328-6">http://dx.doi.org/10.1007/978-3-642-19328-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194162
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Hofmann, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19805-2">http://dx.doi.org/10.1007/978-3-642-19805-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented Perspectives in Design Science Research 6th International Conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194436
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Jain, Hemant. editor. Sinha, Atish P. editor. Vitharana, Padmal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20633-7">http://dx.doi.org/10.1007/978-3-642-20633-7</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-09-09T14:41:07Z
2024-09-09T14:41:07Z
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 Science and Information Engineering International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:194688
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Shen, Gang. 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-21402-8">http://dx.doi.org/10.1007/978-3-642-21402-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Research on Computer Science and Information Engineering International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:194691
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Shen, Gang. 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-21411-0">http://dx.doi.org/10.1007/978-3-642-21411-0</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-09-09T14:41:07Z
2024-09-09T14:41:07Z
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-09-09T14:41:07Z
2024-09-09T14:41:07Z
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-09-09T14:41:07Z
2024-09-09T14:41:07Z
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-09-09T14:41:07Z
2024-09-09T14:41:07Z
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-09-09T14:41:07Z
2024-09-09T14:41:07Z
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/>
Advances in Computer Science and Education Applications International Conference, CSE 2011, Qingdao, China, July 9-10, 2011. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:195033
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Zhou, Mark. editor. Tan, Honghua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22456-0">http://dx.doi.org/10.1007/978-3-642-22456-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:195308
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
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-23321-0">http://dx.doi.org/10.1007/978-3-642-23321-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:195309
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
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-23324-1">http://dx.doi.org/10.1007/978-3-642-23324-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:195314
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
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-23339-5">http://dx.doi.org/10.1007/978-3-642-23339-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:195316
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
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-23345-6">http://dx.doi.org/10.1007/978-3-642-23345-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part V
ent://SD_ILS/0/SD_ILS:195320
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
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-23357-9">http://dx.doi.org/10.1007/978-3-642-23357-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement
ent://SD_ILS/0/SD_ILS:195782
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Kuich, Werner. editor. Rahonis, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24897-9">http://dx.doi.org/10.1007/978-3-642-24897-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science and Information Technology First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:193732
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Meghanathan, Natarajan. editor. Kaushik, Brajesh Kumar. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17857-3">http://dx.doi.org/10.1007/978-3-642-17857-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Networks and Communications First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:193739
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Meghanathan, Natarajan. editor. Kaushik, Brajesh Kumar. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17878-8">http://dx.doi.org/10.1007/978-3-642-17878-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Computing First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part III
ent://SD_ILS/0/SD_ILS:193740
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Meghanathan, Natarajan. editor. Kaushik, Brajesh Kumar. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17881-8">http://dx.doi.org/10.1007/978-3-642-17881-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Computer Science and Information Technology Third International Conference, AST 2011, Seoul, Korea, September 27-29, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195585
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Robles, Rosslin John. editor. Balitanas, Maricel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24267-0">http://dx.doi.org/10.1007/978-3-642-24267-0</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-09-09T14:41:07Z
2024-09-09T14:41:07Z
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/>
U- and E-Service, Science and Technology International Conference UNESST 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:193664
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Kim, Tai-hoon. editor. Ma, Jianhua. editor. Fang, Wai-chi. editor. Park, Byungjoo. editor. Kang, Byeong-Ho. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17644-9">http://dx.doi.org/10.1007/978-3-642-17644-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191633
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Leeuwen, Jan. editor. Muscholl, Anca. editor. Peleg, David. editor. Pokorný, Jaroslav. editor. Rumpe, Bernhard. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11266-9">http://dx.doi.org/10.1007/978-3-642-11266-9</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-09-09T14:41:07Z
2024-09-09T14:41:07Z
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/>
Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191867
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Ong, Luke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12032-9">http://dx.doi.org/10.1007/978-3-642-12032-9</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-09-09T14:41:07Z
2024-09-09T14:41:07Z
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-09-09T14:41:07Z
2024-09-09T14:41:07Z
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/>
Transactions on Computational Science X Special Issue on Security in Computing, Part I
ent://SD_ILS/0/SD_ILS:193619
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Moreno, Edward David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17499-5">http://dx.doi.org/10.1007/978-3-642-17499-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Global Perspectives on Design Science Research 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings.
ent://SD_ILS/0/SD_ILS:192302
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Winter, Robert. editor. Zhao, J. Leon. editor. Aier, Stephan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13335-0">http://dx.doi.org/10.1007/978-3-642-13335-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Computer Science and Information Technology Second International Conference, AST 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192306
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Tomar, G. S. editor. Chang, Ruay-Shiung. editor. Gervasi, Osvaldo. editor. Kim, Tai-hoon. editor. Bandyopadhyay, Samir Kumar. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13346-6">http://dx.doi.org/10.1007/978-3-642-13346-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192894
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Dawar, Anuj. editor. Veith, Helmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15205-4">http://dx.doi.org/10.1007/978-3-642-15205-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189741
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Alfaro, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00596-1">http://dx.doi.org/10.1007/978-3-642-00596-1</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-09-09T14:41:07Z
2024-09-09T14:41:07Z
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-09-09T14:41:07Z
2024-09-09T14:41:07Z
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/>
Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:190325
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Gervasi, Osvaldo. editor. Taniar, David. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Mun, Youngsong. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02454-2">http://dx.doi.org/10.1007/978-3-642-02454-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:190326
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Gervasi, Osvaldo. editor. Taniar, David. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Mun, Youngsong. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02457-3">http://dx.doi.org/10.1007/978-3-642-02457-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computational Science and Engineering Second International Conference, FGCN 2008, Workshops and Symposia, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191310
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Kim, Tai-hoon. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Chang, Alan Chin-Chen. editor. Vasilakos, Thanos. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10238-7">http://dx.doi.org/10.1007/978-3-642-10238-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science IV Special Issue on Security in Computing
ent://SD_ILS/0/SD_ILS:189853
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Moreno, Edward David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01004-0">http://dx.doi.org/10.1007/978-3-642-01004-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30– July 3, 2008, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:185908
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Taniar, David. editor. Mun, Youngsong. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69848-7">http://dx.doi.org/10.1007/978-3-540-69848-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:187916
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Geffert, Viliam. editor. Karhumäki, Juhani. editor. Bertoni, Alberto. editor. Preneel, Bart. editor. Návrat, Pavol. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77566-9">http://dx.doi.org/10.1007/978-3-540-77566-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188152
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Amadio, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78499-9">http://dx.doi.org/10.1007/978-3-540-78499-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:185805
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Bubak, Marian. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69384-0">http://dx.doi.org/10.1007/978-3-540-69384-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:185806
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Bubak, Marian. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69387-1">http://dx.doi.org/10.1007/978-3-540-69387-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:185807
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Bubak, Marian. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69389-5">http://dx.doi.org/10.1007/978-3-540-69389-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30 – July 3, 2008, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:185905
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Taniar, David. editor. Mun, Youngsong. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69839-5">http://dx.doi.org/10.1007/978-3-540-69839-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188275
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Berghammer, Rudolf. editor. Möller, Bernhard. editor. Struth, Georg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78913-0">http://dx.doi.org/10.1007/978-3-540-78913-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189473
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Palma, José M. Laginha M. editor. Amestoy, Patrick R. editor. Daydé, Michel. editor. Mattoso, Marta. editor. Lopes, João Correia. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92859-1">http://dx.doi.org/10.1007/978-3-540-92859-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:186259
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Daydé, Michel. editor. Palma, José M. L. M. editor. Coutinho, Álvaro L. G. A. editor. Pacitti, Esther. editor. Lopes, João Correia. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71351-7">http://dx.doi.org/10.1007/978-3-540-71351-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186991
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Mossakowski, Till. editor. Montanari, Ugo. editor. Haveraaen, Magne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73859-6">http://dx.doi.org/10.1007/978-3-540-73859-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:187170
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74472-6">http://dx.doi.org/10.1007/978-3-540-74472-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:187172
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74477-1">http://dx.doi.org/10.1007/978-3-540-74477-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III
ent://SD_ILS/0/SD_ILS:187175
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74484-9">http://dx.doi.org/10.1007/978-3-540-74484-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2007: Theory and Practice of Computer Science 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:185852
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Leeuwen, Jan. editor. Italiano, Giuseppe F. editor. Hoek, Wiebe. editor. Meinel, Christoph. editor. Sack, Harald. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69507-3">http://dx.doi.org/10.1007/978-3-540-69507-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186267
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Seidl, Helmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71389-0">http://dx.doi.org/10.1007/978-3-540-71389-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:186590
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72584-8">http://dx.doi.org/10.1007/978-3-540-72584-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:186591
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72586-2">http://dx.doi.org/10.1007/978-3-540-72586-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:186592
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72588-6">http://dx.doi.org/10.1007/978-3-540-72588-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:186593
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72590-9">http://dx.doi.org/10.1007/978-3-540-72590-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2006: Theory and Practice of Computer Science 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183215
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Wiedermann, Jiří. editor. Tel, Gerard. editor. Pokorný, Jaroslav. editor. Bieliková, Mária. editor. Štuller, Július. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11611257">http://dx.doi.org/10.1007/11611257</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:183928
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Gavrilova, Marina L. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11751588">http://dx.doi.org/10.1007/11751588</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:183929
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Gavrilova, Marina. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11751595">http://dx.doi.org/10.1007/11751595</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:183930
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Gavrilova, Marina L. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11751632">http://dx.doi.org/10.1007/11751632</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
ent://SD_ILS/0/SD_ILS:183707
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author MacCaull, Wendy. editor. Winter, Michael. editor. Düntsch, Ivo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11734673">http://dx.doi.org/10.1007/11734673</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:183927
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Gavrilova, Marina. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11751540">http://dx.doi.org/10.1007/11751540</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:183931
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Gavrilova, Marina L. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11751649">http://dx.doi.org/10.1007/11751649</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184643
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11828563">http://dx.doi.org/10.1007/11828563</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183600
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Aceto, Luca. editor. Ingólfsdóttir, Anna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11690634">http://dx.doi.org/10.1007/11690634</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:184034
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11758501">http://dx.doi.org/10.1007/11758501</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:184035
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11758525">http://dx.doi.org/10.1007/11758525</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part III
ent://SD_ILS/0/SD_ILS:184036
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11758532">http://dx.doi.org/10.1007/11758532</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:184037
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11758549">http://dx.doi.org/10.1007/11758549</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182374
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Vojtáš, Peter. editor. Bieliková, Mária. editor. Charron-Bost, Bernadette. editor. Sýkora, Ondrej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105088">http://dx.doi.org/10.1007/b105088</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:183109
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganà, Antonio. editor. Lee, Heow Pueh. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136269">http://dx.doi.org/10.1007/b136269</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:183110
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganà, Antonio. editor. Lee, Heow Pueh. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136271">http://dx.doi.org/10.1007/b136271</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:183173
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136570">http://dx.doi.org/10.1007/b136570</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:183175
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136571">http://dx.doi.org/10.1007/b136571</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:183179
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136575">http://dx.doi.org/10.1007/b136575</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grid Computing in Life Science First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:183238
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Konagaya, Akihiko. editor. Satou, Kenji. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106923">http://dx.doi.org/10.1007/b106923</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:183286
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganá, Antonio. editor. Lee, Heow Pueh. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136278">http://dx.doi.org/10.1007/b136278</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational and Information Science First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings
ent://SD_ILS/0/SD_ILS:182329
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Zhang, Jun. editor. He, Ji-Huan. editor. Fu, Yuxi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104566">http://dx.doi.org/10.1007/b104566</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings
ent://SD_ILS/0/SD_ILS:182332
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Maher, Michael J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b103476">http://dx.doi.org/10.1007/b103476</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182962
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Fiadeiro, José Luiz. editor. Harman, Neil. editor. Roggenbach, Markus. editor. Rutten, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11548133">http://dx.doi.org/10.1007/11548133</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:183108
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganà, Antonio. editor. Lee, Heow Pueh. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136266">http://dx.doi.org/10.1007/b136266</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing for Computational Science - VECPAR 2004 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:182940
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Daydé, Michel. editor. Dongarra, Jack. editor. Hernández, Vicente. editor. Palma, José M. L. M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106965">http://dx.doi.org/10.1007/b106965</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183053
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Sassone, Vladimiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106850">http://dx.doi.org/10.1007/b106850</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Discovery Science 22nd International Conference, DS 2019, Split, Croatia, October 28–30, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486500
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Kralj Novak, Petra. editor. (orcid)0000-0003-3385-6430 Šmuc, Tomislav. editor. (orcid)0000-0002-9185-9384 Džeroski, Sašo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-33778-0">https://doi.org/10.1007/978-3-030-33778-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Science of Cyber Security Second International Conference, SciSec 2019, Nanjing, China, August 9–11, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483209
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Liu, Feng. editor. Xu, Jia. editor. Xu, Shouhuai. editor. Yung, Moti. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34637-9">https://doi.org/10.1007/978-3-030-34637-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligence Science II Third IFIP TC 12 International Conference, ICIS 2018, Beijing, China, November 2-5, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399082
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Shi, Zhongzhi. editor. Pennartz, Cyriel. editor. Huang, Tiejun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01313-4">https://doi.org/10.1007/978-3-030-01313-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Haptics: Science, Technology, and Applications 11th International Conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:400204
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Prattichizzo, Domenico. editor. Shinoda, Hiroyuki. editor. Tan, Hong Z. editor. Ruffaldi, Emanuele. editor. Frisoli, Antonio. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93399-3">https://doi.org/10.1007/978-3-319-93399-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Social Networks Science: Design, Implementation, Security, and Challenges From Social Networks Analysis to Social Networks Intelligence
ent://SD_ILS/0/SD_ILS:400310
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Dey, Nilanjan. editor. Babo, Rosalina. editor. Ashour, Amira S. editor. Bhatnagar, Vishal. editor. Bouhlel, Med Salim. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90059-9">https://doi.org/10.1007/978-3-319-90059-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Haptics: Science, Technology, and Applications 11th International Conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:401235
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Prattichizzo, Domenico. editor. Shinoda, Hiroyuki. editor. Tan, Hong Z. editor. Ruffaldi, Emanuele. editor. Frisoli, Antonio. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93445-7">https://doi.org/10.1007/978-3-319-93445-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Smart STEM-Driven Computer Science Education Theory, Methodology and Robot-based Practices
ent://SD_ILS/0/SD_ILS:401726
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Štuikys, Vytautas. author. Burbaitė, Renata. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78485-4">https://doi.org/10.1007/978-3-319-78485-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486681
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Hliněný, Petr. editor. Dvořák, Zdeněk. editor. Jaroš, Jiří. editor. (orcid)0000-0002-0087-8804 Kofroň, Jan. editor. Kořenek, Jan. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14896-0">https://doi.org/10.1007/978-3-319-14896-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Science Gateways for Distributed Computing Infrastructures Development Framework and Exploitation by Scientific User Communities
ent://SD_ILS/0/SD_ILS:487356
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Kacsuk, Péter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11268-8">https://doi.org/10.1007/978-3-319-11268-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design Science Methodology for Information Systems and Software Engineering
ent://SD_ILS/0/SD_ILS:487890
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Wieringa, Roel J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43839-8">https://doi.org/10.1007/978-3-662-43839-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
ent://SD_ILS/0/SD_ILS:332822
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Paule, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332822.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-00966-7">http://dx.doi.org/10.1007/978-3-319-00966-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Exploring Services Science 4th International Conference, IESS 2013, Porto, Portugal, February 7-8, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334183
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Falcão e Cunha, João. editor. Snene, Mehdi. editor. Nóvoa, Henriqueta. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334183.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36356-6">http://dx.doi.org/10.1007/978-3-642-36356-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
IAENG Transactions on Engineering Technologies Special Edition of the World Congress on Engineering and Computer Science 2011
ent://SD_ILS/0/SD_ILS:335821
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Kim, Haeng Kon. editor. Ao, Sio-Iong. editor. Rieger, Burghard B. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335821.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-4786-9">http://dx.doi.org/10.1007/978-94-007-4786-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science and Information Technology. Networks and Communications Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:196155
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27299-8">http://dx.doi.org/10.1007/978-3-642-27299-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science and Information Technology. Computer Science and Engineering Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:196158
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27308-7">http://dx.doi.org/10.1007/978-3-642-27308-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science and Information Technology. Computer Science and Information Technology Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part III
ent://SD_ILS/0/SD_ILS:196161
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27317-9">http://dx.doi.org/10.1007/978-3-642-27317-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science and Convergence CSA 2011 & WCC 2011 Proceedings
ent://SD_ILS/0/SD_ILS:206459
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author J. (Jong Hyuk) Park, James. editor. Chao, Han-Chieh. editor. S. Obaidat, Mohammad. editor. Kim, Jongsung. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-2792-2">http://dx.doi.org/10.1007/978-94-007-2792-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Exploring Services Science Third International Conference, IESS 2012, Geneva, Switzerland, February 15-17, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196386
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Snene, Mehdi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28227-0">http://dx.doi.org/10.1007/978-3-642-28227-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science, Engineering & Applications Proceedings of the Second International Conference on Computer Science, Engineering & Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India. Volume 2
ent://SD_ILS/0/SD_ILS:196831
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Wyld, David C. editor. Zizka, Jan. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30111-7">http://dx.doi.org/10.1007/978-3-642-30111-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science, Engineering & Applications Proceedings of the Second International Conference on Computer Science, Engineering and Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India, Volume 1
ent://SD_ILS/0/SD_ILS:196836
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Wyld, David C. editor. Zizka, Jan. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30157-5">http://dx.doi.org/10.1007/978-3-642-30157-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Exploring Services Science Second International Conference, IESS 2011, Geneva, Switzerland, February 16-18, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194736
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Snene, Mehdi. editor. Ralyté, Jolita. editor. Morin, Jean-Henry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21547-6">http://dx.doi.org/10.1007/978-3-642-21547-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science The Hardware, Software and Heart of It
ent://SD_ILS/0/SD_ILS:173871
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Blum, Edward K. editor. Aho, Alfred V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1168-0">http://dx.doi.org/10.1007/978-1-4614-1168-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable and Autonomous Computational Science International Conference, RACS 2010, Atlanta, GA, USA, October 27-30, 2010
ent://SD_ILS/0/SD_ILS:176710
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Shin, Sung Y. editor. Gantenbein, Rex. editor. Kuo, Tei-Wei. editor. Hong, Jiman. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-0348-0031-0">http://dx.doi.org/10.1007/978-3-0348-0031-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Benefit through the Diffusion of Information Systems Design Science Research IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30 – April 1, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191892
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Pries-Heje, Jan. editor. Venable, John. editor. Bunker, Deborah. editor. Russo, Nancy L. editor. DeGross, Janice I. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12113-5">http://dx.doi.org/10.1007/978-3-642-12113-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Exploring Services Science First International Conference , IESS 2010, Geneva, Switzerland, February 17-19, 2010. Revised Papers
ent://SD_ILS/0/SD_ILS:192613
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Morin, Jean-Henry. editor. Ralyté, Jolita. editor. Snene, Mehdi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14319-9">http://dx.doi.org/10.1007/978-3-642-14319-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192906
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Calude, Cristian S. editor. Sassone, Vladimiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15240-5">http://dx.doi.org/10.1007/978-3-642-15240-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
E-Government Ict Professionalism and Competences Service Science
ent://SD_ILS/0/SD_ILS:164763
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Mazzeo, Antonino. editor. Bellini, Roberto. editor. Motta, Gianmario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-09712-1">http://dx.doi.org/10.1007/978-0-387-09712-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Workflows for e-Science Scientific Workflows for Grids
ent://SD_ILS/0/SD_ILS:175549
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Taylor, Ian J. editor. Deelman, Ewa. editor. Gannon, Dennis B. editor. Shields, Matthew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-757-2">http://dx.doi.org/10.1007/978-1-84628-757-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The cognitive dynamics of computer science cost-effective large scale software development
ent://SD_ILS/0/SD_ILS:249473
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author De Gyurky, Szabolcs Michael. Tarbell, Mark A. John Wiley & Sons.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=5201429">http://ieeexplore.ieee.org/servlet/opac?bknumber=5201429</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Middleware Solutions for the Internet of Things
ent://SD_ILS/0/SD_ILS:331206
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Delicato, Flávia C. author. Pires, Paulo F. author. Batista, Thais. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331206.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5481-5">http://dx.doi.org/10.1007/978-1-4471-5481-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sustainable Web Ecosystem Design
ent://SD_ILS/0/SD_ILS:332331
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author O'Toole, Greg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332331.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-7714-3">http://dx.doi.org/10.1007/978-1-4614-7714-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Testing in the Cloud Migration and Execution
ent://SD_ILS/0/SD_ILS:197182
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Tilley, Scott. author. Parveen, Tauhida. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32122-1">http://dx.doi.org/10.1007/978-3-642-32122-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Configuration Problem Solving
ent://SD_ILS/0/SD_ILS:174403
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Petrie, Charles J. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4532-6">http://dx.doi.org/10.1007/978-1-4614-4532-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Design of Cloud Workflow Systems
ent://SD_ILS/0/SD_ILS:174054
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Liu, Xiao. author. Yuan, Dong. author. Zhang, Gaofeng. author. Li, Wenhao. author. Cao, Dahai. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1933-4">http://dx.doi.org/10.1007/978-1-4614-1933-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages
ent://SD_ILS/0/SD_ILS:196775
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Henderson-Sellers, Brian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29825-7">http://dx.doi.org/10.1007/978-3-642-29825-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Video Processing in the Cloud
ent://SD_ILS/0/SD_ILS:173368
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Pereira, Rafael Silva. author. Breitman, Karin K. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2137-4">http://dx.doi.org/10.1007/978-1-4471-2137-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Specification of Software Systems
ent://SD_ILS/0/SD_ILS:168476
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Alagar, V.S. author. Periyasamy, K. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-277-3">http://dx.doi.org/10.1007/978-0-85729-277-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Introduction to Computer Architecture
ent://SD_ILS/0/SD_ILS:175933
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Page, Daniel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-256-6">http://dx.doi.org/10.1007/978-1-84882-256-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Configuration Management Using Vesta
ent://SD_ILS/0/SD_ILS:165766
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Heydon, Allan. author. Mann, Timothy. author. Levin, Roy. author. Yu, Yuan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-30852-4">http://dx.doi.org/10.1007/978-0-387-30852-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Assembly Language Programming For Pentium and RISC Processors
ent://SD_ILS/0/SD_ILS:165340
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Dandamudi, Sivarama P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138691">http://dx.doi.org/10.1007/b138691</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reverse Engineering of Object Oriented Code
ent://SD_ILS/0/SD_ILS:164976
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Tonella, Paolo. author. Potrich, Alessandra. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b102522">http://dx.doi.org/10.1007/b102522</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An Integrated Approach to Software Engineering
ent://SD_ILS/0/SD_ILS:165473
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Jalote, Pankaj. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28132-0">http://dx.doi.org/10.1007/0-387-28132-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Soft Real-Time Systems Predictability vs. Efficiency
ent://SD_ILS/0/SD_ILS:165478
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Buttazzo, Giorgio. author. Lipari, Giuseppe. author. Abeni, Luca. author. Caccamo, Marco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28147-9">http://dx.doi.org/10.1007/0-387-28147-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Adapting Proofs-as-Programs The Curry-Howard Protocol
ent://SD_ILS/0/SD_ILS:165486
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28183-5">http://dx.doi.org/10.1007/0-387-28183-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fault Prediction Modeling for the Prediction of Number of Software Faults
ent://SD_ILS/0/SD_ILS:485780
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Rathore, Santosh Singh. author. Kumar, Sandeep. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-7131-8">https://doi.org/10.1007/978-981-13-7131-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Computing Hits the Power Wall Principles, Challenges, and a Survey of Solutions
ent://SD_ILS/0/SD_ILS:485998
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Francisco Lorenzon, Arthur. author. Beck Filho, Antonio Carlos Schneider. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-28719-1">https://doi.org/10.1007/978-3-030-28719-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Fault Detection and Correction: Modeling and Applications
ent://SD_ILS/0/SD_ILS:399124
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Peng, Rui. author. Li, Yan-Fu. author. Liu, Yu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-1162-8">https://doi.org/10.1007/978-981-13-1162-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Understanding Modern Dive Computers and Operation Protocols, Models, Tests, Data, Risk and Applications
ent://SD_ILS/0/SD_ILS:400395
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Wienke, B. R. author. O'Leary, T. R. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94054-0">https://doi.org/10.1007/978-3-319-94054-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Thread and Data Mapping for Multicore Systems Improving Communication and Memory Accesses
ent://SD_ILS/0/SD_ILS:400350
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author H. M. Cruz, Eduardo. author. Diener, Matthias. author. O. A. Navaux, Philippe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91074-1">https://doi.org/10.1007/978-3-319-91074-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tree-Based Convolutional Neural Networks Principles and Applications
ent://SD_ILS/0/SD_ILS:400456
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Mou, Lili. author. Jin, Zhi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-1870-2">https://doi.org/10.1007/978-981-13-1870-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Smartphone-Based Indoor Map Construction Principles and Applications
ent://SD_ILS/0/SD_ILS:400913
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Gao, Ruipeng. author. Ye, Fan. author. Luo, Guojie. author. Cong, Jason. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-8378-5">https://doi.org/10.1007/978-981-10-8378-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Fault Prediction A Road Map
ent://SD_ILS/0/SD_ILS:401387
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Kumar, Sandeep. author. Rathore, Santosh Singh. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-8715-8">https://doi.org/10.1007/978-981-10-8715-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Gear Engineering
ent://SD_ILS/0/SD_ILS:401469
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Goldfarb, Veniamin. editor. Trubachev, Evgenii. editor. Barmina, Natalya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60399-5">https://doi.org/10.1007/978-3-319-60399-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Emergent Interfaces for Feature Modularization
ent://SD_ILS/0/SD_ILS:485711
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Ribeiro, Márcio. author. Borba, Paulo. author. Brabrand, Claus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11493-4">https://doi.org/10.1007/978-3-319-11493-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Risk Management
ent://SD_ILS/0/SD_ILS:488430
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Moran, Alan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05008-9">https://doi.org/10.1007/978-3-319-05008-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Anywhere Essays on Agile Projects and Beyond
ent://SD_ILS/0/SD_ILS:489258
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Hazzan, Orit. author. (orcid)0000-0002-8627-0997 Dubinsky, Yael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10157-6">https://doi.org/10.1007/978-3-319-10157-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automatic Generation of Combinatorial Test Data
ent://SD_ILS/0/SD_ILS:489313
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Zhang, Jian. author. Zhang, Zhiqiang. author. Ma, Feifei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43429-1">https://doi.org/10.1007/978-3-662-43429-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483738
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author England, Matthew. editor. (orcid)0000-0001-5729-3420 Koepf, Wolfram. editor. Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318 Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-26831-2">https://doi.org/10.1007/978-3-030-26831-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:398933
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Takahashi, Yutaka. editor. Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946 Wittevrongel, Sabine. editor. (orcid)0000-0001-6985-8361 Yue, Wuyi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93736-6">https://doi.org/10.1007/978-3-319-93736-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399155
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Li, Chao. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-2423-9">https://doi.org/10.1007/978-981-13-2423-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Management Perspective for Transport Telematics 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers
ent://SD_ILS/0/SD_ILS:400044
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Mikulski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-97955-7">https://doi.org/10.1007/978-3-319-97955-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enjoying Natural Computing Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday
ent://SD_ILS/0/SD_ILS:400546
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Graciani, Carmen. editor. Riscos-Núñez, Agustín. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00265-7">https://doi.org/10.1007/978-3-030-00265-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401223
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Balsamo, Simonetta. editor. Marin, Andrea. editor. Vicario, Enrico. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91632-3">https://doi.org/10.1007/978-3-319-91632-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:402084
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73359-3">https://doi.org/10.1007/978-3-319-73359-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399812
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Rusu, Vlad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99840-4">https://doi.org/10.1007/978-3-319-99840-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400714
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Wang, Meng. editor. Owens, Scott. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89719-6">https://doi.org/10.1007/978-3-319-89719-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400792
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhang, Chengyi. editor. Zhu, Zhenzhen. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-7844-6">https://doi.org/10.1007/978-981-10-7844-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401077
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Korošec, Peter. editor. Melab, Nouredine. editor. Talbi, El-Ghazali. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91641-5">https://doi.org/10.1007/978-3-319-91641-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:401755
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Moss, Lawrence S. editor. de Queiroz, Ruy. editor. Martinez, Maricarmen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-57669-4">https://doi.org/10.1007/978-3-662-57669-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:402375
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Avigad, Jeremy. editor. Mahboubi, Assia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94821-8">https://doi.org/10.1007/978-3-319-94821-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489079
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Hong, Hoon. editor. Yap, Chee. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44199-2">https://doi.org/10.1007/978-3-662-44199-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487471
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Giese, Holger. editor. König, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09108-2">https://doi.org/10.1007/978-3-319-09108-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ambient Assisted Living and Active Aging 5th International Work-Conference, IWAAL 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332965
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Nugent, Christopher. editor. Coronato, Antonio. editor. Bravo, José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332965.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03092-0">http://dx.doi.org/10.1007/978-3-319-03092-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction 7th International Conference, UCAmI 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332969
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Urzaiz, Gabriel. editor. Ochoa, Sergio F. editor. Bravo, José. editor. Chen, Liming Luke. editor. Oliveira, Jonice. editor.<br/>Preferred Shelf Number ONLINE(332969.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03176-7">http://dx.doi.org/10.1007/978-3-319-03176-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:333558
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333558.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32341-6">http://dx.doi.org/10.1007/978-3-642-32341-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mobile Communication and Power Engineering Second International Joint Conference, AIM/CCPE 2012, Bangalore, India, April 27-28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334070
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Das, Vinu V. editor. Chaba, Yogesh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334070.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35864-7">http://dx.doi.org/10.1007/978-3-642-35864-7</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-09-09T14:41:07Z
2024-09-09T14:41:07Z
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/>
Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334073
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334073.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35873-9">http://dx.doi.org/10.1007/978-3-642-35873-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334077
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334077.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35887-6">http://dx.doi.org/10.1007/978-3-642-35887-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing
ent://SD_ILS/0/SD_ILS:334079
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334079.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35893-7">http://dx.doi.org/10.1007/978-3-642-35893-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
ent://SD_ILS/0/SD_ILS:334096
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334096.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35992-7">http://dx.doi.org/10.1007/978-3-642-35992-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures
ent://SD_ILS/0/SD_ILS:334109
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Lucia, Andrea. editor. Ferrucci, Filomena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334109.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36054-1">http://dx.doi.org/10.1007/978-3-642-36054-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334278
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334278.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36742-7">http://dx.doi.org/10.1007/978-3-642-36742-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecture of Computing Systems – ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334200
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Kubátová, Hana. editor. Hochberger, Christian. editor. Daněk, Martin. editor. Sick, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334200.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36424-2">http://dx.doi.org/10.1007/978-3-642-36424-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pervasive Computing and the Networked World Joint International Conference, ICPCA/SWS 2012, Istanbul, Turkey, November 28-30, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334342
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Zu, Qiaohong. editor. Hu, Bo. editor. Elçi, Atilla. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334342.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37015-1">http://dx.doi.org/10.1007/978-3-642-37015-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations and Practice of Security 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334365
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Garcia-Alfaro, Joaquin. editor. Cuppens, Frédéric. editor. Cuppens-Boulahia, Nora. editor. Miri, Ali. editor. Tawbi, Nadia. editor.<br/>Preferred Shelf Number ONLINE(334365.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37119-6">http://dx.doi.org/10.1007/978-3-642-37119-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334353
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334353.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37051-9">http://dx.doi.org/10.1007/978-3-642-37051-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334354
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334354.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37057-1">http://dx.doi.org/10.1007/978-3-642-37057-1</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-09-09T14:41:07Z
2024-09-09T14:41:07Z
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/>
Advanced Infocomm Technology 5th IEEE International Conference, ICAIT 2012, Paris, France, July 25-27, 2012. Revised Papers
ent://SD_ILS/0/SD_ILS:334561
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Guyot, Vincent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334561.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38227-7">http://dx.doi.org/10.1007/978-3-642-38227-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334562
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Beek, Maurice H. editor. Lohmann, Niels. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334562.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38230-7">http://dx.doi.org/10.1007/978-3-642-38230-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334580
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334580.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38317-5">http://dx.doi.org/10.1007/978-3-642-38317-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Information Systems Engineering 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334655
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Salinesi, Camille. editor. Norrie, Moira C. editor. Pastor, Óscar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334655.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38709-8">http://dx.doi.org/10.1007/978-3-642-38709-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Supercomputing 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334662
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Kunkel, Julian Martin. editor. Ludwig, Thomas. editor. Meuer, Hans Werner. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334662.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38750-0">http://dx.doi.org/10.1007/978-3-642-38750-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:334547
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334547.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38164-5">http://dx.doi.org/10.1007/978-3-642-38164-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334552
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Albert, Elvira. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334552.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38197-3">http://dx.doi.org/10.1007/978-3-642-38197-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems 7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334616
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Cavallaro, Lorenzo. editor. Gollmann, Dieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334616.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38530-8">http://dx.doi.org/10.1007/978-3-642-38530-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334626
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Bonacina, Maria Paola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334626.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38574-2">http://dx.doi.org/10.1007/978-3-642-38574-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334630
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Beyer, Dirk. editor. Boreale, Michele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334630.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38592-6">http://dx.doi.org/10.1007/978-3-642-38592-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334631
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Keller, Hubert B. editor. Plödereder, Erhard. editor. Dencker, Peter. editor. Klenk, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334631.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38601-5">http://dx.doi.org/10.1007/978-3-642-38601-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Process Models. Change Management
ent://SD_ILS/0/SD_ILS:334632
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Gerth, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334632.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38604-6">http://dx.doi.org/10.1007/978-3-642-38604-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334634
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334634.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38613-8">http://dx.doi.org/10.1007/978-3-642-38613-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Benchmarking Peer-to-Peer Systems Understanding Quality of Service in Large-Scale Distributed Systems
ent://SD_ILS/0/SD_ILS:334646
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Effelsberg, Wolfgang. editor. Steinmetz, Ralf. editor. Strufe, Thorsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334646.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38673-2">http://dx.doi.org/10.1007/978-3-642-38673-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Pattern Languages of Programming III
ent://SD_ILS/0/SD_ILS:334647
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334647.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38676-3">http://dx.doi.org/10.1007/978-3-642-38676-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334651
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334651.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38697-8">http://dx.doi.org/10.1007/978-3-642-38697-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334652
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Dastani, Mehdi. editor. Hübner, Jomi F. editor. Logan, Brian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334652.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38700-5">http://dx.doi.org/10.1007/978-3-642-38700-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
End-User Development 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334654
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Dittrich, Yvonne. editor. Burnett, Margaret. editor. Mørch, Anders. editor. Redmiles, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334654.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38706-7">http://dx.doi.org/10.1007/978-3-642-38706-7</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-09-09T14:41:07Z
2024-09-09T14:41:07Z
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/>
Detection of Intrusions and Malware, and Vulnerability Assessment 10th International Conference, DIMVA 2013, Berlin, Germany, July 18-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334760
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Rieck, Konrad. editor. Stewin, Patrick. editor. Seifert, Jean-Pierre. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334760.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39235-1">http://dx.doi.org/10.1007/978-3-642-39235-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ad-hoc, Mobile, and Wireless Network 12th International Conference, ADHOC-NOW 2013, Wrocław, Poland, July 8-10, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334764
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Cichoń, Jacek. editor. Gȩbala, Maciej. editor. Klonowski, Marek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334764.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39247-4">http://dx.doi.org/10.1007/978-3-642-39247-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
RoboCup 2012: Robot Soccer World Cup XVI
ent://SD_ILS/0/SD_ILS:334765
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Chen, Xiaoping. editor. Stone, Peter. editor. Sucar, Luis Enrique. editor. Zant, Tijn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334765.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39250-4">http://dx.doi.org/10.1007/978-3-642-39250-4</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-09-09T14:41:07Z
2024-09-09T14:41:07Z
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/>
Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334772
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Liu, Shaoying. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334772.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39277-1">http://dx.doi.org/10.1007/978-3-642-39277-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Emerging Management Mechanisms for the Future Internet 7th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2013, Barcelona, Spain, June 25-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334710
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Doyen, Guillaume. editor. Waldburger, Martin. editor. Čeleda, Pavel. editor. Sperotto, Anna. editor. Stiller, Burkhard. editor.<br/>Preferred Shelf Number ONLINE(334710.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38998-6">http://dx.doi.org/10.1007/978-3-642-38998-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334714
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Drira, Khalil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334714.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39031-9">http://dx.doi.org/10.1007/978-3-642-39031-9</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-09-09T14:41:07Z
2024-09-09T14:41:07Z
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/>
Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334840
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334840.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39718-9">http://dx.doi.org/10.1007/978-3-642-39718-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
ent://SD_ILS/0/SD_ILS:334841
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334841.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39721-9">http://dx.doi.org/10.1007/978-3-642-39721-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334844
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334844.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39742-4">http://dx.doi.org/10.1007/978-3-642-39742-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334851
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Sharygina, Natasha. editor. Veith, Helmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334851.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39799-8">http://dx.doi.org/10.1007/978-3-642-39799-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mobile Web Information Systems 10th International Conference, MobiWIS 2013, Paphos, Cyprus, August 26-29, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334922
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Daniel, Florian. editor. Papadopoulos, George A. editor. Thiran, Philippe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334922.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40276-0">http://dx.doi.org/10.1007/978-3-642-40276-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Petri Nets and Other Models of Concurrency VIII
ent://SD_ILS/0/SD_ILS:334949
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Koutny, Maciej. editor. Aalst, Wil M. P. editor. Yakovlev, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334949.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40465-8">http://dx.doi.org/10.1007/978-3-642-40465-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ada 2012 Rationale The Language, The Standard Libraries
ent://SD_ILS/0/SD_ILS:335195
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Barnes, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335195.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45210-9">http://dx.doi.org/10.1007/978-3-642-45210-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335196
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335196.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45221-5">http://dx.doi.org/10.1007/978-3-642-45221-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trustworthy Eternal Systems via Evolving Software, Data and Knowledge Second International Workshop, EternalS 2012, Montpellier, France, August 28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335198
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Moschitti, Alessandro. editor. Plank, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335198.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45260-4">http://dx.doi.org/10.1007/978-3-642-45260-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Robotics and Applications 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:335018
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Lee, Jangmyung. editor. Lee, Min Cheol. editor. Liu, Honghai. editor. Ryu, Jee-Hwan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335018.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40849-6">http://dx.doi.org/10.1007/978-3-642-40849-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335204
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Sagonas, Kostis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335204.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45284-0">http://dx.doi.org/10.1007/978-3-642-45284-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335206
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Wu, Chenggang. editor. Cohen, Albert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335206.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45293-2">http://dx.doi.org/10.1007/978-3-642-45293-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335210
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Cossentino, Massimo. editor. Fallah Seghrouchni, Amal. editor. Winikoff, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335210.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45343-4">http://dx.doi.org/10.1007/978-3-642-45343-4</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-09-09T14:41:07Z
2024-09-09T14:41:07Z
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/>
Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335125
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335125.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41578-4">http://dx.doi.org/10.1007/978-3-642-41578-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335126
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Hinze, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335126.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41582-1">http://dx.doi.org/10.1007/978-3-642-41582-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335141
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335141.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41707-8">http://dx.doi.org/10.1007/978-3-642-41707-8</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-09-09T14:41:07Z
2024-09-09T14:41:07Z
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/>
Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335150
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
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/>
Information and Software Technologies 19th International Conference, ICIST 2013, Kaunas, Lithuania, October 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335153
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Skersys, Tomas. editor. Butleris, Rimantas. editor. Butkiene, Rita. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335153.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41947-8">http://dx.doi.org/10.1007/978-3-642-41947-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomic Computing Principles, Design and Implementation
ent://SD_ILS/0/SD_ILS:331115
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331115.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5007-7">http://dx.doi.org/10.1007/978-1-4471-5007-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332962
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332962.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03077-7">http://dx.doi.org/10.1007/978-3-319-03077-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332964
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.<br/>Preferred Shelf Number ONLINE(332964.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03089-0">http://dx.doi.org/10.1007/978-3-319-03089-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Multimedia Information Processing – PCM 2013 14th Pacific-Rim Conference on Multimedia, Nanjing, China, December 13-16, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332991
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Huet, Benoit. editor. Ngo, Chong-Wah. editor. Tang, Jinhui. editor. Zhou, Zhi-Hua. editor. Hauptmann, Alexander G. editor.<br/>Preferred Shelf Number ONLINE(332991.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03731-8">http://dx.doi.org/10.1007/978-3-319-03731-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trends in Mobile Web Information Systems MobiWIS 2013 International Workshops, Paphos, Cyprus, August 26-28, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:332992
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Matera, Maristella. editor. Rossi, Gustavo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332992.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03737-0">http://dx.doi.org/10.1007/978-3-319-03737-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:332993
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332993.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03753-0">http://dx.doi.org/10.1007/978-3-319-03753-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:332994
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332994.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03756-1">http://dx.doi.org/10.1007/978-3-319-03756-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332999
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332999.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03850-6">http://dx.doi.org/10.1007/978-3-319-03850-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Discovery, Knowledge Engineering and Knowledge Management Second International Joint Conference, IC3K 2010, Valencia, Spain, October 25-28, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:333266
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Fred, Ana. editor. Dietz, Jan L. G. editor. Liu, Kecheng. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333266.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29764-9">http://dx.doi.org/10.1007/978-3-642-29764-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334014
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334014.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35632-2">http://dx.doi.org/10.1007/978-3-642-35632-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-09-09T14:41:07Z
2024-09-09T14:41:07Z
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/>
Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334069
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334069.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35861-6">http://dx.doi.org/10.1007/978-3-642-35861-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334025
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Frey, Davide. editor. Raynal, Michel. editor. Sarkar, Saswati. editor. Shyamasundar, Rudrapatna K. editor. Sinha, Prasun. editor.<br/>Preferred Shelf Number ONLINE(334025.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35668-1">http://dx.doi.org/10.1007/978-3-642-35668-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334034
2024-09-09T14:41:07Z
2024-09-09T14:41:07Z
Author Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334034.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35705-3">http://dx.doi.org/10.1007/978-3-642-35705-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>