Search Results for Computer science.

|

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ış:

+

Subject: Operating systems (Computers).

Yazar

SpringerLink (Online service)

(552)

Boer, Frank S. editor.

(9)

Bonsangue, Marcello M. editor.

(9)

Yang, Laurence T. editor.

(8)

Yung, Moti. editor.

(8)

Schwiegelshohn, Uwe. editor.

(7)

Frachtenberg, Eitan. editor.

(6)

Guo, Minyi. editor.

(6)

Romanovsky, Alexander. editor.

(6)

Hochberger, Christian. editor.

(5)

Jin, Hai. editor.

(5)

Lemos, Rogério. editor.

(5)

Vugt, Sander. author.

(5)

Zhou, Jianying. editor.

(5)

Barthe, Gilles. editor.

(4)

Barthès, Jean-Paul A. editor.

(4)

Gacek, Cristina. editor.

(4)

Graf, Susanne. editor.

(4)

Jajodia, Sushil. editor.

(4)

Jeannot, Emmanuel. editor.

(4)

Jonker, Willem. editor.

(4)

Kim, Tai-hoon. editor.

(4)

Luo, Yuhua. editor.

(4)

López, Javier. editor.

(4)

Martinelli, Fabio. editor.

(4)

Petković, Milan. editor.

(4)

Roever, Willem-Paul. editor.

(4)

Ślęzak, Dominik. editor.

(4)

Bao, Feng. editor.

(3)

Berekovic, Mladen. editor.

(3)

Brinkschulte, Uwe. editor.

(3)

Brueckner, Sven A. editor.

(3)

Cao, Jiannong. editor.

(3)

Christianson, Bruce. editor.

(3)

Cristea, Ana Daniela. author.

(3)

Dimitrakos, Theo. editor.

(3)

Dongarra, Jack. editor.

(3)

Gellert, Ulrich. author.

(3)

Gorrieri, Roberto. editor.

(3)

Grotegut, Martin. author.

(3)

Kacsuk, Péter. editor.

(3)

Koucheryavy, Yevgeni. editor.

(3)

Kruegel, Christopher. editor.

(3)

Li, Jinwen. editor.

(3)

Lin, Zongkai. editor.

(3)

Lirkov, Ivan. editor.

(3)

Lopez, Javier. editor.

(3)

Malcolm, James A. editor.

(3)

Malyshkin, Victor. editor.

(3)

Margenov, Svetozar. editor.

(3)

Moreau, Luc. editor.

(3)

Roe, Michael. editor.

(3)

Shen, Weiming. editor.

(3)

Waśniewski, Jerzy. editor.

(3)

Weitershausen, Philipp. author.

(3)

Wolfinger, Christine. author.

(3)

Xiao, Liquan. editor.

(3)

Xu, Weixia. editor.

(3)

Zhang, Chengyi. editor.

(3)

Aldini, Alessandro. editor.

(2)

Alex, Wulf. author.

(2)

Aspnes, James. editor.

(2)

Beigl, Michael. editor.

(2)

Birman, Kenneth P. author.

(2)

Bloem, Roderick. editor.

(2)

Blumauer, Andreas. editor.

(2)

Boykov, Yuri. editor.

(2)

Braun, Torsten. editor.

(2)

Brinkschulte, Uwe. author.

(2)

Butler, Michael. editor.

(2)

Cardellini, Valeria. editor.

(2)

Carle, Georg. editor.

(2)

Chatzimisios, Periklis. editor.

(2)

Cirne, Walfredo. editor.

(2)

Cohen, Albert. editor.

(2)

Craig, Iain D. author.

(2)

Crispo, Bruno. editor.

(2)

Cuellar, Jorge. editor.

(2)

Damiani, Ernesto. editor.

(2)

Decker, Bart. editor.

(2)

Deng, Robert H. editor.

(2)

Desai, Narayan. editor.

(2)

Dolev, Shlomi. editor.

(2)

D’Ambra, Pasqua. editor.

(2)

Eliassen, Frank. editor.

(2)

Falsafi, Babak. editor.

(2)

Garcia-Alfaro, Joaquin. editor.

(2)

Gaudiot, Jean-Luc. editor.

(2)

Gollmann, Dieter. editor.

(2)

