Search Results for Computer programming.

1.

Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Yazar

Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Automatic Quantum Computer Programming A Genetic Programming Approach

Yazar

Spector, Lee. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

Yazar

Nejati, Shiva. editor. Gay, Gregory. editor. (orcid)0000-0001-6794-9585 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers

Yazar

Zincir-Heywood, Nur. editor. Bonfante, Guillaume. editor. Debbabi, Mourad. editor. (orcid)0000-0003-3015-3043 Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings

Yazar

Peng, Xin. editor. Ampatzoglou, Apostolos. editor. Bhowmik, Tanmay. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

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

Yazar

Malizia, Alessio. editor. Valtolina, Stefano. editor. Morch, Anders. editor. Serrano, Alan. editor. Stratton, Andrew. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

Yazar

Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709 Sherratt, Edel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Quality of Information and Communications Technology 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings

Yazar

Piattini, Mario. editor. (orcid)0000-0002-7212-8279 Rupino da Cunha, Paulo. editor. (orcid)0000-0003-2701-5248 García Rodríguez de Guzmán, Ignacio. editor. (orcid)0000-0002-0038-0942 Pérez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

Yazar

Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

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:

11.

Programlama ve veritabanı mantığı

Yazar

Çamoğlu, Kadir

Yer Numarası

QA76.755 C36 2016

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

12.

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

Yazar

Bruegge, Bernd. Dutoit, Allen H.

Yer Numarası

QA76.758 B785 2014

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

13.

Programming Languages and Operational Semantics A Concise Overview

Yazar

Fernández, Maribel. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Models@run.time Foundations, Applications, and Roadmaps

Yazar

Bencomo, Nelly. editor. France, Robert B. editor. Cheng, Betty H.C. editor. Aßmann, Uwe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings

Yazar

Seidl, Martina. editor. Tillmann, Nikolai. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

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:

17.

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:

18.

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:

19.

A Beginner's Guide to Scala, Object Orientation and Functional Programming

Yazar

Hunt, John. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Yazar

Cassez, Franck. editor. Raskin, Jean-Francois. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

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

Yazar

Quintao Pereira, Fernando Magno. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Yazar

Shao, Zhong. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54833-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Yazar

Gupta, Gopal. editor. Peña, Ricardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings

Yazar

Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Yazar

Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings

Yazar

Chatterjee, Mainak. editor. Cao, Jian-nong. editor. Kothapalli, Kishore. editor. Rajsbaum, Sergio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-45249-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

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:

28.

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

Yazar

Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings

Yazar

Jones, Richard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-44202-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers

Yazar

Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 Dix, Jürgen. editor. van Riemsdijk, M. Birna. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

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

Yazar

Fischbach, Kai. editor. Krieger, Udo R. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

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:

33.

Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday

Yazar

Agha, Gul. editor. Igarashi, Atsushi. editor. Kobayashi, Naoki. editor. Masuhara, Hidehiko. editor. Matsuoka, Satoshi. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-44471-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

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:

35.

Introduction to Software Quality

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Software engineering : the current practices

Yazar

Rajlich, Vaclav.

Yer Numarası

QA76.758 R36 2012

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

37.

Object-oriented software engineering

Yazar

Schach, Stephen R.

Yer Numarası

QA 76.758 S3 2008

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

38.

Software engineering Barry W. Boehm's lifetime contributions to software development, management, and research

Yazar

Selby, Richard W.

Yer Numarası

ONLINE

Elektronik Erişim

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989528
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989528

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Software management

Yazar

Reifer, Donald J.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Software design for engineers and scientists

Yazar

Robinson, John A. (John Allen), 1958-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Software engineering and computer games

Yazar

Rucker, Rudy v. B. (Rudy von Bitter), 1946-

Yer Numarası

QA76.758 R83 2003

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

42.

Object oriented software technologies in telecommunications from theory to practice

Yazar

Venieris, Iakovos. Zizza, Fabrizio. Magedanz, Thomas. John Wiley & Sons.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}