Search Results for

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Computers.

Author

SpringerLink (Online service)

(468)

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

(7)

Cardoso, Pedro J. S. editor. (orcid)0000-0003-4803-7964

(5)

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

(5)

Gao, Honghao. editor.

(5)

Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X

(5)

Lam, Roberto. editor. (orcid)0000-0003-4297-2441

(5)

Lees, Michael H. editor.

(5)

Monteiro, Jânio. editor. (orcid)0000-0002-4203-1679

(5)

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025

(5)

Sloot, Peter M.A. editor. (orcid)0000-0002-3848-5395

(5)

Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336

(4)

Hawari, Kamarul Bin Ghazali. editor.

(4)

Lingras, Pawan. editor.

(4)

Luhach, Ashish Kumar. editor.

(4)

Rozenberg, Grzegorz. editor.

(4)

Boldyreva, Alexandra. editor.

(3)

Huang, De-Shuang. editor.

(3)

Jatowt, Adam. editor. (orcid)0000-0001-7235-0665

(3)

Korytkowski, Marcin. editor.

(3)

Kowalczyk, Ryszard. editor.

(3)

Kultsova, Marina. editor. (orcid)0000-0002-2584-431X

(3)

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

(3)

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

(3)

Nguyen, Ngoc Thanh. editor.

(3)

Salomaa, Arto. editor.

(3)

Scherer, Rafał. editor.

(3)

Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499

(3)

Tadeusiewicz, Ryszard. editor.

(3)

Tan, C.J. Kenneth. editor.

(3)

Yin, Hujun. editor. (orcid)0000-0002-9198-5401

(3)

Yin, Yuyu. editor.

(3)

Yung, Moti. editor.

(3)

Zurada, Jacek M. editor.

(3)

Adamatzky, Andrew. editor.

(2)

Adeli, Hojjat. editor.

(2)

Ait Ameur, Yamine. editor.

(2)

Alfaries, Auhood. editor.

(2)

Allmendinger, Richard. editor. (orcid)0000-0003-1236-3143

(2)

Amouzegar, Mahyar A. editor.

(2)

Ao, Sio-Iong. editor.

(2)

Auvray, Malika. editor.

(2)

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

(2)

Bannister, Frank Edward. editor.

(2)

Berlingerio, Michele. editor.

(2)

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

(2)

Bhattacharyya, Dhruba Kumar. editor. (orcid)0000-0002-9506-7640

(2)

Bhuiyan, Md Zakirul Alam. editor. (orcid)0000-0002-9513-9990

(2)

Bonchi, Francesco. editor.

(2)

Bora, Prabin Kumar. editor.

(2)

Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224

(2)

(2)

Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148

(2)

Buchmann, Johannes. editor.

(2)

Camacho, David. editor. (orcid)0000-0002-0535-7450

(2)

Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374

(2)

Chen, Songqing. editor. (orcid)0000-0003-4650-7125

(2)

Chua, Leon. editor.

(2)

Dasgupta, Kousik. editor.

(2)

Dediu, Adrian-Horia. editor.

(2)

Deka, Bhabesh. editor. (orcid)0000-0002-9679-6159

(2)

Diao, Lijun. editor.

(2)

Dillig, Isil. editor.

(2)

Duriez, Christian. editor.

(2)

Dutta, Paramartha. editor.

(2)

(2)

Esparza, Javier. editor.

(2)

Feng, Jun. editor. (orcid)0000-0001-9917-1819

(2)

Ferrández Vicente, José Manuel. editor.

(2)

(2)

Fraigniaud, Pierre. editor.

(2)

Fu, Xinwen. editor. (orcid)0000-0003-2391-7789

(2)

Galbraith, Steven D. editor. (orcid)0000-0001-7114-8377

(2)

Gao, Xiao-Zhi. editor.

(2)

Gavrilova, Marina L. editor.

(2)

Gheorghe, Marian. editor.

(2)

Groumpos, Peter P. editor. (orcid)0000-0002-0110-2696

(2)

Gui, Guan. editor. (orcid)0000-0003-3888-2881

(2)

Guo, Fuchun. editor. (orcid)0000-0001-6939-7710

(2)

Gärtner, Thomas. editor.

(2)

Hameurlain, Abdelkader. editor.

(2)

Hofheinz, Dennis. editor.

(2)

