Search Results for 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: Computer logic.

Yazar

SpringerLink (Online service)

(81)

Bondavalli, Andrea. editor.

(2)

Giannakopoulou, Dimitra. editor.

(2)

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

(2)

Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142

(2)

Peña, Ricardo. editor.

(2)

Roman, Dumitru. editor.

(2)

Schaefer, Ina. editor.

(2)

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

(2)

Sun, Jun. editor.

(2)

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

(2)

Abraham, Erika. editor.

(1)

Abrahao, Silvia. editor.

(1)

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

(1)

Albert, Elvira. editor.

(1)

Amyot, Daniel. editor.

(1)

Artho, Cyrille. editor.

(1)

Aslansefat, Koorosh. editor. (orcid)0000-0001-9318-8177

(1)

Avgeriou, Paris. editor.

(1)

Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054

(1)

Bensalem, Saddek. editor.

(1)

Bernardo, Marco. editor.

(1)

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

(1)

Bikakis, Antonis. editor.

(1)

Bjørner, Nikolaj. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

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

(1)

Bozzano, Marco. editor. (orcid)0000-0002-4135-103X

(1)

Cabot, Jordi. editor.

(1)

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834

(1)

Calvanese, Diego. editor. (orcid)0000-0001-5174-9693

(1)

Cariani, Fabrizio. editor.

(1)

Ceccarelli, Andrea. editor.

(1)

Chang, Bor-Yuh Evan. editor.

(1)

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

(1)

Cheng, Chih-Hong. editor.

(1)

Ciardo, Gianfranco. editor.

(1)

Ciobanu, Gabriel. editor.

(1)

Codish, Michael. editor.

(1)

Cohen, Ernie. editor.

(1)

Corradini, Flavio. editor.

(1)

Counsell, Steve. editor.

(1)

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X

(1)

Damiani, Ferruccio. editor.

(1)

Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299

(1)

Di Ruscio, Davide. editor.

(1)

Dingel, Juergen. editor.

(1)

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

(1)

Duan, Zhenhua. editor.

(1)

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

(1)

Esparza, Javier. editor.

(1)

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

(1)

Fernández, Maribel. author.

(1)

Fiadeiro, José Luiz. editor.

(1)

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

(1)

Fischbach, Kai. editor.

(1)

Flammini, Francesco. editor.

(1)

Flatt, Matthew. editor.

(1)

Fodor, Paul. editor.

(1)

Fodor, Paul. editor. (orcid)0000-0002-2978-676X

(1)

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

(1)

Garrigue, Jacques. editor.

(1)

Gaston, Christophe. editor. (orcid)0000-0001-6865-5108

(1)

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

(1)

Grossi, Davide. editor.

(1)

Guan, Nan. editor.

(1)

Guo, Hai-Feng. editor.

(1)

Gupta, Gopal. editor.

(1)

Guttman, Joshua D. 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)

Horváth, András. editor.

(1)

Hutton, Graham. editor. (orcid)0000-0001-9584-5150

(1)

Insfran, Emilio. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Jones, Cliff. editor.

(1)

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926

(1)

Katsaros, Panagiotis. editor.

(1)

Keller, Chantal. editor.

(1)

Kindler, Ekkart. editor.

(1)

Klein, Gerwin. author.

(1)

Knight, William. author.

(1)

Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813

(1)

Krieger, Udo R. editor.

(1)

Kroening, Daniel. editor.

(1)

Kühn, Eva. editor.

(1)

Lakhnech, Yassine. editor.

(1)

Landwehr, Carl E. editor.

(1)

Lang, Frédéric. editor.

(1)

Le Gall, Pascale. editor. (orcid)0000-0002-8955-6835

(1)

Legay, Axel. editor.

(1)

Leone, Nicola. editor.

(1)

Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X

(1)

Lifschitz, Vladimir. author.

(1)

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

(1)

Liu, Shaoying. editor.

(1)

Liu, Yan. editor.

(1)

Liu, Zhiming. editor.

(1)

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

(1)

Majkić, Zoran. author.

(1)

Manna, Marco. editor. (orcid)0000-0003-3323-9328

(1)

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

(1)

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

(1)

McCarthy, Jay. editor.

(1)

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

(1)

Meheus, Joke. editor.

(1)

Merayo, Mercedes G. editor.

(1)

Meseguer, José. editor.

(1)

Mesnard, Fred. editor.

(1)

Montali, Marco. editor. (orcid)0000-0002-8021-3430

(1)

Montes de Oca, Edgardo. editor.

(1)

Muscholl, Anca. editor.

(1)

Mussbacher, Gunter. editor.

(1)

Méry, Dominique. editor. (orcid)0000-0001-5231-6611

(1)

Müller-Olm, Markus. editor.

(1)

