Search Results for Science: general issues.

|

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)

(163)

Apduhan, Bernady O. editor.

(17)

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X

(17)

Misra, Sanjay. editor. (orcid)0000-0002-3556-9331

(17)

Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959

(17)

Torre, Carmelo. editor. (orcid)0000-0003-4737-6040

(12)

Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886

(11)

Stankova, Elena. editor. (orcid)0000-0003-2625-452X

(11)

Taniar, David. editor. (orcid)0000-0002-8862-3960

(11)

Tarantino, Eufemia. editor. (orcid)0000-0002-2468-0771

(11)

Cheng, Long. editor. (orcid)0000-0001-7565-8788

(7)

Leung, Andrew Chi Sing. editor.

(7)

Ozawa, Seiichi. editor.

(7)

Falcão, Maria Irene. editor.

(6)

Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194

(6)

Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886

(6)

Rocha, Jorge Gustavo. editor.

(6)

Taniar, David. editor.

(6)

Rozenberg, Grzegorz. editor.

(5)

Ryu, Yeonseung. editor. (orcid)0000-0002-8431-073X

(5)

Salomaa, Arto. editor.

(5)

Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040

(5)

Margaria, Tiziana. editor.

(4)

Ricci, Laura. editor.

(4)

Steffen, Bernhard. editor.

(4)

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

(4)

Alexander, Michael. editor.

(3)

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

(3)

Cannataro, Mario. editor.

(3)

Cirne, Walfredo. editor.

(3)

Costan, Alexandru. editor.

(3)

Desai, Narayan. editor.

(3)

Dillig, Isil. editor.

(3)

Duan, Zhenhua. editor.

(3)

Gheorghe, Marian. editor.

(3)

Huisman, Marieke. editor.

(3)

Jeannot, Emmanuel. editor.

(3)

Karczewski, Konrad. editor.

(3)

Kecskemeti, Gabor. editor.

(3)

Lankes, Stefan. editor.

(3)

Legay, Axel. editor.

(3)

Li, Jin. editor.

(3)

Liu, Shaoying. editor.

(3)

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

(3)

Scarano, Vittorio. editor.

(3)

Scott, Stephen L. editor.

(3)

Vaidya, Jaideep. editor.

(3)

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786

(3)

Benkner, Siegfried. editor.

(2)

Bensalem, Saddek. editor.

(2)

Breitbart, Jens. editor.

(2)

Carretero, Jesus. editor.

(2)

Cascella, Roberto G. editor.

(2)

Chockler, Hana. editor. (orcid)0000-0003-1219-0713

(2)

Deelman, Ewa. editor. (orcid)0000-0001-5106-503X

(2)

Dongarra, Jack. editor. (orcid)0000-0003-3247-1782

(2)

Gallagher, John P. editor. (orcid)0000-0001-6984-7419

(2)

Gracia, José. editor.

(2)

Guo, Hua. editor.

(2)

Hunold, Sascha. editor.

(2)

Juckeland, Guido. editor. (orcid)0000-0002-9935-4428

(2)

Klusáček, Dalibor. editor.

(2)

Koepf, Wolfram. editor.

(2)

Lengauer, Christian. editor.

(2)

Li, Zhiyang. editor.

(2)

Liu, Lei. editor.

(2)

Lopes, Luís. editor.

(2)

Min, Geyong. editor.

(2)

Nagoya, Fumiko. editor.

(2)

Petit, Salvador. editor.

(2)

Potapov, Igor. editor.

(2)

Qu, Wenyu. editor.

(2)

Seiler, Werner M. editor. (orcid)0000-0002-0565-1334

(2)

Stojmenovic, Ivan. editor.

(2)

Sun, Xiang-he. editor.

(2)

Tasiran, Serdar. editor.

(2)

Tian, Cong. editor.

(2)

Verlan, Sergey. editor. (orcid)0000-0001-7800-1618

(2)

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

(2)

Vorozhtsov, Evgenii V. editor.

(2)

Weidendorfer, Josef. editor.

(2)

Weiland, Michèle. editor. (orcid)0000-0003-4713-3073

(2)

Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X

