Arama Sonuçları Software engineering. - Daraltılmış: 2015

Beginning software engineering

2024-12-23T23:54:07Z

Yazar Stephens, Rod.
Yer Numarası QA76.758 S737 2015
Format: Kitap
Durum Beytepe Kütüphanesi~1

Green in Software Engineering

2024-12-23T23:54:07Z

Yazar Calero, Coral. editor. Piattini, Mario. editor. SpringerLink (Online service)
Yer Numarası XX(518426.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-08581-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of software engineering & knowledge engineering

2024-12-23T23:54:07Z

Yazar Chang, Shi Kuo, 1944- ed.
Yer Numarası QA 76.758 H36 2001- V.2
Format: Kitap
Durum Beytepe Kütüphanesi~1

Sharing data and models in software engineering

2024-12-23T23:54:07Z

Yazar Menzies, Tim, author. Rogers, Mark, designer.
Yer Numarası ONLINE(355389.1)
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780124172951
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

2024-12-23T23:54:07Z

Yazar Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Yer Numarası XX(518840.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-22969-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

2024-12-23T23:54:07Z

Yazar Bianculli, Domenico. editor. Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Yer Numarası XX(519205.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-49224-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Butler, Michael. editor. Conchon, Sylvain. editor. Zaïdi, Fatiha. editor. SpringerLink (Online service)
Yer Numarası XX(518970.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-25423-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers

2024-12-23T23:54:07Z

Yazar Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Yer Numarası XX(519046.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-24644-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings

2024-12-23T23:54:07Z

Yazar Fricker, Samuel A. editor. Schneider, Kurt. editor. SpringerLink (Online service)
Yer Numarası XX(519025.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-16101-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Collective Autonomic Systems The ASCENS Approach

2024-12-23T23:54:07Z

Yazar Wirsing, Martin. editor. Hölzl, Matthias. editor. Koch, Nora. editor. Mayer, Philip. editor. SpringerLink (Online service)
Yer Numarası XX(518784.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-16310-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Search-Based Software Engineering 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Barros, Márcio. editor. Labiche, Yvan. editor. SpringerLink (Online service)
Yer Numarası XX(518788.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-22183-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures

2024-12-23T23:54:07Z

Yazar Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)
Yer Numarası XX(518828.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-28406-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

2024-12-23T23:54:07Z

Yazar Canal, Carlos. editor. Idani, Akram. editor. SpringerLink (Online service)
Yer Numarası XX(519078.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-15201-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering

2024-12-23T23:54:07Z

Yazar De Nicola, Rocco. editor. Hennicker, Rolf. editor. SpringerLink (Online service)
Yer Numarası XX(519248.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-15545-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Li, Xuandong. editor. Liu, Zhiming. editor. Yi, Wang. editor. SpringerLink (Online service)
Yer Numarası XX(519111.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-25942-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

2024-12-23T23:54:07Z

Yazar Fantechi, Alessandro. editor. Pelliccione, Patrizio. editor. SpringerLink (Online service)
Yer Numarası XX(519311.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-23129-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simple statistical methods for software engineering : data and patterns

2024-12-23T23:54:07Z

Yazar Pandian, C. Ravindranath, author. Kumar S. K., Murali, author.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Driven Engineering and Software Development Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers

2024-12-23T23:54:07Z

Yazar Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. Filipe, Joaquim. editor. das Neves, Rui César. editor. SpringerLink (Online service)
Yer Numarası XX(518346.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-25156-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Driven Engineering and Software Development Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers

2024-12-23T23:54:07Z

Yazar Desfray, Philippe. editor. Filipe, Joaquim. editor. Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. SpringerLink (Online service)
Yer Numarası XX(518496.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-27869-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evaluation of Novel Approaches to Software Engineering 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014. Revised Selected Papers

2024-12-23T23:54:07Z

Yazar Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Yer Numarası XX(518525.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-27218-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Secure Software and Systems 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Piessens, Frank. editor. Caballero, Juan. editor. Bielova, Nataliia. editor. SpringerLink (Online service)
Yer Numarası XX(518924.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-15618-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Egyed, Alexander. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Yer Numarası XX(519136.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-46675-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Integrating Software Components Engineering Flexible Software Systems

2024-12-23T23:54:07Z

Yazar Derakhshanmanesh, Mahdi. author. SpringerLink (Online service)
Yer Numarası XX(518572.1)
Elektronik Erişim https://doi.org/10.1007/978-3-658-09646-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Patterns of HCI Design and HCI Design of Patterns Bridging HCI Design and Model-Driven Software Engineering

2024-12-23T23:54:07Z

Yazar Seffah, Ahmed. author. SpringerLink (Online service)
Yer Numarası XX(518624.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-15687-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agile Processes in Software Engineering and Extreme Programming 16th International Conference, XP 2015, Helsinki, Finland, May 25-29, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Lassenius, Casper. editor. Dingsøyr, Torgeir. editor. Paasivaara, Maria. editor. SpringerLink (Online service)
Yer Numarası XX(518633.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-18612-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of software and system performance engineering: process, performance modeling, requirements, testing, scalability, and practice

2024-12-23T23:54:07Z

Yazar Bondi, André B., author.
Yer Numarası QA76.9.E94 B66 2015
Format: Kitap
Durum Beytepe Kütüphanesi~1

Product-Focused Software Process Improvement 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Abrahamsson, Pekka. editor. Corral, Luis. editor. Oivo, Markku. editor. Russo, Barbara. editor. SpringerLink (Online service)
Yer Numarası XX(518832.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-26844-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Globalizing Domain-Specific Languages International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers

2024-12-23T23:54:07Z

Yazar Combemale, Benoit. editor. Cheng, Betty H.C. editor. France, Robert B. editor. Jézéquel, Jean-Marc. editor. Rumpe, Bernhard. editor.
Yer Numarası XX(518838.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-26172-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Piterman, Nir. editor. SpringerLink (Online service)
Yer Numarası XX(518849.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-26287-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Finkbeiner, Bernd. editor. Pu, Geguang. editor. Zhang, Lijun. editor. SpringerLink (Online service)
Yer Numarası XX(518850.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-24953-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers

2024-12-23T23:54:07Z

Yazar Gorentla Venkata, Manjunath. editor. Shamis, Pavel. editor. Imam, Neena. editor. Lopez, M. Graham. editor. SpringerLink (Online service)
Yer Numarası XX(518892.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-26428-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings

2024-12-23T23:54:07Z

Yazar Pontelli, Enrico. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Yer Numarası XX(518922.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-19686-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Feng, Xinyu. editor. Park, Sungwoo. editor. SpringerLink (Online service)
Yer Numarası XX(518926.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-26529-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Practice of Model Transformations 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings

2024-12-23T23:54:07Z

Yazar Kolovos, Dimitris. editor. Wimmer, Manuel. editor. SpringerLink (Online service)
Yer Numarası XX(519006.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21155-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar de la Puente, Juan Antonio. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Yer Numarası XX(519019.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-19584-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Bjørner, Nikolaj. editor. de Boer, Frank. editor. SpringerLink (Online service)
Yer Numarası XX(519064.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-19249-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

2024-12-23T23:54:07Z

Yazar Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)
Yer Numarası XX(519135.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-23820-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

2024-12-23T23:54:07Z

Yazar Lanese, Ivan. editor. Madelaine, Eric. editor. SpringerLink (Online service)
Yer Numarası XX(519140.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-15317-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model and Data Engineering 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Bellatreche, Ladjel. editor. Manolopoulos, Yannis. editor. SpringerLink (Online service)
Yer Numarası XX(519147.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-23781-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Performance Engineering 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Beltrán, Marta. editor. Knottenbelt, William. editor. Bradley, Jeremy. editor. SpringerLink (Online service)
Yer Numarası XX(519153.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-23267-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

2024-12-23T23:54:07Z

Yazar Braga, Christiano. editor. Martí-Oliet, Narciso. editor. SpringerLink (Online service)
Yer Numarası XX(519154.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-15075-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

2024-12-23T23:54:07Z

Yazar Hinze, Ralf. editor. Voigtländer, Janis. editor. SpringerLink (Online service)
Yer Numarası XX(519158.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-19797-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

2024-12-23T23:54:07Z

Yazar Beklemishev, Lev D. editor. Blass, Andreas. editor. Dershowitz, Nachum. editor. Finkbeiner, Bernd. editor. Schulte, Wolfram. editor.
Yer Numarası XX(519274.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-23534-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Pardo, Alberto. editor. Swierstra, S. Doaitse. editor. SpringerLink (Online service)
Yer Numarası XX(519120.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-24012-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testing Software and Systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar El-Fakih, Khaled. editor. Barlas, Gerassimos. editor. Yevtushenko, Nina. editor. SpringerLink (Online service)
Yer Numarası XX(519127.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-25945-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cloud Computing and Big Data Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers

2024-12-23T23:54:07Z

Yazar Qiang, Weizhong. editor. Zheng, Xianghan. editor. Hsu, Ching-Hsien. editor. SpringerLink (Online service)
Yer Numarası XX(519128.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-28430-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Graf, Susanne. editor. Viswanathan, Mahesh. editor. SpringerLink (Online service)
Yer Numarası XX(519200.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-19195-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Performance Characterization and Benchmarking. Traditional to Big Data 6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September 1--5, 2014. Revised Selected Papers

2024-12-23T23:54:07Z

Yazar Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)
Yer Numarası XX(519207.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-15350-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rule Technologies: Foundations, Tools, and Applications 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Bassiliades, Nick. editor. Gottlob, Georg. editor. Sadri, Fariba. editor. Paschke, Adrian. editor. Roman, Dumitru. editor.
Yer Numarası XX(518946.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21542-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Krivine, Jean. editor. Stefani, Jean-Bernard. editor. SpringerLink (Online service)
Yer Numarası XX(518953.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-20860-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

2024-12-23T23:54:07Z

Yazar Núñez, Manuel. editor. Güdemann, Matthias. editor. SpringerLink (Online service)
Yer Numarası XX(518977.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-19458-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Holvoet, Tom. editor. Viroli, Mirko. editor. SpringerLink (Online service)
Yer Numarası XX(518980.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-19282-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

2024-12-23T23:54:07Z

Yazar Bernardo, Marco. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Yer Numarası XX(519008.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-18941-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Koornneef, Floor. editor. van Gulijk, Coen. editor. SpringerLink (Online service)
Yer Numarası XX(519026.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-24255-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings

2024-12-23T23:54:07Z

Yazar Taentzer, Gabriele. editor. Bordeleau, Francis. editor. SpringerLink (Online service)
Yer Numarası XX(519091.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21151-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

End-User Development 5th International Symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015. Proceedings

2024-12-23T23:54:07Z

Yazar Díaz, Paloma. editor. Pipek, Volkmar. editor. Ardito, Carmelo. editor. Jensen, Carlos. editor. Aedo, Ignacio. editor.
Yer Numarası XX(519177.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-18425-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practice of Constraint Programming 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Pesant, Gilles. editor. SpringerLink (Online service)
Yer Numarası XX(519196.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-23219-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Computing - ICSOC 2014 Workshops WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers

2024-12-23T23:54:07Z

Yazar Toumani, Farouk. editor. Pernici, Barbara. editor. Grigori, Daniela. editor. Benslimane, Djamal. editor. Mendling, Jan. editor.
Yer Numarası XX(519348.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-22885-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Architecture 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings

2024-12-23T23:54:07Z

Yazar Weyns, Danny. editor. Mirandola, Raffaela. editor. Crnkovic, Ivica. editor. SpringerLink (Online service)
Yer Numarası XX(519351.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-23727-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Havelund, Klaus. editor. Holzmann, Gerard. editor. Joshi, Rajeev. editor. SpringerLink (Online service)
Yer Numarası XX(518776.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-17524-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Risk Assessment and Risk-Driven Testing Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers

2024-12-23T23:54:07Z

Yazar Seehusen, Fredrik. editor. Felderer, Michael. editor. Großmann, Jürgen. editor. Wendland, Marc-Florian. editor. SpringerLink (Online service)
Yer Numarası XX(518803.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-26416-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

OpenMP: Heterogenous Execution and Data Movements 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Terboven, Christian. editor. de Supinski, Bronis R. editor. Reble, Pablo. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.
Yer Numarası XX(518805.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-24595-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analytical and Stochastic Modelling Techniques and Applications 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings

2024-12-23T23:54:07Z

Yazar Gribaudo, Marco. editor. Manini, Daniele. editor. Remke, Anne. editor. SpringerLink (Online service)
Yer Numarası XX(518823.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-18579-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Computing 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Barros, Alistair. editor. Grigori, Daniela. editor. Narendra, Nanjangud C. editor. Dam, Hoa Khanh. editor. SpringerLink (Online service)
Yer Numarası XX(519074.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-48616-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Safety, Reliability, and Security SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Koornneef, Floor. editor. van Gulijk, Coen. editor. SpringerLink (Online service)
Yer Numarası XX(519092.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-24249-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service Oriented and Cloud Computing 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Dustdar, Schahram. editor. Leymann, Frank. editor. Villari, Massimo. editor. SpringerLink (Online service)
Yer Numarası XX(519101.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-24072-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings

2024-12-23T23:54:07Z

Yazar Blanchette, Jasmin Christian. editor. Kosmatov, Nikolai. editor. SpringerLink (Online service)
Yer Numarası XX(519104.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21215-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software metrics : a rigorous and practical approach

2024-12-23T23:54:07Z

Yazar Fenton, Norman E., 1956- author. Bieman, James, author.
Yer Numarası ONLINE(356796.1)
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging the wisdom of the crowd in software testing

2024-12-23T23:54:07Z

Yazar Sharma, Mukesh (Software testing engineer), author. Padmanaban, Rajini, author.
Yer Numarası ONLINE(356817.1)
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software and systems architecture in action

2024-12-23T23:54:07Z

Yazar Sangwan, Raghvinder S., author.
Yer Numarası ONLINE(356974.1)
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Impact of Pen and Touch Technology on Education

2024-12-23T23:54:07Z

Yazar Hammond, Tracy. editor. Valentine, Stephanie. editor. Adler, Aaron. editor. Payton, Mark. editor. SpringerLink (Online service)
Yer Numarası XX(518440.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-15594-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Genetic Programming Applications

2024-12-23T23:54:07Z

Yazar Gandomi, Amir H. editor. Alavi, Amir H. editor. Ryan, Conor. editor. SpringerLink (Online service)
Yer Numarası XX(518480.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-20883-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Software Methodologies, Tools and Techniques 14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015. Proceedings

2024-12-23T23:54:07Z

Yazar Fujita, Hamido. editor. (orcid) Guizzi, Guido. editor. SpringerLink (Online service)
Yer Numarası XX(518485.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-22689-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Technologies 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers

2024-12-23T23:54:07Z

Yazar Holzinger, Andreas. editor. Cardoso, Jorge. editor. Cordeiro, José. editor. Libourel, Therese. editor. Maciaszek, Leszek A. editor.
Yer Numarası XX(518509.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-25579-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Creativity in Intelligent Technologies and Data Science First Conference, CIT&DS 2015, Volgograd, Russia, September 15-17, 2015. Proceedings

2024-12-23T23:54:07Z

Yazar Kravets, Alla. editor. Shcherbakov, Maxim. editor. Kultsova, Marina. editor. Shabalina, Olga. editor. SpringerLink (Online service)
Yer Numarası XX(518527.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-23766-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Nature of Computation and Communication International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers

2024-12-23T23:54:07Z

Yazar Vinh, Phan Cong. editor. Vassev, Emil. editor. Hinchey, Mike. editor. SpringerLink (Online service)
Yer Numarası XX(518529.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-15392-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part III

2024-12-23T23:54:07Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Yer Numarası XX(518867.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21470-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Information Systems Engineering 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Zdravkovic, Jelena. editor. Kirikova, Marite. editor. Johannesson, Paul. editor. SpringerLink (Online service)
Yer Numarası XX(518891.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-19069-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Italiano, Giuseppe. editor. Margaria-Steffen, Tiziana. editor. Pokorný, Jaroslav. editor. Quisquater, Jean-Jacques. editor. Wattenhofer, Roger. editor.
Yer Numarası XX(518910.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-46078-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV

2024-12-23T23:54:07Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Yer Numarası XX(519260.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21410-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Systems Engineering in Complex Environments CAiSE Forum 2014, Thessaloniki, Greece, June 16-20, 2014, Selected Extended Papers

2024-12-23T23:54:07Z

Yazar Nurcan, Selmin. editor. Pimenidis, Elias. editor. SpringerLink (Online service)
Yer Numarası XX(518555.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-19270-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Quality. Software and Systems Quality in Distributed and Mobile Environments 7th International Conference, SWQD 2015, Vienna, Austria, January 20-23, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Winkler, Dietmar. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)
Yer Numarası XX(518561.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-13251-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Enterprise Engineering IX 5th Enterprise Engineering Working Conference, EEWC 2015, Prague, Czech Republic, June 15-19, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Aveiro, David. editor. Pergl, Robert. editor. Valenta, Michal. editor. SpringerLink (Online service)
Yer Numarası XX(518564.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-19297-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pillars of Computing A Compendium of Select, Pivotal Technology Firms

2024-12-23T23:54:07Z

Yazar O'Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası XX(518646.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21464-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Business 6th International Conference, ICSOB 2015, Braga, Portugal, June 10-12, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Fernandes, João M. editor. Machado, Ricardo J. editor. Wnuk, Krzysztof. editor. SpringerLink (Online service)
Yer Numarası XX(518656.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-19593-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Science and Ubiquitous Computing CSA & CUTE

2024-12-23T23:54:07Z

Yazar Park, Doo-Soon. editor. Chao, Han-Chieh. editor. Jeong, Young-Sik. editor. Park, James J. (Jong Hyuk). editor. SpringerLink (Online service)
Yer Numarası XX(518670.1)
Elektronik Erişim https://doi.org/10.1007/978-981-10-0281-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Industrial Engineering, Management Science and Applications 2015

2024-12-23T23:54:07Z

Yazar Gen, Mitsuo. editor. Kim, Kuinam J. editor. Huang, Xiaoxia. editor. Hiroshi, Yabe. editor. SpringerLink (Online service)
Yer Numarası XX(518706.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-47200-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trust, Privacy and Security in Digital Business 12th International Conference, TrustBus 2015, Valencia, Spain, September 1-2, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Fischer-Hübner, Simone. editor. Lambrinoudakis, Costas. editor. López, Javier. editor. SpringerLink (Online service)
Yer Numarası XX(518943.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-22906-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part V

2024-12-23T23:54:07Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Yer Numarası XX(519341.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21413-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Software Methodologies, Tools and Techniques 13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014. Revised Selected Papers

2024-12-23T23:54:07Z

Yazar Fujita, Hamido. editor. (orcid) Selamat, Ali. editor. SpringerLink (Online service)
Yer Numarası XX(518402.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-17530-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Environmental Software Systems. Infrastructures, Services and Applications 11th IFIP WG 5.11 International Symposium, ISESS 2015, Melbourne, VIC, Australia, March 25-27, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Denzer, Ralf. editor. Argent, Robert M. editor. Schimak, Gerald. editor. Hřebíček, Jiří. editor. SpringerLink (Online service)
Yer Numarası XX(518405.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-15994-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

DNA Computing and Molecular Programming 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings

2024-12-23T23:54:07Z

Yazar Phillips, Andrew. editor. Yin, Peng. editor. SpringerLink (Online service)
Yer Numarası XX(518778.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21999-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Progress in Cryptology -- LATINCRYPT 2015 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 23-26, 2015, Proceedings

2024-12-23T23:54:07Z

Yazar Lauter, Kristin. editor. Rodríguez-Henríquez, Francisco. editor. SpringerLink (Online service)
Yer Numarası XX(518790.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-22174-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part II

2024-12-23T23:54:07Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Yer Numarası XX(518794.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21407-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I

2024-12-23T23:54:07Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Yer Numarası XX(519112.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21404-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers

2024-12-23T23:54:07Z

Yazar Baldoni, Matteo. editor. Baresi, Luciano. editor. Dastani, Mehdi. editor. SpringerLink (Online service)
Yer Numarası XX(519297.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-26184-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1