Nipkow, Tobias. author.

(1)

Núñez, Manuel. editor.

(1)

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

(1)

Ouyang, Chun. editor.

(1)

Palamidessi, Catuscia. editor.

(1)

Papadopoulos, Yiannis. editor. (orcid)0000-0001-7007-5153

(1)

Parent, Xavier. editor.

(1)

Pavlovic, Dusko. editor.

(1)

Petre, Luigia. editor.

(1)

Pihlajasaari, Pekka. editor.

(1)

Poole, Stephen. editor.

(1)

Pugliese, Rosario. editor.

(1)

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

(1)

Ramos, Isidro. editor.

(1)

Rauzy, Antoine. editor.

(1)

Remke, Anne. editor.

(1)

Rensink, Arend. editor.

(1)

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

(1)

Rubin, Julia. editor.

(1)

Rybalchenko, Andrey. editor.

(1)

Salaün, Gwen. editor.

(1)

Salinesi, Camille. editor.

(1)

Sampaio, Augusto. editor.

(1)

Schulte, Wolfram. editor.

(1)

Seidl, Helmut. editor.

(1)

Seidl, Martina. editor.

(1)

Sekerinski, Emil. editor.

(1)

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

(1)

Shamis, Pavel. editor.

(1)

Shao, Zhong. editor.

(1)

Silva, Josep. editor.

(1)

Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623

(1)

Smith, Graeme. editor.

(1)

Smolka, Scott A. editor.

(1)

Stamelos, Ioannis. editor.

(1)

Stoelinga, Mariëlle. editor.

(1)

Stuckey, Peter J. editor.

(1)

Sumii, Eijiro. editor.

(1)

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

(1)

Thachuk, Chris. editor.

(1)

Tillmann, Nikolai. editor.

(1)

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

(1)

Varró, Dániel. editor.

(1)

Virbitskaite, Irina. editor.

(1)

Voronkov, Andrei. editor.

(1)

Vrajitoru, Dana. author.

(1)

Wolter, Katinka. editor.

(1)

Woltran, Stefan. editor. (orcid)0000-0003-1594-8972

(1)

Xue, Jinyun. editor.

(1)

Yahav, Eran. editor.

(1)

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

(1)

van de Weerd, Inge. editor.

(1)

Ábrahám, Erika. editor.

(1)

Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721

(1)

Tümünü genişlet

Dil

(81)

Yayın Yılı

-

(54)

(27)

Konu

Software engineering.

(64)

Programming languages (Electronic computers).

(58)

Mathematical logic.

(23)

Artificial intelligence.

(20)

Computer programming.

(18)

(12)

(12)

Computer science.

(10)

Computer communication systems.

(9)

Computer organization.

(7)

Computer science—Mathematics.

(6)

Application software.

(5)

Management information systems.

(5)

Computer simulation.

(4)

Computer system failures.

(4)

Database management.

(2)

Mathematical statistics.

(2)

Microprogramming .

(2)

Special purpose computers.

(2)

Architecture, Computer.

(1)

Computer security.

(1)

Computers and civilization.

(1)

Data protection.

(1)

Natural language processing (Computer science).

(1)

User interfaces (Computer systems).

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik Kütüphane

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

81 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 7

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.

Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings için kapak resmi

Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings

Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings

Yazar

Papadopoulos, Yiannis. editor. (orcid)0000-0001-7007-5153 Aslansefat, Koorosh. editor. (orcid)0000-0001-9318-8177 Katsaros, Panagiotis. editor. Bozzano, Marco. editor. (orcid)0000-0002-4135-103X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings için kapak resmi

Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

Yazar

Fodor, Paul. editor. (orcid)0000-0002-2978-676X Montali, Marco. editor. (orcid)0000-0002-8021-3430 Calvanese, Diego. editor. (orcid)0000-0001-5174-9693 Roman, Dumitru. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings için kapak resmi

Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings

Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings

Yazar

Horváth, András. editor. Wolter, Katinka. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers için kapak resmi

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Yazar

Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings için kapak resmi

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Yazar

Jones, Cliff. editor. Pihlajasaari, Pekka. editor. Sun, Jun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Computer Safety, Reliability, and Security 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings için kapak resmi

Computer Safety, Reliability, and Security 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings

Computer Safety, Reliability, and Security 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings

Yazar

Bondavalli, Andrea. editor. Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings için kapak resmi

Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings

Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings

Yazar

Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

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

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

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:

9.

Rules on the Web: From Theory to Applications 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings için kapak resmi

Rules on the Web: From Theory to Applications 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings

Rules on the Web: From Theory to Applications 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings

Yazar

Bikakis, Antonis. editor. Fodor, Paul. editor. Roman, Dumitru. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

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:

11.

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:

12.

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

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11