Search Results for 2 - Narrowed by: Software engineering.

Web 2.0

2024-12-23T22:57:50Z

Author Behrendt, Jens. author. Zeppenfeld, Klaus. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73121-4
Format: Electronic Resources
Availability Online Library~1

Pro JSP 2

2024-12-23T22:57:50Z

Author Brown, Simon. author. Dalton, Sam. author. Jepp, Daniel. author. Johnson, David. author. Li, Sing. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0111-3
Format: Electronic Resources
Availability Online Library~1

Expert F# 2.0

2024-12-23T22:57:50Z

Author Syme, Don. author. Granicz, Adam. author. Cisternino, Antonio. author. Andres, Clay. editor. Anglin, Steve. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-2432-7
Format: Electronic Resources
Availability Online Library~1

Web 2.0 The Business Model

2024-12-23T22:57:50Z

Author Lytras, Miltiadis D. editor. Damiani, Ernesto. editor. Ordóñez de Pablos, Patricia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-85895-1
Format: Electronic Resources
Availability Online Library~1

PRINCE 2 Das Projektmanagement-Framework

2024-12-23T22:57:50Z

Author Köhler, Peter T. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-31704-X
Format: Electronic Resources
Availability Online Library~1

Vibrations of Rotating Machinery Volume 2. Advanced Rotordynamics: Applications of Analysis, Troubleshooting and Diagnosis

2024-12-23T22:57:50Z

Author Matsushita, Osami. author. Tanaka, Masato. author. Kobayashi, Masao. author. Keogh, Patrick. author. Kanki, Hiroshi. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-4-431-55453-0
Format: Electronic Resources
Availability Online Library~1

Human-Centered Software Engineering 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3–5, 2018, Revised Selected Papers

2024-12-23T22:57:50Z

Author Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797 Kuusinen, Kati. editor. (orcid)0000-0003-3076-1356 Lárusdóttir, Marta Kristín. editor. Palanque, Philippe. editor. Winckler, Marco. editor. (orcid)0000-0002-0756-6934
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05909-5
Format: Electronic Resources
Availability Online Library~1

Technologies and Innovation 5th International Conference, CITI 2019, Guayaquil, Ecuador, December 2–5, 2019, Proceedings

2024-12-23T22:57:50Z

Author Valencia-García, Rafael. editor. Alcaraz-Mármol, Gema. editor. Del Cioppo-Morstadt, Javier. editor. Vera-Lucio, Néstor. editor. Bucaram-Leverone, Martha. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34989-9
Format: Electronic Resources
Availability Online Library~1

Digital Forensics and Cyber Crime 10th International EAI Conference, ICDF2C 2018, New Orleans, LA, USA, September 10–12, 2018, Proceedings

2024-12-23T22:57:50Z

Author Breitinger, Frank. editor. (orcid)0000-0001-5261-4600 Baggili, Ibrahim. editor. (orcid)0000-0002-9574-9537 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05487-8
Format: Electronic Resources
Availability Online Library~1

On the Move to Meaningful Internet Systems: OTM 2018 Workshops Confederated International Workshops: EI2N, FBM, ICSP, and Meta4eS 2018, Valletta, Malta, October 22–26, 2018, Revised Selected Papers

2024-12-23T22:57:50Z

Author Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847 Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Guédria, Wided. editor. Bollen, Peter. editor. Ciuciu, Ioana. editor. (orcid)0000-0002-7126-0585
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-11683-5
Format: Electronic Resources
Availability Online Library~1

Computational Logistics 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings

2024-12-23T22:57:50Z

Author Paternina-Arboleda, Carlos. editor. (orcid)0000-0002-8860-3898 Voß, Stefan. editor. (orcid)0000-0003-1296-4221 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31140-7
Format: Electronic Resources
Availability Online Library~1

Open Source Systems 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedings

2024-12-23T22:57:50Z

Author Bordeleau, Francis. editor. Sillitti, Alberto. editor. Meirelles, Paulo. editor. (orcid)0000-0002-8923-2814 Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20883-7
Format: Electronic Resources
Availability Online Library~1

Codes, Cryptology and Information Security Third International Conference, C2SI 2019, Rabat, Morocco, April 22–24, 2019, Proceedings - In Honor of Said El Hajji

2024-12-23T22:57:50Z

Author Carlet, Claude. editor. Guilley, Sylvain. editor. (orcid)0000-0002-5044-3534 Nitaj, Abderrahmane. editor. (orcid)0000-0002-0372-1757 Souidi, El Mamoun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-16458-4
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T22:57:50Z

Author Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34968-4
Format: Electronic Resources
Availability Online Library~1

Intelligence Science II Third IFIP TC 12 International Conference, ICIS 2018, Beijing, China, November 2-5, 2018, Proceedings

2024-12-23T22:57:50Z

Author Shi, Zhongzhi. editor. Pennartz, Cyriel. editor. Huang, Tiejun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01313-4
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part II

2024-12-23T22:57:50Z

Author Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03329-3
Format: Electronic Resources
Availability Online Library~1

Blended Learning. Enhancing Learning Success 11th International Conference, ICBL 2018, Osaka, Japan, July 31- August 2, 2018, Proceedings

2024-12-23T22:57:50Z

Author Cheung, Simon K.S. editor. Kwok, Lam-for. editor. Kubota, Kenichi. editor. Lee, Lap-Kei. editor. Tokito, Jumpei. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94505-7
Format: Electronic Resources
Availability Online Library~1

Open Source Systems: Enterprise Software and Solutions 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedings

2024-12-23T22:57:50Z

Author Stamelos, Ioannis. editor. Gonzalez-Barahoña, Jesus M. editor. (orcid)0000-0001-9682-460X Varlamis, Iraklis. editor. (orcid)0000-0002-0876-8167 Anagnostopoulos, Dimosthenis. editor. (orcid)0000-0003-0747-4252 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92375-8
Format: Electronic Resources
Availability Online Library~1

Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers

2024-12-23T22:57:50Z

Author Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99673-8
Format: Electronic Resources
Availability Online Library~1

Product Lifecycle Management to Support Industry 4.0 15th IFIP WG 5.1 International Conference, PLM 2018, Turin, Italy, July 2-4, 2018, Proceedings

2024-12-23T22:57:50Z

Author Chiabert, Paolo. editor. Bouras, Abdelaziz. editor. Noël, Frédéric. editor. Ríos, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01614-2
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I

2024-12-23T22:57:50Z

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
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95162-1
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part II

2024-12-23T22:57:50Z

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
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95165-2
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part IV

2024-12-23T22:57:50Z

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
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95171-3
Format: Electronic Resources
Availability Online Library~1

Service-Oriented and Cloud Computing 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings

2024-12-23T22:57:50Z

Author Kritikos, Kyriakos. editor. (orcid)0000-0001-9633-1610 Plebani, Pierluigi. editor. (orcid)0000-0001-8245-226X de Paoli, Flavio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99819-0
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T22:57:50Z

Author Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Bellatreche, Ladjel. editor. Biffl, Stefan. editor. van Leeuwen, Jan. editor. Wiedermann, Jiří. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73117-9
Format: Electronic Resources
Availability Online Library~1

PRIMA 2018: Principles and Practice of Multi-Agent Systems 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings

2024-12-23T22:57:50Z

Author Miller, Tim. editor. (orcid)0000-0003-4908-6063 Oren, Nir. editor. (orcid)0000-0002-4854-9014 Sakurai, Yuko. editor. (orcid)0000-0002-0642-3878 Noda, Itsuki. editor. (orcid)0000-0003-1987-5336 Savarimuthu, Bastin Tony Roy. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03098-8
Format: Electronic Resources
Availability Online Library~1

On the Move to Meaningful Internet Systems. OTM 2017 Workshops Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papers

2024-12-23T22:57:50Z

Author Debruyne, Christophe. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Weichhart, Georg. editor. Bollen, Peter. editor. Ciuciu, Ioana. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73805-5
Format: Electronic Resources
Availability Online Library~1

New Trends in Information and Communications Technology Applications Third International Conference, NTICT 2018, Baghdad, Iraq, October 2–4, 2018, Proceedings

2024-12-23T22:57:50Z

Author Al-mamory, Safaa O. editor. (orcid)0000-0003-3144-8222 Alwan, Jwan K. editor. Hussein, Ali D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01653-1
Format: Electronic Resources
Availability Online Library~1

Cryptology and Network Security 16th International Conference, CANS 2017, Hong Kong, China, November 30—December 2, 2017, Revised Selected Papers

2024-12-23T22:57:50Z

Author Capkun, Srdjan. editor. Chow, Sherman S. M. editor. (orcid)0000-0001-7306-453X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02641-7
Format: Electronic Resources
Availability Online Library~1

The Practice of Enterprise Modeling 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31 – November 2, 2018, Proceedings

2024-12-23T22:57:50Z

Author Buchmann, Robert Andrei. editor. (orcid)0000-0002-7385-1610 Karagiannis, Dimitris. editor. Kirikova, Marite. editor. (orcid)0000-0002-1678-9523 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02302-7
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

2024-12-23T22:57:50Z

Author Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02768-1
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part III

2024-12-23T22:57:50Z

Author Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03332-3
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part I

