Search Results for 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ış:

+

Konu: Computer logic.

Yazar

SpringerLink (Online service)

(101)

Legay, Axel. editor.

(3)

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

(3)

Artho, Cyrille. editor.

(2)

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

(2)

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)

Potapov, Igor. editor.

(2)

Roman, Dumitru. editor.

(2)

Schaefer, Ina. editor.

(2)

Sun, Jun. editor.

(2)

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792

(2)

Zhang, Lijun. editor. (orcid)0000-0002-3692-2088

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

André, Étienne. editor. (orcid)0000-0001-8473-9555

(1)

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

(1)

Avgeriou, Paris. editor.

(1)

Baldan, Paolo. editor.

(1)

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

(1)

Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601

(1)

Bensalem, Saddek. editor.

(1)

Bernardo, Marco. editor.

(1)

Biere, Armin. editor. (orcid)0000-0001-7170-9242

(1)

Bikakis, Antonis. editor.

(1)

Biondi, Fabrizio. editor.

(1)

Bloem, Roderick. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

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

(1)

Bozga, Marius. editor.

(1)

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

(1)

Bulling, Nils. editor.

(1)

Cabot, Jordi. editor.

(1)

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

(1)

Ceccarelli, Andrea. editor.

(1)

Chamberlain, Roger. editor.

(1)

Chang, Bor-Yuh Evan. editor.

(1)

Chauhan, Naresh. editor.

(1)

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

(1)

Cheng, Chih-Hong. editor.

(1)

Ciardo, Gianfranco. editor.

(1)

Cleaveland, Rance. 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)

Dillig, Isil. editor.

(1)

Dingel, Juergen. editor.

(1)

Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457

(1)

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

(1)

Duan, Zhenhua. editor.

(1)

Enea, Constantin. editor.

(1)

Ermolayev, Vadim. 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)

Filiot, Emmanuel. editor.

(1)

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

(1)

Fischbach, Kai. editor.

(1)

Fitzgerald, John. 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)

Fontaine, Pascal. editor.

(1)

Garrigue, Jacques. editor.

(1)

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

(1)

Given-Wilson, Thomas. editor.

(1)

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

(1)

Grosu, Radu. editor. (orcid)0000-0001-5715-2142

(1)

Guan, Nan. editor.

(1)

Guo, Hai-Feng. editor.

(1)

Gupta, Gopal. editor.

(1)

Haar, Stefan. editor. (orcid)0000-0002-1892-2703

(1)

Haddad, Serge. editor.

(1)

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

(1)

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

(1)

Heisel, Maritta. editor.

(1)

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

(1)

Herzig, Andreas. editor. (orcid)0000-0003-0833-2782

(1)

Hoda, M. N. editor.

(1)

Hofman, Piotrek. editor.

(1)

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

(1)

Horváth, András. editor.

(1)

Huisman, Marieke. editor.

(1)

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

(1)

Iida, Shusaku. editor.

(1)

Insfran, Emilio. editor.

(1)

Jamroga, Wojtek. editor.

(1)

Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X

(1)

Johnsen, Einar Broch. editor.

(1)

Jones, Cliff. editor.

(1)

Joosen, Wouter. editor.

(1)

Jungers, Raphaël. editor.

(1)

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

(1)

Katsaros, Panagiotis. editor.

(1)

Keller, Chantal. editor.

(1)

Khan, Md. Aquil. editor.

(1)

Kindler, Ekkart. editor.

(1)

Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X

(1)

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

(1)

Koutny, Maciej. editor.

(1)

Krieger, Udo R. editor.

(1)

Kroening, Daniel. editor.

(1)

Kühn, Eva. editor.

(1)

Lakhnech, Yassine. editor.

(1)

Lang, Frédéric. editor.

(1)

Larsen, Peter Gorm. editor.

(1)

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

(1)

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

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

Lutz, Carsten. editor.

(1)

Lynce, Inês. editor. (orcid)0000-0003-4868-415X

(1)

López, Javier. editor.

(1)

Manuel, Amaldev. editor.

(1)

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

(1)

Martinelli, Fabio. editor.

(1)

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

(1)

Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091

(1)

