Search Results for Computer science. - Narrowed by: 2014 - Software engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092014$0025092014$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-08-18T11:36:06Z
Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486681
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Hliněný, Petr. editor. Dvořák, Zdeněk. editor. Jaroš, Jiří. editor. (orcid)0000-0002-0087-8804 Kofroň, Jan. editor. Kořenek, Jan. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14896-0">https://doi.org/10.1007/978-3-319-14896-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Anywhere Essays on Agile Projects and Beyond
ent://SD_ILS/0/SD_ILS:489258
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Hazzan, Orit. author. (orcid)0000-0002-8627-0997 Dubinsky, Yael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10157-6">https://doi.org/10.1007/978-3-319-10157-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automatic Generation of Combinatorial Test Data
ent://SD_ILS/0/SD_ILS:489313
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Zhang, Jian. author. Zhang, Zhiqiang. author. Ma, Feifei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43429-1">https://doi.org/10.1007/978-3-662-43429-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Emergent Interfaces for Feature Modularization
ent://SD_ILS/0/SD_ILS:485711
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Ribeiro, Márcio. author. Borba, Paulo. author. Brabrand, Claus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11493-4">https://doi.org/10.1007/978-3-319-11493-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Risk Management
ent://SD_ILS/0/SD_ILS:488430
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Moran, Alan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05008-9">https://doi.org/10.1007/978-3-319-05008-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489079
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Hong, Hoon. editor. Yap, Chee. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44199-2">https://doi.org/10.1007/978-3-662-44199-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487471
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Giese, Holger. editor. König, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09108-2">https://doi.org/10.1007/978-3-319-09108-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems, Software and Services Process Improvement 21st European Conference, EuroSPI 2014, Luxembourg, June 25-27, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:482711
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Barafort, Béatrix. editor. O'Connor, Rory V. editor. Poth, Alexander. editor. (orcid)0000-0002-2868-5633 Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43896-1">https://doi.org/10.1007/978-3-662-43896-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2013: Parallel Processing Workshops BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, UCHPC 2013, Aachen, Germany, August 26-30, 2013. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:482660
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author an Mey, Dieter. editor. Alexander, Michael. editor. Paolo, Bientinesi. editor. Cannataro, Mario. editor. Clauss, Carsten. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54420-0">https://doi.org/10.1007/978-3-642-54420-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:483100
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54862-8">https://doi.org/10.1007/978-3-642-54862-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:485626
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09150-1">https://doi.org/10.1007/978-3-319-09150-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485634
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Legay, Axel. editor. Bozga, Marius. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10512-3">https://doi.org/10.1007/978-3-319-10512-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485783
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12904-4">https://doi.org/10.1007/978-3-319-12904-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Communication Technologies in Education, Research, and Industrial Applications 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485792
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091 Nikitchenko, Mykola. editor. (orcid)0000-0002-4078-1062 Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133 Zholtkevych, Grygoriy. editor. (orcid)0000-0002-7515-2143<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13206-8">https://doi.org/10.1007/978-3-319-13206-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logistics 5th International Conference, ICCL 2014, Valparaíso, Chile, September 24-26, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487652
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author González-Ramírez, Rosa G. editor. Schulte, Frederik. editor. Voß, Stefan. editor. Ceroni Díaz, Jose A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11421-7">https://doi.org/10.1007/978-3-319-11421-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:488425
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Cordeiro, José. editor. van Sinderen, Marten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44920-2">https://doi.org/10.1007/978-3-662-44920-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering First Asia Pacific Requirements Engineering Symposium, APRES 2014, Auckland, New Zealand, April 28-29, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488510
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Zowghi, Didar. editor. Jin, Zhi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43610-3">https://doi.org/10.1007/978-3-662-43610-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.
ent://SD_ILS/0/SD_ILS:489153
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Baldan, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44584-6">https://doi.org/10.1007/978-3-662-44584-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:489041
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04915-1">https://doi.org/10.1007/978-3-319-04915-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cloud Computing and Services Science Third International Conference, CLOSER 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:489256
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Helfert, Markus. editor. Desprez, Frédéric. editor. Ferguson, Donald. editor. Leymann, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11561-0">https://doi.org/10.1007/978-3-319-11561-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:489579
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Gupta, Gopal. editor. Peña, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14125-1">https://doi.org/10.1007/978-3-319-14125-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Operational Semantics A Concise Overview
ent://SD_ILS/0/SD_ILS:484561
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Fernández, Maribel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6368-8">https://doi.org/10.1007/978-1-4471-6368-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:484951
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09144-0">https://doi.org/10.1007/978-3-319-09144-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485693
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Müller-Olm, Markus. editor. Seidl, Helmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10936-7">https://doi.org/10.1007/978-3-319-10936-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Architectures for Parallel Processing 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:485695
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Sun, Xiang-he. editor. Qu, Wenyu. editor. Stojmenovic, Ivan. editor. Zhou, Wanlei. editor. Li, Zhiyang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11197-1">https://doi.org/10.1007/978-3-319-11197-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Stabilization, Safety, and Security of Distributed Systems 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485732
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Felber, Pascal. editor. Garg, Vijay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11764-5">https://doi.org/10.1007/978-3-319-11764-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485742
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Kravets, Alla. editor. (orcid)0000-0003-1675-8652 Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499 Kultsova, Marina. editor. (orcid)0000-0002-2584-431X Iijima, Tadashi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11854-3">https://doi.org/10.1007/978-3-319-11854-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part VI
ent://SD_ILS/0/SD_ILS:486853
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09153-2">https://doi.org/10.1007/978-3-319-09153-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi
ent://SD_ILS/0/SD_ILS:487212
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Iida, Shusaku. editor. Meseguer, José. editor. Ogata, Kazuhiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54624-2">https://doi.org/10.1007/978-3-642-54624-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489013
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Rensink, Arend. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54804-8">https://doi.org/10.1007/978-3-642-54804-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
ent://SD_ILS/0/SD_ILS:489017
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Remke, Anne. editor. Stoelinga, Mariëlle. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45489-3">https://doi.org/10.1007/978-3-662-45489-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488965
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54848-2">https://doi.org/10.1007/978-3-642-54848-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:488980
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45231-8">https://doi.org/10.1007/978-3-662-45231-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:489069
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Sosík, Petr. editor. Zandron, Claudio. editor. (orcid)0000-0002-2163-7639<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14370-5">https://doi.org/10.1007/978-3-319-14370-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:489073
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09156-3">https://doi.org/10.1007/978-3-319-09156-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489075
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Biere, Armin. editor. (orcid)0000-0001-7170-9242 Bloem, Roderick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08867-9">https://doi.org/10.1007/978-3-319-08867-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Process Improvement and Capability Determination 14th International Conference, SPICE 2014, Vilnius, Lithuania, November 4-6, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485841
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Mitasiunas, Antanas. editor. Rout, Terry. editor. O’Connor, Rory V. editor. Dorling, Alec. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13036-1">https://doi.org/10.1007/978-3-319-13036-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Software Technologies 20th International Conference, ICIST 2014, Druskininkai, Lithuania, October 9-10, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487091
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Dregvaite, Giedre. editor. Damasevicius, Robertas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11958-8">https://doi.org/10.1007/978-3-319-11958-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Process Design for Natural Scientists An Agile Model-Driven Approach
ent://SD_ILS/0/SD_ILS:488739
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Lamprecht, Anna-Lena. editor. Margaria, Tiziana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45006-2">https://doi.org/10.1007/978-3-662-45006-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:488991
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Desai, Narayan. editor. Cirne, Walfredo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43779-7">https://doi.org/10.1007/978-3-662-43779-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:485778
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Lopes, Luís. editor. Žilinskas, Julius. editor. Costan, Alexandru. editor. Cascella, Roberto G. editor. Kecskemeti, Gabor. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14325-5">https://doi.org/10.1007/978-3-319-14325-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:487246
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45234-9">https://doi.org/10.1007/978-3-662-45234-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Architectures for Parallel Processing 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:487279
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Sun, Xiang-he. editor. Qu, Wenyu. editor. Stojmenovic, Ivan. editor. Zhou, Wanlei. editor. Li, Zhiyang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11194-0">https://doi.org/10.1007/978-3-319-11194-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487418
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author McMillan, Kenneth. editor. Rival, Xavier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54013-4">https://doi.org/10.1007/978-3-642-54013-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Software Quality
ent://SD_ILS/0/SD_ILS:487425
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author O’Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06106-1">https://doi.org/10.1007/978-3-319-06106-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487483
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Chatterjee, Mainak. editor. Cao, Jian-nong. editor. Kothapalli, Kishore. editor. Rajsbaum, Sergio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-45249-9">https://doi.org/10.1007/978-3-642-45249-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487484
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Ciardo, Gianfranco. editor. Kindler, Ekkart. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07734-5">https://doi.org/10.1007/978-3-319-07734-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Natural Computing Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:487519
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Dediu, Adrian-Horia. editor. Lozano, Manuel. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13749-0">https://doi.org/10.1007/978-3-319-13749-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:487476
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05416-2">https://doi.org/10.1007/978-3-319-05416-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:487758
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09129-7">https://doi.org/10.1007/978-3-319-09129-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:487767
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-55224-3">https://doi.org/10.1007/978-3-642-55224-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:487790
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09147-1">https://doi.org/10.1007/978-3-319-09147-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Membrane Computing 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:487795
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Alhazov, Artiom. editor. Cojocaru, Svetlana. editor. Gheorghe, Marian. editor. Rogozhin, Yurii. editor. Rozenberg, Grzegorz. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54239-8">https://doi.org/10.1007/978-3-642-54239-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488914
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Cohen, Albert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54807-9">https://doi.org/10.1007/978-3-642-54807-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof
ent://SD_ILS/0/SD_ILS:488919
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Kovalev, Mikhail. author. Müller, Silvia M. author. Paul, Wolfgang J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13906-7">https://doi.org/10.1007/978-3-319-13906-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:488925
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Lopes, Luís. editor. Žilinskas, Julius. editor. Costan, Alexandru. editor. Cascella, Roberto G. editor. Kecskemeti, Gabor. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14313-2">https://doi.org/10.1007/978-3-319-14313-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489089
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07151-0">https://doi.org/10.1007/978-3-319-07151-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489310
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Ouaknine, Joel. editor. Potapov, Igor. editor. Worrell, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11439-2">https://doi.org/10.1007/978-3-319-11439-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489434
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Shao, Zhong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54833-8">https://doi.org/10.1007/978-3-642-54833-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Object-oriented software engineering : using UML, patterns, and Java
ent://SD_ILS/0/SD_ILS:313618
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Bruegge, Bernd. Dutoit, Allen H.<br/>Preferred Shelf Number QA76.758 B785 2014<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485603
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08789-4">https://doi.org/10.1007/978-3-319-08789-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485645
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Avgeriou, Paris. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09970-5">https://doi.org/10.1007/978-3-319-09970-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Continuous Software Engineering
ent://SD_ILS/0/SD_ILS:487296
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Bosch, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11283-1">https://doi.org/10.1007/978-3-319-11283-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Project Effort Estimation Foundations and Best Practice Guidelines for Success
ent://SD_ILS/0/SD_ILS:488059
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Trendowicz, Adam. author. Jeffery, Ross. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-03629-8">https://doi.org/10.1007/978-3-319-03629-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Lean Software Development in Action
ent://SD_ILS/0/SD_ILS:488415
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Janes, Andrea. author. Succi, Giancarlo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-00503-9">https://doi.org/10.1007/978-3-642-00503-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recommendation Systems in Software Engineering
ent://SD_ILS/0/SD_ILS:488256
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Robillard, Martin P. editor. Maalej, Walid. editor. Walker, Robert J. editor. Zimmermann, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-45135-5">https://doi.org/10.1007/978-3-642-45135-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:488939
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Yamashita, Shigeru. editor. Minato, Shin-ichi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08494-7">https://doi.org/10.1007/978-3-319-08494-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multiple Access Communications 7th International Workshop, MACOM 2014, Halmstad, Sweden, August 27-28, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489165
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Jonsson, Magnus. editor. Vinel, Alexey. editor. Bellalta, Boris. editor. Belyaev, Evgeny. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10262-7">https://doi.org/10.1007/978-3-319-10262-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489251
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Cabot, Jordi. editor. Rubin, Julia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09195-2">https://doi.org/10.1007/978-3-319-09195-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489402
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44857-1">https://doi.org/10.1007/978-3-662-44857-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485524
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Jones, Cliff. editor. Pihlajasaari, Pekka. editor. Sun, Jun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06410-9">https://doi.org/10.1007/978-3-319-06410-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Aligning Organizations Through Measurement The GQM+Strategies Approach
ent://SD_ILS/0/SD_ILS:485471
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Basili, Victor. author. Trendowicz, Adam. author. Kowalczyk, Martin. author. Heidrich, Jens. author. Seaman, Carolyn. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05047-8">https://doi.org/10.1007/978-3-319-05047-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485473
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Jürjens, Jan. editor. Piessens, Frank. editor. Bielova, Nataliia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04897-0">https://doi.org/10.1007/978-3-319-04897-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485724
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11653-2">https://doi.org/10.1007/978-3-319-11653-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485731
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11743-0">https://doi.org/10.1007/978-3-319-11743-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:486822
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11245-9">https://doi.org/10.1007/978-3-319-11245-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486854
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Fiadeiro, José Luiz. editor. Liu, Zhiming. editor. Xue, Jinyun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07602-7">https://doi.org/10.1007/978-3-319-07602-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487100
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Jedlitschka, Andreas. editor. Kuvaja, Pasi. editor. Kuhrmann, Marco. editor. Männistö, Tomi. editor. Münch, Jürgen. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13835-0">https://doi.org/10.1007/978-3-319-13835-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolving Software Systems
ent://SD_ILS/0/SD_ILS:487121
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Mens, Tom. editor. Serebrenik, Alexander. editor. Cleve, Anthony. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-45398-4">https://doi.org/10.1007/978-3-642-45398-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented Computing 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487207
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Franch, Xavier. editor. Ghose, Aditya K. editor. Lewis, Grace A. editor. Bhiri, Sami. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-45391-9">https://doi.org/10.1007/978-3-662-45391-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Situational Method Engineering
ent://SD_ILS/0/SD_ILS:487285
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Henderson-Sellers, Brian. author. Ralyté, Jolita. author. Ågerfalk, Pär J. author. Rossi, Matti. author. (orcid)0000-0001-8913-3747 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-41467-1">https://doi.org/10.1007/978-3-642-41467-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488454
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Cantone, Giovanni. editor. Marchesi, Michele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06862-6">https://doi.org/10.1007/978-3-319-06862-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimation
ent://SD_ILS/0/SD_ILS:488361
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Mendes, Emilia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54157-5">https://doi.org/10.1007/978-3-642-54157-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ad-hoc, Mobile, and Wireless Networks 13th International Conference, ADHOC-NOW 2014, Benidorm, Spain, June 22-27, 2014 Proceedings
ent://SD_ILS/0/SD_ILS:488917
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Guo, Song. editor. Mauri, Jaime Lloret. editor. Manzoni, Pietro. editor. Ruehrup, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07425-2">https://doi.org/10.1007/978-3-319-07425-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented and Cloud Computing Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489000
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Villari, Massimo. editor. Zimmermann, Wolf. editor. Lau, Kung-Kiu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44879-3">https://doi.org/10.1007/978-3-662-44879-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:487033
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Mendes, Pedro. editor. Dada, Joseph O. editor. Smallbone, Kieran. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12982-2">https://doi.org/10.1007/978-3-319-12982-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Kaizen Managing Continuous Improvement Far Beyond Retrospectives
ent://SD_ILS/0/SD_ILS:487857
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Medinilla, Ángel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54991-5">https://doi.org/10.1007/978-3-642-54991-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile! The Good, the Hype and the Ugly
ent://SD_ILS/0/SD_ILS:488675
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Meyer, Bertrand. author. (orcid)0000-0002-5985-7434 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05155-0">https://doi.org/10.1007/978-3-319-05155-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Secure Future Internet Services and Systems Current Research
ent://SD_ILS/0/SD_ILS:488944
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Heisel, Maritta. editor. Joosen, Wouter. editor. López, Javier. editor. Martinelli, Fabio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07452-8">https://doi.org/10.1007/978-3-319-07452-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:488881
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Corral, Luis. editor. Sillitti, Alberto. editor. Succi, Giancarlo. editor. Vlasenko, Jelena. editor. Wasserman, Anthony I. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-55128-4">https://doi.org/10.1007/978-3-642-55128-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering 6th International Conference, SWQD 2014, Vienna, Austria, January 14-16, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489167
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Bergsmann, Johannes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-03602-1">https://doi.org/10.1007/978-3-319-03602-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented Computing--ICSOC 2013 Workshops CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:482751
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Lomuscio, Alessio. editor. Nepal, Surya. editor. Patrizi, Fabio. editor. Benatallah, Boualem. editor. Brandić, Ivona. editor. (orcid)0000-0001-7424-0208<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06859-6">https://doi.org/10.1007/978-3-319-06859-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Project Management in a Changing World
ent://SD_ILS/0/SD_ILS:487243
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Ruhe, Günther. editor. Wohlin, Claes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-55035-5">https://doi.org/10.1007/978-3-642-55035-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Systems Management in the Big Data Era
ent://SD_ILS/0/SD_ILS:487441
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Lake, Peter. author. Drake, Robert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13503-8">https://doi.org/10.1007/978-3-319-13503-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
User-Centred Engineering Creating Products for Humans
ent://SD_ILS/0/SD_ILS:487580
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Richter, Michael. author. Flückiger, Markus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43989-0">https://doi.org/10.1007/978-3-662-43989-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Risk Assessment and Risk-Driven Testing First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:487821
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Bauer, Thomas. editor. Großmann, Jürgen. editor. Seehusen, Fredrik. editor. Stølen, Ketil. editor. Wendland, Marc-Florian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07076-6">https://doi.org/10.1007/978-3-319-07076-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Health Information Engineering and Systems Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:489098
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 MacCaull, Wendy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-53956-5">https://doi.org/10.1007/978-3-642-53956-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering: Foundation for Software Quality 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489124
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Salinesi, Camille. editor. van de Weerd, Inge. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05843-6">https://doi.org/10.1007/978-3-319-05843-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Methods. Large-Scale Development, Refactoring, Testing, and Estimation XP 2014 International Workshops, Rome, Italy, May 26-30, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:489435
2024-08-18T11:36:06Z
2024-08-18T11:36:06Z
Author Dingsøyr, Torgeir. editor. Moe, Nils Brede. editor. Tonelli, Roberto. editor. Counsell, Steve. editor. Gencel, Cigdem. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14358-3">https://doi.org/10.1007/978-3-319-14358-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>