Search Results for Software engineering.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

+

Yayın Yılı: 2015

Yazar

SpringerLink (Online service)

(108)

Apduhan, Bernady O. editor.

(5)

Gavrilova, Marina L. editor.

(5)

Gervasi, Osvaldo. editor.

(5)

Misra, Sanjay. editor.

(5)

Murgante, Beniamino. editor.

(5)

Rocha, Ana Maria Alves Coutinho. editor.

(5)

Taniar, David. editor.

(5)

Torre, Carmelo. editor.

(5)

Filipe, Joaquim. editor.

(3)

Rumpe, Bernhard. editor.

(3)

Calinescu, Radu. editor.

(2)

Dastani, Mehdi. editor.

(2)

Elleithy, Khaled. editor.

(2)

Finkbeiner, Bernd. editor.

(2)

Fricker, Samuel A. editor.

(2)

Fujita, Hamido. editor. (orcid)

(2)

Grigori, Daniela. editor.

(2)

Hammoudi, Slimane. editor.

(2)

Kim, Kuinam J. editor.

(2)

Koornneef, Floor. editor.

(2)

Lee, Roger. editor.

(2)

Maciaszek, Leszek A. editor.

(2)

Park, James J. (Jong Hyuk). editor.

(2)

Pires, Luís Ferreira. editor.

(2)

Sobh, Tarek. editor.

(2)

van Gulijk, Coen. editor.

(2)

Abrahamsson, Pekka. editor.

(1)

Adler, Aaron. editor.

(1)

Aedo, Ignacio. editor.

(1)

Alavi, Amir H. editor.

(1)

Ardito, Carmelo. editor.

(1)

Argent, Robert M. editor.

(1)

Aveiro, David. editor.

(1)

Ayuso Muñoz, José Luis. editor.

(1)

Baldoni, Matteo. editor.

(1)

Ballmann, Bastian. author.

(1)

Bansal, Jagdish Chand. editor.

(1)

Baresi, Luciano. editor.

(1)

Barlas, Gerassimos. editor.

(1)

Barros, Alistair. editor.

(1)

Barros, Márcio. editor.

(1)

Bartocci, Ezio. editor.

(1)

Bassiliades, Nick. editor.

(1)

Beklemishev, Lev D. editor.

(1)

Bellatreche, Ladjel. editor.

(1)

Beltrán, Marta. editor.

(1)

Ben Hadj-Alouane, Nejib. editor.

(1)

Benslimane, Djamal. editor.

(1)

Bergsmann, Johannes. editor.

(1)

Bernardo, Marco. editor.

(1)

Bhiri, Sami. editor.

(1)

Bianculli, Domenico. editor.

(1)

Bielova, Nataliia. editor.

(1)

Bieman, James, author.

(1)

Biffl, Stefan. editor.

(1)

Biswal, Bhabendra Narayan. editor.

(1)

Bjørner, Nikolaj. editor.

(1)

Blake, Brian. editor.

(1)

Blanchette, Jasmin Christian. editor.

(1)

Blass, Andreas. editor.

(1)

Boden, Alexander. editor.

(1)

Bondi, André B., author.

(1)

Bordeleau, Francis. editor.

(1)

Botti, Vicente. author.

(1)

Bradley, Jeremy. editor.

(1)

Braga, Christiano. editor.

(1)

Butler, Michael. editor.

(1)

Caballero, Juan. editor.

(1)

Calero, Coral. editor.

(1)

Canal, Carlos. editor.

(1)

Capuz-Rizo, Salvador F. editor.

(1)

Cardoso, Jorge. editor.

(1)

Chaki, Nabendu. editor.

(1)

Chaki, Rituparna. editor.

(1)

Chang, Shi Kuo, 1944- ed.

(1)

Chao, Han-Chieh. editor.

(1)

Chapman, Barbara M. editor.

(1)

Cheng, Betty H.C. editor.

(1)

Choudhury, Sankhayan. editor.

(1)

Combemale, Benoit. editor.

(1)

Conchon, Sylvain. editor.

(1)

Cordeiro, José. editor.

(1)

Corral, Luis. editor.

(1)

Correia, António Dourado. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Crowder, James A. author.

(1)

Dam, Hoa Khanh. editor.

(1)

Das, Kedar Nath. editor.

(1)

De Nicola, Rocco. editor.

(1)

Deep, Kusum. editor.

(1)

Denzer, Ralf. editor.

(1)

Derakhshanmanesh, Mahdi. author.

(1)

Dershowitz, Nachum. editor.

(1)

Desfray, Philippe. editor.

(1)

