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

+

Konu: Computer science.

Yazar

SpringerLink (Online service)

(435)

Gavrilova, Marina L. editor.

(18)

Albada, Geert Dick. 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)

Riolo, Rick. editor.

(9)

Löwe, Benedikt. editor.

(8)

Tan, C. J. Kenneth. editor.

(8)

Cooper, S. Barry. editor.

(7)

Laganà, Antonio. editor.

(7)

Laganá, Antonio. editor.

(6)

Zhang, Yanchun. editor.

(6)

Choo, Hyunseung. editor.

(5)

Liu, Chunfeng. editor.

(5)

Worzel, Bill. editor.

(5)

Alexandrov, Vassil N. editor.

(4)

Daydé, Michel. editor.

(4)

Dolev, Shlomi. editor.

(4)

Jensen, Kurt. editor.

(4)

Lee, Heow Pueh. editor.

(4)

Li, Angsheng. editor.

(4)

Margaria, Tiziana. editor.

(4)

Murgante, Beniamino. editor.

(4)

Oltean, Mihai. editor.

(4)

Peters, James F. editor.

(4)

Sarkar, Palash. editor.

(4)

Shi, Yong. editor.

(4)

Skowron, Andrzej. 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)

Chung, Kyo-il. editor.

(3)

Donatelli, Susanna. editor.

(3)

Hromkovič, Juraj. author.

(3)

Jukna, Stasys. author.

(3)

Karhumäki, Juhani. editor.

(3)

Liu, Baoxiang. editor.

(3)

Lopes, João Correia. editor.

(3)

Ma, Jianhua. editor.

(3)

Markantonakis, Konstantinos. editor.

(3)

Nikoletseas, Sotiris. editor.

(3)

Palamidessi, Catuscia. editor.

(3)

Preneel, Bart. editor.

(3)

Queiroz, Ruy. editor.

(3)

Rozenberg, Grzegorz. editor.

(3)

Sako, Kazue. editor.

(3)

Sauveron, Damien. editor.

(3)

Soule, Terence. editor.

(3)

Streit, Achim. editor.

(3)

Sunderam, Vaidy S. editor.

(3)

Vladislavleva, Ekaterina. editor.

(3)

Wojtkowski, Wita. editor.

(3)

Zhang, Jun. editor.

(3)

Zhu, Rongbo. editor.

(3)

Abdalla, Michel. editor.

(2)

Aceto, Luca. editor.

(2)

Agrawal, Manindra. editor.

(2)

Albers, Susanne. editor.

(2)

Alexander, Michael. editor.

(2)

Allen, Gabrielle. editor.

(2)

Arslan, Tughrul. editor.

(2)

Artemov, Sergei. editor.

(2)

Askoxylakis, Ioannis. editor.

(2)

Aydinian, Harout. editor.

(2)

Barry, Chris. editor.

(2)

Beckmann, Arnold. editor.

(2)

Berghammer, Rudolf. author.

(2)

Bilas, Angelos. editor.

(2)

Bouchon-Meunier, Bernadette. editor.

(2)

Bougé, Luc. editor.

(2)

Bugliesi, Michele. editor.

(2)

Cabrera, Inma P. editor.

(2)

Cai, Jin-Yi. editor.

(2)

Caro, Jaime. editor.

(2)

Chang, Jincai. editor.

(2)

Chen, Jianer. editor.

(2)

Chen, Kefei. editor.

(2)

Conboy, Kieran. editor.

(2)

Cuzzocrea, Alfredo. editor.

(2)

Damgård, Ivan. editor.

(2)

Deppe, Christian. editor.

(2)

Diekert, Volker. editor.

(2)

Dongarra, Jack J. editor.

(2)

Dowek, Gilles. author.

(2)

Galbraith, Steven. editor.

(2)

Gavrilova, Marina. editor.

(2)

Goldberg, Leslie Ann. editor.

(2)

Gollmann, Dieter. editor.

(2)

Goos, Gerhard. author.

(2)

Halldórsson, Magnús M. editor.

(2)

Harel, David. editor.

(2)

Hassanien, Aboul Ella. editor.

(2)

Hirsch, Edward A. editor.

(2)

Hoek, Wiebe. editor.

(2)

Hsu, Ching-Hsien. editor.

(2)

Ingólfsdóttir, Anna. editor.

(2)

Italiano, Giuseppe F. editor.

(2)

Iwata, Tetsu. editor. (orcid)0000-0002-4729-0979

(2)

Kanazawa, Makoto. editor.

(2)

Kawano, Yasuhito. editor.

(2)

Kim, Tai-hoon. editor.