(2)

Wu, Yulei. editor.

(2)

Yang, Tingting. editor.

(2)

Zandron, Claudio. editor. (orcid)0000-0002-2163-7639

(2)

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

(2)

Zhou, Wanlei. editor.

(2)

Žilinskas, Julius. editor.

(2)

Abraham, Erika. editor.

(1)

Alam, Sadaf. editor. (orcid)0000-0002-2534-5078

(1)

Alhazov, Artiom. editor.

(1)

Alvim, Mário S. editor.

(1)

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

(1)

Antonopoulos, Christos. editor.

(1)

Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481

(1)

Avigad, Jeremy. editor.

(1)

Badia, Rosa M. editor.

(1)

Baier, Christel. editor. (orcid)0000-0002-5321-9343

(1)

Baldan, Paolo. editor.

(1)

Barbosa, Jorge G. editor.

(1)

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

(1)

Bellatreche, Ladjel. editor.

(1)

Beyersdorff, Olaf. editor.

(1)

Bhasin, Shivam. editor. (orcid)0000-0002-6903-5127

(1)

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

(1)

Biffl, Stefan. editor.

(1)

Biondi, Fabrizio. editor.

(1)

Birattari, Mauro. editor. (orcid)0000-0003-3309-2194

(1)

Bliudze, Simon. editor. (orcid)0000-0002-7900-5271

(1)

Bloem, Roderick. editor.

(1)

Blum, Christian. editor. (orcid)0000-0002-1736-3559

(1)

Bollen, Peter. editor.

(1)

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

(1)

Bougé, Luc. editor.

(1)

Bozga, Marius. editor.

(1)

Brisaboa, Nieves R. editor. (orcid)0000-0001-8025-3048

(1)

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

(1)

Cao, Jian-nong. editor.

(1)

Catania, Barbara. editor. (orcid)0000-0002-6443-169X

(1)

Ceroni Díaz, Jose A. editor.

(1)

Chatterjee, Mainak. editor.

(1)

Chatzikokolakis, Kostas. editor.

(1)

Cheung, Simon K.S. editor.

(1)

Christensen, Anders L. editor. (orcid)0000-0002-9994-2908

(1)

Ciardo, Gianfranco. editor.

(1)

Ciuciu, Ioana. editor. (orcid)0000-0002-7126-0585

(1)

Clauss, Carsten. editor.

(1)

Cleaveland, Rance. editor.

(1)

Codish, Michael. editor.

(1)

Cohen, Albert. editor.

(1)

Cojocaru, Svetlana. editor.

(1)

Corradini, Flavio. editor.

(1)

Dagienė, Valentina. editor.

(1)

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

(1)

Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847

(1)

Dediu, Adrian-Horia. editor.

(1)

Dennunzio, Alberto. editor. (orcid)0000-0003-1420-404X

(1)

Diniz, Pedro C. editor.

(1)

Diniz, Pedro. editor. (orcid)0000-0003-3131-9367

(1)

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

(1)

Dongarra, Jack. editor.

(1)

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

(1)

Dorigo, Marco. editor. (orcid)0000-0002-3971-0507

(1)

Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X

(1)

El Yacoubi, Samira. editor. (orcid)0000-0002-8017-5286

(1)

Enea, Constantin. editor.

(1)

England, Matthew. editor. (orcid)0000-0001-5729-3420

(1)

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

(1)

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

(1)

Felber, Pascal. editor.

(1)

Filiot, Emmanuel. editor.

(1)

Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829

(1)

Fischer, Bernd. editor. (orcid)0000-0002-1815-218X

(1)

Frati, Fabrizio. editor. (orcid)0000-0001-5987-8713

(1)

Gallardo, María del Mar. editor.

(1)

Ganty, Pierre. editor. (orcid)0000-0002-3625-6003

(1)

Garg, Vijay. editor.

(1)

Gerdt, Vladimir P. editor.

(1)

Giese, Holger. editor.

(1)

Given-Wilson, Thomas. editor.

(1)

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

(1)

Goehringer, Diana. editor.

(1)

Gong, Xiaoli. editor.

(1)