Hsiung, Pao-Ann. editor.

(2)

Hurley, Neil. editor. (orcid)0000-0001-8428-2866

(2)

Husfeldt, Thore. editor.

(2)

Ifrim, Georgiana. editor. (orcid)0000-0002-8400-2972

(2)

Iqbal, Muddesar. editor.

(2)

Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979

(2)

Jat, Dharm Singh. editor.

(2)

Jawahar, C.V. editor.

(2)

Jia, Limin. editor.

(2)

Johnson, Michael L., 1947-

(2)

Kim, Haeng Kon. editor.

(2)

Koutsoupias, Elias. editor.

(2)

Kravets, Alla G. editor. (orcid)0000-0003-1675-8652

(2)

Le-Ngoc, Tho. author.

(2)

Legay, Axel. editor.

(2)

Li, Hongdong. editor.

(2)

Li, Jin. editor.

(2)

Liang, Qilian. editor.

(2)

Liu, Zhigang. editor.

(2)

Longo, Luca. editor. (orcid)0000-0002-2718-5426

(2)

Lou, Wenjing. editor.

(2)

Lu, Rongxing. editor. (orcid)0000-0001-5720-0941

(2)

MacKenzie, I. Scott, 1951-

(2)

Maji, Pradipta. editor. (orcid)0000-0002-8288-8917

(2)

Mandal, Jyotsna Kumar. editor.

(2)

Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948

(2)

Menezes, Ronaldo. editor.

(2)

Mengash, Hanan. editor.

(2)

Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434

(2)

Mitra, Sushmita. editor. (orcid)0000-0001-9285-1117

(2)

Mohaisen, Aziz. editor. (orcid)0000-0003-3227-2505

(2)

Mori, Greg. editor.

(2)

Moriai, Shiho. editor. (orcid)0000-0002-6072-6183

(2)

Mu, Jiasong. editor.

(2)

Mukhopadhyay, Somnath. editor.

(2)

Nah, Fiona Fui-Hoon. editor.

(2)

Nayak, Abhaya C. editor. (orcid)0000-0003-0681-9570

(2)

Ning, Huansheng. editor. (orcid)0000-0001-6413-193X

(2)

Ortuño, Francisco. editor.

(2)

Pal, Sankar Kumar. editor. (orcid)0000-0003-3301-4751

(2)

Pan, Zhaoqing. editor. (orcid)0000-0003-1390-399X

(2)

Potapov, Igor. editor.

(2)

Qin, Yong. editor.

(2)

Rau, Pei-Luen Patrick. editor.

(2)

Rojas, Fernando. editor.

(2)

Rojas, Ignacio. editor.

(2)

Rosen, Alon. editor.

(2)

Rutkowski, Leszek. editor.

(2)

Ryan, Peter Y. A. editor. (orcid)0000-0002-1677-9034

(2)

Sako, Kazue. editor.

(2)

Sarkar, Palash. editor.

(2)

Sawyer, Stacey C.

(2)

Schewe, Klaus-Dieter. editor.

(2)

Schindler, Konrad. editor. (orcid)0000-0002-3172-9246

(2)

Schneider, Steve. editor. (orcid)0000-0001-8365-6993

(2)

Shakshuki, Elhadi. editor.

(2)

Sharma, Alok. editor. (orcid)0000-0002-7668-3501

(2)

Shen, Xuemin (Sherman). author. (orcid)0000-0002-4140-287X

(2)

Shenoi, Sujeet. editor.

(2)

Siau, Keng. editor.

(2)

Singh, Dharm. editor.

(2)

Singh, Pradeep Kumar. editor. (orcid)0000-0002-7676-9014

(2)

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

(2)

Stephanidis, Constantine. editor.

(2)

Sun, Xingming. editor. (orcid)0000-0003-1390-399X

(2)

Tallón-Ballesteros, Antonio J. editor. (orcid)0000-0002-9699-1894

(2)

Tan, Tieniu. editor.

(2)

Tanaka-Ishii, Kumiko.

(2)

Tasiran, Serdar. editor.

(2)

Tino, Peter. editor. (orcid)0000-0003-2330-128X

(2)

Toledo Moreo, Javier. editor.

(2)

Valenzuela, Olga. editor.

(2)

Wagner, Roland. editor.

(2)