(2)

Kleijn, Jetty. editor.

(2)

Kok, Joost N. editor.

(2)

Koutny, Maciej. editor.

(2)

Kurosawa, Kaoru. editor.

(2)

Kutrib, Martin. editor.

(2)

Lai, Xuejia. editor.

(2)

Lang, Michael. editor.

(2)

Lehner, Wolfgang. editor.

(2)

Lipton, Richard J. author.

(2)

Liu, Yong. editor.

(2)

Liu, Zhiming. editor.

(2)

Marchetti-Spaccamela, Alberto. editor.

(2)

Martín-Vide, Carlos. editor.

(2)

Matias, Yossi. editor.

(2)

McConaghy, Trent. editor.

(2)

Medina, Jesús. editor.

(2)

Melucci, Massimo. editor.

(2)

Miao, Duoqian. editor.

(2)

Moore, Jason H. editor.

(2)

Mosca, Michele. editor.

(2)

Nabrzyski, Jarosław. editor.

(2)

Nerode, Anil. editor.

(2)

Nishizaki, Shin-ya. editor.

(2)

Numao, Masayuki. editor.

(2)

Ojeda-Aciego, Manuel. editor.

(2)

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

(2)

Palma, José M. Laginha M. editor.

(2)

Park, Jong Hyuk. editor.

(2)

Pelta, David A. editor.

(2)

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

(2)

Plasmeijer, Rinus. editor.

(2)

Posegga, Joachim. editor.

(2)

Prokopenko, Mikhail. editor.

(2)

Quisquater, Jean-Jacques. editor.

(2)

Raynal, Michel. author.

(2)

Reisig, Wolfgang. author.

(2)

Rothe, Jörg. author.

(2)

Salomaa, Arto. editor.

(2)

Sassone, Vladimiro. editor.

(2)

Seidel, Edward. editor.

(2)

Song, Dawei. editor.

(2)

Song, Xiaofeng. editor.

(2)

Sorbi, Andrea. editor.

(2)

Suarez, Merlin Teodosia. editor.

(2)

Thomas, Wolfgang. editor.

(2)

Träff, Jesper Larsson. editor.

(2)

Umeo, H. editor.

(2)

Verdegay, José Luis. editor.

(2)

Walukiewicz, Igor. editor.

(2)

Wang, Xiaoyun. editor.

(2)

Wegener, Ingo. editor.

(2)

Wojtkowski, Gregory. editor.

(2)

Woodcock, Jim. editor.

(2)

Yager, Ronald R. editor.

(2)

Yang, Aimin. editor.

(2)

Yang, Laurence T. editor.

(2)

Yeo, Sang-Soo. editor.

(2)

Yu, Tina. editor.

(2)

Yung, Moti. editor.

(2)

Zeng, Dehuai. editor.

(2)

Zhu, Binhai. editor.

(2)

Zhu, Huibiao. editor.

(2)

Zimmermann, Wolf. author.

(2)

Aalst, Wil M. P. editor.

(1)

Aarts, Emile. author.

(1)

Abe, Masayuki. editor.

(1)

Abraham, Ajith. editor.

(1)

Abrial, Jean-Raymond. editor.

(1)

Adam, Gheorghe. editor.

(1)

Adamatzky, A. editor.

(1)

Adamatzky, Andrew. editor.

(1)

Adeli, Hojjat. editor.

(1)

Afek, Yehuda. editor.

(1)

Affenzeller, Michael. editor.

(1)

Ahlswede, Rudolf. editor.

(1)

Ahmed, Amal. editor. (orcid)0000-0001-7424-572X

(1)

Aho, Alfred V. editor.

(1)

Alfaro, Luca. editor.

(1)

Aman, Bogdan. author.

(1)

Amati, Giambattista. editor.

(1)

Ambos-Spies, Klaus. editor.

(1)

Amestoy, Patrick R. editor.

(1)

Amos, Martyn. author.

(1)

Andress, Jason, author.

(1)

Andress, Jason.

(1)

Annamalai, Annamalai. editor.

(1)

Anshakov, Oleg M. author.

(1)

Arafat, Sachi. editor.

(1)

Archibald, Margaret. editor.

(1)

Ardagna, Claudio A. editor.

(1)

Arge, Lars. editor.

(1)

Artmann, Stefan. editor.

(1)

Tümünü genişlet

Dil

(420)

(18)

(1)

Yayın Yılı

-

(67)

(62)

(59)

(45)

(44)

(35)

(33)

(32)

(28)

(25)

(6)

(1)

(1)

(1)

Tümünü genişlet

Konu

Information theory.

(350)

Software engineering.

