Search Results for

|

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: Computer science.

Yazar

SpringerLink (Online service)

(12308)

Kim, Tai-hoon. editor.

(61)

Filipe, Joaquim. editor.

(41)

Gervasi, Osvaldo. editor.

(39)

Nguyen, Ngoc Thanh. editor.

(38)

Gavrilova, Marina L. editor.

(37)

MacDonald, Matthew. author.

(36)

Yung, Moti. editor.

(36)

Dongarra, Jack. editor.

(35)

Ślęzak, Dominik. editor.

(35)

Taniar, David. editor.

(33)

Uszkoreit, Hans. editor.

(33)

Anglin, Steve. editor.

(32)

Buckingham, Ewan. editor.

(32)

Cornell, Gary. editor.

(32)

Jain, Lakhmi C. editor.

(32)

Moodie, Matthew. editor.

(32)

Rehm, Georg. editor.

(32)

Shakeshaft, Dominic. editor.

(32)

Beckner, Mark. editor.

(31)

Gennick, Jonathan. editor.

(31)

Hassell, Jonathan. editor.

(31)

Lowman, Michelle. editor.

(31)

Pepper, Jeffrey. editor.

(31)

Pohlmann, Frank. editor.

(31)

Renow-Clarke, Ben. editor.

(31)

Wade, Matt. editor.

(31)

Welsh, Tom. editor.

(31)

Howlett, Robert J. editor.

(30)

Meersman, Robert. editor.

(30)

Parkes, Duncan. editor.

(30)

Pundick, Douglas. editor.

(30)

Yang, Laurence T. editor.

(29)

Andres, Clay. editor.

(28)

Huang, De-Shuang. editor.

(28)

Rozenberg, Grzegorz. editor.

(28)

Hameurlain, Abdelkader. editor.

(27)

Tan, C. J. Kenneth. editor.

(26)

Wagner, Roland. editor.

(26)

Stephanidis, Constantine. editor.

(25)

Skowron, Andrzej. editor.

(24)

Wang, Fu Lee. editor.

(24)

Murgante, Beniamino. editor.

(22)

Freeman, Adam. author.

(21)

Kang, Byeong-Ho. editor.

(21)

Nagamalai, Dhinaharan. editor.

(21)

Adeli, Hojjat. editor.

(20)

Apduhan, Bernady O. editor.

(20)

Küng, Josef. editor.

(20)

Shenoi, Sujeet. editor.

(20)

Sloot, Peter M. A. editor.

(20)

Cao, Longbing. editor.

(19)

Damiani, Ernesto. editor.

(19)

Perner, Petra. editor.

(19)

Bebis, George. editor.

(18)

Boyle, Richard. editor.

(18)

Bramer, Max. editor.

(18)

Cordeiro, José. editor.

(18)

Jajodia, Sushil. editor.

(18)

Koracin, Darko. editor.

(18)

Parvin, Bahram. editor.

(18)

Peters, James F. editor.

(18)

Tjoa, A Min. editor.

(18)

Abraham, Ajith. editor.

(17)

Corchado, Emilio. editor.

(17)

Gelbukh, Alexander. editor.

(17)

Herrero, Pilar. editor.

(17)

Lei, Jingsheng. editor.

(17)

Lopez, Javier. editor.

(17)

Voronkov, Andrei. editor.

(17)

Albada, Geert Dick. editor.

(16)

Chen, Hsinchun. editor.

(16)

Fred, Ana. editor.

(16)

Li, Daoliang. editor.

(16)

Pan, Zhigeng. editor.

(16)

Priami, Corrado. editor.

(16)

Resch, Michael. editor.

(16)

Spaccapietra, Stefano. editor.

(16)

Zhou, Xiaofang. editor.

(16)

Camarinha-Matos, Luis M. editor.

(15)

El-Qawasmeh, Eyas. editor.

(15)

Fischer-Hübner, Simone. editor.

(15)

Ma, Jianhua. editor.

(15)

Margaria, Tiziana. editor.

(15)

Meghanathan, Natarajan. editor.

(15)

Philips, Wilfried. editor.

(15)

Salomaa, Arto. editor.

(15)

Shi, Yuhui. editor.

(15)

Tari, Zahir. editor.

(15)

Campilho, Aurélio. editor.

(14)

Chaki, Nabendu. editor.

(14)

Dillon, Tharam. editor.

(14)

Du, Ding-Zhu. editor.

(14)

Esposito, Anna. editor.

(14)

Kamel, Mohamed. editor.

(14)

Martín-Vide, Carlos. editor.

(14)

Meyer, Bertrand. editor.

(14)