González-Ramírez, Rosa G. editor.

(1)

Graciani, Carmen. editor.

(1)

Graf, Susanne. editor.

(1)

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

(1)

Gupta, Gopal. editor.

(1)

Guédria, Wided. editor.

(1)

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

(1)

Hammond, Simon. editor.

(1)

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

(1)

Heckel, Reiko. editor.

(1)

Heras, Dora B. editor.

(1)

Hinze, Thomas. editor.

(1)

Hochberger, Christian. editor.

(1)

Hofman, Piotrek. editor.

(1)

Hong, Hoon. editor.

(1)

Horvath, Andras. editor. (orcid)0000-0002-8210-545X

(1)

Huang, Tingwen. editor. (orcid)0000-0001-9610-846X

(1)

Huebner, Michael. editor.

(1)

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

(1)

Iida, Shusaku. editor.

(1)

Iliopoulos, Costas. editor.

(1)

Izumi, Taisuke. editor.

(1)

Jagode, Heike. editor. (orcid)0000-0002-8173-9434

(1)

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

(1)

Jansen, David N. editor. (orcid)0000-0002-6636-3301

(1)

Jarvis, Stephen. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Jones, Cliff. editor.

(1)

Jungers, Raphaël. editor.

(1)

Kaufmann, Paul. editor. (orcid)0000-0001-7196-389X

(1)

Kaâniche, Mohamed. editor. (orcid)0000-0002-2647-5472

(1)

Keramidas, Georgios. editor.

(1)

Khan, Md. Aquil. editor.

(1)

Khomenko, Victor. editor.

(1)

Kindler, Ekkart. editor.

(1)

Koch, Andreas. editor.

(1)

Tümünü genişlet

Dil

(163)

Yayın Yılı

-

(69)

(52)

(42)

Konu

Artificial intelligence.

(71)

Computer science.

(55)

Computer logic.

(41)

(34)

(31)

Computer communication systems.

(25)

Programming languages (Electronic computers).

(24)

Computer software.

(23)

(23)

Application software.

(20)

Computer network architectures.

(20)

Mathematical logic.

(20)

Computer system failures.

(17)

Computer vision.

(17)

Computer Communication Networks.

(16)

Computer industry.

(15)

Computer simulation.

(14)

(13)

Computer science—Mathematics.

(12)

Information theory.

(10)

Computer system performance.

(9)

Optical pattern recognition.

(9)

Computer organization.

(8)

Operating systems (Computers).

(8)

Computer hardware.

(7)

Optical data processing.

(7)

Computer programming.

(6)

Computational complexity.

(5)

Computer security.

(5)

Data structures (Computer scienc.

(5)

Data structures (Computer science).

(4)

Architecture, Computer.

(3)

Electronic data processing.

(3)

Management information systems.

(3)

Social sciences -- Data processing.

(3)

Special purpose computers.

(3)

Computer graphics.

(2)

Data encryption (Computer science).

(2)

Database management.

(2)

(2)

Mathematical statistics.

(2)

Natural language processing (Computer science).

(2)

Numerical analysis.

(2)

Pattern recognition.

(2)

(1)

Computers -- Law and legislation.

(1)

Data protection.

(1)

Information storage and retrieval.

(1)

Information systems.

(1)

Memory management (Computer scie.

(1)

Microprocessors.

(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

163 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 10 11 12 13 14

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

157.

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings için kapak resmi

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

Yazar

Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

158.

Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part V için kapak resmi

Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part V

Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part V

Yazar

Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

159.

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings için kapak resmi

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Yazar

Biere, Armin. editor. (orcid)0000-0001-7170-9242 Bloem, Roderick. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

160.

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings için kapak resmi

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings

Yazar

Hong, Hoon. editor. Yap, Chee. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-44199-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

161.

CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings. için kapak resmi

CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.

CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.

Yazar

Baldan, Paolo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-44584-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

162.

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings için kapak resmi

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Yazar

Shao, Zhong. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-54833-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

163.

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers için kapak resmi

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Yazar

Gupta, Gopal. editor. Peña, Ricardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 10 11 12 13 14

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11