Search Results for USA.

Skip to:Search Results

|

|

|

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

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)

(233)

Stephanidis, Constantine. editor.

(9)

Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853

(8)

Boldyreva, Alexandra. editor.

(6)

Kurosu, Masaaki. editor.

(6)

Albada, Geert Dick. editor.

(5)

Marcus, Aaron. editor.

(5)

Sloot, Peter M. A. editor.

(5)

Wang, Wentao. editor.

(5)

Chapman, Barbara M. editor.

(4)

Antona, Margherita. editor.

(3)

Dillig, Isil. editor.

(3)

Dongarra, Jack. editor.

(3)

Havelund, Klaus. editor.

(3)

Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985

(3)

Palsberg, Jens. editor.

(3)

Paschke, Adrian. editor.

(3)

Salvendy, Gavriel. editor.

(3)

Shacham, Hovav. editor.

(3)

Shumaker, Randall. editor.

(3)

Smith, Michael J. editor.

(3)

Stafford, Judith A. editor.

(3)

Sunderam, Vaidy S. editor.

(3)

Winikoff, Michael. editor.

(3)

Allen, Gabrielle. editor.

(2)

Badger, Julia M. editor.

(2)

Bernstein, Abraham. editor.

(2)

Blomqvist, Eva. editor.

(2)

Broy, Manfred. editor.

(2)

Chen, Jessie Y.C. editor.

(2)

Cirne, Walfredo. editor.

(2)

Crnkovic, Ivica. editor.

(2)

Cudré-Mauroux, Philippe. editor.

(2)

Dastani, Mehdi. editor.

(2)

Desai, Narayan. editor.

(2)

Dongarra, Jack J. editor.

(2)

Du, Ding-Zhu. editor.

(2)

Euzenat, Jérôme. editor.

(2)

Fallah Seghrouchni, Amal. editor.

(2)

Fantinato, Marcelo. editor.

(2)

Fragomeni, Gino. editor.

(2)

Georgakopoulos, Dimitrios. editor.

(2)

Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682

(2)

Governatori, Guido. editor.

(2)

Gray, Jeff. editor.

(2)

Hall, John. editor.

(2)

Hauswirth, Manfred. editor.

(2)

Heflin, Jeff. editor.

(2)

Heineman, George T. editor.

(2)

Hendler, Jim. editor.

(2)

Hinchey, Michael G. editor.

(2)

Hofmeister, Christine. editor.

(2)

Imam, Neena. editor. (orcid)0000-0001-8860-4738

(2)

Joshi, Rajeev. editor.

(2)

Konomi, Shin’ichi. editor.

(2)

Krüger, Ingolf H. editor.

(2)

Logozzo, Francesco. editor.

(2)

Majumdar, Rupak. editor.

(2)

Malony, Allen D. editor.

(2)

Meisinger, Michael. editor.

(2)

Nabrzyski, Jarosław. editor.

(2)

Padget, Julian. editor.

(2)

Parreira, Josiane Xavier. editor.

(2)

Polleres, Axel. editor.

(2)

Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367

(2)

Príncipe, José C. editor.

(2)

Purao, Sandeep. editor.

(2)

Roşu, Grigore. editor.

(2)

Rybalchenko, Andrey. editor.

(2)

Schmidt, Heinz W. editor.

(2)

Schreiber, Guus. editor.

(2)

Seidel, Edward. editor.

(2)

Sirin, Evren. editor.

(2)

Streitz, Norbert. editor. (orcid)0000-0002-0244-0945

(2)

Supinski, Bronis R. editor.

(2)

Tasiran, Serdar. editor.

(2)

Tudorache, Tania. editor.

(2)

Aderholdt, Ferrol. editor. (orcid)0000-0002-4208-6493

(1)

Ahn, Gail-Joon. editor.

(1)

Ahram, Tareq. editor.

(1)

Aiello, Marco. editor.

(1)

Akyildiz, Ian F. editor.

(1)

Allbeck, Jan. editor.

(1)

Ampatzoglou, Apostolos. editor.

(1)

Artikis, Alexander. editor.

(1)

Bacon, Jean M. editor.

(1)

Badler, Norman. editor.

(1)

Baggili, Ibrahim. editor. (orcid)0000-0002-9574-9537

(1)

Baldoni, Matteo. editor.

(1)

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

(1)

Ball, Thomas. editor.

(1)

Barker, Steve. editor.

(1)

Bartocci, Ezio. editor.

(1)

Bassiliades, Nick. editor.

(1)

Bebis, George. editor.

(1)

Benatallah, Boualem. editor.

(1)

Benos, Takis. editor.

(1)

Beringer, Lennart. editor.

(1)

Bertino, Elisa. editor. (orcid)0000-0002-4029-7051

(1)

Bestavros, Azer. editor.

(1)

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

(1)

Bhowmik, Tanmay. editor.

(1)

Bickmore, Timothy. editor.

(1)

Bisgin, Halil. editor.

(1)

Bobaru, Mihaela. editor.

(1)

Boehme, David. editor.

(1)

Boisvert, Ronald F. editor.

(1)

Boldyreff, Cornelia. editor.

