Search Results for Software.

301.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

302.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

303.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

304.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

305.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

306.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

307.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

308.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

309.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

310.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

311.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

312.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

313.

Software quality engineering a practioner's approach

Yazar

Suryn, Witold.

Yer Numarası

ONLINE(341841.1)

Elektronik Erişim

John Wiley http://dx.doi.org/10.1002/9781118830208

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

314.

Computing handbook : computer science and software engineering

Yazar

Tucker, Allen B., editor. Gonzalez, Teofilo F., editor. Diaz-Herrera, Jorge L., 1950- editor.

Yer Numarası

ONLINE(356353.1)

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

315.

Signal processing with free software practical experiments

Yazar

Auger, François.

Yer Numarası

ONLINE(341600.1)

Elektronik Erişim

Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1637657
John Wiley http://onlinelibrary.wiley.com/book/10.1002/9781118579619
John Wiley http://dx.doi.org/10.1002/9781118579619

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

316.

Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings

Yazar

Le Goues, Claire. editor. Yoo, Shin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-09940-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

317.

Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings

Yazar

Avgeriou, Paris. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-09970-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

318.

Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Yazar

Giannakopoulou, Dimitra. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-10431-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

319.

Software Engineering for Resilient Systems 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings

Yazar

Majzik, István. editor. Vieira, Marco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-12241-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

320.

Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings

Yazar

Jedlitschka, Andreas. editor. Kuvaja, Pasi. editor. Kuhrmann, Marco. editor. Männistö, Tomi. editor. Münch, Jürgen. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-13835-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

321.

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

Yazar

Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54108-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

322.

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Yazar

Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-07317-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

323.

Requirements Engineering: Foundation for Software Quality 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings

Yazar

Salinesi, Camille. editor. van de Weerd, Inge. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-05843-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

324.

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Yazar

Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-12154-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

325.

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

Yazar

Merz, Stephan. editor. Pang, Jun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-11737-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

326.

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

Yazar

Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-11245-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

327.

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

Yazar

Fiadeiro, José Luiz. editor. Liu, Zhiming. editor. Xue, Jinyun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-07602-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

328.

Software Project Management in a Changing World

Yazar

Ruhe, Günther. editor. Wohlin, Claes. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-55035-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

329.

Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings

Yazar

Schaefer, Ina. editor. Stamelos, Ioannis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-14130-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

330.

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

Yazar

Counsell, Steve. editor. Núñez, Manuel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-05032-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

331.

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

Yazar

Sauer, Stefan. editor. Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797 Forbrig, Peter. editor. Bernhaupt, Regina. editor. Winckler, Marco. editor. (orcid)0000-0002-0756-6934

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-44811-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

332.

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

Yazar

Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-44857-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

333.

Knowledge Cartography Software Tools and Mapping Techniques

Yazar

Okada, Alexandra. editor. Buckingham Shum, Simon J. editor. Sherborne, Tony. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-1-4471-6470-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

334.

Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

Yazar

George, Laurent. editor. Vardanega, Tullio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-08311-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

335.

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

Yazar

Yahav, Eran. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-13338-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

336.

Anpassung von Open-Source-Software in Anwenderunternehmen

Yazar

Keßler, Steffen. author. SpringerLink (Online service)

Yer Numarası