Wang, Guojun. editor. (orcid)0000-0001-9875-4182

(2)

Wang, Wei. editor.

(2)

Wang, Xinheng. editor.

(2)

Wiley InterScience (Online service)

(2)

Xhafa, Fatos. editor.

(2)

Yasar, Ansar. editor. (orcid)0000-0002-1542-2658

(2)

Yun, Lin. editor.

(2)

Zadeh, Lotfi A. editor.

(2)

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

(2)

Zhang, Baoju. editor.

(2)

Zhao, Minghua. editor.

(2)

de la Paz López, Félix. editor.

(2)

Álvarez-Sánchez, José Ramón. editor.

(2)

Çölkesen, Toros Rifat.

(2)

Ölveczky, Peter Csaba. editor.

(2)

A.Oliveira, Thays. editor.

(1)

Aalberg, Trond. editor. (orcid)0000-0001-5593-0860

(1)

Abbass, Hussein A. author.

(1)

Abu el Ata, Nabil. author.

(1)

Addis, Tom. author.

(1)

Afonso, João L. editor. (orcid)0000-0001-9195-1239

(1)

Afsarmanesh, Hamideh. editor. (orcid)0000-0001-5402-2000

(1)

Agrawal, Manindra. editor.

(1)

Agueh, Max. editor.

(1)

Aguilera, Marcos K. editor.

(1)

Ahmad, Mohammad Nazir. editor.

(1)

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

(1)

Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712

(1)

Alagar, Vangalur. editor.

(1)

Alam, Shah Jamal. editor.

(1)

Alarcon, Rosa. editor.

(1)

Alatrista-Salas, Hugo. editor. (orcid)0000-0001-5252-4728

(1)

Albanese, Massimiliano. author.

(1)

Albanese, Massimiliano. editor. (orcid)0000-0002-2675-5810

(1)

Alberts, Gerard. editor.

(1)

Aldini, Alessandro. editor.

(1)

Alferes, José Júlio. editor.

(1)

Algra, Paul R. editor.

(1)

Alhazov, Artiom. editor.

(1)

Ali, Moonis. editor.

(1)

Alimohammadifar, Amir. author.

(1)

Almgren, Magnus. editor. (orcid)0000-0002-3383-9617

(1)

Althunibat, Saud. editor. (orcid)0000-0002-5017-5007

(1)

Altmann, Jörn. editor.

(1)

Altınışık, Umut.

(1)

Language

(506)

(5)

(1)

Publication Date

-

(280)

(191)

(4)

(3)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Artificial intelligence.

(190)

Software engineering.

(96)

Application software.

(84)

Computer security.

(70)

Computer communication systems.

(68)

Computer organization.

(68)

Optical data processing.

(62)

(52)

Computer science—Mathematics.

(39)

Electrical engineering.

(37)

Mathematical logic.

(31)

Computer logic.

(29)

Data encryption (Computer science).

(28)

Computer simulation.

(27)

(25)

(25)

Computers and civilization.

(22)

Data protection.

(22)

Law and legislation.

(22)

Computer science.

(19)

Information storage and retrieval.

(19)

Programming languages (Electronic computers).

(19)

Data structures (Computer science).

(18)

Pattern recognition.

(18)

User interfaces (Computer systems).

(18)

Information theory.

(17)

Computer system failures.

(16)

Management information systems.

(15)

Database management.

(12)

Information technology.

(12)

Signal processing.

(12)

Computer programming.

(11)

(10)

Special purpose computers.

(10)

Speech processing systems.

(10)

(9)

Bioinformatics.

(9)

Education—Data processing.

(9)

Natural language processing (Computer science).

(9)

Numerical analysis.

(9)

Computational intelligence.

(8)

Computer crimes.

(8)

Image processing.

(7)

(7)

(6)

Electronic circuits.

(6)

Machine learning.

(6)

Architecture, Computer.

(5)

BİLGİSAYARLAR.

(5)

Computer networks -- Security measures.

(5)

Datenverarbeitung.

(5)

Electronic books.

(5)

Electronic data processing.

(5)

(4)

(4)

Künstliche Intelligenz.

(4)

(4)

Mathematical statistics.

(4)

(4)

(4)

Operations research.

(4)

Quantum computers.

(4)

(4)

Technology—History.

(4)

Aufsatzsammlung.

(3)

Business—Data processing.