Dingsøyr, Torgeir. editor.

(1)

Do, Tien Van. editor.

(1)

Dustdar, Schahram. editor.

(1)

Díaz, Paloma. editor.

(1)

Egyed, Alexander. editor.

(1)

El-Fakih, Khaled. editor.

(1)

Fantechi, Alessandro. editor.

(1)

Felderer, Michael. editor.

(1)

Feng, Xinyu. editor.

(1)

Fenton, Norman E., 1956- author.

(1)

Fernandes, João M. editor.

(1)

Filipe, Joaquim. editor. (orcid)0000-0002-5961-6606

(1)

Fischer-Hübner, Simone. editor.

(1)

France, Robert B. editor.

(1)

Friess, Shelli. author.

(1)

Gandomi, Amir H. editor.

(1)

Garcia, Emilia. author.

(1)

Gavras, Anastasius. editor.

(1)

Gen, Mitsuo. editor.

(1)

Giret, Adriana. author.

(1)

Gorentla Venkata, Manjunath. editor.

(1)

Gottlob, Georg. editor.

(1)

Graf, Susanne. editor.

(1)

Gribaudo, Marco. editor.

(1)

Großmann, Jürgen. editor.

(1)

Guizzi, Guido. editor.

(1)

Güdemann, Matthias. editor.

(1)

Hammond, Tracy. editor.

(1)

Havelund, Klaus. editor.

(1)

Hennicker, Rolf. editor.

(1)

Hinchey, Mike. editor.

(1)

Hinze, Ralf. editor.

(1)

Hiroshi, Yabe. editor.

(1)

Holvoet, Tom. editor.

(1)

Holzinger, Andreas. editor.

(1)

Holzmann, Gerard. editor.

(1)

Hsu, Ching-Hsien. editor.

(1)

Huang, Xiaoxia. editor.

(1)

Hölzl, Matthias. editor.

(1)

Hřebíček, Jiří. editor.

(1)

Idani, Akram. editor.

(1)

Imam, Neena. editor.

(1)

Italiano, Giuseppe. editor.

(1)

Jaeger, Dieter. editor.

(1)

Jensen, Carlos. editor.

(1)

Jeong, Hwa Young. editor.

(1)

Jeong, Young-Sik. editor.

(1)

Johannesson, Paul. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Johnson, David Lloyd. editor.

(1)

Joshi, Rajeev. editor.

(1)

Jung, Ranu. editor.

(1)

Jézéquel, Jean-Marc. editor.

(1)

Kirikova, Marite. editor.

(1)

Knottenbelt, William. editor.

(1)

Koch, Nora. editor.

(1)

Kolovos, Dimitris. editor.

(1)

Kosmatov, Nikolai. editor.

(1)

Kravets, Alla. editor.

(1)

Krivine, Jean. editor.

(1)

Kultsova, Marina. editor.

(1)

Kumar S. K., Murali, author.

(1)

Labiche, Yvan. editor.

(1)

Lambrinoudakis, Costas. editor.

(1)

Lanese, Ivan. editor.

(1)

Lassenius, Casper. editor.

(1)

Lauter, Kristin. editor.

(1)

Le Thi, Hoai An. editor.

(1)

Leymann, Frank. editor.

(1)

Li, Xuandong. editor.

(1)

Libourel, Therese. editor.

(1)

Liu, Zhiming. editor.

(1)

Lopez, M. Graham. editor.

(1)

López, Javier. editor.

(1)

Machado, Ricardo J. editor.

(1)

Madani, Kurosh. editor.

(1)

Madelaine, Eric. editor.

(1)

Majumdar, Rupak. editor.

(1)

Mandal, J. K. editor.

(1)

Manini, Daniele. editor.

(1)

Manolopoulos, Yannis. editor.

(1)

Margaria-Steffen, Tiziana. editor.

(1)

Martí-Oliet, Narciso. editor.

(1)

Mayer, Philip. editor.

(1)

Mendling, Jan. editor.

(1)

Menzies, Tim, author.

(1)

Meyer, Bertrand. editor.

(1)

Mirandola, Raffaela. editor.

(1)

Mishra, Amit Kumar. editor.

(1)

Müller, Matthias S. editor.

(1)

Nagar, Atulya. editor.

(1)

Nambiar, Raghunath. editor.

(1)

Narendra, Nanjangud C. editor.

(1)

Natarajan, R. editor.

(1)

Nguyen, Ngoc Thanh. editor.

(1)

Nordio, Martin. editor.

(1)

Nurcan, Selmin. editor.

(1)

Núñez, Manuel. editor.

(1)