Guarracino, Mario. editor.

(2)

Guerraoui, Rachid. author.

(2)

Gunther, Neil J. author.

(2)

Herminghaus, Volker. author.

(2)

Higashino, Teruo. editor.

(2)

Holt, Alan. author.

(2)

Huang, Chi-Yu. author.

(2)

Huanye, Sheng. editor.

(2)

Huisman, Marieke. editor.

(2)

Jesshope, Chris. editor.

(2)

Jones, Cliff B. editor.

(2)

Kahl, Fredrik. editor.

(2)

Kalker, Ton. editor.

(2)

Karl, Wolfgang. editor.

(2)

Kasahara, Hironori. editor.

(2)

Kotenko, Igor. editor.

(2)

Lai, Xuejia. editor.

(2)

Lanet, Jean-Louis. editor.

(2)

Lukowicz, Paul. editor.

(2)

Luo, Junzhou. editor.

(2)

Ma, Jianhua. editor.

(2)

Mambo, Masahiro. editor.

(2)

Mambretti, Joe. editor.

(2)

Margaria, Tiziana. editor.

(2)

Martin, David. editor.

(2)

Marzo Serugendo, Giovanna. editor.

(2)

Mattern, Friedemann. editor.

(2)

Meer, Hermann. editor.

(2)

Mencagli, Gabriele. editor.

(2)

Meyer, Bertrand. editor.

(2)

Müller, Matthias S. editor.

(2)

Müller-Schloer, Christian. editor.

(2)

Nagel, Wolfgang E. editor.

(2)

Namyst, Raymond. editor.

(2)

Navarro-Arribas, Guillermo. editor.

(2)

Nicola, Rocco. editor.

(2)

Németh, Zsolt. editor.

(2)

Osterhage, Wolfgang W. author.

(2)

Pellegrini, Tassilo. editor.

(2)

Pointcheval, David. editor.

(2)

Prasanna, Viktor K. editor.

(2)

Prencipe, Giuseppe. editor.

(2)

Preneel, Bart. editor.

(2)

Rannenberg, Kai. editor.

(2)

Resch, Michael M. editor.

(2)

Reussner, Ralf. editor.

(2)

Ricci, Laura. editor.

(2)

Rodrigues, Luís. author.

(2)

Roman, Jean. editor.

(2)

Rudolph, Larry. editor.

(2)

Ryan, Peter Y. A. editor.

(2)

Römer, Kay. editor.

(2)

Safavi-Naini, Reihaneh. editor.

(2)

Sakurai, Kouichi. editor.

(2)

Schiele, Bernt. editor.

(2)

Schmidt, Frank R. editor.

(2)

Schneider, Steve. editor.

(2)

Scott, Stephen L. editor.

(2)

Scriba, Albrecht. author.

(2)

Shi, Weisong. editor.

(2)

Shi, Xuanhua. editor.

(2)

Sick, Bernhard. editor.

(2)

Skormin, Victor. editor.

(2)

Sloot, Peter M. A. editor.

(2)

Spirakis, Paul G. editor.

(2)

Steffen, Bernhard. editor.

(2)

Stiller, Burkhard. editor.

(2)

Szyperski, Clemens. editor.

(2)

Takagi, Tsuyoshi. editor.

(2)

Talia, Domenico. editor.

(2)

Thomas, Keir. author.

(2)

Tovar, Eduardo. editor.

(2)

Troubitsyna, Elena. editor.

(2)

Tsaoussidis, Vassilis. editor.

(2)

Ungerer, Theo. author.

(2)

Ungerer, Theo. editor.

(2)

VijayKumar, T. N. editor.

(2)

Vohra, Deepak. author.

(2)

Waldburger, Martin. editor.

(2)

Wang, Guilin. editor.

(2)

Wolf, Felix. editor.

(2)

Wu, Zhaohui. editor.

(2)

Yew, Pen-Chung. editor.

(2)

Yokota, Rio. editor. (orcid)0000-0001-7573-7873

(2)

Zamboni, Diego. editor.

(2)

Zheng, Ran. editor.

(2)

ASC Community. author.

(1)

Aarts, Emile. editor.

(1)

Abdelzaher, Tarek. editor.

(1)

Abeni, Luca. author.

(1)