2024-12-23T22:57:50Z

Author Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03326-2
Format: Electronic Resources
Availability Online Library~1

Financial Cryptography and Data Security 22nd International Conference, FC 2018, Nieuwpoort, Curaçao, February 26 – March 2, 2018, Revised Selected Papers

2024-12-23T22:57:50Z

Author Meiklejohn, Sarah. editor. Sako, Kazue. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-58387-6
Format: Electronic Resources
Availability Online Library~1

Electronic Voting Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings

2024-12-23T22:57:50Z

Author Krimmer, Robert. editor. (orcid)0000-0002-0873-539X Volkamer, Melanie. editor. (orcid)0000-0003-2674-4043 Cortier, Véronique. editor. Goré, Rajeev. editor. Hapsara, Manik. editor. (orcid)0000-0002-8653-063X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00419-4
Format: Electronic Resources
Availability Online Library~1

Applied Reconfigurable Computing. Architectures, Tools, and Applications 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings

2024-12-23T22:57:50Z

Author Voros, Nikolaos. editor. Huebner, Michael. editor. Keramidas, Georgios. editor. Goehringer, Diana. editor. Antonopoulos, Christos. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78890-6
Format: Electronic Resources
Availability Online Library~1

OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, and Skin Image Analysis First International Workshop, OR 2.0 2018, 5th International Workshop, CARE 2018, 7th International Workshop, CLIP 2018, Third International Workshop, ISIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 and 20, 2018, Proceedings

2024-12-23T22:57:50Z

Author Stoyanov, Danail. editor. Taylor, Zeike. editor. Sarikaya, Duygu. editor. McLeod, Jonathan. editor. González Ballester, Miguel Angel. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01201-4
Format: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers

2024-12-23T22:57:50Z

Author Klusáček, Dalibor. editor. Cirne, Walfredo. editor. Desai, Narayan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77398-8
Format: Electronic Resources
Availability Online Library~1

Information Security Theory and Practice 11th IFIP WG 11.2 International Conference, WISTP 2017, Heraklion, Crete, Greece, September 28–29, 2017, Proceedings

2024-12-23T22:57:50Z

Author Hancke, Gerhard P. editor. Damiani, Ernesto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93524-9
Format: Electronic Resources
Availability Online Library~1

Business Modeling and Software Design 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, Proceedings

2024-12-23T22:57:50Z

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

Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part III

2024-12-23T22:57:50Z

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
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95168-3
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part V

2024-12-23T22:57:50Z

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
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95174-4
Format: Electronic Resources
Availability Online Library~1

Service Research and Innovation 5th and 6th Australasian Symposium, ASSRI 2015 and ASSRI 2017, Sydney, NSW, Australia, November 2–3, 2015, and October 19–20, 2017, Revised Selected Papers

2024-12-23T22:57:50Z

Author Beheshti, Amin. editor. (orcid)0000-0002-5988-5494 Hashmi, Mustafa. editor. (orcid)0000-0002-6376-082X Dong, Hai. editor. (orcid)0000-0002-7033-5688 Zhang, Wei Emma. editor. (orcid)0000-0002-0406-5974 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76587-7
Format: Electronic Resources
Availability Online Library~1

Technological Innovation for Resilient Systems 9th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2018, Costa de Caparica, Portugal, May 2-4, 2018, Proceedings

2024-12-23T22:57:50Z

Author Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Adu-Kankam, Kankam O. editor. (orcid)0000-0001-8572-1170 Julashokri, Mohammad. editor. (orcid)0000-0003-0012-9456 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78574-5
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing--ICSOC 2013 Workshops CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers

2024-12-23T22:57:50Z

Author Lomuscio, Alessio. editor. Nepal, Surya. editor. Patrizi, Fabio. editor. Benatallah, Boualem. editor. Brandić, Ivona. editor. (orcid)0000-0001-7424-0208
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06859-6
Format: Electronic Resources
Availability Online Library~1

Analytical and Stochastic Modelling Techniques and Applications 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings

2024-12-23T22:57:50Z

Author Sericola, Bruno. editor. Miklós, Telek. editor. Horváth, Gábor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08219-6
Format: Electronic Resources
Availability Online Library~1

Ambient Assisted Living and Daily Activities 6th International Work-Conference, IWAAL 2014, Belfast, UK, December 2-5, 2014, Proceedings

2024-12-23T22:57:50Z

Author Pecchia, Leandro. editor. Chen, Liming. editor. Nugent, Chris. editor. Bravo, Jose. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13105-4
Format: Electronic Resources
Availability Online Library~1

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers

2024-12-23T22:57:50Z

Author Cerone, Antonio. editor. Persico, Donatella. editor. Fernandes, Sara. editor. Garcia-Perez, Alexeis. editor. Katsaros, Panagiotis. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54338-8
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

2024-12-23T22:57:50Z

Author Counsell, Steve. editor. Núñez, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05032-4
Format: Electronic Resources
Availability Online Library~1

Open Source Software: Mobile Open Source Technologies 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San José, Costa Rica, May 6-9, 2014, Proceedings

2024-12-23T22:57:50Z

Author Corral, Luis. editor. Sillitti, Alberto. editor. Succi, Giancarlo. editor. Vlasenko, Jelena. editor. Wasserman, Anthony I. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-55128-4
Format: Electronic Resources
Availability Online Library~1

Service-Oriented and Cloud Computing Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014, Proceedings

2024-12-23T22:57:50Z

Author Villari, Massimo. editor. Zimmermann, Wolf. editor. Lau, Kung-Kiu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44879-3
Format: Electronic Resources
Availability Online Library~1

A Rigorous Semantics for BPMN 2.0 Process Diagrams

2024-12-23T22:57:50Z

Author Kossak, Felix. author. Illibauer, Christa. author. Geist, Verena. author. Kubovy, Jan. author. Natschläger, Christine. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09931-6
Format: Electronic Resources
Availability Online Library~1

Ubiquitous Computing and Ambient Intelligence: Personalisation and User Adapted Services 8th International Conference, UCAmI 2014, Belfast, UK, December 2-5, 2014, Proceedings

2024-12-23T22:57:50Z

Author Hervás, Ramón. editor. Lee, Sungyoung. editor. Nugent, Chris. editor. Bravo, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13102-3
Format: Electronic Resources
Availability Online Library~1

Human-Centered Software Engineering 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings

2024-12-23T22:57:50Z

Author Sauer, Stefan. editor. Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797 Forbrig, Peter. editor. Bernhaupt, Regina. editor. Winckler, Marco. editor. (orcid)0000-0002-0756-6934
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44811-3
Format: Electronic Resources
Availability Online Library~1

CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.

2024-12-23T22:57:50Z

Author Baldan, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44584-6
Format: Electronic Resources
Availability Online Library~1

Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings

2024-12-23T22:57:50Z

Author Quintao Pereira, Fernando Magno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11863-5
Format: Electronic Resources
Availability Online Library~1

Open Source Software: Quality Verification 9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013. Proceedings

2024-12-23T22:57:50Z

Author Petrinja, Etiel. editor. Succi, Giancarlo. editor. Ioini, Nabil. editor. Sillitti, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334700.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38928-3
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T22:57:50Z

Author Cavallaro, Lorenzo. editor. Gollmann, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334616.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38530-8
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III

2024-12-23T22:57:50Z

