Search Results for Operating systems (computers)

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

+

Subject: Computer science.

Yazar

SpringerLink (Online service)

(530)

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)

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)

Jin, Hai. 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)

Hochberger, Christian. editor.

(3)

Jeannot, Emmanuel. editor.

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

Carle, Georg. editor.

(2)

Chatzimisios, Periklis. 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)

Dolev, Shlomi. editor.

(2)

D’Ambra, Pasqua. editor.

(2)

Eliassen, Frank. editor.

(2)

Falsafi, Babak. editor.

(2)

Garcia-Alfaro, Joaquin. editor.

(2)

Gollmann, Dieter. editor.

(2)

Guarracino, Mario. editor.

(2)

Guerraoui, Rachid. author.

(2)

Gunther, Neil J. author.

(2)

Hameurlain, Abdelkader. editor.

(2)

Herminghaus, Volker. author.

(2)

Higashino, Teruo. editor.

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

Kotenko, Igor. editor.

(2)

Krogstie, John. editor. (orcid)0000-0003-4830-1876

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

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)

Preneel, Bart. editor.

(2)

Proper, Henderik A. editor. (orcid)0000-0002-7318-2496

(2)

Rannenberg, Kai. editor.

(2)

Resch, Michael M. editor.

(2)

Reussner, Ralf. editor.

(2)

Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108

(2)

Rodrigues, Luís. author.

(2)

Roman, Jean. editor.

(2)

Rudolph, Larry. editor.

(2)

Ryan, Peter Y. A. editor.

(2)

Safavi-Naini, Reihaneh. editor.

(2)

Sakurai, Kouichi. editor.

(2)

Schiele, Bernt. editor.

(2)

Schmidt, Frank R. editor.

(2)

Schneider, Steve. editor.

(2)

Scriba, Albrecht. author.

(2)

Shi, Weisong. 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)

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)

Wagner, Roland. editor.

(2)

Waldburger, Martin. editor.

(2)

Walsh, Toby. editor.

(2)

Wang, Guilin. editor.

(2)

Wu, Zhaohui. editor.

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

Antonopoulos, Nick. editor.

(1)

Arabnia, Hamid R. editor.

(1)

Arcaini, Paolo. editor. (orcid)0000-0002-6253-4062

(1)

Arora, Anish. editor.

(1)

Artikis, Alexander. editor.

(1)

Assis Silva, Flávio Morais. editor.

(1)

Atencio Psille, Daniel E. author.

(1)

Atkinson, Colin. editor.

(1)

Avgeriou, Paris. editor.

(1)

Azevedo, Américo. editor.

(1)

Bacchus, Fahiem. editor.

(1)

Backes, Michael. editor.

(1)

Bacon, Jean M. editor.

(1)

Bader, Markus. editor.

(1)

Badia, Rosa M. editor.

(1)

Badonnel, Rémi. editor.

(1)

Badrinath, Ramamurthy. editor.

(1)

Tümünü genişlet

Dil

(500)

(30)

(1)

Yayın Yılı

-

(98)

(90)

(56)

(53)

(52)

(40)

(36)

(35)

(31)

(26)

(5)

(4)

(3)

(1)

(1)

Tümünü genişlet

Konu

Operating systems (Computers).

(530)

Software engineering.

(291)

Computer Communication Networks.

(290)

Computer software.

(127)

Information systems.

(126)

Information Systems.

(104)

Data encryption (Computer science).

(99)

Computer network architectures.

(82)

(80)

Computer system performance.

(73)

Information storage and retrieval systems.

(57)

Operating Systems.

(40)

Artificial intelligence.

(35)

Computational complexity.

(26)

Data protection.

(25)

Electronic data processing.

(21)

Telecommunication.

(18)

Database management.

(17)

Computer simulation.

(14)

Data transmission systems.

(14)

Multimedia systems.

(14)

Data structures (Computer science).

(12)

Performance and Reliability.

(12)

Programming Languages, Compilers, Interpreters.

(11)

Theory of Computation.

(10)

Computer aided design.

(9)

(9)

Optical pattern recognition.

(9)

Programming Techniques.

(9)

Computer vision.

(8)

Information theory.

(8)

Computer hardware.

(7)

(7)

System Performance and Evaluation.

(7)

Algorithm Analysis and Problem Complexity.

(6)

Computer engineering.

(6)

Computer security.

(6)

Computers -- Law and legislation.

(6)

Logic, Symbolic and mathematical.

(6)

Software Engineering/Programming and Operating Systems.

(6)

