Search Results for Computer Systems.

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

Yazar

SpringerLink (Online service)

(271)

Cheng, Ming-Ming. editor. (orcid)0000-0001-5550-8758

(15)

He, Ran. editor. (orcid)0000-0002-3807-991X

(15)

Lin, Zhouchen. editor.

(15)

Liu, Cheng-Lin. editor. (orcid)0000-0002-6743-4175

(15)

Silamu, Wushouer. editor.

(15)

Ubul, Kurban. editor.

(15)

Zha, Hongbin. editor.

(15)

Zhou, Jie. editor.

(15)

Chen, Xilin. editor.

(13)

Ji, Rongrong. editor. (orcid)0000-0003-4739-8936

(13)

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780

(13)

Ma, Zhanyu. editor.

(13)

Wang, Hanzi. editor.

(13)

Wang, Liang. editor. (orcid)0000-0001-5224-8647

(13)

Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

(13)

Zheng, Weishi. editor. (orcid)0000-0001-8327-0003

(13)

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

(11)

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

(11)

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

(11)

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

(11)

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

(11)

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

(11)

Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329

(8)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(8)

Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960

(7)

Sheng, Bin. editor. (orcid)0000-0001-8678-2784

(7)

Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491

(7)

Dobbie, Gill. editor. (orcid)0000-0001-7245-0367

(6)

Jiang, Jing. editor. (orcid)0000-0002-3035-0074

(6)

Ma, Congbo. editor. (orcid)0000-0002-3270-5609

(6)

Mansoor, Wathiq. editor. (orcid)0000-0003-2784-5188

(6)

Sheng, Quan Z. editor. (orcid)0000-0002-3326-4147

(6)

Wu, Jia. editor. (orcid)0000-0002-1371-5801

(6)

Zhang, Wei Emma. editor. (orcid)0000-0002-0406-5974

(6)

Zhang, Xuyun. editor. (orcid)0000-0001-7353-4159

(6)

Antona, Margherita. editor.

(5)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(5)

Ntoa, Stavroula. editor. (orcid)0000-0002-6270-8333

(5)

Salvendy, Gavriel. editor.

(5)

Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940

(4)

Bi, Lei. editor. (orcid)0000-0001-9759-0200

(4)

Boyle, Elette. editor.

(4)

Bäck, Thomas. editor. (orcid)0000-0001-6768-1478

(4)

Choraś, Michał. editor. (orcid)0000-0003-1405-9911

(4)

Conti, Mauro. editor. (orcid)0000-0002-3612-1934

(4)

Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393

(4)

Han, Jiang. editor.

(4)

Han, Yu. editor. (orcid)0000-0002-8155-1706

(4)

Harris, Don. editor. (orcid)0000-0002-2113-8848

(4)

Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683

(4)

Kim, Jinman. editor.

(4)

Kononova, Anna V. editor. (orcid)0000-0002-4138-7024

(4)

Kozik, Rafał. editor. (orcid)0000-0001-7122-3306

(4)

Li, Wen-Chin. editor. (orcid)0000-0002-8825-3701

(4)

Liang, Kaitai. editor.

(4)

Lu, Zeguang. editor.

(4)

Machado, Penousal. editor. (orcid)0000-0002-6308-6484

(4)

Mahmoody, Mohammad. editor.

(4)

Nah, Fiona Fui-Hoon. editor.

(4)

Siau, Keng Leng. editor. (orcid)0000-0001-8139-4467

(4)

Singh, Dhananjay. editor. (orcid)0000-0003-3822-9348

(4)

Smaragdakis, Georgios. editor.

(4)

Trautmann, Heike. editor. (orcid)0000-0002-9788-8282

(4)

Tsudik, Gene. editor.

(4)

Tušar, Tea. editor. (orcid)0000-0002-6495-006X

(4)

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106

(4)

Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294

(4)

Yun, Lin. editor. (orcid)0000-0003-1379-9301

(4)

Deng, Zhigang. editor. (orcid)0000-0002-0452-8676

(3)

Gao, Honghao. editor. (orcid)0000-0001-6861-9684

(3)

Kim, Jinman. editor. (orcid)0000-0001-5960-1060

(3)

Li, Ping. editor. (orcid)0000-0002-1503-0240

(3)

Stephanidis, Constantine. editor. (orcid)0000-0003-3687-4220

(3)

Voros, Nikolaos. editor.

(3)

Wang, Xinheng. editor.

(3)

Abou el Kalam, Anas. editor.

(2)

Antonov, Alexander. editor. (orcid)0000-0003-2820-7196