(147)

Computer software.

(123)

Artificial intelligence.

(100)

Electronic data processing.

(99)

Information systems.

(68)

Computational complexity.

(64)

Computer Communication Networks.

(62)

Data structures (Computer science).

(59)

Computer simulation.

(55)

(54)

Data encryption (Computer science).

(49)

Computer vision.

(46)

Computer network architectures.

(41)

Data protection.

(39)

(35)

Database management.

(28)

Theory of Computation.

(27)

(26)

Systems and Data Security.

(25)

Data Structures, Cryptology and Information Theory.

(23)

Algebra -- Data processing.

(22)

Bioinformatics.

(22)

Data Encryption.

(22)

Information Systems.

(22)

Information storage and retrieval systems.

(20)

(19)

Logic, Symbolic and mathematical.

(19)

Coding and Information Theory.

(16)

(15)

Algorithm Analysis and Problem Complexity.

(14)

Artificial Intelligence (incl. Robotics).

(12)

Optical pattern recognition.

(12)

Discrete Mathematics in Computer Science.

(10)

Management information systems.

(10)

Operating systems (Computers).

(10)

Computer industry.

(9)

Computer system performance.

(9)

(9)

Mathematical optimization.

(9)

(8)

Mathematical Logic and Formal Languages.

(7)

Telecommunication.

(7)

Computer hardware.

(6)

Logics and Meanings of Programs.

(6)

Management of Computing and Information Systems.

(6)

Computation by Abstract Devices.

(5)

Computational Intelligence.

(5)

Computer Systems Organization and Communication Networks.

(5)

Computer aided design.

(5)

Computer science -- Mathematics.

(5)

Computer security.

(5)

Mathematics of Computing.

(5)

Quantum theory.

(5)

Software Engineering/Programming and Operating Systems.

(5)

e-Commerce/e-business.

(5)

(4)

Computer engineering.

(4)

(4)

(4)

Geographical information systems.

(4)

Simulation and Modeling.

(4)

Applications of Mathematics.

(3)

Communications Engineering, Networks.

(3)

Computer Appl. in Administrative Data Processing.

(3)

Computer science—Mathematics.

(3)

(3)

Engineering mathematics.

(3)

Information Systems Applications (incl. Internet).

(3)

Math Applications in Computer Science.

(3)

Mathematical Logic and Foundations.

(3)

Nanotechnology.

(3)

(3)

Security Science and Technology.

(3)

Symbolic and Algebraic Manipulation.

(3)

Biological models.

(2)

Biology -- Data processing.

(2)

Computer Science, general.

(2)

Computer communication systems.

(2)

Computer networks -- Security measures.

(2)

(2)

Computing Methodologies.

(2)

Data Mining and Knowledge Discovery.

(2)

Data Structures.

(2)

