Search Results for Computers -- Programming.

|

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ış:

+

Konu: Software engineering.

Yazar

SpringerLink (Online service)

(85)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(3)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(3)

Badger, Julia M. editor.

(2)

Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736

(2)

Giannakopoulou, Dimitra. editor.

(2)

Salaün, Gwen. editor.

(2)

Schaefer, Ina. editor.

(2)

Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281

(2)

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367

(2)

Abraham, Erika. editor.

(1)

Abrahao, Silvia. editor.

(1)

Agha, Gul. editor.

(1)

Agrawal, Arun Prakash, editor.

(1)

Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555

(1)

Albert, Elvira. editor.

(1)

Amyot, Daniel. editor.

(1)

Artho, Cyrille. editor.

(1)

Avgeriou, Paris. editor.

(1)

Barais, Olivier. editor.

(1)

Barnes, John. author.

(1)

Bensalem, Saddek. editor.

(1)

Bernardo, Marco. editor.

(1)

Beuzen, Tomas, author.

(1)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(1)

Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701

(1)

Bodden, Eric. editor.

(1)

Boehme, David. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

Bonfante, Guillaume. editor.

(1)

Boreale, Michele. editor. (orcid)0000-0002-1972-7491

(1)

Bosschere, Koen. editor.

(1)

Brukardt, Randall L. editor.

(1)

Cabot, Jordi. editor.

(1)

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

(1)

Cassez, Franck. editor.

(1)

Chang, Bor-Yuh Evan. editor.

(1)

Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336

(1)

Cheng, Chih-Hong. editor.

(1)

Chevers, Delroy A., author.

(1)

Chiba, Shigeru. editor.

(1)

Ciardo, Gianfranco. editor.

(1)

Clarke, Dave. editor.

(1)

Codish, Michael. editor.

(1)

Cohen, Albert. editor.

(1)

Cohen, Ernie. editor.

(1)

Collart-Dutilleul, Simon. editor.

(1)

Combemale, Benoit. editor.

(1)

Cooper, Kendra M. L., editor.

(1)

Cordeiro, José. editor.

(1)

Corradini, Flavio. editor.

(1)

Counsell, Steve. editor.

(1)

Damiani, Ferruccio. editor.

(1)

De Gyurky, Szabolcs Michael.

(1)

Debbabi, Mourad. editor. (orcid)0000-0003-3015-3043

(1)

Di Ruscio, Davide. editor.

(1)

Dillig, Isil. editor.

(1)

Dingel, Juergen. editor.

(1)

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507

(1)

Duan, Zhenhua. editor.

(1)

Duff, Robert A. editor.

(1)

Esparza, Javier. editor.

(1)

Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667

(1)

Fernández, Maribel. author.

(1)

Fidanboy, Cemalettin Öcal, author.

(1)

Fidanboy, Mahsa, author.

(1)

Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441

(1)

Fischbach, Kai. editor.

(1)

Flammini, Francesco. editor.

(1)

Franch, Xavier. editor. (orcid)0000-0001-9733-8830

(1)

Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393

(1)

Garrigue, Jacques. editor.

(1)

Gay, Gregory. editor. (orcid)0000-0001-6794-9585

(1)

George, Laurent. editor.

(1)

Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421

(1)

Goedicke, Michael. editor.

(1)

Graf, Susanne. editor.

(1)

Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613

(1)

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472

(1)

Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951

(1)

Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750

(1)

Hunt, John. author.

(1)

Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613

(1)

Igarashi, Atsushi. editor.

(1)

Insfran, Emilio. editor.

(1)

Jain, Vishal, 1983- editor.

(1)

Jhala, Ranjit. editor.

(1)

John Wiley & Sons.

(1)

Johnsen, Einar Broch. editor.

(1)

Jones, Richard. editor.

(1)

Keller, Chantal. editor.

(1)

Kienzle, Jörg. editor.

(1)

Kindler, Ekkart. editor.

(1)

Knauss, Eric. editor. (orcid)0000-0002-6631-872X

(1)

Kobayashi, Naoki. editor.

(1)

Kovalev, Mikhail. author.

(1)

Krieger, Udo R. editor.

(1)

Kroening, Daniel. editor.

(1)

Kumar, Santosh, author.