(2)

Aziz, Ahmed. editor. (orcid)0000-0003-1826-6248

(2)

Babaee Tirkolaee, Erfan. editor. (orcid)0000-0003-1664-9210

(2)

Barria-Huidobro, Cristian. editor. (orcid)0000-0002-5840-7407

(2)

Bouguelia, Mohamed-Rafik. editor.

(2)

Bryant, Randal.

(2)

Cai, Chengtao. editor. (orcid)0000-0002-3475-6098

(2)

Cai, Zhiping. editor. (orcid)0000-0001-5726-833X

(2)

Carro, Luigi. editor.

(2)

Chbeir, Richard. editor. (orcid)0000-0003-4112-1426

(2)

Chen, Jiageng. editor. (orcid)0000-0001-9033-2575

(2)

Chen, Xuebin. editor.

(2)

Choi, Baek-Young. editor.

(2)

Choi, Bong Jun. editor. (orcid)0000-0002-6550-749X

(2)

Chung, Wan-Young. editor.

(2)

Cintrano, Christian. editor.

(2)

Clarke, Paul. editor. (orcid)0000-0002-4487-627X

(2)

Conway, Myra. editor.

(2)

Correia, João. editor.

(2)

Cremers, Daniel. editor. (orcid)0000-0002-3079-7984

(2)

Dassisti, Michele. editor. (orcid)0000-0001-6984-9203

(2)

Domínguez Mayo, Francisco José. editor.

(2)

Eichler, Gerald. editor. (orcid)0000-0002-7420-698X

(2)

Erdebilli, Babek. editor. (orcid)0000-0001-8860-3903

(2)

Erfurth, Christian. editor. (orcid)0000-0003-2761-3985

(2)

Fey, Dietmar. editor. (orcid)0000-0002-6077-4732

(2)

Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937

(2)

Finocchi, Irene. editor. (orcid)0000-0002-6394-6798

(2)

Franquet, Erwin. editor. (orcid)0000-0002-7009-1521

(2)

Gaona García, Elvis Eduardo. editor. (orcid)0000-0001-5431-8776

(2)

García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894

(2)

Georgiadis, Loukas. editor. (orcid)0000-0002-9706-7409

(2)

Greiner, Christian. editor. (orcid)0000-0002-8184-7128

(2)

Hart, Emma. editor.

(2)

Hegadi, Ravindra. editor. (orcid)0000-0002-5176-6490

(2)

Hernández Callejo, Luis. editor. (orcid)0000-0002-8822-2948

(2)

Hernández, German. editor. (orcid)0000-0001-9549-2316

(2)

Hu, Fuyuan. editor.

(2)

Huang, Lan. editor.

(2)

Huda, M. Nazmul. editor. (orcid)0000-0002-5376-881X

(2)

Jing, Weipeng. editor.

(2)

Kalganova, Tatiana. editor. (orcid)0000-0003-4859-7152

(2)

Khan, Muhammad Khurram. editor. (orcid)0000-0001-6636-0533

(2)

Kim, Suhri. editor.

(2)

Kobayashi, Naoki. editor.

(2)

Koucheryavy, Yevgeni. editor.

(2)

Kozyrev, Dmitry V. editor. (orcid)0000-0003-0538-8430

(2)

La Malfa, Emanuele. editor.

(2)

La Malfa, Gabriele. editor.

(2)

Lauradoux, Cédric. editor. (orcid)0000-0001-6987-2403

(2)

Lin, Jianqing. editor. (orcid)0000-0002-9332-4746

(2)

Lin, Junyu. editor.

(2)

Liu, Yunhao. author. (orcid)0000-0001-8052-9200

(2)

Lähner, Zorah. editor. (orcid)0000-0003-0599-094X

(2)

Ma, Tinghuai. editor. (orcid)0000-0003-2320-1692

(2)

Madani, Kurosh. editor.

(2)

Makkar, Aaisha. editor. (orcid)0000-0001-7203-6553

(2)

Mata-Rivera, Miguel Félix. editor. (orcid)0000-0001-9714-7137

(2)

Messnarz, Richard. editor. (orcid)0000-0002-0555-3160

(2)

Mirzazadeh, A. editor. (orcid)0000-0003-0546-849X

(2)

Moeller, Michael. editor. (orcid)0000-0002-0492-6527

(2)

Mohanty, Saraju. editor. (orcid)0000-0003-2959-6541

(2)

Molamohamadi, Zohreh. editor. (orcid)0000-0002-0054-2884