Data structures (Computer scienc.

(2)

Data transmission systems.

(2)

Electrical Engineering.

(2)

Engineering design.

(2)

History of Computing.

(2)

History of Mathematical Sciences.

(2)

Information Systems and Communication Service.

(2)

Information resources management.

(2)

Information technology -- Security measures.

(2)

(2)

Models and Principles.

(2)

Numeric Computing.

(2)

(2)

Physical geography.

(2)

Programming Techniques.

(2)

Quantum Information Technology, Spintronics.

(2)

Quantum computing.

(2)

Translators (Computer programs).

(2)

Apprentissage automatique.

(1)

Arithmetic and Logic Structures.

(1)

(1)

Banks and banking.

(1)

Bio-informatique.

(1)

(1)

(1)

Business Information Systems.

(1)

COMPUTERS / Computer Graphics / Game Programming & Design

(1)

COMPUTERS / General

(1)

COMPUTERS / Information Technology

(1)

Complex Systems.

(1)

(1)

Computational Biology/Bioinformatics.

(1)

Computational biology

(1)

Computational biology.

(1)

Computational linguistics.

(1)

Computer Applications.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer Security.

(1)

Computer System Implementation.

(1)

Computer graphics.

(1)

Computer science

(1)

Computers and Society.

(1)

Computers and civilization.

(1)

Control engineering systems.

(1)

Discrete Mathematics.

(1)

Distribution (Probability theory).

(1)

Distribution (Probability theory.

(1)

Economics general.

(1)

Economics/Management Science, general.

(1)

Electronic books.

(1)

Electronic data processing

(1)

(1)

Geographical Information Systems/Cartography.

(1)

Geometry, algebraic.

(1)

Global analysis (Mathematics).

(1)

History of Science.

(1)

(1)

Information Management.

(1)

Information Storage and Retrieval.

(1)

(1)

Laser Technology, Photonics.

(1)

(1)

Machine learning

(1)

Machine learning.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical geography.

(1)

Mathematical statistics.

(1)

Multimedia systems.

(1)

(1)

(1)

Operating Systems.

(1)

Operations research.

(1)

Pattern Recognition.

(1)

Philosophy of Technology.

(1)

Physical optics.

(1)

(1)

Production/Logistics/Supply Chain Management.

(1)

Programming Languages, Compilers, Interpreters.

(1)

Quantum Computing.

(1)

Quantum Optics.

(1)

Quantum Physics.

(1)

Quantum optics.

(1)

Science -- History.

(1)

(1)

Special Purpose and Application-Based Systems.

(1)

(1)

(1)

Systems engineering.

(1)

Technology -- Philosophy.

(1)

(1)

User Interfaces and Human Computer Interaction.

(1)

data processing.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

CRC Ekitapları

Elektronik Kütüphane

Wiley E-Kitap Koleksiyonu

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

439 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 3 4 5 6 7 .. 37

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.

Advances in Cryptology – ASIACRYPT 2007 13th International Conference on the Theory and Application of Cryptology and Information Security, Kuching, Malaysia, December 2-6, 2007. Proceedings için kapak resmi

Advances in Cryptology – ASIACRYPT 2007 13th International Conference on the Theory and Application of Cryptology and Information Security, Kuching, Malaysia, December 2-6, 2007. Proceedings

Advances in Cryptology – ASIACRYPT 2007 13th International Conference on the Theory and Application of Cryptology and Information Security, Kuching, Malaysia, December 2-6, 2007. Proceedings

Yazar

Kurosawa, Kaoru. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-76900-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Advances in Cryptology – ASIACRYPT 2006 12th International Conference on the Theory and Application of Cryptology and Information Security, Shanghai, China, December 3-7, 2006. Proceedings için kapak resmi

Advances in Cryptology – ASIACRYPT 2006 12th International Conference on the Theory and Application of Cryptology and Information Security, Shanghai, China, December 3-7, 2006. Proceedings

Advances in Cryptology – ASIACRYPT 2006 12th International Conference on the Theory and Application of Cryptology and Information Security, Shanghai, China, December 3-7, 2006. Proceedings

Yazar

Lai, Xuejia. editor. Chen, Kefei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11935230

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Spatial Information Theory International Conference, COSIT 2005, Ellicottville, NY, USA, September 14-18, 2005. Proceedings için kapak resmi

Spatial Information Theory International Conference, COSIT 2005, Ellicottville, NY, USA, September 14-18, 2005. Proceedings

Spatial Information Theory International Conference, COSIT 2005, Ellicottville, NY, USA, September 14-18, 2005. Proceedings

Yazar

Cohn, Anthony G. editor. Mark, David M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11556114

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Information Systems Development Advances in Theory, Practice, and Education için kapak resmi

Information Systems Development Advances in Theory, Practice, and Education

Information Systems Development Advances in Theory, Practice, and Education

Yazar

Vasilecas, Olegas. editor. Wojtkowski, Wita. editor. Zupančič, Jože. editor. Caplinskas, Albertas. editor. Wojtkowski, W. Gregory. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/0-387-28809-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Advances in Cryptology - ASIACRYPT 2005 11th International Conference on the Theory and Application of Cryptology and Information Security, Chennai, India, December 4-8, 2005. Proceedings için kapak resmi

Advances in Cryptology - ASIACRYPT 2005 11th International Conference on the Theory and Application of Cryptology and Information Security, Chennai, India, December 4-8, 2005. Proceedings

Advances in Cryptology - ASIACRYPT 2005 11th International Conference on the Theory and Application of Cryptology and Information Security, Chennai, India, December 4-8, 2005. Proceedings

Yazar

Roy, Bimal. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11593447

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Informatics and machine learning : from Martingales to metaheuristics için kapak resmi

Informatics and machine learning : from Martingales to metaheuristics

Informatics and machine learning : from Martingales to metaheuristics

Yazar

Winters-Hilt, Stephen, author.

Yer Numarası

Q325.5 .W558 2022

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716730

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings için kapak resmi

Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Yazar

Bauer, Lujo. editor. Küsters, Ralf. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-89722-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings için kapak resmi

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Yazar

Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-89884-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings için kapak resmi

Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

Yazar

Johnsen, Einar Broch. editor. Schaefer, Ina. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches için kapak resmi

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

Yazar

Steffen, Bernhard. author. Rüthing, Oliver. author. Huth, Michael. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

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:

12.

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

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

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

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

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11