O'Regan, Gerard. author.

(1)

Oivo, Markku. editor.

(1)

Oplatkova, Zuzana Kominkova. editor.

(1)

Paasivaara, Maria. editor.

(1)

Padmanaban, Rajini, author.

(1)

Pandian, C. Ravindranath, author.

(1)

Pant, Millie. editor.

(1)

Tümünü genişlet

Dil

(116)

Konu

Computational intelligence.

(9)

Artificial intelligence.

(8)

Software engineering.

(8)

Communications Engineering, Networks.

(5)

Telecommunication.

(5)

Signal processing.

(4)

Signal, Speech and Image Processing.

(4)

Computer Communication Networks.

(2)

Computer Engineering and Networks.

(2)

Computer engineering.

(2)

Computer networks .

(2)

Electronic Circuits and Systems.

(2)

Electronic circuits.

(2)

Electronics and Microelectronics, Instrumentation.

(2)

(2)

Science, Technology and Society.

(2)

Technology -- Sociological aspects.

(2)

(1)

Bilgisayar yazılımları -- Onaylama.

(1)

Bilgisyar sistemleri -- Değerlendirme.

(1)

Bilgisyar sistemleri -- Güvenirlik.

(1)

Business enterprises -- Computer networks -- Design and construction.

(1)

BİLGİ SUNUMU (BİLGİ KURAMI) -- EL KİTAPLARI V.B.

(1)

Compilers (Computer programs).

(1)

Compilers and Interpreters.

(1)

Computer architecture.

(1)

Computer science.

(1)

Computer software -- Evaluation.

(1)

Computer software -- Testing -- Data processing.

(1)

Computer software -- Validation.

(1)

Computer systems -- Design and construction.

(1)

Computer systems -- Evaluation.

(1)

Computer systems -- Reliability.

(1)

Data and Information Security.

(1)

Data protection.

(1)

Data structures (Computer science)

(1)

Economic Development, Innovation and Growth.

(1)

Economic development.

(1)

Education, Higher.

(1)

Electronic books.

(1)

Electronic data processing -- Distributed processing.

(1)

Electronic data processing -- Management.

(1)

Higher Education.

(1)

(1)

Industrial Management.

(1)

Information Storage and Retrieval.

(1)

Information storage and retrieval systems.

(1)

Innovation and Technology Management.

(1)

Internet research.

(1)

Knowledge representation (Information theory) -- Handbooks, manuals, etc.

(1)

(1)

(1)

Professional and Vocational Education.

(1)

Professional education.

(1)

Project management.

(1)

Renewable Energy.

(1)

Renewable energy sources.

(1)

Security Science and Technology.

(1)

Security systems.

(1)

Software architecture.

(1)

Software engineering -- Handbooks, manuals, etc.

(1)

Software measurement.

(1)

Statistical methods.

(1)

Technological innovations.

(1)

Theory of Computation.

(1)

Vocational education.

(1)

YAZILIM MÜHENDİSLİĞİ -- EL KİTAPALRI V.B.

(1)

Yazılım mühendisliği.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

Elektronik Kütüphane

Kütüphane

Beytepe Kütüphanesi

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

116 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 3 4 5 6 7 .. 10

000000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

One or more items could not be added because you are not logged in.

1.

Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday için kapak resmi

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

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

Yazar

Beklemishev, Lev D. editor. Blass, Andreas. editor. Dershowitz, Nachum. editor. Finkbeiner, Bernd. editor. Schulte, Wolfram. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings için kapak resmi

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

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

Yazar

Krivine, Jean. editor. Stefani, Jean-Bernard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

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

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

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

Yazar

Pontelli, Enrico. editor. Son, Tran Cao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

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

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

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

Yazar

Núñez, Manuel. editor. Güdemann, Matthias. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

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

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

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

Yazar

Holvoet, Tom. editor. Viroli, Mirko. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

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

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

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

Yazar

Kolovos, Dimitris. editor. Wimmer, Manuel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

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 için kapak resmi

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

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings için kapak resmi

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

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ı

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

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

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

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

Yazar

Koornneef, Floor. editor. van Gulijk, Coen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings için kapak resmi

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

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

Yazar

Bjørner, Nikolaj. editor. de Boer, Frank. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Service-Oriented Computing 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings için kapak resmi

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

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

Yazar

Barros, Alistair. editor. Grigori, Daniela. editor. Narendra, Nanjangud C. editor. Dam, Hoa Khanh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-48616-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

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

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

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

Yazar

Taentzer, Gabriele. editor. Bordeleau, Francis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 3 4 5 6 7 .. 10

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11