Search Results for

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

22

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)

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

13.

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers için kapak resmi

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers

Yazar

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-73741-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Intelligent Engineering Optimisation with the Bees Algorithm için kapak resmi

Intelligent Engineering Optimisation with the Bees Algorithm

Intelligent Engineering Optimisation with the Bees Algorithm

Yazar

Pham, D. T. editor. (orcid)0000-0003-3148-2404 Hartono, Natalia. editor. (orcid)0000-0003-2314-1394 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II için kapak resmi

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Yazar

Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I için kapak resmi

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

Yazar

Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Theoretical Aspects of Computing - ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings için kapak resmi

Theoretical Aspects of Computing - ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings

Theoretical Aspects of Computing - ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings

Yazar

Anutariya, Chutiporn. editor. (orcid)0000-0001-7101-212X Bonsangue, Marcello M. editor. (orcid)0000-0003-3746-3618 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

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:

19.

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:

20.

Principle of Petri Nets için kapak resmi

Principle of Petri Nets

Principle of Petri Nets

Yazar

Yuan, Chongyi. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-7336-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I için kapak resmi

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I

Yazar

Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures için kapak resmi

Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures

Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures

Yazar

Console, Marco. editor. (orcid)0009-0004-5526-019X Konev, Boris. editor. (orcid)0000-0002-6507-0494 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Humanizing AI with Personality için kapak resmi

Humanizing AI with Personality

Humanizing AI with Personality

Yazar

Karimova, Gulnara Z. author. (orcid)0000-0003-1808-8373 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II için kapak resmi

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II

Yazar

Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-78750-8

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