(1)

Bonacina, Maria Paola. editor.

(1)

Bordini, Rafael H. editor.

(1)

Brand, Mark. editor.

(1)

Brat, Guillaume. editor.

(1)

Bravetti, Mario. editor.

(1)

Breitinger, Frank. editor. (orcid)0000-0001-5261-4600

(1)

Bultan, Tevfik. editor.

(1)

Burmester, Mike. editor.

(1)

Butler, Michael. editor.

(1)

Cabeza, Daniel. editor.

(1)

Cai, Ying. editor.

(1)

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

(1)

Calinescu, Radu. editor.

(1)

Calvert, Kenneth L. editor.

(1)

Campbell, Roy H. editor.

(1)

Castro, Miguel. editor.

(1)

Cerqueira, Renato. editor.

(1)

Chang, Carl K. editor.

(1)

Chen, C. L. Philip. editor. (orcid)0000-0001-5451-7230

(1)

Chen, Ken. editor.

(1)

Chen, Xiangang. editor.

(1)

Chin, Francis Y. L. editor.

(1)

Ciardo, Gianfranco. editor.

(1)

Clarke, Peter. editor.

(1)

Cobb, Jorge. editor.

(1)

Cohen, Ernie. editor.

(1)

Cooper, Brian F. editor.

(1)

Cossentino, Massimo. editor.

(1)

Cusumano, Michael A. editor.

(1)

Da Silva, Dilma. editor.

(1)

Dan, Asit. editor.

(1)

Dancy, Christopher. editor.

(1)

Darondeau, Philippe. editor.

(1)

Das, Sajal K. editor.

(1)

Datta, Ajoy K. editor.

(1)

Daydé, Michel. editor.

(1)

Dean, Mike. editor.

(1)

Dico, Awel. editor.

(1)

Dienstfrey, Andrew M. editor.

(1)

Dignum, Frank. editor.

(1)

Dix, Jürgen. editor.

(1)

Dobbie, Gillian. editor. (orcid)0000-0001-7245-0367

(1)

Dolev, Shlomi. editor.

(1)

Dosch, Walter. editor.

(1)

Dourish, Paul. editor.

(1)

Duale, Ali Y. editor.

(1)

Duffy, Vincent G. editor.

(1)

Dunkels, Adam. editor.

(1)

Dutle, Aaron. editor.

(1)

Edwards, Stephen H. editor.

(1)

Egerstedt, Magnus. editor.

(1)

Eggen, Berry. editor.

(1)

Eigenmann, Rudolf. editor.

(1)

Eijk, Rogier M. editor.

(1)

Ekici, Eylem. editor.

(1)

El Fallah Seghrouchni, Amal. editor.

(1)

Embley, David W. editor.

(1)

Emerson, E. Allen. editor.

(1)

Engels, Gregor. editor.

(1)

Erdogmus, Deniz. editor.

(1)

Erwig, Martin. editor.

(1)

Fecko, Mariusz A. editor.

(1)

Felty, Amy. editor.

(1)

Ferreira, João Eduardo. editor. (orcid)0000-0001-9607-2014

(1)

Feuerlicht, George. editor.

(1)

Fidopiastis, Cali M. editor.

(1)

Fischer, Michael. editor.

(1)

Fogg, B. J. editor.

(1)

Frachtenberg, Eitan. editor.

(1)

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

(1)

Friday, Adrian. editor.

(1)

Fuller, Richard. editor.

(1)

Furbach, Ulrich. editor.

(1)

Fähndrich, Manuel. editor.

(1)

Gantenbein, Rex. editor.

(1)

Gašević, Dragan. editor.

(1)

Ghosh, Sudipto. editor.

(1)

Giannelli, Carlo. editor.

(1)

Giese, Holger. editor.

(1)

Gill, Andy. editor.

(1)

Giorgini, Paolo. editor.

(1)

Godefroid, Patrice. editor.

(1)

Godo, Lluís. editor.

(1)

González-Barahona, Jesús M. editor.

(1)

Goodloe, Alwyn E. editor.

(1)

Gopalakrishnan, Ganesh. editor.

(1)

Gorton, Ian. editor.

(1)

Gradinariu, Maria. editor.

(1)

Gris, Martin. editor.

(1)

Groce, Alex. editor.

(1)

Gropp, William D. editor.

(1)

Gupta, Aarti. editor.

(1)

Tümünü genişlet

Dil

(233)

Yayın Yılı

-

(37)

(27)

(26)

(25)

(21)

(19)

(16)

(16)

(15)

(14)

(9)

(8)

Tümünü genişlet

Konu

Computer science.

(186)

Artificial intelligence.

(84)

Computer Communication Networks.

(83)

(72)

Information systems.

(55)

Computer software.

(34)

Computer simulation.

(30)

Information storage and retrieval systems.

(26)

Information Systems.

(23)

Operating systems (Computers).

(20)

Computer vision.

(18)

Computer system performance.

(16)

Data encryption (Computer science).

(15)

(15)

Computer network architectures.

(14)

Database management.

(12)

(11)

(11)

Information theory.

(11)

Application software.

(10)

Computer communication systems.

