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

+

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 2 3 4 5 6 .. 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.

Ada 2012 Rationale The Language, The Standard Libraries için kapak resmi

Ada 2012 Rationale The Language, The Standard Libraries

Ada 2012 Rationale The Language, The Standard Libraries

Yazar

Barnes, John. author. SpringerLink (Online service)

Yer Numarası

ONLINE(335195.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Trusted Systems 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings için kapak resmi

Trusted Systems 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings

Trusted Systems 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings

Yazar

Bloem, Roderick. editor. Lipp, Peter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332976.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03491-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Assurances for Self-Adaptive Systems Principles, Models, and Techniques için kapak resmi

Assurances for Self-Adaptive Systems Principles, Models, and Techniques

Assurances for Self-Adaptive Systems Principles, Models, and Techniques

Yazar

Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334156.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings için kapak resmi

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Yazar

Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334353.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

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:

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.

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.

Architecture of Computing Systems – ARCS 2012 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings için kapak resmi

Architecture of Computing Systems – ARCS 2012 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings

Architecture of Computing Systems – ARCS 2012 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings

Yazar

Herkersdorf, Andreas. editor. Römer, Kay. editor. Brinkschulte, Uwe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

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:

11.

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:

12.

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:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 6 .. 46

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11