(2)

Nesmachnow, Sergio. editor. (orcid)0000-0002-8146-4012

(2)

Nicosia, Giuseppe. editor.

(2)

Nießner, Matthias. editor. (orcid)0000-0001-6093-5199

(2)

Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995

(2)

O'Hallaron, David.

(2)

Ojha, Varun. editor. (orcid)0000-0002-9256-1192

(2)

Ommer, Björn. editor. (orcid)0000-0003-0766-120X

(2)

Pan, Linqiang. editor. (orcid)0000-0002-4554-455X

(2)

Panetto, Hervé. editor. (orcid)0000-0002-5537-2261

(2)

Pardalos, Panos M. editor.

(2)

Peisl, Thomas. editor. (orcid)0000-0001-5571-2089

(2)

Pilato, Christian. editor.

(2)

Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226

(2)

Puthal, Deepak. editor. (orcid)0000-0002-8332-278X

(2)

Rannenberg, Kai. editor.

(2)

Regazzoni, Francesco. editor.

(2)

Rey, Gaëtan. editor. (orcid)0000-0003-4710-0474

(2)

Riel, Andreas. editor. (orcid)0000-0001-9859-019X

(2)

Saeed, Rashid A. editor. (orcid)0000-0002-9872-081X

(2)

Samouylov, Konstantin E. editor. (orcid)0000-0002-6368-9680

(2)

Santosh, KC. editor.

(2)

Seo, Hwajeong. editor. (orcid)0000-0003-0069-9061

(2)

Sere, Abdoulaye. editor. (orcid)0009-0009-0662-4571

(2)

Sie, Oumarou. editor.

(2)

Sim, Kevin. editor.

(2)

Singh, Ashutosh K. editor. (orcid)0000-0002-8053-5050

(2)

Smith, Stephen. editor.

(2)

Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918

(2)

Song, Xianhua. editor.

(2)

Song, Xianhua. editor. (orcid)0000-0002-0111-8559

(2)

Squillero, Giovanni. editor.

(2)

Stephanidis, Constantine. editor.

(2)

Suero Pérez, Diego Fernando. editor. (orcid)0000-0002-0760-0186

(2)

Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817

(2)

Tian, Yuan. editor. (orcid)0000-0002-2307-8201

(2)

Tigli, Jean-Yves. editor. (orcid)0000-0002-0531-6384

(2)

Tiwary, Uma Shanker. editor.

(2)

Tiwary, Uma Shanker. editor. (orcid)0000-0001-7206-9013

(2)

Triebel, Rudolph. editor. (orcid)0000-0002-7975-036X

(2)

Umeton, Renato. editor.

(2)

Vacavant, Antoine. editor.

(2)

Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847

(2)

Wang, Mingfeng. editor. (orcid)0000-0001-6551-0325

(2)

Wang, Yong. editor. (orcid)0000-0001-7670-3958

(2)

Weber, Gerhard-Wilhelm. editor. (orcid)0000-0003-0849-7771

(2)

Worrell, James. editor.

(2)

Xia, Zhe. editor. (orcid)0000-0003-4397-1248

(2)

Xu, Bin. editor.

(2)

Yilmaz, Murat. editor. (orcid)0000-0002-2446-3224

(2)

Yu, Haipeng. editor. (orcid)0000-0003-0634-7913

(2)

Zagal-Flores, Roberto. editor. (orcid)0000-0001-5649-6189

(2)

Zhang, Jialin. editor. (orcid)0000-0002-6245-1013

(2)

Zhang, Min. editor.

(2)

Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656

(2)

van 't Klooster, Jan-Willem. editor.

(2)

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611

(1)

Aiswarya, C. editor. (orcid)0000-0002-4878-7581

(1)

Akerkar, Rajendra. editor.

(1)

Al Faruque, Mohammad Abdullah. editor.

(1)

Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011

(1)

Tümünü genişlet

Dil

(281)

Yayın Yılı

-

(142)

(94)

(22)

(13)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Computer System Implementation.

(271)

Computer networks .

(188)

Computer Communication Networks.

(182)

Artificial intelligence.

(129)

Application software.

(107)

Computer and Information Systems Applications.

(107)

Computers, Special purpose.

(84)

Special Purpose and Application-Based Systems.

(84)

Software engineering.

(70)

Computer science.

(49)

Computer vision.

(45)

Machine learning.

(42)

Computer Engineering and Networks.

(39)

Computer engineering.

(39)

Information theory.

(37)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(36)

Image processing -- Digital techniques.

(36)

