Search Results for Information theory.

|

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

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

167 sonuç bulundu

Arama sonuçlarına abone ol

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

37.

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings için kapak resmi

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Yazar

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-95582-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers için kapak resmi

Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

Yazar

Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622 Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 Meinke, Karl. editor. (orcid)0000-0002-9706-5008 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings için kapak resmi

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings

Yazar

Ouaknine, Joel. editor. Potapov, Igor. editor. Worrell, James. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-11439-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Concise Guide to Databases A Practical Introduction için kapak resmi

Concise Guide to Databases A Practical Introduction

Concise Guide to Databases A Practical Introduction

Yazar

Lake, Peter. author. Crowther, Paul. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331224.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-5601-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations için kapak resmi

Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations

Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations

Yazar

Raynal, Michel. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333514.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Introduction to Cryptography with Maple için kapak resmi

Introduction to Cryptography with Maple

Introduction to Cryptography with Maple

Yazar

Gómez Pardo, José Luis. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333533.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies için kapak resmi

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies

Yazar

Reisig, Wolfgang. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333688.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings için kapak resmi

Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

Yazar

Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334236.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday için kapak resmi

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Yazar

Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334837.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures için kapak resmi

Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Yazar

Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334841.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings için kapak resmi

Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings

Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings

Yazar

Heckel, Reiko. editor. Milius, Stefan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334910.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings için kapak resmi

Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings

Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings

Yazar

Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334973.1)

Elektronik Erişim

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

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 .. 14

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11