Nagel, Wolfgang E. editor.

(14)

Olivier, Patrick. editor.

(14)

Palanque, Philippe. editor.

(14)

Tadeusiewicz, Ryszard. editor.

(14)

Unland, Rainer. editor.

(14)

Zurada, Jacek M. editor.

(14)

Blum, Christian. editor.

(13)

Jansen, Klaus. editor.

(13)

Koucheryavy, Yevgeni. editor.

(13)

Kurosu, Masaaki. editor.

(13)

Liu, Honghai. editor.

(13)

Lytras, Miltiadis D. editor.

(13)

Mun, Youngsong. editor.

(13)

Romanovsky, Alexander. editor.

(13)

Schewe, Klaus-Dieter. editor.

(13)

Winckler, Marco. editor.

(13)

Yin, Hujun. editor.

(13)

Zhou, Jianying. editor.

(13)

Ali, Moonis. editor.

(12)

Christianson, Bruce. editor.

(12)

Dastani, Mehdi. editor.

(12)

Jacko, Julie A. editor.

(12)

Krüger, Antonio. editor.

(12)

Li, Qing. editor.

(12)

Liu, Derong. editor.

(12)

Löwe, Benedikt. editor.

(12)

Müller, Henning. editor.

(12)

Müller, Wolfgang. editor.

(12)

Păun, Gheorghe. editor.

(12)

Quarteroni, Alfio. author.

(12)

Steffen, Bernhard. editor.

(12)

Stiller, Burkhard. editor.

(12)

Wang, Guoyin. editor.

(12)

Wang, Jun. editor.

(12)

Waśniewski, Jerzy. editor.

(12)

Yao, Yiyu. editor.

(12)

Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094

(11)

Barthe, Gilles. editor.

(11)

Bernardo, Marco. editor.

(11)

Blanc-Talon, Jacques. editor.

(11)

Boer, Frank S. editor.

(11)

C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886

(11)

Cotta, Carlos. editor.

(11)

Cuzzocrea, Alfredo. editor.

(11)

Dix, Jürgen. editor.

(11)

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

(11)

Faginas Lago, Maria Noelia. editor. (orcid)0000-0002-4056-3364

(11)

Fang, Wai-chi. editor.

(11)

Garau, Chiara. editor. (orcid)0000-0002-6239-5402

(11)

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X

(11)

Guo, Minyi. editor.

(11)

Huang, Xiong. editor.

(11)

Kelly, James Floyd. author.

(11)

Kowalczyk, Ryszard. editor.

(11)

Li, Kang. editor.

(11)

Liu, Zhiming. editor.

(11)

Machado, Penousal. editor.

(11)

Mazo, Gary. author.

(11)

Messnarz, Richard. editor.

(11)

Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959

(11)

Ozawa, Seiichi. editor.

(11)

Paragios, Nikos. editor.

(11)

Popescu, Dan. editor.

(11)

Powers, David. author.

(11)

Resch, Michael M. editor.

(11)

Scheunders, Paul. editor.

(11)

Shi, Yun Q. editor.

(11)

Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395

(11)

Tan, Ying. editor.

(11)

Taniar, David. editor. (orcid)0000-0002-8862-3960

(11)

Tatnall, Arthur. editor.

(11)

Trautschold, Martin. author.

(11)

Vorozhtsov, Evgenii V. editor.

(11)

Wimmer, Maria A. editor.

(11)

Woodcock, Jim. editor.

(11)

Yu, Jeffrey Xu. editor.

(11)

Zadeh, Lotfi A. editor.

(11)

Zhang, Yanchun. editor.

(11)

Bonsangue, Marcello M. editor.

(10)

Cagnoni, Stefano. editor.

(10)

Calude, Cristian S. editor.

(10)

Cheok, Adrian David. editor.

(10)

Das, Vinu V. editor.

(10)

Dayal, Umeshwar. editor.

(10)

Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142

(10)

Duch, Włodzisław. editor.

(10)

Hussain, Amir. editor.

(10)

Kaplan, Dean. author.

(10)

Klette, Reinhard. editor.

(10)

Kumar, Vipin. editor.

(10)

Lee, Minho. editor.

(10)

Leite, João. editor.

(10)

Marcus, Aaron. editor.

(10)

Martinelli, Fabio. editor.

(10)

Mayr, Heinrich C. editor.

(10)

Narukawa, Yasuo. editor.

(10)

Pernul, Günther. editor.

(10)

Petridis, Miltos. editor.

(10)

Preneel, Bart. editor.

(10)

Qing, Sihan. editor.

(10)

Rahwan, Iyad. editor.

(10)

