Search Results for Software development.

25 sonuç bulundu

0000000000000000000000000DEFAULT_TR

Transactions on Aspect-Oriented Software Development XI

Yazar

Chiba, Shigeru. editor. Tanter, Éric. editor. Bodden, Eric. editor. Maoz, Shahar. editor. Kienzle, Jörg. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Software Developers as Users Semiotic Investigations in Human-Centered Software Development

Yazar

Sieckenius de Souza, Clarisse. author. Fontoura de Gusmão Cerqueira, Renato. author. Marques Afonso, Luiz. author. Rossi de Mello Brandão, Rafael. author. Soares Jansen Ferreira, Juliana. author.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Software engineering : the current practices

Yazar

Rajlich, Vaclav.

Yer Numarası

QA76.758 R36 2012

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Yazar

Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-77382-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Object-Oriented Analysis, Design and Implementation An Integrated Approach

Yazar

Dathan, Brahma. author. Ramnath, Sarnath. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Alice and Bob learn secure coding

Yazar

Janca, Tanya. author.

Yer Numarası

QA76.76 .D47

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277179

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Object-based Programming with Go

Yazar

Maurer, Christian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-658-44704-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers

Yazar

Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Domínguez Mayo, Francisco José. editor. van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353 Maciaszek, Leszek A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Evaluation of Novel Approaches to Software Engineering 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Programming with GitHub Copilot : Write Better Code--Faster!

Yazar

Dowswell, Kurt, author.

Yer Numarası

QA76.76 .D47

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319787

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Practical Java® programming for IoT, AI, and Blockchain

Yazar

Xiao, Perry, author.

Yer Numarası

QA76.73 .J38 X536 2019 EB

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119560050

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Guide to Scientific Computing in C++

Yazar

Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

Yazar

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings

Yazar

Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

Yazar

Cunha, Jácome. editor. Fernandes, João P. editor. Lämmel, Ralf. editor. Saraiva, João. editor. Zaytsev, Vadim. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Yazar

De Nicola, Rocco. editor. Kühn, Eva. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Yazar

Blazy, Sandrine. editor. Chechik, Marsha. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers

Yazar

Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Müller, Jörg P. editor. Nunes, Ingrid. editor. Zalila-Wenkstern, Rym. editor. (orcid)0000-0002-2062-6794 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Yazar

Braga, Christiano. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)