Data protection.

(30)

Data Structures and Information Theory.

(29)

Data structures (Computer science).

(29)

(27)

Theory of Computation.

(27)

Data and Information Security.

(26)

Computer science -- Mathematics.

(24)

Control Structures and Microprogramming.

(22)

Microprogramming .

(22)

(18)

(18)

Data encryption (Computer science).

(18)

Human-computer interaction.

(18)

User Interfaces and Human Computer Interaction.

(18)

User interfaces (Computer systems).

(18)

Computer programming.

(17)

Mathematics of Computing.

(17)

Programming Techniques.

(17)

Coding and Information Theory.

(16)

(16)

Operating Systems.

(15)

Operating systems (Computers).

(15)

Electronic digital computers -- Evaluation.

(14)

System Performance and Evaluation.

(14)

Computer networks -- Security measures.

(13)

Computers and Education.

(13)

Computing Milieux.

(13)

Education -- Data processing.

(13)

Mobile and Network Security.

(13)

Security Services.

(13)

Data Mining and Knowledge Discovery.

(12)

(12)

(11)

Computer Science Logic and Foundations of Programming.

(10)

Computer Application in Social and Behavioral Sciences.

(9)

Computer input-output equipment.

(9)

Database management.

(9)

Input/Output and Data Communications.

(9)

Social sciences -- Data processing.

(9)

Compilers (Computer programs).

(8)

Compilers and Interpreters.

(8)

Computer Application in Administrative Data Processing.

(8)

Computer Hardware.

(8)

Computer architecture.

(8)

Formal Languages and Automata Theory.

(8)

Information technology -- Management.

(8)

Machine theory.

(8)

Microprocessors.

(7)

Natural Language Processing (NLP).

(7)

Natural language processing (Computer science).

(7)

Processor Architectures.

(7)

Computational intelligence.

(5)

Computers and Society.

(5)

Computers and civilization.

(5)

Electronic data processing -- Management.

(5)

(5)

(5)

(5)

Logic programming.

(5)

Mathematical Logic and Foundations.

(5)

Mathematical logic.

(5)

Signal processing.

(5)

Database Management System.

(4)

Electronic commerce.

(4)

Information Storage and Retrieval.

(4)

Information storage and retrieval systems.

(4)

Signal, Speech and Image Processing.

(4)

e-Commerce and e-Business.

(4)

Communications Engineering, Networks.

(3)

Design and Analysis of Algorithms.

(3)

Discrete Mathematics in Computer Science.

(3)

Discrete mathematics.

(3)

Health Informatics.

(3)

Medical informatics.

(3)

Programming Language.

(3)

Programming languages (Electronic computers).

(3)

Telecommunication.

(3)

Bioinformatics.

(2)

Computer Crime.

(2)

Computer Modelling.

(2)

Computer crimes.

(2)

Computer graphics.

(2)

Computer simulation.

(2)

Computers -- Law and legislation.

(2)

Hardware Performance and Reliability.

(2)

Information technology -- Law and legislation.

(2)

Legal Aspects of Computing.

(2)

Mathematical statistics.

(2)

Numerical analysis.

(2)

Probability and Statistics in Computer Science.

(2)

Symbolic and Algebraic Manipulation.

(2)

Theory and Algorithms for Application Domains.

(2)

User interfaces (Computer systems)

(2)

Arithmetic and Logic Structures.

(1)

Artificial intelligence -- Data processing.

(1)

(1)

Bilgisyar sistemleri.

(1)

Biological models.

(1)

Business enterprises -- Data processing.

(1)

COMPUTERS / Computer Literacy

(1)

COMPUTERS / Computer Science

(1)

COMPUTERS / Data Processing

(1)

COMPUTERS / Data Processing / General

(1)

COMPUTERS / Hardware / General

(1)

COMPUTERS / Information Technology

(1)

COMPUTERS / Machine Theory

(1)

COMPUTERS / Programming / Software Development

(1)

COMPUTERS / Reference

(1)

Computational and Systems Biology.

(1)

Computer Networks.

(1)

Computer arithmetic and logic units.

(1)

Cooperating objects (Computer systems).

(1)

Cyber-Physical Systems.

(1)

(1)

Digital and Analog Signal Processing.

(1)

Digital humanities.

(1)

Electronic data processing.

(1)

Electronics and Microelectronics, Instrumentation.

(1)

(1)

Expert systems (Computer science)

(1)

Kullanıcı arayüzleri (Bilgisayar Sistemleri)

(1)

(1)

(1)

