Search Results for 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ış:

+

Konu: 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.

NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings için kapak resmi

NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings

NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings

Yazar

Goodloe, Alwyn E. editor. Person, Suzette. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Dependable Networks and Services 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012. Proceedings için kapak resmi

Dependable Networks and Services 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012. Proceedings

Dependable Networks and Services 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012. Proceedings

Yazar

Sadre, Ramin. editor. Novotný, Jiří. editor. Čeleda, Pavel. editor. Waldburger, Martin. editor. Stiller, Burkhard. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Advances in Grid and Pervasive Computing 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings için kapak resmi

Advances in Grid and Pervasive Computing 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings

Advances in Grid and Pervasive Computing 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings

Yazar

Li, Ruixuan. editor. Cao, Jiannong. editor. Bourgeois, Julien. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Distributed Applications and Interoperable Systems 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings için kapak resmi

Distributed Applications and Interoperable Systems 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings

Distributed Applications and Interoperable Systems 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings

Yazar

Göschka, Karl Michael. editor. Haridi, Seif. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

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:

6.

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:

7.

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:

8.

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:

9.

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:

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.

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers için kapak resmi

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

Yazar

Aichernig, Bernhard K. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

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:

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