Sadeghi, Ahmad-Reza. editor.

(10)

Salomon, David. author.

(10)

Tümünü genişlet

Dil

(11547)

(782)

(20)

(19)

(5)

(1)

(1)

(1)

Tümünü genişlet

Yayın Yılı

-

(1522)

(1414)

(1330)

(1264)

(1196)

(1054)

(1034)

(1022)

(970)

(643)

(225)

(182)

(175)

(146)

(134)

(31)

(11)

(8)

(4)

(4)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Artificial intelligence.

(3609)

Software engineering.

(3279)

Computer Communication Networks.

(2860)

Information systems.

(2469)

Computer software.

(2011)

Information storage and retrieval systems.

(1745)

Computer vision.

(1332)

Database management.

(1210)

(1184)

(1029)

Optical pattern recognition.

(1007)

Data encryption (Computer science).

(819)

Computer simulation.

(789)

Information Systems.

(748)

Computational complexity.

(747)

Data structures (Computer science).

(731)

Data protection.

(664)

Computer graphics.

(632)

(590)

Multimedia systems.

(585)

Computer network architectures.

(583)

Operating systems (Computers).

(530)

Management information systems.

(496)

(458)

Electronic data processing.

(457)

Bioinformatics.

(426)

Theory of Computation.

(426)

Information theory.

(415)

Artificial Intelligence (incl. Robotics).

(381)

Computer system performance.

(364)

Computer science -- Mathematics.

(340)

(323)

Information Systems Applications (incl. Internet).

(314)

(299)

Telecommunication.

(285)

Information Storage and Retrieval.

(265)

(246)

Data Mining and Knowledge Discovery.

(239)

Computer Science Logic and Foundations of Programming.

(231)

Social sciences -- Data processing.

(223)

Computer networks .

(211)

Translators (Computer programs).

(211)

User Interfaces and Human Computer Interaction.

(209)

Algorithm Analysis and Problem Complexity.

(208)

Computer Science, general.

(199)

Algebra -- Data processing.

(188)

Application software.

(187)