Abhaya, Vidura Gamini. author.

(1)

Abrahão, Silvia. editor.

(1)

Achilles, Albrecht. author.

(1)

Ahuja, Ravindra K. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Aitenbichler, Erwin. editor.

(1)

Ajit, Srividya. author.

(1)

Akl, Selim G. author.

(1)

Al-Begain, Khalid. editor.

(1)

(1)

Ali, A.B.M. Shawkat. editor.

(1)

Alonistioti, Nancy. editor.

(1)

Alonso, Gustavo. editor.

(1)

Altman, Eitan. editor.

(1)

Altman, Erik. editor.

(1)

Anderson, James H. editor.

(1)

Andrade, Aline Maria Santos. editor.

(1)

Antonelli, Laura. editor.

(1)

Antonopoulos, Nick. editor.

(1)

Arabnia, Hamid R. editor.

(1)

Arora, Anish. editor.

(1)

Tümünü genişlet

Dil

(522)

(30)

Yayın Yılı

-

(98)

(90)

(56)

(53)

(52)

(44)

(40)

(36)

(35)

(26)

(15)

(7)

Tümünü genişlet

Konu

Computer science.

(517)

Computer Communication Networks.

(288)

Software engineering.

(288)

Computer software.

(129)

Information systems.

(127)

Information Systems.

(104)

Data encryption (Computer science).

(100)

(88)

Computer network architectures.

(87)

Computer system performance.

(73)

Information storage and retrieval systems.

(57)

Artificial intelligence.

(42)

Computational complexity.

(28)

Operating Systems.

(27)

Data protection.

(26)

Electronic data processing.

(22)

Telecommunication.

(19)

Computer simulation.

(15)

Data structures (Computer science).

(15)

Database management.

(15)

Data transmission systems.

(14)

Multimedia systems.

(14)

Performance and Reliability.

(12)

Computer hardware.

(11)

Programming Languages, Compilers, Interpreters.

(11)

Computer aided design.

(9)

Computer vision.

(9)

(9)

Optical pattern recognition.

(9)

Computer security.

(8)

Information theory.

(8)

Programming Techniques.

(8)

(7)

System Performance and Evaluation.

(7)

Algorithm Analysis and Problem Complexity.

(6)

Computers -- Law and legislation.

(6)

(6)

Logic, Symbolic and mathematical.

(6)

Software Engineering/Programming and Operating Systems.

(6)

(6)

Systems and Data Security.

(6)

(5)

Architecture, Computer.

(5)

(5)

Computer communication systems.

(5)

Computer engineering.

(5)

Logics and Meanings of Programs.

(5)

Systems engineering.

(5)

Computer organization.

(4)

Information Systems Applications (incl. Internet).

(4)

Management information systems.

(4)

Programming languages (Electronic computers).

(4)

Arithmetic and Logic Structures.

(3)

Computer System Implementation.

(3)

Computer Systems Organization and Communication Networks.

(3)

Data Encryption.

(3)

