Search Results for Information Theory.

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: Software engineering.

Yazar

SpringerLink (Online service)

(167)

Albada, Geert Dick. editor.

(16)

Gavrilova, Marina L. editor.

(16)

Gervasi, Osvaldo. editor.

(16)

Sloot, Peter M. A. editor.

(16)

Dongarra, Jack. editor.

(15)

Mun, Youngsong. editor.

(13)

Taniar, David. editor.

(13)

Kumar, Vipin. editor.

(9)

Laganà, Antonio. editor.

(7)

Tan, C. J. Kenneth. editor.

(7)

Laganá, Antonio. editor.

(6)

Choo, Hyunseung. editor.

(5)

Liu, Chunfeng. editor.

(5)

Alexandrov, Vassil N. editor.

(4)

Daydé, Michel. editor.

(4)

Jensen, Kurt. editor.

(4)

Lee, Heow Pueh. editor.

(4)

Margaria, Tiziana. editor.

(4)

Murgante, Beniamino. editor.

(4)

Shi, Yong. editor.

(4)

Steffen, Bernhard. editor.

(4)

Tan, Chih Jeng Kenneth. editor.

(4)

Bieliková, Mária. editor.

(3)

Brambilla, Marco. editor.

(3)

Bubak, Marian. editor.

(3)

Ceri, Stefano. editor.

(3)

Donatelli, Susanna. editor.

(3)

Galbraith, Steven. editor.

(3)

Liu, Baoxiang. editor.

(3)

Lopes, João Correia. editor.

(3)

Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197

(3)

Preneel, Bart. editor.

(3)

Streit, Achim. editor.

(3)

Sunderam, Vaidy S. editor.

(3)

Zhang, Yanchun. editor.

(3)

Zhu, Rongbo. editor.

(3)

Aceto, Luca. editor.

(2)

Albers, Susanne. editor.

(2)

Alexander, Michael. editor.

(2)

Allen, Gabrielle. editor.

(2)

Barry, Chris. editor.

(2)

Bougé, Luc. editor.

(2)

Bugliesi, Michele. editor.

(2)

Chang, Jincai. editor.

(2)

Conboy, Kieran. editor.

(2)

Damgård, Ivan. editor.

(2)

Dongarra, Jack J. editor.

(2)

Gavrilova, Marina. editor.

(2)

Goldberg, Leslie Ann. editor.

(2)

Goos, Gerhard. author.

(2)

Halldórsson, Magnús M. editor.

(2)

Hsu, Ching-Hsien. editor.

(2)

Ingólfsdóttir, Anna. editor.

(2)

Italiano, Giuseppe F. editor.

(2)

Karhumäki, Juhani. editor.

(2)

Kleijn, Jetty. editor.

(2)

Koutny, Maciej. editor.

(2)

Lang, Michael. editor.

(2)

Lehner, Wolfgang. editor.

(2)

Lin, Dongdai. editor.

(2)

Liu, Zhiming. editor.

(2)

Marchetti-Spaccamela, Alberto. editor.

(2)

Matias, Yossi. editor.

(2)

Nabrzyski, Jarosław. editor.

(2)

Nikoletseas, Sotiris. editor.

(2)

Nitaj, Abderrahmane. editor. (orcid)0000-0002-0372-1757

(2)

Palamidessi, Catuscia. editor.

(2)

Palma, José M. L. M. editor.

(2)

Palma, José M. Laginha M. editor.

(2)

Park, Jong Hyuk. editor.

(2)

Paule, Peter. editor.

(2)

Plasmeijer, Rinus. editor.

(2)

Reisig, Wolfgang. author.

(2)

Sako, Kazue. editor.

(2)

Sassone, Vladimiro. editor.

(2)

Seidel, Edward. editor.

(2)

Thomas, Wolfgang. editor.

(2)

Träff, Jesper Larsson. editor.

(2)

Walukiewicz, Igor. editor.

(2)

Wegener, Ingo. editor.

(2)

Wojtkowski, Gregory. editor.

(2)

Wojtkowski, Wita. editor.

(2)

Woodcock, Jim. editor.

(2)

Yang, Aimin. editor.

(2)

Yang, Laurence T. editor.

(2)

Yeo, Sang-Soo. editor.

(2)

Zhu, Huibiao. editor.

(2)

Zimmermann, Wolf. author.

(2)

Aalst, Wil M. P. editor.

(1)

Abdelwahed, El Hassan. editor.

(1)

Affenzeller, Michael. editor.

(1)

Ahlbrecht, Tobias. editor. (orcid)0000-0002-4652-901X

(1)

Aho, Alfred V. editor.

(1)

Alfaro, Luca. editor.

(1)

Amestoy, Patrick R. editor.

(1)

Arge, Lars. editor.

(1)

Balcısoy, Selim. editor.

(1)

Barnat, Jiří. editor.

(1)

Bellatreche, Ladjel. editor.

(1)