Text processing (Computer science.

(176)

Engineering mathematics.

(169)

Medical records -- Data processing.

(166)

Systems engineering.

(161)

Formal Languages and Automata Theory.

(160)

Machine theory.

(160)

Computer engineering.

(151)

Computer and Information Systems Applications.

(150)

Discrete Mathematics in Computer Science.

(140)

(135)

Pattern Recognition.

(133)

Programming Techniques.

(124)

(123)

Systems and Data Security.

(120)

Computer aided design.

(118)

Computer security.

(117)

Compilers (Computer programs).

(115)

Compilers and Interpreters.

(115)

Management of Computing and Information Systems.

(115)

Computers and Society.

(114)

Image Processing and Computer Vision.

(108)

Computational linguistics.

(107)

Logics and Meanings of Programs.

(103)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(102)

Computers -- Law and legislation.

(102)

Logic, Symbolic and mathematical.

(101)

Mathematical Logic and Formal Languages.

(101)

Mathematics of Computing.

(99)

(96)

Simulation and Modeling.

(95)

Mathematical statistics.

(94)

Programming Languages, Compilers, Interpreters.

(92)

Computer Engineering and Networks.

(91)

Data Encryption.

(91)

Computer hardware.

(88)

(88)

Mathematical optimization.

(85)

Special Purpose and Application-Based Systems.

(85)

Computation by Abstract Devices.

(84)

(78)

Electronic commerce.

(77)

Computer Modelling.

(76)

Computer Applications.

(67)

Computer Appl. in Administrative Data Processing.

(65)

Radiology, Medical.

(65)

System Performance and Evaluation.

(65)

Data transmission systems.

(64)

Computational Science and Engineering.

(63)

Computer industry.

(63)

Discrete mathematics.

(62)

Biology -- Data processing.

(61)

Distribution (Probability theory).

(61)

Engineering design.

(61)

Computer System Implementation.

(60)

Computer programming.

(60)

Numerical analysis.

(59)

Biomedical engineering.

(58)

(57)

Information Systems and Communication Service.

(56)

Multimedia Information Systems.

(55)

Data Structures and Information Theory.

(54)

(53)

Computers and Education.

(53)

Natural language processing (Computer science).

(53)

Business Information Systems.

(52)

(51)

Health Informatics.

(50)

Probability and Statistics in Computer Science.

(50)

Computer systems.

(49)

Computers, Special purpose.

(49)

Operations research.

(49)

(49)

Models of Computation.

(48)

Automated Pattern Recognition.

(46)

Pattern recognition systems.

(46)

(43)

e-Commerce/e-business.

(43)

(42)

(42)

Communications Engineering, Networks.

(41)

Computational Biology/Bioinformatics.

(41)

Philosophy (General).

(41)

Operating Systems.

(40)

Social sciences.

(40)

Numeric Computing.

(39)

(37)

Mathematical physics.

(37)

(36)

Mechanical engineering.

(36)

Microprogramming.

(36)

Data and Information Security.

(35)

Processor Architectures.

(35)

Business planning.

(34)

Coding and Information Theory.

(34)

Hydraulic engineering.

(34)

(34)

Computer Systems Organization and Communication Networks.

(33)

Image processing -- Digital techniques.

(33)

Mathematical Logic and Foundations.

(33)

Symbolic and Algebraic Manipulation.

(33)

Architectural design.

(32)

Data structures (Computer scienc.

(32)

Electronic data processing -- Management.

(31)

Engineering economy.

(31)

(31)

Geographical information systems.

(30)

Signal, Image and Speech Processing.

(30)

(30)

Computational Intelligence.

(29)

Data Structures.

(29)

Differential equations, partial.

(29)

(29)

Math Applications in Computer Science.

(28)

Software Engineering/Programming and Operating Systems.

(28)

User interfaces (Computer systems).

(28)

(27)

(27)

Computer communication systems.

(26)

Industrial management.

(26)

Mathematical logic.

(26)

Civil engineering.

(25)

Models and Principles.

(25)

Natural Language Processing (NLP).

(25)

Systems theory.

(25)

Theory and Algorithms for Application Domains.

(25)

Circuits and Systems.

(24)

Industrial engineering.

(24)

Machine learning.

(24)

Computers and civilization.

(23)

Data Structures, Cryptology and Information Theory.

(23)

Global analysis (Mathematics).

(23)

Computational Mathematics and Numerical Analysis.

(22)

Computer Appl. in Social and Behavioral Sciences.

(22)

Control Structures and Microprogramming.

(22)

Economics, Mathematical.

(22)

Library science.

(22)

(22)

Computational intelligence.

(21)

Microprogramming .

(21)

(21)

Appl.Mathematics/Computational Methods of Engineering.

(20)

Computing Milieux.

(20)

(20)

(20)

Electronic digital computers -- Evaluation.

(20)

Mathematical geography.

(20)

(20)

Science -- History.

(20)

(19)

Computational and Systems Biology.

(19)

Human-computer interaction.

(19)

Language Translation and Linguistics.

(19)

Mathematical Applications in Computer Science.

(19)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

CRC Ekitapları

Elektronik Kütüphane

Taylor Francis E-Kitap Koleksiyonu

Wiley E-Kitap Koleksiyonu

Tümünü genişlet

Kütüphane

Beytepe Kütüphanesi

Ç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

12380 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 1032

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.

Futureshock : happenings in computer science için kapak resmi

Futureshock : happenings in computer science

Futureshock : happenings in computer science

Yazar

Sequoiah-Grayson, Sebastian, 1975- editor.

Yer Numarası

Q335

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781032702797
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings için kapak resmi

Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings

Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings

Yazar

Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Howar, Falk. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-72044-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II için kapak resmi

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II

Yazar

Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-71177-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Creative Mathematical Sciences Communication 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024, Proceedings için kapak resmi

Creative Mathematical Sciences Communication 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024, Proceedings

Creative Mathematical Sciences Communication 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024, Proceedings

Yazar

Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Schwank, Inge. editor. (orcid)0000-0003-1546-3369 Staub, Jacqueline. editor. (orcid)0009-0004-7864-5711 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-73257-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I için kapak resmi

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-73709-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings için kapak resmi

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

Yazar

Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134 Abbas, Houssam. editor. (orcid)0000-0002-8096-2618 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-74234-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II için kapak resmi

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-75107-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V için kapak resmi

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-75390-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings için kapak resmi

Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings

Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings

Yazar

C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029 Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-78116-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Category Theory Using Haskell An Introduction with Moggi and Yoneda için kapak resmi

Category Theory Using Haskell An Introduction with Moggi and Yoneda

Category Theory Using Haskell An Introduction with Moggi and Yoneda

Yazar

Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-68538-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part I için kapak resmi

Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part I

Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part I

Yazar

Mukhopadhyay, Sourav. editor. Stănică, Pantelimon. editor. (orcid)0000-0002-8622-7120 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-80308-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part II için kapak resmi

Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part II

Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part II

Yazar

Mukhopadhyay, Sourav. editor. Stănică, Pantelimon. editor. (orcid)0000-0002-8622-7120 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-80311-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 1032

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11