Data structures (Computer scienc.

(3)

Input-output equipment (Computers).

(3)

Microprocessors.

(3)

Microprogramming.

(3)

Optical data processing.

(3)

Processor Architectures.

(3)

Special Purpose and Application-Based Systems.

(3)

Special purpose computers.

(3)

Application software.

(2)

Bioinformatics.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computer industry.

(2)

Computer programming.

(2)

Computer science—Mathematics.

(2)

Computer system failures.

(2)

(2)

Distribution (Probability theory).

(2)

Information Storage and Retrieval.

(2)

Management of Computing and Information Systems.

(2)

(2)

Memory Structures.

(2)

Memory management (Computer science).

(2)

Numeric Computing.

(2)

(2)

Simulation and Modeling.

(2)

Algebra -- Data processing.

(1)

(1)

(1)

Biology -- Data processing.

(1)

Circuits and Systems.

(1)

Coding and Information Theory.

(1)

(1)

Computation by Abstract Devices.

(1)

Computational Science and Engineering.

(1)

Computer Applications.

(1)

Computer memory systems.

(1)

Computers and Society.

(1)

Data Mining and Knowledge Discovery.

(1)

(1)

Electric engineering.

(1)

Electronic commerce.

(1)

Energy Technology.

(1)

Engineering, general.

(1)

History of Computing.

(1)

Image Processing and Computer Vision.

(1)

Industrial engineering.

(1)

Information Systems and Communication Service.

(1)

Information storage and retrieval.

(1)

Microprogramming .

(1)

Monoclonal antibodies.

(1)

Multimedia Information Systems.

(1)

Numerical analysis.

(1)

Pattern Recognition.

(1)

Production management.

(1)

(1)

Social sciences.

(1)

(1)

Symbolic and Algebraic Manipulation.

(1)

Thermodynamics.

(1)

(1)

e-Commerce/e-business.

(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

552 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 3 4 5 6 7 .. 46

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.

Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings için kapak resmi

Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings

Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings

Yazar

Avgeriou, Paris. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-33176-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Provable Security 6th International Conference, ProvSec 2012, Chengdu, China, September 26-28, 2012. Proceedings için kapak resmi

Provable Security 6th International Conference, ProvSec 2012, Chengdu, China, September 26-28, 2012. Proceedings

Provable Security 6th International Conference, ProvSec 2012, Chengdu, China, September 26-28, 2012. Proceedings

Yazar

Takagi, Tsuyoshi. editor. Wang, Guilin. editor. Qin, Zhiguang. editor. Jiang, Shaoquan. editor. Yu, Yong. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-33272-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Research in Attacks, Intrusions, and Defenses 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012. Proceedings için kapak resmi

Research in Attacks, Intrusions, and Defenses 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012. Proceedings

Research in Attacks, Intrusions, and Defenses 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012. Proceedings

Yazar

Balzarotti, Davide. editor. Stolfo, Salvatore J. editor. Cova, Marco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-33338-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings için kapak resmi

Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings

Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings

Yazar

Pankratius, Victor. editor. Philippsen, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-31202-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Evaluating AAL Systems Through Competitive Benchmarking. Indoor Localization and Tracking International Competition, EvAAL 2011, Competition in Valencia, Spain, July 25-29, 2011, and Final Workshop in Lecce, Italy, September 26, 2011. Revised Selected Papers için kapak resmi

Evaluating AAL Systems Through Competitive Benchmarking. Indoor Localization and Tracking International Competition, EvAAL 2011, Competition in Valencia, Spain, July 25-29, 2011, and Final Workshop in Lecce, Italy, September 26, 2011. Revised Selected Papers

Evaluating AAL Systems Through Competitive Benchmarking. Indoor Localization and Tracking International Competition, EvAAL 2011, Competition in Valencia, Spain, July 25-29, 2011, and Final Workshop in Lecce, Italy, September 26, 2011. Revised Selected Papers

Yazar

Chessa, Stefano. editor. Knauth, Stefan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-33533-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Computer Network Security 6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012. Proceedings için kapak resmi

Computer Network Security 6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012. Proceedings

Computer Network Security 6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012. Proceedings

Yazar

Kotenko, Igor. editor. Skormin, Victor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-33704-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I için kapak resmi

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Yazar

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-34026-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II için kapak resmi

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Yazar

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-34032-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Euro-Par 2012 Parallel Processing 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings için kapak resmi

Euro-Par 2012 Parallel Processing 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings

Euro-Par 2012 Parallel Processing 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings

Yazar

Kaklamanis, Christos. editor. Papatheodorou, Theodore. editor. Spirakis, Paul G. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-32820-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings için kapak resmi

Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings

Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings

Yazar

Park, James J. editor. Zomaya, Albert. editor. Yeo, Sang-Soo. editor. Sahni, Sartaj. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35606-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings için kapak resmi

NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

Yazar

Bobaru, Mihaela. editor. Havelund, Klaus. editor. Holzmann, Gerard J. editor. Joshi, Rajeev. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-20398-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Analytical and Stochastic Modeling Techniques and Applications 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011. Proceedings için kapak resmi

Analytical and Stochastic Modeling Techniques and Applications 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011. Proceedings

Analytical and Stochastic Modeling Techniques and Applications 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011. Proceedings

Yazar

Al-Begain, Khalid. editor. Balsamo, Simonetta. editor. Fiems, Dieter. editor. Marin, Andrea. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-21713-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 3 4 5 6 7 .. 46

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11