ONLINE(337922.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-658-01955-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

337.

Transactions on Aspect-Oriented Software Development X

Yazar

Leavens, Gary T. editor. Chiba, Shigeru. editor. Tanter, Éric. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334333.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-36964-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

338.

Multi-criteria decision analysis : methods and software

Yazar

Ishizaka, Alessio. Nemery, Philippe.

Yer Numarası

T57.95 I84 2013

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

339.

Energieeffiziente Antriebstechnologien Hybridisierung – Downsizing – Software und IT

Yazar

Siebenpfeiffer, Wolfgang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(337594.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-658-00790-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

340.

Model-Driven Dependability Assessment of Software Systems

Yazar

Bernardi, Simona. author. Merseguer, José. author. Petriu, Dorina Corina. author. SpringerLink (Online service)

Yer Numarası

ONLINE(334812.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39512-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

341.

Data Analysis in Management with SPSS Software

Yazar

Verma, J.P. author. SpringerLink (Online service)

Yer Numarası

ONLINE(335463.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-81-322-0786-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

342.

Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung

Yazar

Eilebrecht, Karl. author. Starke, Gernot. author. SpringerLink (Online service)

Yer Numarası

ONLINE(337114.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-34718-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

343.

Software-Entwicklung für dynamische Portfolioallokation und Risikomanagement

Yazar

Impekoven, Christoph. author. SpringerLink (Online service)

Yer Numarası

ONLINE(337718.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-658-01182-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

344.

A Practical Introduction to Hardware/Software Codesign

Yazar

Schaumont, Patrick R. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331370.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-3737-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

345.

The Software Industry Economic Principles, Strategies, Perspectives

Yazar

Buxmann, Peter. author. Diefenbach, Heiner. author. Hess, Thomas. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333443.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-31510-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

346.

Improving Software Testing Technical and Organizational Developments

Yazar

Majchrzak, Tim A. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-27464-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

347.

Games, Actions and Social Software Multidisciplinary Aspects

Yazar

Eijck, Jan. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-29326-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

348.

Transactions on Aspect-Oriented Software Development IX

Yazar

Leavens, Gary T. editor. Chiba, Shigeru. editor. Haupt, Michael. editor. Ostermann, Klaus. editor. Wohlstadter, Eric. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35551-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

349.

Enterprise software architecture and design entities, services, and resources

Yazar

Duggan, Dominic.

Yer Numarası

ONLINE

Elektronik Erişim

John Wiley http://dx.doi.org/10.1002/9781118180518
http://site.ebrary.com/lib/alltitles/Doc?id=10529323

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

350.

Java software solutions : foundations of program design

Yazar

Lewis, John. Loftus, William. Abirami, S.

Yer Numarası

QA76.73.J38 L49 2012

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

351.

Software project management a process-driven approach

Yazar

Ahmed, Ashfaque.

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

352.

QuickBooks 2010 finance software for small business

Yazar

Barich, Thomas E.

Yer Numarası

ONLINE

Elektronik Erişim

Subscription required

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

353.

Software Engineering Research,Management and Applications 2011

Yazar

Lee, Roger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-23202-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

354.

Software Engineering Research, Management and Applications 2012

Yazar

Lee, Roger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-30460-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

355.

Transactions on Aspect-Oriented Software Development VIII

Yazar

Katz, Shmuel. editor. Mezini, Mira. editor. Schwanninger, Christine. editor. Joosen, Wouter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-22031-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

356.

Aufwandsschätzungen in der Software- und Systementwicklung kompakt

Yazar

Hummel, Oliver. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8274-2752-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

357.

Clustering-Based Support for Software Architecture Restructuring

Yazar

Streekmann, Niels. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8348-8675-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

358.

Software Tools and Algorithms for Biological Systems

Yazar

Arabnia, Hamid R. editor. Tran, Quoc-Nam. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-7046-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

359.

Scientific Software Design The Object-Oriented Way

Yazar

Rouson, Damian. Xia, Jim. Xu, Xiaofeng.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

360.

Usability Engineering kompakt Benutzbare Software gezielt entwickeln

Yazar

Richter, Michael. author. Flückiger, Markus D. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8274-2329-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

361.

Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung

Yazar

Eilebrecht, Karl. author. Starke, Gernot. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8274-2526-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

362.

Eingebettete Systeme Systemgrundlagen und Entwicklung eingebetteter Software

Yazar

Berns, Karsten. author. Bernd, Schürmann. author. Trapp, Mario. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8348-9661-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

363.

Innovations in Computing Sciences and Software Engineering

Yazar

Sobh, Tarek. editor. Elleithy, Khaled. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-90-481-9112-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

364.

A Practical Introduction to Hardware/Software Codesign

Yazar

Schaumont, Patrick R. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-6000-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

365.

Composing Software Components A Software-testing Perspective

Yazar

Hamlet, Dick. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-7148-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

366.

Digitale Hardware/Software-Systeme Spezifikation und Verifikation

Yazar

Haubelt, Christian. author. Teich, Jürgen. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-05356-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

367.

Software Engineering Research, Management and Applications 2010

Yazar

Lee, Roger. editor. Ormandjieva, Olga. editor. Abran, Alain. editor. Constantinides, Constantinos. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-13273-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

368.

Innovation in China the Chinese software industry

Yazar

Jui, Shang-Ling.

Yer Numarası

ONLINE

Elektronik Erişim

Click here to view

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

369.

Advanced Ocean Modelling Using Open-Source Software

Yazar

Kämpf, Jochen. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-10610-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

370.

Experience and Knowledge Management in Software Engineering

Yazar

Schneider, Kurt. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-95880-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

371.

Software Engineering Research, Management and Applications 2009

Yazar

Lee, Roger. editor. Ishii, Naohiro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-05441-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

372.

Transactions on Aspect-Oriented Software Development V

Yazar

Rashid, Awais. editor. Ossher, Harold. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-02059-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

373.

Software Architecture Knowledge Management Theory and Practice

Yazar

Ali Babar, Muhammad. editor. Dingsøyr, Torgeir. editor. Lago, Patricia. editor. van Vliet, Hans. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-02374-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

374.

An Approach to Modelling Software Evolution Processes

Yazar

Li, Tong. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-79464-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

375.

Essential software testing a use-case approach

Yazar

Fournier, Greg.

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

376.

Software error detection through testing and analysis

Yazar

Huang, J. C., 1935-

Yer Numarası

ONLINE

Elektronik Erişim

Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=456102
John Wiley http://dx.doi.org/10.1002/9780470464076
MyiLibrary, Table of contents http://www.myilibrary.com?id=227967&ref=toc
http://site.ebrary.com/lib/alltitles/Doc?id=10332960
http://swb.eblib.com/patron/FullRecord.aspx?p=456102

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

377.

MIS cases : decision making with application software

Yazar

Miller, M. Lisa.

Yer Numarası

HD30.23 M55 2009

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

378.

Baseband Analog Circuits for Software Defined Radio

Yazar

Giannini, Vito. author. Craninckx, Jan. author. Baschirotto, Andrea. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-6538-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

379.

Software for Data Analysis Programming with R

Yazar

Chambers, John. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-75936-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

380.

Knowledge Cartography Software Tools and Mapping Techniques

Yazar

Sherborne, Tony. editor. Buckingham Shum, Simon J. editor. Okada, Alexandra. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84800-149-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

381.

Software engineering foundations a software science perspective

Yazar

Wang, Yingxu.

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

382.

Software maintenance management evaluation and continuous improvement

Yazar

April, Alain, 1958- Abran, Alain, 1949-

Yer Numarası

ONLINE

Elektronik Erişim

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129685

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

383.

Symbolic data analysis and the SODAS software

Yazar

Diday, E. Noirhomme-Fraiture, Monique. Wiley InterScience (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

John Wiley http://dx.doi.org/10.1002/9780470723562
MyiLibrary, Table of contents http://www.myilibrary.com?id=130833&ref=toc

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

384.

Digitale Hardware/Software-Systeme Synthese und Optimierung

Yazar

Teich, Jürgen. author. Haubelt, Christian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-46824-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

385.

Transactions on Aspect-Oriented Software Development IV

Yazar

Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-77042-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

386.

Transactions on Aspect-Oriented Software Development III

Yazar

Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-75162-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

387.

Java software solutions : foundations of program design

Yazar

Lewis, John. Loftus, William, ort. yaz.

Yer Numarası

QA76.73.J38 .L49 2007

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

388.

Transactions on Aspect-Oriented Software Development I

Yazar

Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11687061

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

389.

Ontologies for Software Engineering and Software Technology

Yazar

Calero, Coral. editor. Ruiz, Francisco. editor. Piattini, Mario. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-34518-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

390.

Ontologies for software engineering and software technology

Yazar

Calero, Coral. Ruiz, Francisco. Piattini, Mario.

Yer Numarası

QA76.9.D35 O57 2006

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

391.

Eric Sink on the Business of Software

Yazar

Sink, Eric. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-0143-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

392.

Transactions on Aspect-Oriented Software Development II

Yazar

Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11922827

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

393.

Memory management for synthesis of DSP software

Yazar

Murthy, Praveen K., 1969- Bhattacharyya, Shuvra S., 1968-

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

394.

The economics of open source software development

Yazar

Bitzer, Jürgen, 1970- Schröder, Philipp J. H.

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780444527691

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

395.

Software evolution and feedback theory and practice

Yazar

Madhavji, Nazim H. Fernández Ramil, Juan Carlos. Perry, Dewayne E. John Wiley & Sons.

Yer Numarası

ONLINE

Elektronik Erişim

Click for information
John Wiley http://dx.doi.org/10.1002/0470871822
http://www3.interscience.wiley.com/cgi-bin/bookhome/112650855
Books24x7 http://www.books24x7.com/marc.asp?bookid=9542
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=274329

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

396.

Software specification and design an engineering approach

Yazar

Munson, John C.

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

397.

Model-driven software development : technology, engineering, management

Yazar

Stahl, Thomas (Tom) Vèolter, Markus.

Yer Numarası

QA76.76.D47 S697 2006

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

398.

Software Project Secrets Why Software Projects Fail

Yazar

Stepanek, George. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-0055-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

399.

Digital Synthesizers and Transmitters for Software Radio

Yazar

Vankka, Jouko. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-4020-3195-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

400.

Outsourcing software development offshore making it work

Yazar

Gold, Tandy.

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

401.

Hardware and computer organization the software perspective

Yazar

Berger, Arnold S.

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780750678865

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

402.

Perspectives on free and open source software

Yazar

Feller, Joseph, 1972-

Yer Numarası

ONLINE

Elektronik Erişim

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267258

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

403.

Dynamic software development managing projects in flux

Yazar

Wells, Timothy D.

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

404.

Global IT Outsourcing Software Development across Borders

Yazar

Sahay, Sundeep. Nicholson, Brian. Krishna, S..

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

405.

Software development failures anatomy of abandoned projects

Yazar

Ewusi-Mensah, Kweku.

Yer Numarası

ONLINE

Elektronik Erişim

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267255

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

406.

Computer architecture software aspects, coding, and hardware

Yazar

Hsu, John Y.

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

407.

Automated software testing : introduction, management, and performance

Yazar

Dustin, Elfriede. Rashka, Jeff. Paul, John.

Yer Numarası

QA76.76.T48 D87 1999

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

408.

Adapted wavelet analysis from theory to software

Yazar

Wickerhauser, Mladen Victor.

Yer Numarası

QA403.3 W53 1994

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

409.

Estimation and tracking : principles, techniques, and software

Yazar

Bar-Shalom, Yaakov. Li, Xiao-Rong, ort. yaz.

Yer Numarası

TK 6580 B32 1993

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

410.

Microcomputer software for information management : case studies

Yazar

Collier, M., ed.

Yer Numarası

QA 76.9.D3 M54 1986

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

411.

Software for roundoff analysis of matrix algorithms

Yazar

Miller, Webb Wrathall, Celia, ort. yaz.

Yer Numarası

QA 188 M54 1980 1.K

Format:

Durum

Sağlık Bilimleri Kütüphanesi~1

Rafta:
Kopya:

412.

Software Agent-Based Applications, Platforms and Development Kits

Yazar

Unland, Rainer. editor. Calisti, Monique. editor. Klusch, Matthias. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b137512

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

413.

Software defined radio baseband technologies for 3G handsets and basestations

Yazar

Tuttlebee, Wally H. W., 1953- John Wiley & Sons.

Yer Numarası

ONLINE

Elektronik Erişim

Available by subscription from Safari Books Online
John Wiley http://dx.doi.org/10.1002/0470867728
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley047/2003021216.html
Volltext http://proquest.tech.safaribooksonline.de/9780470867709

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

414.

Schaum's outline of theory and problems of software engineering

Yazar

Gustafson, David A.

Yer Numarası

QA76.758 G88 2002

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

415.

Software defined radio origins, drivers, and international perspectives

Yazar

Tuttlebee, Wally H. W., 1953-

Yer Numarası

ONLINE

Elektronik Erişim

HathiTrust Digital Library Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/48516093.html
John Wiley http://dx.doi.org/10.1002/0470846011

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

416.

PIC microcontroller : an introduction to software and hardware interfacing

Yazar

Huang, Han-Way.

Yer Numarası

TJ223.P76 H835 2005

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

417.

Software test attacks to break mobile and embedded devices

Yazar

Hagar, Jon Duncan, author.

Yer Numarası

ONLINE(342868.1)

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

418.

Software designers in action : a human-centric look at design work

Yazar

Petre, Marian, 1959- editor of compilation. Hoek, André van der, 1971- editor of compilation.

Yer Numarası

ONLINE(342873.1)

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

419.

Software Cost Estimation, Benchmarking, and Risk Assessment The Software Decision-Makers' Guide to Predictable Software Development

Yazar

Trendowicz, Adam. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333358.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-30764-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

420.

24 deadly sins of software security programming flaws and how to fix them

Yazar

Howard, Michael, 1965- LeBlanc, David, 1960- Viega, John.

Yer Numarası

ONLINE

Elektronik Erişim

Subscription required

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

421.

Schaum's outline of theory and problems of software engineering

Yazar

Gustafson, David A.

Yer Numarası

ONLINE

Elektronik Erişim

Subscription required

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

422.

MATLAB software for the code excited linear prediction algorithm the Federal Standard, 1016

Yazar

Ramamurthy, Karthikeyan N. Spanias, Andreas.

Yer Numarası

ONLINE

Elektronik Erişim

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440314

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

423.

Jeoistatistikel variogram ve modelleme yazılımı : sayaca (Ulubey, Ordu) altın cevherleşmesi'nde uygulanması = Geostatistical variogram and modelling Software : An application for gold mineralization in sayaca (Ulubey, Ordu)

Yazar

Topal, Baran

Yer Numarası

TEZ/8246 T673 2007

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

424.

Classic Lego mindstorms project and software tools award-winning designs from master builders

Yazar

Ferrari, Mario.

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9781597490894

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

425.

The road map to software engineering a standards-based guide

Yazar

Moore, James W., 1948-

Yer Numarası

ONLINE

Elektronik Erişim

IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989673

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

426.

Practical support for ISO 9001 software project documentation using IEEE software engineering standards

Yazar

Land, Susan K. Walz, John W. IEEE Computer Society.

Yer Numarası

ONLINE

Elektronik Erişim

IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989411

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

427.

The electrical engineering handbook. Third ed., Computers, software engineering, and digital devices

Yazar

Dorf, Richard C.

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

428.

Parallel computational fluid dynamics advanced numerical methods : software and applications : proceedings of the Parallel CFD 2003 Conference, Moscow, Russia (May 13-15, 2003)

Yazar

Parallel CFD Conference (2003 : Moscow, Russia) Chetverushkin, B. N. (Boris Nikolaevich)

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780444516121

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

429.

Madencilik yatırım projelerinin yeni bir yazılım ile değerlendirilmesi ve Trona örnek uygulaması = Evaluation of mining investment projects with new software and a case study of the Trona mine site

Yazar

Kavaklı, Nevzat

Yer Numarası

TEZ/8333 .K383 2007

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

430.

Proceedings of the 23rd International Conference on Software Engineering : ICSE 2001 : 12-19, May 2001, Toronto, Ontario, Canada

Yazar

International Conference on Software Engineering (23rd : 2001 : Toronto, Ont.) ACM Sigsoft. IEEE Computer Society. Technical Council on Software Engineering.

Yer Numarası

QA 76.6 P941 2001

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

431.

Proceedings of the 2001 ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering : PASTE'01 ; Snowbird, Utah, USA June 18-19, 2001

Yazar

ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (2001 : Snowbird, Utah) Association for Computing Machinery. ACM, Special Interest Group on Programming Languages. ACM, Special Interest Group on Software Engineering.

Yer Numarası

QA 76.758 A345 2001

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

432.

Knowledge-based software engineering proceedings of the tenth Joint Conference on Knowledge-Based Software Engineering

Yazar

Joint Conference on Knowledge-Based Software Engineering (10th : 2012 : Rhodes (Island), Greece) Virvou, Maria. Matsuura, Saeko. IOS Press.

Yer Numarası

ONLINE

Elektronik Erişim

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=489951

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

433.

Proceedings of the Ninth International Symposium on Hardware/Software Codesign : CODES 2001 : April 25-27, 2001, Copenhagen, Denmark

Yazar

International Symposium on Hardware/Software Codesign (9th : 2001 : Copenhagen, Denmark) ACM Special Interest Group on Design Automation.

Yer Numarası

QA 76.9 S88 2001

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

434.

Hardware and software for real time process control ; Proceedings of the.. Held in Warsaw, Poland, 30 May 1 June, 1988

Yazar

IFIP WG 5.4/IFAC/EWICS Working Conference on Hardware and Software for Real Time Process Control, Warsaw ; (1988 : Poland) Zalewski, J., ed. Ehrenberger, W., ed.

Yer Numarası

TS 156.9 I35 1988

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

435.

Proeceedings of the symposium on computer software engineering. New York, N. Y. April 20-22, 1976

Yazar

Symposium on Computer software Engineering, New York, 1976.

Yer Numarası

QA 76.6 S919 1976

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

436.

Practical software project estimation a toolkit for estimating software development effort & duration

Yazar

Hill, Peter R. International Software Benchmarking Standards Group.

Yer Numarası

ONLINE

Elektronik Erişim

Subscription required

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

437.

Directory of library automation software, systems, and services.

Yazar

Cibbarelli, Pamela R., ed. Information Today, Inc.

Yer Numarası

Z678.9.A3 D6

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

438.

Advanced Digital System Design using SoC FPGAs An Integrated Hardware/Software Approach

Yazar

Snider, Ross K. author. SpringerLink (Online service)

Yer Numarası

XX(520191.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-15416-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

439.

Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part I

Yazar

Yilmaz, Murat. editor. Clarke, Paul. editor. Riel, Andreas. editor. Messnarz, Richard. editor. SpringerLink (Online service)

Yer Numarası

XX(520342.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-42307-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

440.

Software Testing Automation Testability Evaluation, Refactoring, Test Data Generation and Fault Localization

Yazar

Parsa, Saeed. author. SpringerLink (Online service)

Yer Numarası

XX(520377.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-22057-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

441.

Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers

Yazar

Kaindl, Hermann. editor. Mannion, Mike. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)

Yer Numarası

XX(520493.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-36597-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

442.

Software Technologies 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022, Revised Selected Papers

Yazar

Fill, Hans-Georg. editor. van Sinderen, Marten. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)

Yer Numarası

XX(520513.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-37231-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

443.

Optimising the Software Development Process with Artificial Intelligence

Yazar

Romero, José Raúl. editor. Medina-Bulo, Inmaculada. editor. Chicano, Francisco. editor. SpringerLink (Online service)

Yer Numarası

XX(520515.1)

Elektronik Erişim

https://doi.org/10.1007/978-981-19-9948-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

444.

Designing Modern Embedded Systems: Software, Hardware, and Applications 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings

Yazar

Henkler, Stefan. editor. Kreutz, Márcio. editor. Wehrmeister, Marco A. editor. Götz, Marcelo. editor. Rettberg, Achim. editor.

Yer Numarası

XX(520586.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-34214-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

445.

Business Modeling and Software Design 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3-5, 2023, Proceedings

Yazar

Shishkov, Boris. editor. SpringerLink (Online service)

Yer Numarası

XX(520592.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-36757-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

446.

UML-Based Software Product Line Engineering with SMarty

Yazar

OliveiraJr, Edson. editor. SpringerLink (Online service)

Yer Numarası

XX(520695.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-18556-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

447.

Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Yazar

Lal, Akash. editor. Tonetta, Stefano. editor. SpringerLink (Online service)

Yer Numarası

XX(520802.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-25803-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

448.

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

Yazar

Masci, Paolo. editor. Bernardeschi, Cinzia. editor. Graziani, Pierluigi. editor. Koddenbrock, Mario. editor. Palmieri, Maurizio. editor.

Yer Numarası

XX(520812.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-26236-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

449.

Requirements Engineering: Foundation for Software Quality 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings

Yazar

Ferrari, Alessio. editor. Penzenstadler, Birgit. editor. SpringerLink (Online service)

Yer Numarası

XX(520927.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-29786-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

450.

Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers

Yazar

Porkoláb, Zoltán. editor. Zsók, Viktória. editor. SpringerLink (Online service)

Yer Numarası

XX(521248.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-42833-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

451.

Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Yazar

Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)

Yer Numarası

XX(521275.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-47115-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

452.

Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

Yazar

Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)

Yer Numarası

XX(521324.1)

Elektronik Erişim

https://doi.org/10.1007/978-981-99-7584-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

453.

A Review on Recent Echocardiographic Software Advancing the Field through the Emerging Science

Yazar

Karvandi, Mersedeh. author. Ranjbar, Saeed. author. SpringerLink (Online service)

Yer Numarası

XX(521515.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-29046-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

454.

Agile Processes in Software Engineering and Extreme Programming 24th International Conference on Agile Software Development, XP 2023, Amsterdam, The Netherlands, June 13-16, 2023, Proceedings

Yazar

Stettina, Christoph J. editor. Garbajosa, Juan. editor. Kruchten, Philippe. editor. SpringerLink (Online service)

Yer Numarası

XX(520250.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-33976-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

455.

Handbook of Re-Engineering Software Intensive Systems into Software Product Lines

Yazar

Lopez-Herrejon, Roberto E. editor. Martinez, Jabier. editor. Guez Assunção, Wesley Klewerton. editor. Ziadi, Tewfik. editor. Acher, Mathieu. editor.

Yer Numarası

XX(520251.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-11686-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

456.

Technology Research Explained Design of Software, Architectures, Methods, and Technology in General

Yazar

Stølen, Ketil. author. SpringerLink (Online service)

Yer Numarası

XX(520280.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-25817-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

457.

Viruses in all Dimensions How an Information Code Controls Viruses, Software and Microorganisms

Yazar

Ball, Rafael. author. SpringerLink (Online service)

Yer Numarası

XX(520393.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-658-38826-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

458.

Model-Driven Engineering and Software Development 9th International Conference, MODELSWARD 2021, Virtual Event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6-8, 2022, Revised Selected Papers

Yazar

Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Seidewitz, Edwin. editor. SpringerLink (Online service)

Yer Numarası

XX(520444.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-38821-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

459.

Sensor Systems and Software 13th EAI International Conference, S-Cube 2022, Dalian, China, December 7-9, 2022, Proceedings

Yazar

Karimi , Hamid Reza. editor. Wang, Ning. editor. SpringerLink (Online service)

Yer Numarası

XX(520457.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-34899-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

460.

Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part II

Yazar

Yilmaz, Murat. editor. Clarke, Paul. editor. Riel, Andreas. editor. Messnarz, Richard. editor. SpringerLink (Online service)

Yer Numarası

XX(520547.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-42310-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

461.

Mathematical Foundations of Software Engineering A Practical Guide to Essentials

Yazar

O'Regan, Gerard. author. SpringerLink (Online service)

Yer Numarası

XX(520574.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-26212-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

462.

An Introduction to Software Design Concepts, Principles, Methodologies, and Techniques

Yazar

Hu, Chenglie. author. SpringerLink (Online service)

Yer Numarası

XX(520524.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-28311-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

463.

Concise Guide to Software Verification From Model Checking to Annotation Checking

Yazar

Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)

Yer Numarası

XX(520525.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-30167-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

464.

Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiences

Yazar

Cooper, Kendra M. L. editor. Bucchiarone, Antonio. editor. SpringerLink (Online service)

Yer Numarası

XX(520632.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-33338-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

465.

Introduction to Software Architecture Innovative Design using Clean Architecture and Model-Driven Engineering

Yazar

Lano, Kevin. author. Yassipour Tehrani, Sobhan. author. SpringerLink (Online service)

Yer Numarası

XX(520650.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-44143-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

466.

Development of Safety-Critical Systems Architecture and Software

Yazar

Karmakar, Gopinath. author. Wakankar, Amol. author. Kabra, Ashutosh. author. Pandya, Paritosh. author. SpringerLink (Online service)

Yer Numarası

XX(520696.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-27901-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

467.

Software Quality: Higher Software Quality through Zero Waste Development 15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023, Proceedings

Yazar

Mendez, Daniel. editor. Winkler, Dietmar. editor. Kross, Johannes. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor.

Yer Numarası

XX(520766.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-31488-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

468.

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II

Yazar

Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)

Yer Numarası

XX(520840.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-30820-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

469.

Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Yazar

Lambers, Leen. editor. Uchitel, Sebastián. editor. SpringerLink (Online service)

Yer Numarası

XX(520841.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-30826-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

470.

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Yazar

Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)

Yer Numarası

XX(520842.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-30829-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

471.

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I

Yazar

Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)

Yer Numarası

XX(520843.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-30823-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

472.

Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings

Yazar

Caltais, Georgiana. editor. Schilling, Christian. editor. (orcid) SpringerLink (Online service)

Yer Numarası

XX(520854.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-32157-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

473.

Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Yazar

Wies, Thomas. editor. SpringerLink (Online service)

Yer Numarası

XX(520944.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-30044-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

474.

Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings

Yazar

David, Cristina. editor. Sun, Meng. editor. SpringerLink (Online service)

Yer Numarası

XX(521004.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-35257-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

475.

Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers

Yazar

Batista, Thais. editor. Bureš, Tomáš. editor. Raibulet, Claudia. editor. Muccini, Henry. editor. SpringerLink (Online service)

Yer Numarası

XX(521095.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-36889-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

476.

Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers

Yazar

Hojjat, Hossein. editor. Ábrahám, Erika. editor. SpringerLink (Online service)

Yer Numarası

XX(521120.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-42441-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

477.

Software Architecture 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18-22, 2023, Proceedings

Yazar

Tekinerdogan, Bedir. editor. Trubiani, Catia. editor. Tibermacine, Chouki. editor. Scandurra, Patrizia. editor. Cuesta, Carlos E. editor.

Yer Numarası

XX(521130.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-42592-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

478.

Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings

Yazar

Bonfanti, Silvia. editor. Gargantini, Angelo. editor. Salvaneschi, Paolo. editor. SpringerLink (Online service)

Yer Numarası

XX(521157.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-43240-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

479.

Frontiers in Software Engineering Education Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, Invited Papers

Yazar

Capozucca, Alfredo. editor. Ebersold, Sophie. editor. Bruel, Jean-Michel. editor. Meyer, Bertrand. editor. SpringerLink (Online service)

Yer Numarası

XX(521355.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-48639-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

480.

Bulanık çok kriterli karar verme yöntemleri : MS excel ® ve software çözümlü uygulamalar

Yazar

Erdebilli, Babek.

Yer Numarası

HD30.23 B953 2021

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

481.

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Yazar

Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-17184-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

482.

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Yazar

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-30985-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

483.

Towards Integrated Web, Mobile, and IoT Technology Selected and Revised Papers from the Web Technologies Track at SAC 2017 and SAC 2018, and the Software Development for Mobile Devices, Wearables, and the IoT Minitrack at HICSS 2018

Yazar

Majchrzak, Tim A. editor. (orcid)0000-0003-2581-9285 Mateos, Cristian. editor. (orcid)0000-0001-5761-1898 Poggi, Francesco. editor. (orcid)0000-0001-6577-5606 Grønli, Tor-Morten. editor. (orcid)0000-0002-2026-4551 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-28430-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

484.

Next Generation and Advanced Network Reliability Analysis Using Markov Models and Software Reliability Engineering

Yazar

Ali, Syed Riffat. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-01647-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

485.

Model-Driven Engineering and Software Development 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers

Yazar

Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. Selic, Bran. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-11030-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

486.

Information and Software Technologies 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings

Yazar

Damaševičius, Robertas. editor. Vasiljevienė, Giedrė. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-30275-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

487.

Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers

Yazar

Li, Zheng. editor. (orcid)0000-0002-3938-7033 Jiang, He. editor. (orcid)0000-0001-8674-4948 Li, Ge. editor. Zhou, Minghui. editor. Li, Ming. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-15-0310-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

488.

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Yazar

Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-16722-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

489.

Computing and Software Science State of the Art and Perspectives

Yazar

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-91908-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

490.

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

Yazar

Hoda, Rashina. editor. (orcid)0000-0001-5147-8096 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-30126-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

491.

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Yazar

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-17462-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

492.

Automotive Systems and Software Engineering State of the Art and Future Trends

Yazar

Dajsuren, Yanja. editor. van den Brand, Mark. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-12157-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

493.

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Yazar

Biondi, Fabrizio. editor. Given-Wilson, Thomas. editor. Legay, Axel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-30923-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

494.

Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings

Yazar

Walker, Alastair. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-28005-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

495.

8051 Microcontrollers Fundamental Concepts, Hardware, Software and Applications in Electronics

Yazar

Gimenez, Salvador Pinillos. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-76439-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

496.

Software Technologies 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers

Yazar

van Sinderen, Marten. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-29157-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

497.

Engineering Adaptive Software Systems Communications of NII Shonan Meetings

Yazar

Yu, Yijun. editor. Bandara, Arosha. editor. Honiden, Shinichi. editor. Hu, Zhenjiang. editor. Tamai, Tetsuo. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-13-2185-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

498.

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

Yazar

Kruchten, Philippe. editor. (orcid)0000-0003-1359-4867 Fraser, Steven. editor. (orcid)0000-0002-3958-6585 Coallier, François. editor. (orcid)0000-0002-2730-2469 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-19034-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

499.

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Yazar

Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-30446-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

500.

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Yazar

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-17465-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

501.

Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Yazar

Nielson, Flemming. editor. (orcid)0000-0001-7362-6176 Sands, David. editor. (orcid)0000-0001-6221-0503 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-17138-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

502.

Trends and Applications in Software Engineering Proceedings of the 7th International Conference on Software Process Improvement (CIMPS 2018)

Yazar

Mejia, Jezreel. editor. Muñoz, Mirna. editor. Rocha, Álvaro. editor. Peña, Adriana. editor. Pérez-Cisneros, Marco. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-01171-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

503.

Software Business 10th International Conference, ICSOB 2019, Jyväskylä, Finland, November 18–20, 2019, Proceedings

Yazar

Hyrynsalmi, Sami. editor. (orcid)0000-0002-5073-3750 Suoranta, Mari. editor. (orcid)0000-0002-3849-4902 Nguyen-Duc, Anh. editor. (orcid)0000-0002-7063-9200 Tyrväinen, Pasi. editor. (orcid)0000-0001-7716-3244 Abrahamsson, Pekka. editor. (orcid)0000-0002-4360-2226

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-33742-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

504.

Neuroimaging, Software, and Communication The Social Code of Source Code

Yazar

Bicudo, Edison. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-13-7060-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

505.

Fault Prediction Modeling for the Prediction of Number of Software Faults

Yazar

Rathore, Santosh Singh. author. Kumar, Sandeep. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-13-7131-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

506.

Evaluation of Novel Approaches to Software Engineering 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers

Yazar

Damiani, Ernesto. editor. Spanoudakis, George. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-22559-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

507.

Interdisciplinary approaches to information systems and software engineering

Yazar

Mukherjee, Alok Bhushan, 1985- editor. Krishna, Akhouri Pramod, 1962- editor. IGI Global, publisher.

Yer Numarası

ONLINE

Elektronik Erişim

Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7784-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

508.

Integrating the internet of things into software engineering practices

Yazar

Mala, D. Jeya, 1974- editor. IGI Global, publisher.

Yer Numarası

ONLINE

Elektronik Erişim

Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7790-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

509.

Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud 11th International Conference, SWQD 2019, Vienna, Austria, January 15–18, 2019, Proceedings

Yazar

Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Bergsmann, Johannes. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-05767-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

510.

Software Challenges to Exascale Computing Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedings

Yazar

Majumdar, Amit. editor. Arora, Ritu. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-13-7729-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

511.

Business Modeling and Software Design 9th International Symposium, BMSD 2019, Lisbon, Portugal, July 1–3, 2019, Proceedings

Yazar

Shishkov, Boris. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-24854-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

512.

Advanced Software Technologies for Post-Peta Scale Computing The Japanese Post-Peta CREST Research Project

Yazar

Sato, Mitsuhisa. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-13-1924-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

513.

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

Yazar

Hamid, Brahim. editor. Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Shabtai, Asaf. editor. (orcid)0000-0003-0630-4059 Elovici, Yuval. editor. Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-16874-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

514.

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Yazar

Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-17127-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

515.

Towards Engineering Free/Libre Open Source Software (FLOSS) Ecosystems for Impact and Sustainability Communications of NII Shonan Meetings

Yazar

Fitzgerald, Brian. editor. Mockus, Audris. editor. Zhou, Minghui. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-13-7099-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

516.

Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings

Yazar

Zamani, Majid. editor. Zufferey, Damien. editor. (orcid)0000-0002-3197-8736 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-28423-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

517.

Software Quality: Methods and Tools for Better Software and Systems 10th International Conference, SWQD 2018, Vienna, Austria, January 16–19, 2018, Proceedings

Yazar

Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-71440-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

518.

Managing Software Crisis: A Smart Way to Enterprise Agility

Yazar

Zykov, Sergey V. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-77917-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

519.

Engineering Secure Software and Systems 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings

Yazar

Payer, Mathias. editor. Rashid, Awais. editor. Such, Jose M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-94496-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

520.

Designing Usable and Secure Software with IRIS and CAIRIS

Yazar

Faily, Shamal. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-75493-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

521.

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

Yazar

Lee, Roger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-62048-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

522.

Business Modeling and Software Design 7th International Symposium, BMSD 2017, Barcelona, Spain, July 3–5, 2017, Revised Selected Papers

Yazar

Shishkov, Boris. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-78428-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

523.

Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers

Yazar

Damiani, Ernesto. editor. Spanoudakis, George. editor. Maciaszek, Leszek. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-94135-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

524.

Towards a Synergistic Combination of Research and Practice in Software Engineering

Yazar

Kosiuczenko, Piotr. editor. Madeyski, Lech. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-65208-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

525.

Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers

Yazar

Cabello, Enrique. editor. Cardoso, Jorge. editor. Maciaszek, Leszek A. editor. van Sinderen, Marten. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-93641-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

526.

SDN and NFV Security Security Analysis of Software-Defined Networking and Network Function Virtualization

Yazar

Khondoker, Rahamatullah. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-71761-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

527.

Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approach

Yazar

Khan, Muhammad Usman Karim. author. Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-61455-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

528.

Cybernetics Approaches in Intelligent Systems Computational Methods in Systems and Software 2017, vol. 1

Yazar

Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-67618-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

529.

Software Data Engineering for Network eLearning Environments Analytics and Awareness Learning Services

Yazar

Caballé, Santi. editor. Conesa, Jordi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-68318-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

530.

Software Failure Investigation A Near-Miss Analysis Approach

Yazar

Eloff, Jan. author. Bihina Bella, Madeleine. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-61334-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

531.

Trends and Applications in Software Engineering Proceedings of the 6th International Conference on Software Process Improvement (CIMPS 2017)

Yazar

Mejia, Jezreel. editor. Muñoz, Mirna. editor. Rocha, Álvaro. editor. Quiñonez, Yadira. editor. Calvo-Manzano, Jose. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-69341-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

532.

Informatics in Schools. Fundamentals of Computer Science and Software Engineering 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings

Yazar

Pozdniakov, Sergei N. editor. (orcid)0000-0002-1899-9145 Dagienė, Valentina. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-02750-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

533.

Handbook of Smart Cities Software Services and Cyber Infrastructure

Yazar

Maheswaran, Muthucumaru. editor. Badidi, Elarbi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-97271-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

534.

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

Yazar

Stamelos, Ioannis. editor. Gonzalez-Barahoña, Jesus M. editor. (orcid)0000-0001-9682-460X Varlamis, Iraklis. editor. (orcid)0000-0002-0876-8167 Anagnostopoulos, Dimosthenis. editor. (orcid)0000-0003-0747-4252 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-92375-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

535.

Complex, Intelligent, and Software Intensive Systems Proceedings of the 11th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS-2017)

Yazar

Barolli, Leonard. editor. Terzo, Olivier. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-61566-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

536.

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Yazar

Gallardo, María del Mar. editor. Merino, Pedro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-94111-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

537.

Software Development Measurement Programs Development, Management and Evolution

Yazar

Staron, Miroslaw. author. Meding, Wilhelm. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-91836-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

538.

Software engineering for enterprise system agility : emerging research and opportunities

Yazar

Zykov, Sergey V., 1971- author. Gromoff, Alexander, 1951- author. Kazantsev, Nikolay S., 1981- author. IGI Global, publisher.

Yer Numarası

ONLINE

Elektronik Erişim

Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-5589-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

539.

Applied Computational Intelligence and Mathematical Methods Computational Methods in Systems and Software 2017, vol. 2

Yazar

Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-67621-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

540.

Software Fault Detection and Correction: Modeling and Applications

Yazar

Peng, Rui. author. Li, Yan-Fu. author. Liu, Yu. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-13-1162-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

541.

Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage

Yazar

Gonzalez-Perez, Cesar. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-72652-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

542.

Routines of Substitution John von Neumann’s Work on Software Development, 1945–1948

Yazar

Priestley, Mark. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-91671-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

543.

Proceedings of 5th International Conference in Software Engineering for Defence Applications SEDA 2016

Yazar

Ciancarini, Paolo. editor. Litvinov, Stanislav. editor. Messina, Angelo. editor. Sillitti, Alberto. editor. Succi, Giancarlo. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-70578-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

544.

Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings

Yazar

Stamelos, Ioannis. editor. O'Connor, Rory V. editor. Rout, Terry. editor. Dorling, Alec. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-00623-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

545.

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

Yazar

Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Selic, Bran. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-94764-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

546.

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

Yazar

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-89960-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

547.

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Yazar

Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-89366-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

548.

Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Yazar

Bauer, Lujo. editor. Küsters, Ralf. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-89722-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

549.

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

Yazar

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-89963-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

550.

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Yazar

Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-89884-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

551.

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

Yazar

Damaševičius, Robertas. editor. Vasiljevienė, Giedrė. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-99972-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

552.

Software-Defined Cloud Centers Operational and Management Technologies and Tools

Yazar

Raj, Pethuru. author. Raman, Anupama. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-78637-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

553.

Control Theory Tutorial Basic Concepts Illustrated by Software Examples

Yazar

Frank, Steven A. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-91707-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

554.

Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

Yazar

Johnsen, Einar Broch. editor. Schaefer, Ina. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-92970-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

555.

Systems, Software and Services Process Improvement 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings

Yazar

Larrucea, Xabier. editor. Santamaria, Izaskun. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-97925-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

556.

Software Processes and Life Cycle Models An Introduction to Modelling, Using and Managing Agile, Plan-Driven and Hybrid Processes

Yazar

Kneuper, Ralf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-98845-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

557.

Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday

Yazar

Müller, Peter. editor. Schaefer, Ina. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-98047-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

558.

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

Yazar

Wnuk, Krzysztof. editor. Brinkkemper, Sjaak. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-04840-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

559.

Current Trends in Web Engineering ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papers

Yazar

Garrigós, Irene. editor. Wimmer, Manuel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-74433-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

560.

Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

Yazar

Davenport, James H. editor. (orcid)0000-0002-3982-7545 Kauers, Manuel. editor. Labahn, George. editor. Urban, Josef. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-96418-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

561.

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Yazar

Russo, Alessandra. editor. (orcid)0000-0002-3318-8711 Schürr, Andy. editor. (orcid)0000-0001-8100-1109 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-89363-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

562.

Agile Processes in Software Engineering and Extreme Programming 19th International Conference, XP 2018, Porto, Portugal, May 21–25, 2018, Proceedings

Yazar

Garbajosa, Juan. editor. (orcid)0000-0003-0161-3485 Wang, Xiaofeng. editor. (orcid)0000-0001-8424-419X Aguiar, Ademar. editor. (orcid)0000-0002-4046-4729 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-91602-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

563.

Digging into Software Knowledge Generation in Cultural Heritage Modeling Assistance Strategies for Large Archaeological Data Sets

Yazar

Martin-Rodilla, Patricia. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-69188-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

564.

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

Yazar

Shishkov, Boris. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-94214-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

565.

Advances in Human Factors, Software, and Systems Engineering Proceedings of the AHFE 2017 International Conference on Human Factors, Software, and Systems Engineering, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

Yazar

Ahram, Tareq. editor. Karwowski, Waldemar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-60011-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

566.

Software architecture for big data and the cloud

Yazar

Mistrík, Ivan, editor.

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780128054673

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

567.

Topological UML modeling : an improved approach for domain modeling and software development

Yazar

Osis, Janis, 1929- author. Donins, Uldis, author.

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect https://www.sciencedirect.com/science/book/9780128054765

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

568.

Handbook of system safety and security : cyber risk and risk management, cyber security, threat analysis, functional safety, software systems, and cyber physical systems

Yazar

Griffor, Edward R., editor.

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780128037737

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

569.

Individualized drug therapy for patients : basic foundations, relevant software, and clinical applications

Yazar

Jelliffe, Roger W., editor. Neely, Michael, editor.

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780128033487

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

570.

Environment modeling-based requirements engineering for software intensive systems.

Yazar

Jin, Zhi, 1962- author.

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect https://www.sciencedirect.com/science/book/9780128019542

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

571.

Refactoring for software design smells managing technical debt

Yazar

Suryanarayana, Girish, author. Samarthyam, Ganesh, author. Sharma, Tushar, author.

Yer Numarası

ONLINE(355384.1)

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780128013977

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

572.

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

Yazar

Bondi, André B., author.

Yer Numarası

QA76.9.E94 B66 2015

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

573.

Software and System Development using Virtual Platforms Full-System Simulation with Wind River Simics.

Yazar

Aarno, Daniel. Engblom, Jakob.

Yer Numarası

ONLINE(355554.1)

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780128007259

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

574.

Simple statistical methods for software engineering : data and patterns

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

575.

Linear mixed models : a practical guide using statistical software

Yazar

West, Brady T., author. Welch, Kathleen B., author. Ga¿̐ưecki, Andrzej T., author. Gillespie, Brenda W., 1950- author.

Yer Numarası

ONLINE(356486.1)

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

576.

Systems, Software and Services Process Improvement 22nd European Conference, EuroSPI 2015, Ankara, Turkey, September 30 -- October 2, 2015. Proceedings

Yazar

O'Connor, Rory V. editor. Umay Akkaya, Mariye. editor. Kemaneci, Kerem. editor. Yilmaz, Murat. editor. Poth, Alexander. editor.

Yer Numarası

XX(518345.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-24647-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

577.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

578.

Computational Counterpoint Worlds Mathematical Theory, Software, and Experiments

Yazar

Agustín-Aquino, Octavio Alberto. author. Junod, Julien. author. Mazzola, Guerino. author. SpringerLink (Online service)

Yer Numarası

XX(518349.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-11236-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

579.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

580.

Software Sourcing in the Age of Open Leveraging the Unknown Workforce

Yazar

Ågerfalk, Pär J. author. Fitzgerald, Brian. author. Stol, Klaas-Jan. author. SpringerLink (Online service)

Yer Numarası

XX(518404.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-17266-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

581.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

582.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

583.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

584.

Business Modeling and Software Design 4th International Symposium, BMSD 2014, Luxembourg, Luxembourg, June 24-26, 2014, Revised Selected Papers

Yazar

Shishkov, Boris. editor. SpringerLink (Online service)

Yer Numarası

XX(518511.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-20052-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

585.

Information and Software Technologies 21st International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015, Proceedings

Yazar

Dregvaite, Giedre. editor. Damasevicius, Robertas. editor. SpringerLink (Online service)

Yer Numarası

XX(518546.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-24770-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

586.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

587.

Correct Software in Web Applications and Web Services

Yazar

Thalheim, Bernhard. editor. Schewe, Klaus-Dieter. editor. Prinz, Andreas. editor. Buchberger, Bruno. editor. SpringerLink (Online service)

Yer Numarası

XX(518731.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-17112-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

588.

Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

Yazar

Fischer, Bernd. editor. Geldenhuys, Jaco. editor. SpringerLink (Online service)

Yer Numarası

XX(518932.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-23404-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

589.

Software defined mobile networks (SDMN) : Beyond LTE network architecture

Yazar

Liyanage, Madhusanka. Gurtov, Andrei. Ylianttila, Mika.

Yer Numarası

ONLINE

Elektronik Erişim

Wiley Online Library

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

590.

Building Intelligent Information Systems Software : Introducing the Unit Modeler Development Technology

Yazar

Feigenbaum, Thomas D., author

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect https://www.sciencedirect.com/science/book/9780128051016

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

591.

Software Process Improvement and Capability Determination 15th International Conference, SPICE 2015, Gothenburg, Sweden, June 16-17, 2015. Proceedings

Yazar

Rout, Terry. editor. O'Connor, Rory V. editor. Dorling, Alec. editor. SpringerLink (Online service)

Yer Numarası

XX(518535.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-19860-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

592.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

593.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

594.

Model-Integrating Software Components Engineering Flexible Software Systems

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

595.

Sensor Systems and Software 5th International Conference, S-CUBE 2014, Coventry, UK, October 6-7, 2014, Revised Selected Papers

Yazar

Kanjo, Eiman. editor. Trossen, Dirk. editor. SpringerLink (Online service)

Yer Numarası

XX(518620.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-17136-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

596.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

597.

Software Measurement 25th International Workshop on Software Measurement and 10th International Conference on Software Process and Product Measurement, IWSM-Mensura 2015, Kraków, Poland, October 5-7, 2015, Proceedings

Yazar

Kobyliński, Andrzej. editor. Czarnacka-Chrobot, Beata. editor. Świerczek, Jaroslaw. editor. SpringerLink (Online service)

Yer Numarası

XX(518631.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-24285-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

598.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

599.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

600.

Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Yazar

Franke, Björn. editor. SpringerLink (Online service)

Yer Numarası

XX(519059.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-662-46663-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}