Ben-Ari, Mordechai. author.

(1)

Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622

(1)

Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060

(1)

Benítez, Domingo. editor.

(1)

Bertoni, Alberto. editor.

(1)

Beyersdorff, Olaf. editor.

(1)

Billington, Jonathan. editor.

(1)

Bisgin, Halil. editor.

(1)

Bjørner, Dines. editor.

(1)

Bloem, Roderick. editor.

(1)

Blum, Edward K. editor.

(1)

Bollig, Benedikt. author.

(1)

Bouassida Rodriguez, Ismael. editor.

(1)

Brennan, Rob. editor.

(1)

Broy, Manfred. editor.

(1)

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

(1)

Buchberger, Bruno. editor.

(1)

Buchmann, Johannes. editor.

(1)

Bunker, Deborah. editor.

(1)

Cachin, Christian. editor.

(1)

Cai, Wentong. editor.

(1)

Caires, Luís. editor.

(1)

Carlet, Claude. editor.

(1)

Cascini, Gaetano. editor.

(1)

Cassez, Franck. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Cavallaro, Lorenzo. editor.

(1)

Chapman, Barbara M. editor.

(1)

Charron-Bost, Bernadette. editor.

(1)

Chen, Danny Z. editor.

(1)

Childs, Stephen. editor.

(1)

Ciardo, Gianfranco. editor.

(1)

Clarke, Edmund M. editor.

(1)

Coutinho, Álvaro L. G. A. editor.

(1)

Crowther, Paul. author.

(1)

Cunha, José C. editor.

(1)

Cérin, Christophe. editor.

(1)

César, Eduardo. editor.

(1)

Damiani, Ernesto. editor.

(1)

Dancy, Christopher. editor.

(1)

Darondeau, Philippe. editor.

(1)

DeGross, Janice I. editor.

(1)

Deelman, Ewa. editor. (orcid)0000-0001-5106-503X

(1)

Dix, Jürgen. editor. (orcid)0000-0002-8528-1440

(1)

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

(1)

Dorling, Alec. editor.

(1)

Drira, Khalil. editor. (orcid)0000-0002-4770-1563

(1)

Dunkelman, Orr. editor. (orcid)0000-0001-5799-2635

(1)

Dutle, Aaron. editor.

(1)

D’Souza, Meenakshi. editor.

(1)

Esparza, Javier. author.

(1)

Fan, Pingzhi. editor.

(1)

Fernández, Maribel. author.

(1)

Ferscha, Alois. editor.

(1)

Fiekas, Niklas. editor. (orcid)0000-0002-8369-4890

(1)

Fitzgerald, John S. editor.

(1)

Fleck, Joel. editor.

(1)

Fokkink, Wan. author.

(1)

Forsell, Martti. editor.

(1)

Franceschinis, Giuliana. editor.

(1)

Fu, Yuxi. editor.

(1)

Fukuda, Komei. editor.

(1)

Geffert, Viliam. editor.

(1)

Golfarelli, Matteo. editor.

(1)

Gollmann, Dieter. editor.

(1)

Gruner, Stefan. editor.

(1)

Grünbauer, Johannes. editor.

(1)

Guilley, Sylvain. editor. (orcid)0000-0002-5044-3534

(1)

Gómez Pardo, José Luis. author.

(1)

Güngör, Tunga. editor.

(1)

Gürgen, Fikret. editor.

(1)

Haller, Michael. editor.

(1)

Hancke, Gerhard P. editor.

(1)

Harel, David. editor.

(1)

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472

(1)

Haxthausen, Anne E. editor.

(1)

He, Ji-Huan. editor.

(1)

Heckel, Reiko. editor.

(1)

Hee, Kees M. editor.

(1)

Heljanko, Keijo. author.

(1)

Henson, Martin C. editor.

(1)

Henzinger, Thomas A. editor.

(1)

Hernández, Vicente. editor.

(1)

Hoare, Tony. editor.

(1)

Hoek, Wiebe. editor.

(1)

Hoeven, Joris van der. editor.

(1)

Horiguchi, Susumu. editor.

(1)

Horváth, Zoltán. editor.

(1)

Howar, Falk. editor.

(1)

Huth, Michael. author.

(1)

Hyder, Ayaz. editor.

(1)

Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613

(1)

Impagliazzo, John. editor.

(1)

Issarny, Valerie. editor.

(1)

Jard, Claude. editor.

(1)

Jean, Stéphane. editor.

(1)

Jebelean, Tudor. editor.

(1)

Jerraya, A. A. editor.

(1)

Jha, Shantenu. editor.

(1)

Jin, Xiaolong. author.

(1)

Tümünü genişlet

Dil

(163)

(4)

Yayın Yılı

-

(23)

(22)

(21)

(20)

(20)

(15)

(12)

(11)

(10)

(7)

(5)

(1)

Tümünü genişlet

Konu

Information theory.

(154)

Computer science.

(147)

Electronic data processing.

