Search Results for Programming (Computers)

|

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)

(81)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

(1)

Wiley InterScience (Online service)

(1)

Willemse, Tim. editor. (orcid)0000-0003-3049-7962

(1)

Woeginger, Gerhard. editor.

(1)

Yahav, Eran. editor.

(1)

Yoo, Shin. editor.

(1)

Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557

(1)

Zdun, Uwe. editor. (orcid)0000-0002-6233-2591

(1)

Zincir-Heywood, Nur. editor.

(1)

van Sinderen, Marten. editor.

(1)

van der Aalst, Wil. editor.

(1)

Tümünü genişlet

Dil

(89)

Yayın Yılı

-

(47)

(34)

(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 simulation.

(11)

Computer science.

(9)

Computer system failures.

(6)

Computer organization.

(5)

Application software.

(4)

COMPUTERS / Programming / Software Development

(4)

Electronic books.

(4)

Management information systems.

(4)

Operating systems (Computers).

(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)

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

93 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 6 .. 8

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.

5857.

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday için kapak resmi

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5858.

Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday için kapak resmi

Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

Yazar

Boreale, Michele. editor. (orcid)0000-0002-1972-7491 Corradini, Flavio. editor. Loreti, Michele. editor. (orcid)0000-0003-3061-863X Pugliese, Rosario. editor. (orcid)0000-0002-1419-1405 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5859.

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:

5860.

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings için kapak resmi

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Yazar

Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5861.

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

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

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:

5862.

Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings için kapak resmi

Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings

Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings

Yazar

Knauss, Eric. editor. (orcid)0000-0002-6631-872X Goedicke, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5863.

Programming Languages and Operational Semantics A Concise Overview için kapak resmi

Programming Languages and Operational Semantics A Concise Overview

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:

5864.

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

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

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:

5865.

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:

5866.

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:

5867.

Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings için kapak resmi

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

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:

5868.

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings için kapak resmi

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Yazar

Albert, Elvira. editor. Sekerinski, Emil. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

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 .. 8

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11