Author Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.
Preferred Shelf Number ONLINE(334950.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40477-1
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II

2024-12-23T22:57:50Z

Author Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.
Preferred Shelf Number ONLINE(334951.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40480-1
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I

2024-12-23T22:57:50Z

Author Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.
Preferred Shelf Number ONLINE(334952.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40483-2
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV

2024-12-23T22:57:50Z

Author Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.
Preferred Shelf Number ONLINE(334955.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40498-6
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, Proceedings

2024-12-23T22:57:50Z

Author Basu, Samik. editor. Pautasso, Cesare. editor. Zhang, Liang. editor. Fu, Xiang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335177.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45005-1
Format: Electronic Resources
Availability Online Library~1

Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction 7th International Conference, UCAmI 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings

2024-12-23T22:57:50Z

Author Urzaiz, Gabriel. editor. Ochoa, Sergio F. editor. Bravo, José. editor. Chen, Liming Luke. editor. Oliveira, Jonice. editor.
Preferred Shelf Number ONLINE(332969.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03176-7
Format: Electronic Resources
Availability Online Library~1

System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers

2024-12-23T22:57:50Z

Author Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334282.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36757-1
Format: Electronic Resources
Availability Online Library~1

Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers

2024-12-23T22:57:50Z

Author Tribastone, Mirco. editor. Gilmore, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334290.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36781-6
Format: Electronic Resources
Availability Online Library~1

Ambient Assisted Living and Active Aging 5th International Work-Conference, IWAAL 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings

2024-12-23T22:57:50Z

Author Nugent, Christopher. editor. Coronato, Antonio. editor. Bravo, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332965.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03092-0
Format: Electronic Resources
Availability Online Library~1

Trustworthy Computing and Services International Conference, ISCTCS 2012, Beijing, China, May 28 – June 2, 2012, Revised Selected Papers

2024-12-23T22:57:50Z

Author Yuan, Yuyu. editor. Wu, Xu. editor. Lu, Yueming. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334049.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35795-4
Format: Electronic Resources
Availability Online Library~1

Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers

2024-12-23T22:57:50Z

Author Glück, Robert. editor. Yokoyama, Tetsuo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334174.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36315-3
Format: Electronic Resources
Availability Online Library~1

Radio Frequency Identification. Security and Privacy Issues 8th International Workshop, RFIDSec 2012, Nijmegen, The Netherlands, July 2-3, 2012, Revised Selected Papers

2024-12-23T22:57:50Z

Author Hoepman, Jaap-Henk. editor. Verbauwhede, Ingrid. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334132.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36140-1
Format: Electronic Resources
Availability Online Library~1

Advances in Multimedia, Software Engineering and Computing Vol.2 Proceedings of the 2011 MSEC International Conference on Multimedia, Software Engineering and Computing, November 26–27, Wuhan, China

2024-12-23T22:57:50Z

Author Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25986-9
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and Information Technology. Networks and Communications Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part I

2024-12-23T22:57:50Z

Author Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27299-8
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T22:57:50Z

Author Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27308-7
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T22:57:50Z

Author Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27317-9
Format: Electronic Resources
Availability Online Library~1

Advances in Software Engineering Techniques 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers

2024-12-23T22:57:50Z

Author Szmuc, Tomasz. editor. Szpyrka, Marcin. editor. Zendulka, Jaroslav. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28038-2
Format: Electronic Resources
Availability Online Library~1

Algebraic and Numeric Biology 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers

2024-12-23T22:57:50Z

Author Horimoto, Katsuhisa. editor. Nakatsui, Masahiko. editor. Popov, Nikolaj. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28067-2
Format: Electronic Resources
Availability Online Library~1

Game Theory for Networks 2nd International ICST Conference, GAMENETS 2011, Shanghai, China, April 16-18, 2011, Revised Selected Papers

2024-12-23T22:57:50Z

Author Jain, Rahul. editor. Kannan, Rajgopal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30373-9
Format: Electronic Resources
Availability Online Library~1

Modelling Foundations and Applications 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings

2024-12-23T22:57:50Z

Author Vallecillo, Antonio. editor. Tolvanen, Juha-Pekka. editor. Kindler, Ekkart. editor. Störrle, Harald. editor. Kolovos, Dimitris. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31491-9
Format: Electronic Resources
Availability Online Library~1

Agents for Educational Games and Simulations International Workshop, AEGS 2011, Taipei, Taiwan, May 2, 2011. Revised Papers

2024-12-23T22:57:50Z

Author Beer, Martin. editor. Brom, Cyril. editor. Dignum, Frank. editor. Soo, Von-Wun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32326-3
Format: Electronic Resources
Availability Online Library~1

Signal Processing and Information Technology First International Joint Conference, SPIT 2011 and IPC 2011, Amsterdam, The Netherlands, December 1-2, 2011, Revised Selected Papers

2024-12-23T22:57:50Z

Author Das, Vinu V. editor. Ariwa, Ezendu. editor. Rahayu, Syarifah Bahiyah. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32573-1
Format: Electronic Resources
Availability Online Library~1

Uncertainty Quantification in Scientific Computing 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers

2024-12-23T22:57:50Z

Author Dienstfrey, Andrew M. editor. Boisvert, Ronald F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32677-6
Format: Electronic Resources
Availability Online Library~1

Datalog in Academia and Industry Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings

2024-12-23T22:57:50Z

Author Barceló, Pablo. editor. Pichler, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32925-8
Format: Electronic Resources
Availability Online Library~1

Green and Smart Technology with Sensor Applications International Conferences, GST and SIA 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

2024-12-23T22:57:50Z

Author Cho, Hyun-seob. editor. Kim, Tai-hoon. editor. Mohammed, Sabah. editor. Adeli, Hojjat. editor. Oh, Myoung-kwan. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35251-5
Format: Electronic Resources
Availability Online Library~1

Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

2024-12-23T22:57:50Z

Author Kim, Tai-hoon. editor. Ramos, Carlos. editor. Kim, Haeng-kon. editor. Kiumi, Akingbehin. editor. Mohammed, Sabah. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35267-6
Format: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems – ARCS 2012 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings

2024-12-23T22:57:50Z

Author Herkersdorf, Andreas. editor. Römer, Kay. editor. Brinkschulte, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28293-5
Format: Electronic Resources
Availability Online Library~1

Multi-Agent-Based Simulation XII International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers

2024-12-23T22:57:50Z

Author Villatoro, Daniel. editor. Sabater-Mir, Jordi. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28400-7
Format: Electronic Resources
Availability Online Library~1

Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers

2024-12-23T22:57:50Z

Author Carbone, Marco. editor. Petit, Jean-Marc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29834-9
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T22:57:50Z

Author Wyld, David C. editor. Zizka, Jan. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30111-7
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part I

2024-12-23T22:57:50Z

Author Alexander, Michael. editor. D’Ambra, Pasqua. editor. Belloum, Adam. editor. Bosilca, George. editor. Cannataro, Mario. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29737-3
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part II

2024-12-23T22:57:50Z

Author Alexander, Michael. editor. D’Ambra, Pasqua. editor. Belloum, Adam. editor. Bosilca, George. editor. Cannataro, Mario. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29740-3
Format: Electronic Resources
Availability Online Library~1

Open Source Systems: Long-Term Sustainability 8th IFIP WG 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012. Proceedings

2024-12-23T22:57:50Z

Author Hammouda, Imed. editor. Lundell, Björn. editor. Mikkonen, Tommi. editor. Scacchi, Walt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33442-9
Format: Electronic Resources
Availability Online Library~1

Model and Data Engineering 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings

2024-12-23T22:57:50Z

Author Abelló, Alberto. editor. Bellatreche, Ladjel. editor. Benatallah, Boualem. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33609-6
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Natural Computing First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings

2024-12-23T22:57:50Z

Author Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33860-1
Format: Electronic Resources
Availability Online Library~1

Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

2024-12-23T22:57:50Z

Author Kim, Tai-hoon. editor. Ramos, Carlos. editor. Abawajy, Jemal. editor. Kang, Byeong-Ho. editor. Ślęzak, Dominik. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35248-5
Format: Electronic Resources
Availability Online Library~1

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

2024-12-23T22:57:50Z

Author Calinescu, Radu. editor. Jackson, Ethan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21292-5
Format: Electronic Resources
Availability Online Library~1

Data Management in Grid and Peer-to-Peer Systems 4th International Conference, Globe 2011, Toulouse, France, September 1-2, 2011, Proceedings

2024-12-23T22:57:50Z

Author Hameurlain, Abdelkader. editor. Tjoa, A Min. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22947-3
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II

2024-12-23T22:57:50Z

Author Jeannot, Emmanuel. editor. Namyst, Raymond. editor. Roman, Jean. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23397-5
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I

2024-12-23T22:57:50Z

Author Jeannot, Emmanuel. editor. Namyst, Raymond. editor. Roman, Jean. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23400-2
Format: Electronic Resources
Availability Online Library~1

Open Source Systems: Grounding Research 7th IFIP WG 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011. Proceedings

2024-12-23T22:57:50Z

Author Hissam, Scott A. editor. Russo, Barbara. editor. Mendonça Neto, Manoel G. editor. Kon, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24418-6
Format: Electronic Resources
Availability Online Library~1

On the Move to Meaningful Internet Systems: OTM 2011 Workshops Confederated International Workshops and Posters: EI2N+NSF ICE, ICSP+INBAST, ISDE, ORM, OTMA, SWWS+MONET+SeDeS, and VADER 2011, Hersonissos, Crete, Greece, October 17-21, 2011. Proceedings

2024-12-23T22:57:50Z

Author Meersman, Robert. editor. Dillon, Tharam. editor. Herrero, Pilar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25126-9
Format: Electronic Resources
Availability Online Library~1

Smart Card Research and Advanced Applications 10th IFIP WG 8.8/11.2 International Conference, CARDIS 2011, Leuven, Belgium, September 14-16, 2011, Revised Selected Papers

2024-12-23T22:57:50Z

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

Software Technologies for Embedded and Ubiquitous Systems 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings

2024-12-23T22:57:50Z

Author Min, Sang Lyul. editor. Pettit, Robert. editor. Puschner, Peter. editor. Ungerer, Theo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16256-5
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Networking 12th International Conference, ICDCN 2011, Bangalore, India, January 2-5, 2011. Proceedings

2024-12-23T22:57:50Z

Author Aguilera, Marcos K. editor. Yu, Haifeng. editor. Vaidya, Nitin H. editor. Srinivasan, Vikram. editor. Choudhury, Romit Roy. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17679-1
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T22:57:50Z

Author Meghanathan, Natarajan. editor. Kaushik, Brajesh Kumar. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17857-3
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T22:57:50Z

Author Meghanathan, Natarajan. editor. Kaushik, Brajesh Kumar. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17878-8
Format: Electronic Resources
Availability Online Library~1

Advanced Computing First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part III

2024-12-23T22:57:50Z

Author Meghanathan, Natarajan. editor. Kaushik, Brajesh Kumar. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17881-8
Format: Electronic Resources
Availability Online Library~1

Business Process Management 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings

2024-12-23T22:57:50Z

Author Rinderle-Ma, Stefanie. editor. Toumani, Farouk. editor. Wolf, Karsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23059-2
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing – ICTAC 2011 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings

2024-12-23T22:57:50Z

Author Cerone, Antonio. editor. Pihlajasaari, Pekka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23283-1
Format: Electronic Resources
Availability Online Library~1

Ubiquitous Intelligence and Computing 8th International Conference, UIC 2011, Banff, Canada, September 2-4, 2011. Proceedings

2024-12-23T22:57:50Z

Author Hsu, Ching-Hsien. editor. Yang, Laurence T. editor. Ma, Jianhua. editor. Zhu, Chunsheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23641-9
Format: Electronic Resources
Availability Online Library~1

Autonomic and Trusted Computing 8th International Conference, ATC 2011, Banff, Canada, September 2-4, 2011. Proceedings

2024-12-23T22:57:50Z

Author Calero, Jose M. Alcaraz. editor. Yang, Laurence T. editor. Mármol, Félix Gómez. editor. García Villalba, Luis Javier. editor. Li, Andy Xiaolin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23496-5
Format: Electronic Resources
Availability Online Library~1

Collaboration and Technology 17th International Conference, CRIWG 2011, Paraty, Brazil, October 2-7, 2011. Proceedings

2024-12-23T22:57:50Z

Author Vivacqua, Adriana S. editor. Gutwin, Carl. editor. Borges, Marcos R. S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23801-7
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings

2024-12-23T22:57:50Z

Author Valtchev, Petko. editor. Jäschke, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20514-9
Format: Electronic Resources
Availability Online Library~1

Models in Software Engineering Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers

2024-12-23T22:57:50Z

Author Dingel, Juergen. editor. Solberg, Arnor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21210-9
Format: Electronic Resources
Availability Online Library~1

Software Engineering Techniques Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers

2024-12-23T22:57:50Z

Author Huzar, Zbigniew. editor. Koci, Radek. editor. Meyer, Bertrand. editor. Walter, Bartosz. editor. Zendulka, Jaroslav. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22386-0
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings

2024-12-23T22:57:50Z

Author Tratt, Laurence. editor. Gogolla, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13688-7
Format: Electronic Resources
Availability Online Library~1

Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedings

2024-12-23T22:57:50Z

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

Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings

2024-12-23T22:57:50Z

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

Software Composition 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings

2024-12-23T22:57:50Z

Author Baudry, Benoît. editor. Wohlstadter, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14046-4
Format: Electronic Resources
Availability Online Library~1

Enterprise Architecture, Integration and Interoperability IFIP TC 5 International Conference, EAI2N 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

2024-12-23T22:57:50Z

Author Bernus, Peter. editor. Doumeingts, Guy. editor. Fox, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15509-3
Format: Electronic Resources
Availability Online Library~1

Hybrid Metaheuristics 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings

2024-12-23T22:57:50Z

Author Blesa, María J. editor. Blum, Christian. editor. Raidl, Günther. editor. Roli, Andrea. editor. Sampels, Michael. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16054-7
Format: Electronic Resources
Availability Online Library~1

Mobile Wireless Middleware, Operating Systems, and Applications Third International Conference, Mobilware 2010, Chicago, IL, USA, June 30 - July 2, 2010. Revised Selected Papers

2024-12-23T22:57:50Z

Author Cai, Ying. editor. Magedanz, Thomas. editor. Li, Minglu. editor. Xia, Jinchun. editor. Giannelli, Carlo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17758-3
Format: Electronic Resources
Availability Online Library~1

Smart Spaces and Next Generation Wired/Wireless Networking Third Conference on Smart Spaces, ruSMART 2010, and 10th International Conference, NEW2AN 2010, St. Petersburg, Russia, August 23-25, 2010. Proceedings

2024-12-23T22:57:50Z

Author Balandin, Sergey. editor. Dunaytsev, Roman. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14891-0
Format: Electronic Resources
Availability Online Library~1

Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings

2024-12-23T22:57:50Z

Author Ehrig, Hartmut. editor. Rensink, Arend. editor. Rozenberg, Grzegorz. editor. Schürr, Andy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15928-2
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T22:57:50Z

Author Pries-Heje, Jan. editor. Venable, John. editor. Bunker, Deborah. editor. Russo, Nancy L. editor. DeGross, Janice I. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12113-5
Format: Electronic Resources
Availability Online Library~1

Open Source Software: New Horizons 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 – June 2, 2010. Proceedings

2024-12-23T22:57:50Z

Author Ågerfalk, Pär. editor. Boldyreff, Cornelia. editor. González-Barahona, Jesús M. editor. Madey, Gregory R. editor. Noll, John. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13244-5
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30–July 2, 2010. Proceedings

2024-12-23T22:57:50Z

Author Wieringa, Roel. editor. Persson, Anne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14192-8
Format: Electronic Resources
Availability Online Library~1

Critical Information Infrastructures Security 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009. Revised Papers

2024-12-23T22:57:50Z

Author Rome, Erich. editor. Bloomfield, Robin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14379-3
Format: Electronic Resources
Availability Online Library~1

Data Management in Grid and Peer-to-Peer Systems Third International Conference, Globe 2010, Bilbao, Spain, September 1-2, 2010. Proceedings

2024-12-23T22:57:50Z

Author Hameurlain, Abdelkader. editor. Morvan, Franck. editor. Tjoa, A Min. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15108-8
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T22:57:50Z

Author Calude, Cristian S. editor. Sassone, Vladimiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15240-5
Format: Electronic Resources
Availability Online Library~1

On the Move to Meaningful Internet Systems: OTM 2010 Workshops Confederated International Workshops and Posters: International Workshops: AVYTAT, ADI, DATAVIEW, EI2N, ISDE, MONET, OnToContent, ORM, P2P-CDVE, SeDeS, SWWS and OTMA. Hersonissos, Crete, Greece, October 25-29, 2010. Proceedings

2024-12-23T22:57:50Z

Author Meersman, Robert. editor. Dillon, Tharam. editor. Herrero, Pilar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16961-8
Format: Electronic Resources
Availability Online Library~1

End-User Development 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009. Proceedings

2024-12-23T22:57:50Z

Author Pipek, Volkmar. editor. Rosson, Mary Beth. editor. Ruyter, Boris. editor. Wulf, Volker. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00427-8
Format: Electronic Resources
Availability Online Library~1

Open Source Ecosystems: Diverse Communities Interacting 5th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2009, Skövde, Sweden, June 3-6, 2009. Proceedings

2024-12-23T22:57:50Z

Author Boldyreff, Cornelia. editor. Crowston, Kevin. editor. Lundell, Björn. editor. Wasserman, Anthony I. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02032-2
Format: Electronic Resources
Availability Online Library~1

Software Composition 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings

2024-12-23T22:57:50Z

Author Bergel, Alexandre. editor. Fabry, Johan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02655-3
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings

2024-12-23T22:57:50Z

Author Bouajjani, Ahmed. editor. Maler, Oded. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02658-4
Format: Electronic Resources
Availability Online Library~1

Domain-Specific Languages IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings

2024-12-23T22:57:50Z

Author Taha, Walid Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03034-5
Format: Electronic Resources
Availability Online Library~1

Data Management in Grid and Peer-to-Peer Systems Second International Conference, Globe 2009 Linz, Austria, September 1-2, 2009 Proceedings

2024-12-23T22:57:50Z

Author Hameurlain, Abdelkader. editor. Tjoa, A Min. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03715-3
Format: Electronic Resources
Availability Online Library~1

Software Process Improvement 16th European Conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009. Proceedings

2024-12-23T22:57:50Z

Author O’Connor, Rory V. editor. Baddoo, Nathan. editor. Cuadrago Gallego, Juan. editor. Rejas Muslera, Ricardo. editor. Smolander, Kari. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04133-4
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

2024-12-23T22:57:50Z

Author Alpuente, María. editor. Cook, Byron. editor. Joubert, Christophe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04570-7
Format: Electronic Resources
Availability Online Library~1

Software Engineering Approaches for Offshore and Outsourced Development Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers

2024-12-23T22:57:50Z

Author Berkling, Kay. editor. Joseph, Mathai. editor. Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01856-5
Format: Electronic Resources
Availability Online Library~1

Computer and Computing Technologies in Agriculture II, Volume 2 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China

2024-12-23T22:57:50Z

Author Li, Daoliang. editor. Zhao, Chunjiang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0211-5
Format: Electronic Resources
Availability Online Library~1

Information Systems Development Challenges in Practice, Theory, and Education Volume 2

2024-12-23T22:57:50Z

Author Barry, Chris. editor. Lang, Michael. editor. Wojtkowski, Wita. editor. Conboy, Kieran. editor. Wojtkowski, Gregory. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-78578-3
Format: Electronic Resources
Availability Online Library~1

Information Systems – Creativity and Innovation in Small and Medium-Sized Enterprises IFIP WG 8.2 International Conference, CreativeSME 2009, Guimarães, Portugal, June 21-24, 2009. Proceedings

2024-12-23T22:57:50Z

Author Dhillon, Gurpreet. editor. Stahl, Bernd Carsten. editor. Baskerville, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02388-0
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part I

2024-12-23T22:57:50Z

Author Gervasi, Osvaldo. editor. Taniar, David. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Mun, Youngsong. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02454-2
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II

2024-12-23T22:57:50Z

Author Gervasi, Osvaldo. editor. Taniar, David. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Mun, Youngsong. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02457-3
Format: Electronic Resources
Availability Online Library~1

Software Engineering Approaches for Offshore and Outsourced Development Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings

2024-12-23T22:57:50Z

Author Gotel, Olly. editor. Joseph, Mathai. editor. Meyer, Bertrand. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02987-5
Format: Electronic Resources
Availability Online Library~1

Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings

2024-12-23T22:57:50Z

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

Teaching Formal Methods Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

2024-12-23T22:57:50Z

Author Gibbons, Jeremy. editor. Oliveira, José Nuno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04912-5
Format: Electronic Resources
Availability Online Library~1

Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

2024-12-23T22:57:50Z

Author Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05031-2
Format: Electronic Resources
Availability Online Library~1

FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

2024-12-23T22:57:50Z

Author Cavalcanti, Ana. editor. Dams, Dennis R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05089-3
Format: Electronic Resources
Availability Online Library~1

Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings

2024-12-23T22:57:50Z

Author Lee, Sunggu. editor. Narasimhan, Priya. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10265-3
Format: Electronic Resources
Availability Online Library~1

Web and Wireless Geographical Information Systems 9th International Symposium, W2GIS 2009, Maynooth, Ireland, December 7-8, 2009. Proceedings

2024-12-23T22:57:50Z

Author Carswell, James D. editor. Fotheringham, A. Stewart. editor. McArdle, Gavin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10601-9
Format: Electronic Resources
Availability Online Library~1

Smart Homes and Health Telematics 6th International Conference, ICOST 2008 Ames, IA, USA, June 28-July 2, 2008 Proceedings

2024-12-23T22:57:50Z

Author Helal, Sumi. editor. Mitra, Simanta. editor. Wong, Johnny. editor. Chang, Carl K. editor. Mokhtari, Mounir. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69916-3
Format: Electronic Resources
Availability Online Library~1

On the Move to Meaningful Internet Systems: OTM 2008 Workshops OTM Confederated International Workshops and Posters, ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS, SEMELS, and SWWS 2008, Monterrey, Mexico, November 9-14, 2008. Proceedings

2024-12-23T22:57:50Z

Author Meersman, Robert. editor. Tari, Zahir. editor. Herrero, Pilar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88875-8
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

2024-12-23T22:57:50Z

Author Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68894-5
Format: Electronic Resources
Availability Online Library~1

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

2024-12-23T22:57:50Z

Author Meyer, Bertrand. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69149-5
Format: Electronic Resources
Availability Online Library~1

Information Systems and e-Business Technologies 2nd International United Information Systems Conference UNISCON 2008 Klagenfurt, Austria, April 22–25, 2008 Proceedings

2024-12-23T22:57:50Z

Author Kaschek, Roland. editor. Kop, Christian. editor. Steinberger, Claudia. editor. Fliedl, Günther. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78942-0
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

2024-12-23T22:57:50Z

Author Leue, Stefan. editor. Merino, Pedro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79707-4
Format: Electronic Resources
Availability Online Library~1

Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings

2024-12-23T22:57:50Z

Author Horimoto, Katsuhisa. editor. Regensburger, Georg. editor. Rosenkranz, Markus. editor. Yoshida, Hiroshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85101-1
Format: Electronic Resources
Availability Online Library~1

Balancing Agility and Formalism in Software Engineering Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers

2024-12-23T22:57:50Z

Author Meyer, Bertrand. editor. Nawrocki, Jerzy R. editor. Walter, Bartosz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85279-7
Format: Electronic Resources
Availability Online Library~1

Next Generation Teletraffic and Wired/Wireless Advanced Networking 8th International Conference, NEW2AN and 1st Russian Conference on Smart Spaces, ruSMART 2008 St. Petersburg, Russia, September 3-5, 2008. Proceedings

2024-12-23T22:57:50Z

Author Balandin, Sergey. editor. Moltchanov, Dmitri. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85500-2
Format: Electronic Resources
Availability Online Library~1

Software Technologies for Embedded and Ubiquitous Systems 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings

2024-12-23T22:57:50Z

Author Brinkschulte, Uwe. editor. Givargis, Tony. editor. Russo, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87785-1
Format: Electronic Resources
Availability Online Library~1

Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers

2024-12-23T22:57:50Z

Author Lämmel, Ralf. editor. Visser, Joost. editor. Saraiva, João. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88643-3
Format: Electronic Resources
Availability Online Library~1

XQuery und SQL/XML in DB2-Datenbanken Verwaltung und Erzeugung von XML-Dokumenten in DB2

2024-12-23T22:57:50Z

Author Moos, Alfred. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-9556-1
Format: Electronic Resources
Availability Online Library~1

Tools for High Performance Computing Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart

2024-12-23T22:57:50Z

Author Resch, Michael. editor. Keller, Rainer. editor. Himmler, Valentin. editor. Krammer, Bettina. editor. Schulz, Alexander. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68564-7
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedings

2024-12-23T22:57:50Z

Author Darzentas, John. editor. Vouros, George A. editor. Vosinakis, Spyros. editor. Arnellos, Argyris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87881-0
Format: Electronic Resources
Availability Online Library~1

Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings

2024-12-23T22:57:50Z

Author Anai, Hirokazu. editor. Horimoto, Katsuhisa. editor. Kutsia, Temur. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73433-8
Format: Electronic Resources
Availability Online Library~1

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers

2024-12-23T22:57:50Z

Author Obermaisser, Roman. editor. Nah, Yunmook. editor. Puschner, Peter. editor. Rammig, Franz J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75664-4
Format: Electronic Resources
Availability Online Library~1

Open Source Development, Adoption and Innovation IFIP Working Group 2.13 on Open Source Software, June 11–14, 2007, Limerick, Ireland

2024-12-23T22:57:50Z

Author Feller, Joseph. editor. Fitzgerald, Brian. editor. Scacchi, Walt. editor. Sillitti, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-72486-7
Format: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

2024-12-23T22:57:50Z

Author Davies, Jim. editor. Gibbons, Jeremy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73210-5
Format: Electronic Resources
Availability Online Library~1

Next Generation Teletraffic and Wired/Wireless Advanced Networking 7th International Conference, NEW2AN 2007 St. Petersburg, Russia, September 10-14, 2007 Proceedings

2024-12-23T22:57:50Z

Author Koucheryavy, Yevgeni. editor. Harju, Jarmo. editor. Sayenko, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74833-5
Format: Electronic Resources
Availability Online Library~1

Trends in Enterprise Application Architecture 2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - December 1, 2006, Revised Selected Papers

2024-12-23T22:57:50Z

Author Draheim, Dirk. editor. Weber, Gerald. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75912-6
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

2024-12-23T22:57:50Z

Author Bernardo, Marco. editor. Hillston, Jane. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72522-0
Format: Electronic Resources
Availability Online Library~1

Databases, Information Systems, and Peer-to-Peer Computing International Workshops, DBISP2P 2005/2006, Trondheim, Norway, August 28-29, 2005, Seoul, Korea, September 11, 2006, Revised Selected Papers

2024-12-23T22:57:50Z

Author Moro, Gianluca. editor. Bergamaschi, Sonia. editor. Joseph, Sam. editor. Morin, Jean-Henry. editor. Ouksel, Aris M. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71661-7
Format: Electronic Resources
Availability Online Library~1

Advances in Grid and Pervasive Computing Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings

2024-12-23T22:57:50Z

Author Cérin, Christophe. editor. Li, Kuan-Ching. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72360-8
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007. Proceedings

2024-12-23T22:57:50Z

Author Münch, Jürgen. editor. Abrahamsson, Pekka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73460-4
Format: Electronic Resources
Availability Online Library~1

MDA® Effektives Software-Engineering mit UML 2® und Eclipse™

2024-12-23T22:57:50Z

Author Gruhn, Volker. author. Pieper, Daniel. author. Röttgers, Carsten. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28746-9
Format: Electronic Resources
Availability Online Library~1

System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers

2024-12-23T22:57:50Z

Author Gotzhein, Reinhard. editor. Reed, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11951148
Format: Electronic Resources
Availability Online Library~1

Profikurs Eclipse 3 Mit Eclipse 3.2 und Plugins professionell Java-Anwendungen entwickeln — Von UML bis JUnit

2024-12-23T22:57:50Z

Author Wolmeringer, Gottfried. author. Klein, Thorsten. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-9063-4
Format: Electronic Resources
Availability Online Library~1

Vorlesungen über Informatik Band 2: Objektorientiertes Programmieren und Algorithmen

2024-12-23T22:57:50Z

Author Goos, Gerhard. author. Zimmermann, Wolf. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-34778-X
Format: Electronic Resources
Availability Online Library~1

Data and Applications Security XX 20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Sophia Antipolis, France, July 31-August 2, 2006. Proceedings

2024-12-23T22:57:50Z

Author Damiani, Ernesto. editor. Liu, Peng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11805588
Format: Electronic Resources
Availability Online Library~1

Information Security 9th International Conference, ISC 2006, Samos Island, Greece, August 30 - September 2, 2006. Proceedings

2024-12-23T22:57:50Z

Author Katsikas, Sokratis K. editor. López, Javier. editor. Backes, Michael. editor. Gritzalis, Stefanos. editor. Preneel, Bart. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11836810
Format: Electronic Resources
Availability Online Library~1

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshops Doctoral Symposium, Educators Symposium Montego Bay, Jamaica, October 2-7, 2005 Revised Selected Papers

2024-12-23T22:57:50Z

Author Bruel, Jean-Michel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11663430
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

2024-12-23T22:57:50Z

Author Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11691372
Format: Electronic Resources
Availability Online Library~1

Software Engineering 2 Specification of Systems and Languages

2024-12-23T22:57:50Z

Author Bjørner, Dines. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-33193-3
Format: Electronic Resources
Availability Online Library~1

Next Generation Teletraffic and Wired/Wireless Advanced Networking 6th International Conference, NEW2AN 2006, St. Petersburg, Russia, May 29 - June 2, 2006. Proceedings

2024-12-23T22:57:50Z

Author Koucheryavy, Yevgeni. editor. Harju, Jarmo. editor. Iversen, Villy B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11759355
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T22:57:50Z

Author Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11828563
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

2024-12-23T22:57:50Z

Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11925040
Format: Electronic Resources
Availability Online Library~1

Open Source Systems IFIP Working Group 2.13 Foundation on Open Source Software, June 8–10, 2006, Como, Italy

2024-12-23T22:57:50Z

Author Damiani, Ernesto. editor. Fitzgerald, Brian. editor. Scacchi, Walt. editor. Scotto, Marco. editor. Succi, Giancarlo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-34226-5
Format: Electronic Resources
Availability Online Library~1

Echtzeitaspekte bei der Koordinierung Autonomer Systeme Fachtagung der GI-Fachgruppe Echtzeitsysteme und PEARL (EP) Boppard, 1./2. Dezember 2005

2024-12-23T22:57:50Z

Author Holleczek, Peter. editor. Vogel-Heuser, Birgit. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-29595-X
Format: Electronic Resources
Availability Online Library~1

Information Networking. Convergence in Broadband and Mobile Networking International Conference, ICOIN 2005, Jeju Island, Korea, January 31- February 2, 2005. Proceedings

2024-12-23T22:57:50Z

Author Kim, Cheeha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105584
Format: Electronic Resources
Availability Online Library~1

Quality of Service in Multiservice IP Networks Third International Workshop, QoS-IP 2005, Catania, Italy, February 2-4, 2004, Catania, Italy, February 2-4, 2004. Proceedings

2024-12-23T22:57:50Z

Author Ajmone Marsan, Marco. editor. Bianchi, Giuseppe. editor. Listanti, Marco. editor. Meo, Michela. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105169
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

2024-12-23T22:57:50Z

Author Sutcliffe, Geoff. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11591191
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2005 Parallel Processing 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005. Proceedings

2024-12-23T22:57:50Z

Author Cunha, José C. editor. Medeiros, Pedro D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11549468
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures

2024-12-23T22:57:50Z

Author Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11561163
Format: Electronic Resources
Availability Online Library~1

NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings

2024-12-23T22:57:50Z

Author Boutaba, Raouf. editor. Almeroth, Kevin. editor. Puigjaner, Ramon. editor. Shen, Sherman. editor. Black, James P. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136094
Format: Electronic Resources
Availability Online Library~1

Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings

2024-12-23T22:57:50Z

Author Briand, Lionel. editor. Williams, Clay. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11557432
Format: Electronic Resources
Availability Online Library~1

Distributed and Parallel Computing 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005. Proceedings

2024-12-23T22:57:50Z

Author Hobbs, Michael. editor. Goscinski, Andrzej M. editor. Zhou, Wanlei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11564621
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings

2024-12-23T22:57:50Z

Author Wang, Farn. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11562436
Format: Electronic Resources
Availability Online Library~1

Parallel and Distributed Processing and Applications Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005. Proceedings

2024-12-23T22:57:50Z

Author Pan, Yi. editor. Chen, Daoxu. editor. Guo, Minyi. editor. Cao, Jiannong. editor. Dongarra, Jack. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11576235
Format: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

2024-12-23T22:57:50Z

Author Romijn, Judi. editor. Smith, Graeme. editor. Pol, Jaco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11589976
Format: Electronic Resources
Availability Online Library~1

Pro J2ME Polish Open Source Wireless Java Tools Suite

2024-12-23T22:57:50Z

Author Virkus, Robert. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0045-1
Format: Electronic Resources
Availability Online Library~1

Pro Service-Oriented Smart Clients with .NET 2.0

2024-12-23T22:57:50Z

Author Hashimi, Sayed Y. author. Steffan, Scott J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0058-1
Format: Electronic Resources
Availability Online Library~1

Pro Eclipse JST Plug-ins for J2EE Development

2024-12-23T22:57:50Z

Author Judd, Christopher M. author. Shittu, Hakeem. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0059-8
Format: Electronic Resources
Availability Online Library~1

Foundations of AOP for J2EE Development

2024-12-23T22:57:50Z

Author Pawlak, Renaud. author. Seinturier, Lionel. author. Retaillé, Jean-Philippe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0063-5
Format: Electronic Resources
Availability Online Library~1

Software Architecture 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005. Proceedings

2024-12-23T22:57:50Z

Author Morrison, Ron. editor. Oquendo, Flavio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136986
Format: Electronic Resources
Availability Online Library~1

Middleware 2005 ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005. Proceedings

2024-12-23T22:57:50Z

Author Alonso, Gustavo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11587552
Format: Electronic Resources
Availability Online Library~1

Virtual Storytelling. Using Virtual Reality Technologies for Storytelling Third International Conference, ICVS 2005, Strasbourg, France, November 30 - December 2, 2005. Proceedings

2024-12-23T22:57:50Z

Author Subsol, Gérard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11590361
Format: Electronic Resources
Availability Online Library~1

Databases, Information Systems, and Peer-to-Peer Computing Second International Workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers

2024-12-23T22:57:50Z

Author Ng, Wee Siong. editor. Ooi, Beng-Chin. editor. Ouksel, Aris M. editor. Sartori, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106971
Format: Electronic Resources
Availability Online Library~1

Parallel and Distributed Processing and Applications - ISPA 2005 Workshops ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005. Proceedings

2024-12-23T22:57:50Z

Author Chen, Guihai. editor. Pan, Yi. editor. Guo, Minyi. editor. Lu, Jian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11576259
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings

2024-12-23T22:57:50Z

Author Yi, Kwangkeun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11575467
Format: Electronic Resources
Availability Online Library~1

Beginning J2ME: From Novice to Professional

2024-12-23T22:57:50Z

Author Li, Sing. author. Knudsen, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0020-8
Format: Electronic Resources
Availability Online Library~1

A Programmer’s Introduction to C# 2.0

2024-12-23T22:57:50Z

Author Gunnerson, Eric. editor. Wienholt, Nick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0035-2
Format: Electronic Resources
Availability Online Library~1

Architecture Description Languages IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22–27, 2004, Toulouse, France

2024-12-23T22:57:50Z

Author Dissaux, Pierre. editor. Filali-Amine, Mamoun. editor. Michel, Pierre. editor. Vernadat, François. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106318
Format: Electronic Resources
Availability Online Library~1

Yazılım test mühendisinin el kitabı

2024-12-23T22:57:50Z

Author Gürbüz, Ali.
Preferred Shelf Number QA76.758 G87 2022
Format: Books
Availability Beytepe Library~1

Bilgisayar mühendisliğine giriş

2024-12-23T22:57:50Z

Author Çölkesen, Toros Rifat. Eren, Şaban.
Preferred Shelf Number QA76.27 B552 2022
Format: Books
Availability Beytepe Library~1

Yazılım mühendisliği

2024-12-23T22:57:50Z

Author Sommerville, Ian. Topaloğlu, N. Yasemin.
Preferred Shelf Number QA76.758 S6619 2021
Format: Books
Availability Beytepe Library~2

Yazılım test mühendisinin el kitabı

2024-12-23T22:57:50Z

Author Gürbüz, Ali.
Preferred Shelf Number QA76.758 G87 2020
Format: Books
Availability Beytepe Library~1

Advanced Information Systems Engineering 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings

2024-12-23T22:57:50Z

Author Giorgini, Paolo. editor. (orcid)0000-0003-4152-9683 Weber, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21290-2
Format: Electronic Resources
Availability Online Library~1

Financial Software Engineering

2024-12-23T22:57:50Z

Author Lano, Kevin. author. Haughton, Howard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-14050-2
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings

2024-12-23T22:57:50Z

Author Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457 Haar, Stefan. editor. (orcid)0000-0002-1892-2703 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21571-2
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T22:57:50Z

Author Duan, Zhenhua. editor. Liu, Shaoying. editor. Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-13651-2
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability. Practice and Case Studies 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part IV

2024-12-23T22:57:50Z

Author Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23535-2
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming – Workshops XP 2019 Workshops, Montréal, QC, Canada, May 21–25, 2019, Proceedings

2024-12-23T22:57:50Z

Author Hoda, Rashina. editor. (orcid)0000-0001-5147-8096 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30126-2
Format: Electronic Resources
Availability Online Library~1

Model and Data Engineering 9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings

2024-12-23T22:57:50Z

Author Schewe, Klaus-Dieter. editor. (orcid)0000-0002-8309-1803 Singh, Neeraj Kumar. editor. (orcid)0000-0002-1124-0179 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32065-2
Format: Electronic Resources
Availability Online Library~1

Cyberspace Data and Intelligence, and Cyber-Living, Syndrome, and Health International 2019 Cyberspace Congress, CyberDI and CyberLife, Beijing, China, December 16–18, 2019, Proceedings, Part I

2024-12-23T22:57:50Z

Author Ning, Huansheng. editor. (orcid)0000-0001-6413-193X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-1922-2
Format: Electronic Resources
Availability Online Library~1

End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings

2024-12-23T22:57:50Z

Author Malizia, Alessio. editor. Valtolina, Stefano. editor. Morch, Anders. editor. Serrano, Alan. editor. Stratton, Andrew. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24781-2
Format: Electronic Resources
Availability Online Library~1

HCI International 2019 - Posters 21st International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

2024-12-23T22:57:50Z

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

Bilgisayar mühendisliğine giriş

2024-12-23T22:57:50Z

Author Çölkesen, Toros Rifat. Eren, Şaban.
Preferred Shelf Number QA76.27 B552 2019
Format: Books
Availability Beytepe Library~1

Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

2024-12-23T22:57:50Z

Author Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32304-2
Format: Electronic Resources
Availability Online Library~1

Applied Cryptography and Network Security 17th International Conference, ACNS 2019, Bogota, Colombia, June 5–7, 2019, Proceedings

2024-12-23T22:57:50Z

Author Deng, Robert H. editor. (orcid)0000-0003-3491-8146 Gauthier-Umaña, Valérie. editor. (orcid)0000-0003-0909-7091 Ochoa, Martín. editor. (orcid)0000-0002-7816-5775 Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21568-2
Format: Electronic Resources
Availability Online Library~1

Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

2024-12-23T22:57:50Z

Author Boreale, Michele. editor. (orcid)0000-0002-1972-7491 Corradini, Flavio. editor. Loreti, Michele. editor. (orcid)0000-0003-3061-863X Pugliese, Rosario. editor. (orcid)0000-0002-1419-1405 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21485-2
Format: Electronic Resources
Availability Online Library~1

Computing and Communication Systems in Urban Development A Detailed Perspective

2024-12-23T22:57:50Z

Author Haldorai, Anandakumar. author. (orcid)0000-0001-9975-6462 Ramu, Arulmurugan. author. (orcid)0000-0003-1030-9565 Murugan, Suriya. author. (orcid)0000-0002-8130-7228 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-26013-2
Format: Electronic Resources
Availability Online Library~1

Innovative Security Solutions for Information Technology and Communications 11th International Conference, SecITC 2018, Bucharest, Romania, November 8–9, 2018, Revised Selected Papers

2024-12-23T22:57:50Z

Author Lanet, Jean-Louis. editor. (orcid)0000-0002-4751-3941 Toma, Cristian. editor. (orcid)0000-0001-9316-7739 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12942-2
Format: Electronic Resources
Availability Online Library~1

Business Information Systems 22nd International Conference, BIS 2019, Seville, Spain, June 26–28, 2019, Proceedings, Part II

2024-12-23T22:57:50Z

Author Abramowicz, Witold. editor. (orcid)0000-0001-5464-9698 Corchuelo, Rafael. editor. (orcid)0000-0003-1563-6979 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20482-2
Format: Electronic Resources
Availability Online Library~1

Computer Security ESORICS 2018 International Workshops, CyberICPS 2018 and SECPRE 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers

2024-12-23T22:57:50Z

Author Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Cuppens, Frédéric. editor. Cuppens, Nora. editor. Lambrinoudakis, Costas. editor. (orcid)0000-0002-6575-9814 Antón, Annie. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12786-2
Format: Electronic Resources
Availability Online Library~1

Security and Safety Interplay of Intelligent Software Systems ESORICS 2018 International Workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers

2024-12-23T22:57:50Z

Author Hamid, Brahim. editor. Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Shabtai, Asaf. editor. (orcid)0000-0003-0630-4059 Elovici, Yuval. editor. Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-16874-2
Format: Electronic Resources
Availability Online Library~1

Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings

2024-12-23T22:57:50Z

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.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-26831-2
Format: Electronic Resources
Availability Online Library~1

Agents and Artificial Intelligence 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers

2024-12-23T22:57:50Z

Author van den Herik, Jaap. editor. Rocha, Ana Paula. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93581-2
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Systems and Agreement Technologies 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Evry, France, December 14-15, 2017, Revised Selected Papers

2024-12-23T22:57:50Z

Author Belardinelli, Francesco. editor. (orcid)0000-0002-7768-1794 Argente, Estefanía. editor. (orcid)0000-0002-5431-3868 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01713-2
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Soft Computing 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part II

2024-12-23T22:57:50Z

Author Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. Tadeusiewicz, Ryszard. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91262-2
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering Workshops CAiSE 2018 International Workshops, Tallinn, Estonia, June 11-15, 2018, Proceedings

2024-12-23T22:57:50Z

Author Matulevičius, Raimundas. editor. Dijkman, Remco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92898-2
Format: Electronic Resources
Availability Online Library~1

Robotic Grasping and Manipulation First Robotic Grasping and Manipulation Challenge, RGMC 2016, Held in Conjunction with IROS 2016, Daejeon, South Korea, October 10–12, 2016, Revised Papers

2024-12-23T22:57:50Z

Author Sun, Yu. editor. Falco, Joe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94568-2
Format: Electronic Resources
Availability Online Library~1

Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings

2024-12-23T22:57:50Z

Author Cox, Michael T. editor. Funk, Peter. editor. (orcid)0000-0002-5562-1424 Begum, Shahina. editor. (orcid)0000-0002-1212-7637 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01081-2
Format: Electronic Resources
Availability Online Library~1

Information and Software Technologies 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4–6, 2018, Proceedings

2024-12-23T22:57:50Z

Author Damaševičius, Robertas. editor. Vasiljevienė, Giedrė. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99972-2
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

2024-12-23T22:57:50Z

Author Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78054-2
Format: Electronic Resources
Availability Online Library~1

ICT Systems Security and Privacy Protection 33rd IFIP TC 11 International Conference, SEC 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings

2024-12-23T22:57:50Z

Author Janczewski, Lech Jan. editor. (orcid)0000-0003-3319-924X Kutyłowski, Mirosław. editor. (orcid)0000-0003-3192-2430 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99828-2
Format: Electronic Resources
Availability Online Library~1

Advances in Green Energy Systems and Smart Grid First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part III

2024-12-23T22:57:50Z

Author Li, Kang. editor. Zhang, Jianhua. editor. Chen, Minyou. editor. Yang, Zhile. editor. Niu, Qun. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2381-2
Format: Electronic Resources
Availability Online Library~1

Combinatorial Algorithms 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings

2024-12-23T22:57:50Z

Author Iliopoulos, Costas. editor. Leong, Hon Wai. editor. Sung, Wing-Kin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94667-2
Format: Electronic Resources
Availability Online Library~1

Privacy Technologies and Policy 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers

2024-12-23T22:57:50Z

Author Medina, Manel. editor. Mitrakas, Andreas. editor. Rannenberg, Kai. editor. Schweighofer, Erich. editor. Tsouroulas, Nikolaos. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02547-2
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II

2024-12-23T22:57:50Z

Author Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05054-2
Format: Electronic Resources
Availability Online Library~1

Wireless Indoor Localization A Crowdsourcing Approach

2024-12-23T22:57:50Z

Author Wu, Chenshu. author. Yang, Zheng. author. Liu, Yunhao. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-0356-2
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T22:57:50Z

Author McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Horvath, Andras. editor. (orcid)0000-0002-8210-545X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99154-2
Format: Electronic Resources
Availability Online Library~1

Tree-Based Convolutional Neural Networks Principles and Applications

2024-12-23T22:57:50Z

Author Mou, Lili. author. Jin, Zhi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-1870-2
Format: Electronic Resources
Availability Online Library~1

Advances in Conceptual Modeling ER 2018 Workshops Emp-ER, MoBiD, MREBA, QMMQ, SCME, Xi’an, China, October 22-25, 2018, Proceedings

2024-12-23T22:57:50Z

Author Woo, Carson. editor. Lu, Jiaheng. editor. (orcid)0000-0003-2067-454X Li, Zhanhuai. editor. Ling, Tok Wang. editor. Li, Guoliang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01391-2
Format: Electronic Resources
Availability Online Library~1

Implantable Sensors and Systems From Theory to Practice

2024-12-23T22:57:50Z

Author Yang, Guang-Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69748-2
Format: Electronic Resources
Availability Online Library~1

Yazılım mühendisliği

2024-12-23T22:57:50Z

Author Sommerville, Ian. Topaloğlu, N. Yasemin.
Preferred Shelf Number QA76.758 S6619 2018
Format: Books
Availability Beytepe Library~1

Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

2024-12-23T22:57:50Z

Author Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99927-2
Format: Electronic Resources
Availability Online Library~1

Computers Helping People with Special Needs 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part II

2024-12-23T22:57:50Z

Author Miesenberger, Klaus. editor. Kouroupetroglou, Georgios. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94274-2
Format: Electronic Resources
Availability Online Library~1

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

2024-12-23T22:57:50Z

Author Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01461-2
Format: Electronic Resources
Availability Online Library~1

AI 2018: Advances in Artificial Intelligence 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings

2024-12-23T22:57:50Z

Author Mitrovic, Tanja. editor. Xue, Bing. editor. (orcid)0000-0002-4865-8026 Li, Xiaodong. editor. (orcid)0000-0003-0346-1526 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03991-2
Format: Electronic Resources
Availability Online Library~1

Software Business 9th International Conference, ICSOB 2018, Tallinn, Estonia, June 11–12, 2018, Proceedings

2024-12-23T22:57:50Z

Author Wnuk, Krzysztof. editor. Brinkkemper, Sjaak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04840-2
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T22:57:50Z

Author Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00244-2
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

2024-12-23T22:57:50Z

Author Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96142-2
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

2024-12-23T22:57:50Z

Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89960-2
Format: Electronic Resources
Availability Online Library~1

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

2024-12-23T22:57:50Z

Author Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89366-2
Format: Electronic Resources
Availability Online Library~1

Services – SERVICES 2018 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

2024-12-23T22:57:50Z

Author Yang, Alvin. editor. Kantamneni, Siva. editor. (orcid)0000-0002-5729-2898 Li, Ying. editor. Dico, Awel. editor. Chen, Xiangang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94472-2
Format: Electronic Resources
Availability Online Library~1

Designing Usable and Secure Software with IRIS and CAIRIS

2024-12-23T22:57:50Z

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

Communication Technologies for Vehicles 13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018, Proceedings

2024-12-23T22:57:50Z

Author Moreno García-Loygorri, Juan. editor. (orcid)0000-0002-4626-1535 Pérez-Yuste, Antonio. editor. (orcid)0000-0002-3503-5065 Briso, César. editor. (orcid)0000-0001-8219-9110 Berbineau, Marion. editor. Pirovano, Alain. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90371-2
Format: Electronic Resources
Availability Online Library~1

Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings

2024-12-23T22:57:50Z

Author Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952 Trujillo, Salvador. editor. (orcid)0000-0002-3147-4618 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92997-2
Format: Electronic Resources
Availability Online Library~1

Yazılım mühendisliği : yöntembilimi, belgeleri ve standartlarıyla

2024-12-23T22:57:50Z

Author Sarıdoğan, M. Erhan.
Preferred Shelf Number QA76.758 S281 2017
Format: Books
Availability Beytepe Library~1

Software engineering

2024-12-23T22:57:50Z

Author Sommerville, Ian, 1951-
Preferred Shelf Number QA76.758 S66 2016
Format: Books
Availability Beytepe Library~1

Yazılım mühendisliği temelleri

2024-12-23T22:57:50Z

Author Sarıdoğan, M. Erhan.
Preferred Shelf Number QA76.758 S280 2016
Format: Books
Availability Beytepe Library~1

Programlama ve veritabanı mantığı

2024-12-23T22:57:50Z

Author Çamoğlu, Kadir
Preferred Shelf Number QA76.755 C36 2016
Format: Visual Materials
Availability Beytepe Library~1

Beginning software engineering

2024-12-23T22:57:50Z

Author Stephens, Rod.
Preferred Shelf Number QA76.758 S737 2015
Format: Books
Availability Beytepe Library~1

Secure and Trustworthy Service Composition The Aniketos Approach

2024-12-23T22:57:50Z

Author Brucker, Achim. editor. Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 Giorgini, Paolo. editor. Meland, Per Håkon. editor. Rios, Erkuden. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13518-2
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part VI

2024-12-23T22:57:50Z

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.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09153-2
Format: Electronic Resources
Availability Online Library~1

Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings

2024-12-23T22:57:50Z

Author Mendes, Pedro. editor. Dada, Joseph O. editor. Smallbone, Kieran. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12982-2
Format: Electronic Resources
Availability Online Library~1

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi

2024-12-23T22:57:50Z

Author Iida, Shusaku. editor. Meseguer, José. editor. Ogata, Kazuhiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54624-2
Format: Electronic Resources
Availability Online Library~1

Object-oriented software engineering : using UML, patterns, and Java

2024-12-23T22:57:50Z

Author Bruegge, Bernd. Dutoit, Allen H.
Preferred Shelf Number QA76.758 B785 2014
Format: Books
Availability Beytepe Library~1

Computer Safety, Reliability, and Security 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings

2024-12-23T22:57:50Z

Author Bondavalli, Andrea. editor. Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10506-2
Format: Electronic Resources
Availability Online Library~1

Web Information Systems and Technologies 9th International Conference, WEBIST 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papers

2024-12-23T22:57:50Z

Author Krempels, Karl-Heinz. editor. Stocker, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44300-2
Format: Electronic Resources
Availability Online Library~1

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings

2024-12-23T22:57:50Z

Author Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11653-2
Format: Electronic Resources
Availability Online Library~1

Process Design for Natural Scientists An Agile Model-Driven Approach

2024-12-23T22:57:50Z

Author Lamprecht, Anna-Lena. editor. Margaria, Tiziana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45006-2
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering -- WISE 2014 15th International Conference, Thessaloniki, Greece, October 12-14, 2014, Proceedings, Part I

2024-12-23T22:57:50Z

Author Benatallah, Boualem. editor. Bestavros, Azer. editor. Manolopoulos, Yannis. editor. Vakali, Athena. editor. Zhang, Yanchun. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11749-2
Format: Electronic Resources
Availability Online Library~1

Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings

2024-12-23T22:57:50Z

Author Cabot, Jordi. editor. Rubin, Julia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09195-2
Format: Electronic Resources
Availability Online Library~1

Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings

2024-12-23T22:57:50Z

Author Fischbach, Kai. editor. Krieger, Udo R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05359-2
Format: Electronic Resources
Availability Online Library~1

Mashups Concepts, Models and Architectures

2024-12-23T22:57:50Z

Author Daniel, Florian. author. Matera, Maristella. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-55049-2
Format: Electronic Resources
Availability Online Library~1

Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers

2024-12-23T22:57:50Z

Author Cordeiro, José. editor. van Sinderen, Marten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44920-2
Format: Electronic Resources
Availability Online Library~1

Nordic Contributions in IS Research 5th Scandinavian Conference on Information Systems, SCIS 2014, Ringsted, Denmark, August 10-13, 2014, Proceedings

2024-12-23T22:57:50Z

Author Commisso, Trine Hald. editor. Nørbjerg, Jacob. editor. Pries-Heje, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09546-2
Format: Electronic Resources
Availability Online Library~1

Ad-hoc, Mobile, and Wireless Networks 13th International Conference, ADHOC-NOW 2014, Benidorm, Spain, June 22-27, 2014 Proceedings

2024-12-23T22:57:50Z

Author Guo, Song. editor. Mauri, Jaime Lloret. editor. Manzoni, Pietro. editor. Ruehrup, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07425-2
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II

2024-12-23T22:57:50Z

Author Lopes, Luís. editor. Žilinskas, Julius. editor. Costan, Alexandru. editor. Cascella, Roberto G. editor. Kecskemeti, Gabor. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14313-2
Format: Electronic Resources
Availability Online Library~1

From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

2024-12-23T22:57:50Z

Author Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54848-2
Format: Electronic Resources
Availability Online Library~1

Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

2024-12-23T22:57:50Z

Author Giese, Holger. editor. König, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09108-2
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

2024-12-23T22:57:50Z

Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05416-2
Format: Electronic Resources
Availability Online Library~1

Activity Monitoring by Multiple Distributed Sensing Second International Workshop, AMMDS 2014, Stockholm, Sweden, August 24, 2014, Revised Selected Papers

2024-12-23T22:57:50Z

Author Mazzeo, Pier Luigi. editor. Spagnolo, Paolo. editor. Moeslund, Thomas B. editor. (orcid)0000-0001-7584-5209 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13323-2
Format: Electronic Resources
Availability Online Library~1

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings

2024-12-23T22:57:50Z

Author Hong, Hoon. editor. Yap, Chee. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44199-2
Format: Electronic Resources
Availability Online Library~1

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings

2024-12-23T22:57:50Z

Author Ouaknine, Joel. editor. Potapov, Igor. editor. Worrell, James. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11439-2
Format: Electronic Resources
Availability Online Library~1

Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

2024-12-23T22:57:50Z

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

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

2024-12-23T22:57:50Z

Author Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334962.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40537-2
Format: Electronic Resources
Availability Online Library~1

Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings

2024-12-23T22:57:50Z

Author Pacino, Dario. editor. Voß, Stefan. editor. Jensen, Rune Møller. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335043.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41019-2
Format: Electronic Resources
Availability Online Library~1