(50)

Computer simulation.

(44)

Information systems.

(42)

Computer vision.

(34)

Computer Communication Networks.

(29)

Computer software.

(28)

Artificial intelligence.

(27)

Computer network architectures.

(27)

Computational complexity.

(18)

(16)

Data structures (Computer science).

(13)

Database management.

(13)

Data encryption (Computer science).

(12)

Information storage and retrieval systems.

(11)

(8)

Computer industry.

(8)

Computer system performance.

(8)

Theory of Computation.

(7)

(6)

Operating systems (Computers).

(6)

Software Engineering/Programming and Operating Systems.

(6)

Algebra -- Data processing.

(5)

Computer aided design.

(4)

Computer organization.

(4)

Information Systems.

(4)

Application software.

(3)

Computer communication systems.

(3)

Computer security.

(3)

Computers and civilization.

(3)

(3)

Data Encryption.

(3)

Data Structures, Cryptology and Information Theory.

(3)

Management information systems.

(3)

Algorithm Analysis and Problem Complexity.

(2)

Artificial Intelligence (incl. Robotics).

(2)

Bioinformatics.

(2)

Computer hardware.

(2)

Data structures (Computer scienc.

(2)

(2)

(2)

Law and legislation.

(2)

Logic, Symbolic and mathematical.

(2)

(1)

(1)

Coding and Information Theory.

(1)

Computation by Abstract Devices.

(1)

Computer Science, general.

(1)

Computer System Implementation.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer logic.

(1)

Computer science -- Mathematics.

(1)

Computing Methodologies.

(1)

Data protection.

(1)

Education—Data processing.

(1)

Information Storage and Retrieval.

(1)

Management of Computing and Information Systems.

(1)

Math Applications in Computer Science.

(1)

Mathematical Logic and Formal Languages.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical Software.

(1)

Mathematical logic.

(1)

(1)

Models and Principles.

(1)

(1)

Quantum Computing.

(1)

Simulation and Modeling.

(1)

Social sciences -- Data processing.

(1)

Special Purpose and Application-Based Systems.

(1)

Special purpose computers.

(1)

Symbolic and Algebraic Manipulation.

(1)

(1)

Systems and Data Security.

(1)

Systems engineering.

(1)

User interfaces (Computer systems).

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

167 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 14

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.

13.

Internet of Things – ICIOT 2019 4th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings için kapak resmi

Internet of Things – ICIOT 2019 4th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

Internet of Things – ICIOT 2019 4th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

Yazar

Issarny, Valerie. editor. Palanisamy, Balaji. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-23357-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers için kapak resmi

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers

Yazar

Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148 Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-06019-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

The Multi-Agent Programming Contest 2018 Agents Teaming Up in an Urban Environment için kapak resmi

The Multi-Agent Programming Contest 2018 Agents Teaming Up in an Urban Environment

The Multi-Agent Programming Contest 2018 Agents Teaming Up in an Urban Environment

Yazar

Ahlbrecht, Tobias. editor. (orcid)0000-0002-4652-901X Dix, Jürgen. editor. (orcid)0000-0002-8528-1440 Fiekas, Niklas. editor. (orcid)0000-0002-8369-4890 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-37959-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Service-Oriented Computing 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings için kapak resmi

Service-Oriented Computing 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings

Service-Oriented Computing 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings

Yazar

Yangui, Sami. editor. (orcid)0000-0001-9756-642X Bouassida Rodriguez, Ismael. editor. Drira, Khalil. editor. (orcid)0000-0002-4770-1563 Tari, Zahir. editor. (orcid)0000-0002-1235-9673 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-33702-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Public-Key Cryptography – PKC 2019 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part II için kapak resmi

Public-Key Cryptography – PKC 2019 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part II

Public-Key Cryptography – PKC 2019 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part II

Yazar

Lin, Dongdai. editor. Sako, Kazue. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-17259-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

ICT Education 47th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2018, Gordon's Bay, South Africa, June 18–20, 2018, Revised Selected Papers için kapak resmi

ICT Education 47th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2018, Gordon's Bay, South Africa, June 18–20, 2018, Revised Selected Papers

ICT Education 47th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2018, Gordon's Bay, South Africa, June 18–20, 2018, Revised Selected Papers

Yazar

Kabanda, Salah. editor. Suleman, Hussein. editor. Gruner, Stefan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-05813-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Public-Key Cryptography – PKC 2019 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part I için kapak resmi

Public-Key Cryptography – PKC 2019 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part I

Public-Key Cryptography – PKC 2019 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part I

Yazar

Lin, Dongdai. editor. Sako, Kazue. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-17253-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings için kapak resmi

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

Yazar

Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-02768-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings için kapak resmi

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

Yazar

Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Handbook of Model Checking için kapak resmi

Handbook of Model Checking

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings için kapak resmi

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

Yazar

Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I için kapak resmi

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-03418-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 .. 14

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11