McCrickard, D. Scott, 1970-

(1)

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

(1)

McMillan, Kenneth. 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)

Mussbacher, Gunter. editor.

(1)

Müller-Olm, Markus. editor.

(1)

Nikitchenko, Mykola. editor. (orcid)0000-0002-4078-1062

(1)

Núñez, Manuel. editor.

(1)

Ogata, Kazuhiro. editor.

(1)

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

(1)

Ouaknine, Joel. editor.

(1)

Ouyang, Chun. editor.

(1)

Palamidessi, Catuscia. editor.

(1)

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

(1)

Parker, David. editor. (orcid)0000-0003-4137-8862

(1)

Petre, Luigia. editor.

(1)

Pihlajasaari, Pekka. editor.

(1)

Piskac, Ruzica. editor.

(1)

Poole, Stephen. editor.

(1)

Popescu, Andrei. editor. (orcid)0000-0001-8747-0619

(1)

Pugliese, Rosario. editor.

(1)

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

(1)

Quadri, S. M. K. editor.

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

Rival, Xavier. editor.

(1)

Rubin, Julia. editor.

(1)

Rybalchenko, Andrey. editor.

(1)

Salaün, Gwen. editor.

(1)

Salinesi, Camille. editor.

(1)

Sampaio, Augusto. editor.

(1)

Sattler, Uli. 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)

Skrzypczak, Michał. editor.

(1)

Smith, Graeme. editor.

(1)

Smolka, Scott A. editor.

(1)

Sokolsky, Oleg. editor. (orcid)0000-0001-5282-0658

(1)

Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133

(1)

Srivastava, Praveen Ranjan. editor.

(1)

Stamelos, Ioannis. editor.

(1)

Stoelinga, Mariëlle. editor.

(1)

Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165

(1)

Stuckey, Peter J. editor.

(1)

Sumii, Eijiro. editor.

(1)

Taha, Walid. editor. (orcid)0000-0003-3160-9188

(1)

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

(1)

Tasiran, Serdar. editor.

(1)

Thachuk, Chris. editor.

(1)

Tillmann, Nikolai. editor.

(1)

Tinelli, Cesare. editor.

(1)

Tümünü genişlet

Dil

(102)

Yayın Yılı

-

(59)

(42)

(1)

Konu

Software engineering.

(96)

Programming languages (Electronic computers).

(49)

Mathematical logic.

(32)

Artificial intelligence.

(29)

(21)

(15)

Computer programming.

(12)

Computer communication systems.

(10)

Computer system failures.

(10)

Computer science.

(9)

Computer simulation.

(8)

Application software.

(7)

Management information systems.

(7)

Computer organization.

(6)

Computer science—Mathematics.

(6)

Special purpose computers.

(3)

Architecture, Computer.

(2)

Computer security.

(2)

Database management.

(2)

Mathematical statistics.

(2)

Microprogramming .

(2)

Natural language processing (Computer science).

(2)

(1)

Computer engineering.

(1)

Computer hardware.

(1)

Data encryption (Computer science).

(1)

Data structures (Computer science).

(1)

Education—Data processing.

(1)

Electronic circuits.

(1)

Human-computer interaction.

(1)

(1)

Information storage and retrieval.

(1)

Information theory.

(1)

(1)

User interfaces (Computer systems).

(1)

User-centered system design.

(1)

(1)

creative design

(1)

design rationale

(1)

(1)

knowledge capture

(1)

(1)

(1)

usability engineering

(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

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

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:

38.

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:

39.

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:

40.

Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings için kapak resmi

Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

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:

42.

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings için kapak resmi

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings

Yazar

Flatt, Matthew. editor. Guo, Hai-Feng. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

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:

44.

Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings için kapak resmi

Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings

Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings

Yazar

Bondavalli, Andrea. editor. Ceccarelli, Andrea. editor. Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers için kapak resmi

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

Yazar

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings için kapak resmi

Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

Yazar

Garrigue, Jacques. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers için kapak resmi

Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

Yazar

Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 Ouyang, Chun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings için kapak resmi

Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

Yazar

Lang, Frédéric. editor. Flammini, Francesco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

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