(3)

Computer hardware.

(3)

Control engineering.

(3)

ELEKTRONİK VERİ İŞLEM.

(3)

Engineering economics.

(3)

Engineering economy.

(3)

Industrial management.

(3)

(3)

Microprocessors.

(3)

Optical engineering.

(3)

Personal computers.

(3)

Quality control.

(3)

Applied mathematics.

(2)

Bilgisayar ağları.

(2)

Biomathematics.

(2)

Biomedical Engineering.

(2)

Biomedical engineering -- Computer simulation.

(2)

Computer Simulation.

(2)

Computer mathematics.

(2)

Computer networks.

(2)

Computer systems.

(2)

Computersimulation.

(2)

Decision making.

(2)

(2)

Electronic data processing -- Data entry.

(2)

Human-computer interaction.

(2)

(2)

Models, Biological.

(2)

Multimedia systems .

(2)

Natural language processing (Computer science)

(2)

Operating systems (Computers).

(2)

Power electronics.

(2)

(2)

(2)

Telecommunication systems.

(2)

Transportation.

(2)

Yazılım mühendisliği.

(2)

Africa—Economic conditions.

(1)

(1)

Arithmetic and logic units, Computer.

(1)

(1)

(1)

Attitude to Computers.

(1)

Automatic Data Processing.

(1)

Automatic control -- Computer programs.

(1)

(1)

BASIC (BİLGİSAYAR PROGRAMLAMA DİLİ)

(1)

BASIC (Computer program language)

(1)

Basisonderwijs.

(1)

Bilgi teknolojisi.

(1)

Bilgisayar bilimi -- Amatörler için el kitabı.

(1)

(1)

Bilgisayarlar -- El kiyapları v.b.

(1)

Binoculair zien.

(1)

Binocular vision -- Data processing.

(1)

Biological systems.

(1)

Biology -- Data processing.

(1)

Biometrics (Biology).

(1)

(1)

Business mathematics.

(1)

BİLGİ TEKNOLOJİSİ.

(1)

Cambridge (Mass.) -- Massachusetts Institute of Technology.

(1)

(1)

Cellular automata.

(1)

Civilization—History.

(1)

Cognitive psychology.

(1)

(1)

Computacao aplicada.

(1)

Computadoras -- Historia.

(1)

Computational Biology.

(1)

Computational biology .

(1)

Computational complexity.

(1)

Computational linguistics.

(1)

Computer architecture -- History.

(1)

Computer engineering -- Massachusetts -- Cambridge -- History.

(1)

Computer engineering.

(1)

Computer graphics.

(1)

Computer industry.

(1)

Computer input-output equipment.

(1)

Computer science -- Amateurs' manuals.

(1)

Computer science -- Massachusetts -- Cambridge -- History.

(1)

Computer software.

(1)

Computer software—Reusability.

(1)

Computer-assisted instruction.

(1)

Computeralgebra.

(1)

Computerarchitectuur.

(1)

Computerarchitektur.

(1)

(1)

Computers -- Handbooks, manuals, etc.

(1)

Computers -- History.

(1)

Computers -- Humor.

(1)

Computers -- Moral and ethical aspects.

(1)

Computers, Hybrid.

(1)

Computerunterstützter Unterricht.

(1)

(1)

Decision Making.

(1)

Doğal dil işleme (Bilgisayar bilimleri)

(1)

(1)

(1)

Electronic data processing -- Humor.

(1)

Electronic data processing -- Psychological aspects.

(1)

(1)

Electrophysiology.

(1)

Elektronik veri işlem -- Veri girişi.

(1)

Elektrotechniek.

(1)

Elektrotechnik.

(1)

Emergency medicine.

(1)

Engineering mathematics.

(1)

Entrepreneurship.

(1)

(1)

(1)

(1)

Evolutionary biology.

(1)

Evolutionary programming (Computer science)

(1)

Geographical information systems.

(1)

(1)

(1)

Health informatics.

(1)

Human engineering.

(1)

Humor (grappigheden)

(1)

(1)

IBM 360 (Computer)

(1)

(1)

IBM 370 (Computer)

(1)

(1)

Industrial engineering.

(1)

Industrial procurement.

(1)

Industrial safety.

(1)

Informatieverwerking (computer)

(1)

Information Systems.

(1)