(1)

Mathematical Applications in Computer Science.

(1)

Mobile computing.

(1)

Models of Computation.

(1)

Multimedia Information Systems.

(1)

Multimedia systems.

(1)

(1)

Performance -- Management.

(1)

(1)

(1)

(1)

TECHNOLOGY / Electricity

(1)

TECHNOLOGY / Engineering / General

(1)

TECHNOLOGY / Industrial Health & Safety

(1)

The Computing Profession.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

CRC Ekitapları

Elektronik Kütüphane

Taylor Francis E-Kitap Koleksiyonu

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ç

281 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 24

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.

25.

Internet of Things 7th IFIP WG 5.5 International Cross-Domain Conference, IFIPIoT 2024, Nice, France, November 6-8, 2024, Proceedings için kapak resmi

Internet of Things 7th IFIP WG 5.5 International Cross-Domain Conference, IFIPIoT 2024, Nice, France, November 6-8, 2024, Proceedings

Internet of Things 7th IFIP WG 5.5 International Cross-Domain Conference, IFIPIoT 2024, Nice, France, November 6-8, 2024, Proceedings

Yazar

Rey, Gaëtan. editor. (orcid)0000-0003-4710-0474 Tigli, Jean-Yves. editor. (orcid)0000-0002-0531-6384 Franquet, Erwin. editor. (orcid)0000-0002-7009-1521 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Internet of Things. 7th IFIPIoT 2024 International IFIP WG 5.5 Workshops GRAAL4IoT 2024, STAND4IoT 2024, Posters, Nice, France, November 6-8, 2024, Proceedings için kapak resmi

Internet of Things. 7th IFIPIoT 2024 International IFIP WG 5.5 Workshops GRAAL4IoT 2024, STAND4IoT 2024, Posters, Nice, France, November 6-8, 2024, Proceedings

Internet of Things. 7th IFIPIoT 2024 International IFIP WG 5.5 Workshops GRAAL4IoT 2024, STAND4IoT 2024, Posters, Nice, France, November 6-8, 2024, Proceedings

Yazar

Rey, Gaëtan. editor. (orcid)0000-0003-4710-0474 Tigli, Jean-Yves. editor. (orcid)0000-0002-0531-6384 Franquet, Erwin. editor. (orcid)0000-0002-7009-1521 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part III için kapak resmi

Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part III

Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part III

Yazar

Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Kim, Jinman. editor. (orcid)0000-0001-5960-1060 Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Deng, Zhigang. editor. (orcid)0000-0002-0452-8676 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Service-Oriented and Cloud Computing 11th IFIP WG 6.12 European Conference, ESOCC 2025, Bolzano, Italy, February 20-21, 2025, Proceedings için kapak resmi

Service-Oriented and Cloud Computing 11th IFIP WG 6.12 European Conference, ESOCC 2025, Bolzano, Italy, February 20-21, 2025, Proceedings

Service-Oriented and Cloud Computing 11th IFIP WG 6.12 European Conference, ESOCC 2025, Bolzano, Italy, February 20-21, 2025, Proceedings

Yazar

Pahl, Claus. editor. (orcid)0000-0002-9049-212X Janes, Andrea. editor. (orcid)0000-0002-1423-6773 Cerny, Tomas. editor. (orcid)0000-0002-5882-5502 Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Esposito, Matteo. editor. (orcid)0000-0002-8451-3668

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part II için kapak resmi

Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part II

Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part II

Yazar

Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Kim, Jinman. editor. (orcid)0000-0001-5960-1060 Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Deng, Zhigang. editor. (orcid)0000-0002-0452-8676 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings için kapak resmi

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Yazar

Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedings için kapak resmi

Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedings

Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedings

Yazar

Li, Yupeng. editor. Zhang, Yong. editor. (orcid)0000-0002-8730-3711 Xu, Jianliang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-4207-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

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:

33.

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:

34.

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

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

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

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-75380-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

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

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

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-75387-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Information Security Practice and Experience 19th International Conference, ISPEC 2024, Wuhan, China, October 25-27, 2024, Proceedings için kapak resmi

Information Security Practice and Experience 19th International Conference, ISPEC 2024, Wuhan, China, October 25-27, 2024, Proceedings

Information Security Practice and Experience 19th International Conference, ISPEC 2024, Wuhan, China, October 25-27, 2024, Proceedings

Yazar

Xia, Zhe. editor. (orcid)0000-0003-4397-1248 Chen, Jiageng. editor. (orcid)0000-0001-9033-2575 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-9053-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 .. 24

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11