(1)

Lakhnech, Yassine. editor.

(1)

(1)

Lang, Frédéric. editor.

(1)

Larsen, Kim G. editor.

(1)

Larsen, Kim Guldstrand. editor.

(1)

Le Goues, Claire. editor.

(1)

Lecomte, Thierry. editor.

(1)

Legay, Axel. editor.

(1)

Leroy, Pascal. editor.

(1)

Levine, Joshua A. editor.

(1)

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

(1)

Liu, Shaoying. editor.

(1)

Loreti, Michele. editor. (orcid)0000-0003-3061-863X

(1)

Malizia, Alessio. editor.

(1)

Malony, Allen D. editor.

(1)

Malvestio, Mauro, author.

(1)

Maoz, Shahar. editor.

(1)

Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042

(1)

Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X

(1)

Massink, Mieke. editor. (orcid)0000-0001-5089-002X

(1)

Masuhara, Hidehiko. editor.

(1)

Matsuoka, Satoshi. editor.

(1)

McIver, Annabelle. editor. (orcid)0000-0002-2405-9838

(1)

Merayo, Mercedes G. editor.

(1)

Merz, Stephan. editor.

(1)

Mesnard, Fred. editor.

(1)

Montes de Oca, Edgardo. editor.

(1)

Morch, Anders. editor.

(1)

Mussbacher, Gunter. editor.

(1)

Männistö, Tomi. editor. (orcid)0000-0001-7470-5183

(1)

Müller, Silvia M. author.

(1)

Müller-Olm, Markus. editor.

(1)

Nand, Parma (Computer scientist), editor.

(1)

Nejati, Shiva. editor.

(1)

Nitin, Rakesh, editor.

(1)

Noble, James. editor.

(1)

Núñez, Manuel. editor.

(1)

Oliveira, José N. editor. (orcid)0000-0002-0196-4229

(1)

Ouyang, Chun. editor.

(1)

Pang, Jun. editor.

(1)

Parreiras, Fernando Silva.

(1)

Paul, Wolfgang J. author.

(1)

Pearce, David. editor.

(1)

Petre, Luigia. editor.

(1)

Ploedereder, Erhard. editor.

(1)

Poole, Stephen. editor.

(1)

Pugliese, Rosario. editor. (orcid)0000-0002-1419-1405

(1)

Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180

(1)

Quintao Pereira, Fernando Magno. editor.

(1)

Ramos, Isidro. editor.

(1)

Raskin, Jean-Francois. editor.

(1)

Remke, Anne. editor.

(1)

Rensink, Arend. editor.

(1)

Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872

(1)

Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580

(1)

Robillard, Martin P. author.

(1)

Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331

(1)

Rozier, Kristin Yvonne. editor.

(1)

Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828

(1)

Rubin, Julia. editor.

(1)

Rybalchenko, Andrey. editor.

(1)

Sampaio, Augusto. editor.

(1)

Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709

(1)

Schneidewind, Norman.

(1)

Schonberg, Edmond. editor.

(1)

Schulte, Wolfram. editor.

(1)

Schulz, Martin. editor.

(1)

Scutari, Marco, author.

(1)

Seidl, Helmut. editor.

(1)

Seidl, Martina. editor.

(1)

Sekerinski, Emil. editor.

(1)

Semini, Laura. editor. (orcid)0000-0001-8774-2346

(1)

Serrano, Alan. editor.

(1)

Shamis, Pavel. editor.

(1)

Shao, Zhong. editor.

(1)

Sherratt, Edel. editor.

(1)

Shibayama, Etsuya. editor.

(1)

Smith, Douglas Burr, 1943-

(1)

Smith, Graeme. editor.

(1)

Smolka, Scott A. editor.

(1)

Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696

(1)

Stamelos, Ioannis. editor.

(1)

Stoelinga, Mariëlle. editor.

(1)

Stratton, Andrew. editor.

(1)

Stuckey, Peter J. editor.

(1)

Sumii, Eijiro. editor.

(1)

Summers, Boyd L., author.

(1)

Taft, S. Tucker. editor.

(1)

Tanter, Éric. editor.

(1)

Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748

(1)

Tarbell, Mark A.

(1)

Tasiran, Serdar. editor.

(1)