Information storage and retrieval systems.

(1)

(1)

(1)

(1)

(1)

Material Type

Shelf Location

Beytepe CD-ROM Koleksiyonu

Beytepe General Collection

Electronic Library

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

514 Results Found

Subscribe to search results

1 .. 29 30 31 32 33 .. 43

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

361.

Cover image for Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings

Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings

Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings

Author

Hirsch, Edward. editor. Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Pin, Jean-Éric. editor. Vereshchagin, Nikolay. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

362.

Cover image for Augmented Marked Graphs

Augmented Marked Graphs

Augmented Marked Graphs

Author

Cheung, King Sing. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

363.

Cover image for Progress in Cryptology – AFRICACRYPT 2014 7th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 28-30, 2014. Proceedings

Progress in Cryptology – AFRICACRYPT 2014 7th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 28-30, 2014. Proceedings

Progress in Cryptology – AFRICACRYPT 2014 7th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 28-30, 2014. Proceedings

Author

Pointcheval, David. editor. Vergnaud, Damien. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-06734-6

Format:

Availability

Online Library~1

Available:
Copies:

364.

Cover image for Beyond Databases, Architectures, and Structures 10th International Conference, BDAS 2014, Ustron, Poland, May 27-30, 2014. Proceedings

Beyond Databases, Architectures, and Structures 10th International Conference, BDAS 2014, Ustron, Poland, May 27-30, 2014. Proceedings

Beyond Databases, Architectures, and Structures 10th International Conference, BDAS 2014, Ustron, Poland, May 27-30, 2014. Proceedings

Author

Kozielski, Stanislaw. editor. Mrozek, Dariusz. editor. (orcid)0000-0001-6764-6656 Kasprowski, Pawel. editor. Małysiak-Mrozek, Bożena. editor. Kostrzewa, Daniel. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-06932-6

Format:

Availability

Online Library~1

Available:
Copies:

365.

Cover image for Multivariate Network Visualization Dagstuhl Seminar # 13201, Dagstuhl Castle, Germany, May 12-17, 2013, Revised Discussions

Multivariate Network Visualization Dagstuhl Seminar # 13201, Dagstuhl Castle, Germany, May 12-17, 2013, Revised Discussions

Multivariate Network Visualization Dagstuhl Seminar # 13201, Dagstuhl Castle, Germany, May 12-17, 2013, Revised Discussions

Author

Kerren, Andreas. editor. Purchase, Helen. editor. Ward, Matthew O. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

366.

Cover image for Information Visualization An Introduction

Information Visualization An Introduction

Information Visualization An Introduction

Author

Spence, Robert. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-07341-5

Format:

Availability

Online Library~1

Available:
Copies:

367.

Cover image for Maritime Wideband Communication Networks Video Transmission Scheduling

Maritime Wideband Communication Networks Video Transmission Scheduling

Maritime Wideband Communication Networks Video Transmission Scheduling

Author

Yang, Tingting. author. Shen, Xuemin (Sherman). author. (orcid)0000-0002-4140-287X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

368.

Cover image for Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

Author

Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Rocha, Ricardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-08909-6

Format:

Availability

Online Library~1

Available:
Copies:

369.

Cover image for Trust and Trustworthy Computing 7th International Conference, TRUST 2014, Heraklion, Crete, Greece, June 30 -- July 2, 2014, Proceedings

Trust and Trustworthy Computing 7th International Conference, TRUST 2014, Heraklion, Crete, Greece, June 30 -- July 2, 2014, Proceedings

Trust and Trustworthy Computing 7th International Conference, TRUST 2014, Heraklion, Crete, Greece, June 30 -- July 2, 2014, Proceedings

Author

Holz, Thorsten. editor. (orcid)0000-0002-2783-1264 Ioannidis, Sotiris. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

370.

Cover image for Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Author

Sinz, Carsten. editor. Egly, Uwe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

371.

Cover image for Intelligent Computing in Bioinformatics 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014, Proceedings

Intelligent Computing in Bioinformatics 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014, Proceedings

Intelligent Computing in Bioinformatics 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014, Proceedings

Author

Huang, De-Shuang. editor. Han, Kyungsook. editor. Gromiha, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

372.

Cover image for Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Author

Legay, Axel. editor. Bozga, Marius. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 29 30 31 32 33 .. 43

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11