(9)

Computer graphics.

(9)

Data protection.

(9)

User interfaces (Computer systems).

(9)

Computer logic.

(8)

Computer security.

(8)

Electronic data processing.

(7)

Logics and Meanings of Programs.

(7)

Optical data processing.

(7)

Programming languages (Electronic computers).

(7)

Social sciences -- Data processing.

(7)

Programming Languages, Compilers, Interpreters.

(6)

Telecommunication.

(6)

Management information systems.

(5)

Multimedia systems.

(5)

Artificial Intelligence (incl. Robotics).

(4)

Computer organization.

(4)

Computers and civilization.

(4)

Mathematical Logic and Formal Languages.

(4)

Optical pattern recognition.

(4)

Programming Techniques.

(4)

Computational complexity.

(3)

Computer programming.

(3)

Computer science -- Mathematics.

(3)

(3)

Management of Computing and Information Systems.

(3)

Business—Data processing.

(2)

Data structures (Computer scienc.

(2)

Information technology.

(2)

Mathematical logic.

(2)

Natural language processing (Computer science).

(2)

Simulation and Modeling.

(2)

Text processing (Computer science.

(2)

Algebra -- Data processing.

(1)

Algorithm Analysis and Problem Complexity.

(1)

(1)

(1)

Bioinformatics.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer Science, general.

(1)

Computer hardware.

(1)

Computer industry.

(1)

Computer science—Mathematics.

(1)

Computer system failures.

(1)

Data transmission systems.

(1)

(1)

Information Systems Applications (incl. Internet).

(1)

Law and legislation.

(1)

Mathematical statistics.

(1)

Microprocessors.

(1)

Microprogramming.

(1)

Operating Systems.

(1)

Pattern recognition.

(1)

(1)

Software Engineering/Programming and Operating Systems.

(1)

Special purpose computers.

(1)

System Performance and Evaluation.

(1)

(1)

Translators (Computer programs).

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

233 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 20

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.

Cloud Computing – CLOUD 2019 12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings için kapak resmi

Cloud Computing – CLOUD 2019 12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

Cloud Computing – CLOUD 2019 12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

Yazar

Da Silva, Dilma. editor. Wang, Qingyang. editor. (orcid)0000-0002-5729-2898 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I için kapak resmi

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Yazar

Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Mathematical and Computational Oncology First International Symposium, ISMCO 2019, Lake Tahoe, NV, USA, October 14–16, 2019, Proceedings için kapak resmi

Mathematical and Computational Oncology First International Symposium, ISMCO 2019, Lake Tahoe, NV, USA, October 14–16, 2019, Proceedings

Mathematical and Computational Oncology First International Symposium, ISMCO 2019, Lake Tahoe, NV, USA, October 14–16, 2019, Proceedings

Yazar

Bebis, George. editor. Benos, Takis. editor. Chen, Ken. editor. Jahn, Katharina. editor. Lima, Ernesto. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part I için kapak resmi

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part I

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part I

Yazar

Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Human-Computer Interaction. Recognition and Interaction Technologies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II için kapak resmi

Human-Computer Interaction. Recognition and Interaction Technologies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II

Human-Computer Interaction. Recognition and Interaction Technologies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II

Yazar

Kurosu, Masaaki. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-22643-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Universal Access in Human-Computer Interaction. Theory, Methods and Tools 13th International Conference, UAHCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I için kapak resmi

Universal Access in Human-Computer Interaction. Theory, Methods and Tools 13th International Conference, UAHCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

Universal Access in Human-Computer Interaction. Theory, Methods and Tools 13th International Conference, UAHCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

Yazar

Antona, Margherita. editor. Stephanidis, Constantine. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Critical Infrastructure Protection XIII 13th IFIP WG 11.10 International Conference, ICCIP 2019, Arlington, VA, USA, March 11–12, 2019, Revised Selected Papers için kapak resmi

Critical Infrastructure Protection XIII 13th IFIP WG 11.10 International Conference, ICCIP 2019, Arlington, VA, USA, March 11–12, 2019, Revised Selected Papers

Critical Infrastructure Protection XIII 13th IFIP WG 11.10 International Conference, ICCIP 2019, Arlington, VA, USA, March 11–12, 2019, Revised Selected Papers

Yazar

Staggs, Jason. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-34647-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Topics in Cryptology – CT-RSA 2019 The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4–8, 2019, Proceedings için kapak resmi

Topics in Cryptology – CT-RSA 2019 The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4–8, 2019, Proceedings

Topics in Cryptology – CT-RSA 2019 The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4–8, 2019, Proceedings

Yazar

Matsui, Mitsuru. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings için kapak resmi

Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings

Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings

Yazar

Zamani, Majid. editor. Zufferey, Damien. editor. (orcid)0000-0002-3197-8736 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part III için kapak resmi

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part III

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part III

Yazar

Boldyreva, Alexandra. editor. Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-26954-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings için kapak resmi

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

Yazar

Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings için kapak resmi

Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings

Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings

Yazar

Peng, Xin. editor. Ampatzoglou, Apostolos. editor. Bhowmik, Tanmay. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 .. 20

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11