Taura, Kenjiro. editor.

(1)

Tillmann, Nikolai. editor.

(1)

Timbers, Tiffany-Anne, author.

(1)

Tiwari, Umesh Kumar, author.

(1)

Valtolina, Stefano. editor.

(1)

Vardanega, Tullio. editor.

(1)

Varró, Dániel. editor.

(1)

Vinju, Jurgen. editor.

(1)

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106

(1)

Tümünü genişlet

Dil

(93)

Yayın Yılı

-

(47)

(34)

(4)

(3)

(3)

(2)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Programming languages (Electronic computers).

(81)

Computer logic.

(47)

Computer programming.

(22)

Mathematical logic.

(17)

(15)

Artificial intelligence.

(15)

(15)

Computer communication systems.

(13)

Computer science.

(13)

Computer simulation.

(11)

Operating systems (Computers).

(7)

Computer system failures.

(6)

Computer organization.

(5)

Application software.

(4)

COMPUTERS / Programming / Software Development

(4)

Electronic books.

(4)

Management information systems.

(4)

Operating Systems.

(4)

Programming Languages, Compilers, Interpreters.

(4)

Programming Techniques.

(3)

Special purpose computers.

(3)

Architecture, Computer.

(2)

COMPUTERS -- Programming -- Open Source.

(2)

COMPUTERS -- Software Development & Engineering -- General.

(2)

COMPUTERS -- Software Development & Engineering -- Tools.

(2)

COMPUTERS / Computer Graphics / Game Programming & Design

(2)

COMPUTERS / Computer Science

(2)

COMPUTERS / Information Technology

(2)

COMPUTERS / Programming / Open Source

(2)

COMPUTERS / Software Development & Engineering / General

(2)

COMPUTERS / Software Development & Engineering / Tools

(2)

Computer software -- Quality control.

(2)

(2)

Pattern recognition.

(2)

User interfaces (Computer systems).

(2)

BUSINESS & ECONOMICS / Small Business

(1)

BUSINESS & ECONOMICS / Total Quality Management

(1)

COMPUTERS / Computer Engineering

(1)

COMPUTERS / Data Transmission Systems / General

(1)

COMPUTERS / Machine Theory

(1)

COMPUTERS / Networking / Vendor Specific

(1)

COMPUTERS / Programming / Algorithms

(1)

COMPUTERS / Programming / Quality Assurance & Testing

(1)

COMPUTERS / Programming Languages / Python

(1)

(1)

Component software.

(1)

Computational intelligence.

(1)

Computer engineering.

(1)

Computer hardware.

(1)

Computer networks.

(1)

Computer programming -- Management.

(1)

Computer software -- Development.

(1)

Data protection.

(1)

Electrical engineering.

(1)

(1)

History of Computing.

(1)

Java (Computer program language).

(1)

MATHEMATICS / General

(1)

Machine learning.

(1)

Model-driven software architecture.

(1)

Numerical analysis.

(1)

Python (Computer program language)

(1)

(1)

Six sigma (Quality control standard)

(1)

Small business -- Growth.

(1)

Small business -- Technological innovations.

(1)

Software engineering -- Documentation.

(1)

Statistics -- Data processing.

(1)

TECHNOLOGY / Engineering / General

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik Kütüphane

Taylor Francis E-Kitap Koleksiyonu

Kütüphane

Ç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

97 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 6 .. 9

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.

37.

Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings için kapak resmi

Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Yazar

Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

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

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

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:

39.

Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings için kapak resmi

Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings

Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings

Yazar

Franch, Xavier. editor. (orcid)0000-0001-9733-8830 Männistö, Tomi. editor. (orcid)0000-0001-7470-5183 Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

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

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

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:

41.

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers için kapak resmi

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Yazar

Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Introduction to Software Design with Java için kapak resmi

Introduction to Software Design with Java

Introduction to Software Design with Java

Yazar

Robillard, Martin P. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings için kapak resmi

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

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:

44.

Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings için kapak resmi

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

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:

45.

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings için kapak resmi

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings

Yazar

Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings için kapak resmi

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

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:

47.

System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings için kapak resmi

System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings

System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings

Yazar

Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

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

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

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:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 6 .. 9

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11