Systems and Data Security.

(6)

(5)

Computer System Implementation.

(5)

Computer networks .

(5)

(5)

Logics and Meanings of Programs.

(5)

(5)

Information Systems Applications (incl. Internet).

(4)

Management information systems.

(4)

Processor Architectures.

(4)

Special Purpose and Application-Based Systems.

(4)

Systems engineering.

(4)

Arithmetic and Logic Structures.

(3)

Computer Application in Administrative Data Processing.

(3)

Computer Science Logic and Foundations of Programming.

(3)

Computer Systems Organization and Communication Networks.

(3)

(3)

Computing Milieux.

(3)

Data Encryption.

(3)

Information technology -- Management.

(3)

Microprogramming.

(3)

(2)

Bioinformatics.

(2)

Compilers (Computer programs).

(2)

Compilers and Interpreters.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computer industry.

(2)

Computer systems.

(2)

Control Structures and Microprogramming.

(2)

Distribution (Probability theory).

(2)

Formal Languages and Automata Theory.

(2)

Information Storage and Retrieval.

(2)

Machine theory.

(2)

Management of Computing and Information Systems.

(2)

(2)

Memory Structures.

(2)

Memory management (Computer science).

(2)

Microprogramming .

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

Numeric Computing.

(2)

(2)

Simulation and Modeling.

(2)

Accounting -- Data processing.

(1)

Algebra -- Data processing.

(1)

(1)

(1)

Biology -- Data processing.

(1)

BİLGİSAYAR BİLİMİ.

(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 Engineering and Networks.

(1)

Computer architecture.

(1)

Computer programming.

(1)

Computers and Society.

(1)

Computers, Special purpose.

(1)

Data Mining and Knowledge Discovery.

(1)

Data structures (Computer scienc.

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

MUHASEBE -- VERİ İŞLEM.

(1)

Microprocessors.

(1)

Monoclonal antibodies.

(1)

Multimedia Information Systems.

(1)

Numerical analysis.

(1)

Operating systems (Computers)

(1)

Pattern Recognition.

(1)

Production management.

(1)

Social sciences.

(1)

(1)

Symbolic and Algebraic Manipulation.

(1)

Thermodynamics.

(1)

(1)

e-Commerce/e-business.

(1)

İŞLETİM SİSTEMLERİ (BİLGİSAYAR)

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

Elektronik Kütüphane

Kütüphane

Beytepe Kütüphanesi

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

531 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 6 .. 45

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.

Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers için kapak resmi

Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers

Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers

Yazar

Heras, Dora B. editor. Bougé, Luc. editor. Mencagli, Gabriele. editor. Jeannot, Emmanuel. editor. Sakellariou, Rizos. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings için kapak resmi

High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings

High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings

Yazar

Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Keyes, David. editor. Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications için kapak resmi

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications

Yazar

Hameurlain, Abdelkader. editor. Wagner, Roland. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496 Grosky, William I. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Systems Programming in Unix/Linux için kapak resmi

Systems Programming in Unix/Linux

Systems Programming in Unix/Linux

Yazar

Wang, K.C. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings için kapak resmi

Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

Yazar

Gaspers, Serge. editor. Walsh, Toby. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings için kapak resmi

Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

Yazar

Blieberger, Johann. editor. Bader, Markus. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications için kapak resmi

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications

Yazar

Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Decker, Hendrik. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-55947-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings için kapak resmi

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

Yazar

Rayadurgam, Sanjai. editor. Tkachuk, Oksana. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Energy-Efficient High Performance Computing Measurement and Tuning için kapak resmi

Energy-Efficient High Performance Computing Measurement and Tuning

Energy-Efficient High Performance Computing Measurement and Tuning

Yazar

Laros III, James H. author. Pedretti, Kevin. author. Kelly, Suzanne M. author. Shu, Wei. author. Ferreira, Kurt. author.

Yer Numarası

ONLINE(330991.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-4492-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Computer Performance Optimization Systems - Applications - Processes için kapak resmi

Computer Performance Optimization Systems - Applications - Processes

Computer Performance Optimization Systems - Applications - Processes

Yazar

Osterhage, Wolfgang W. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333281.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers için kapak resmi

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Yazar

Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334077.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers için kapak resmi

Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers

Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers

Yazar

Xu, Weixia. editor. Xiao, Liquan. editor. Lu, Pingjing. editor. Li, Jinwen. editor. Zhang, Chengyi. editor.

Yer Numarası

ONLINE(334080.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 6 .. 45

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11