Search Results for Software.

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

+

Konu: Computer System Implementation.

Yazar

SpringerLink (Online service)

(187)

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.

(11)

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

(11)

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

(11)

Ma, Zhanyu. editor.

(11)

Wang, Hanzi. editor.

(11)

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

(11)

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

(11)

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

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

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)

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)

Liang, Kaitai. editor.

(4)

Lu, Zeguang. editor.

(4)

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

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

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)

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

(3)

Voros, Nikolaos. editor.

(3)

Wang, Xinheng. editor.

(3)

Abou el Kalam, Anas. editor.

(2)

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

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

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

(2)

Carro, Luigi. editor.

(2)

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

(2)

Chen, Xuebin. editor.

(2)

Choi, Baek-Young. editor.

(2)

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

(2)

Conway, Myra. 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)

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

(2)

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

(2)

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

(2)

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

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

Jing, Weipeng. editor.

(2)

Kobayashi, Naoki. editor.

(2)

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

(2)

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

(2)

Lin, Junyu. editor.

(2)

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

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

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

(2)

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

(2)

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

(2)

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

(2)

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

(2)

Pilato, Christian. editor.

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

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

(2)

Santosh, KC. editor.

(2)

Sim, Kevin. editor.

(2)

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

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

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

(2)

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

(2)

Vacavant, Antoine. editor.

(2)

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

(2)

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

(2)

Worrell, James. editor.

(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, Min. editor.

(2)

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

(1)

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

(1)

Al Faruque, Mohammad Abdullah. editor.

(1)

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

(1)

Alzubi, Jafar. editor. (orcid)0000-0001-6724-1421

(1)

Anjorin, Anthony. editor.

(1)

Aujla, Gagangeet Singh. editor.

(1)

Bai, Guangdong. editor.

(1)

Barzen, Johanna. editor.

(1)

Batista, Thais. author.

(1)

Benslimane, Djamal. editor.

(1)

Berns, Karsten. editor.

(1)

Betancur Vasquez, Daniel. editor. (orcid)0000-0003-4834-7268

(1)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(1)

Bianchini, Devis. editor.

(1)

Biswas, Kamanashis. editor. (orcid)0000-0003-3719-8607

(1)

Boronat, Artur. editor. (orcid)0000-0003-2024-1736

(1)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(1)

Bråthen, Svein. editor.

(1)

Buzzard, Kevin. editor. (orcid)0000-0002-7187-5109

(1)

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

(1)

Cardoso, João M.P. editor.

(1)

Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976

(1)

Cavallaro, Lorenzo. editor.

(1)

Cerny, Tomas. editor. (orcid)0000-0002-5882-5502

(1)

Chalhoub, Gerard. editor. (orcid)0000-0003-1687-598X

(1)

Challa, Rama Krishna. editor. (orcid)0000-0002-2759-2654

(1)

Chapman, Barbara M. editor.

(1)

Chatzigiannakis, Ioannis. editor.

(1)

Cheikh M. F. Kebe, Kebe. editor.

(1)

Chen, Bo. editor.

(1)

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

(1)

Chen, Jyh-Cheng. editor.

(1)

Chen, Yu. editor.

(1)

Cota, Vinícius Rosa. editor. (orcid)0000-0002-2338-5949

(1)

Covarrubias, Mario. editor. (orcid)0000-0003-4195-9333

(1)

Criswell, John. editor.

(1)

Cámara, Javier. editor.

(1)

Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496

(1)

Dang, Trong Hop. editor.

(1)

Daněk, Martin. editor.

(1)

Delicato, Flávia C. author.

(1)

Deng, Der-Jiunn. editor. (orcid)0000-0001-8410-164X

(1)

Devos, Arnaud. editor. (orcid)0000-0001-8124-723X

(1)

Di Pompeo, Daniele. editor. (orcid)0000-0003-2041-7375

(1)

Dick, Jeremy. author.

(1)

Dickenstein, Alicia. editor. (orcid)0000-0003-4863-4953

(1)

Ding, Chen. editor.

(1)

Doka, Katerina. editor.

(1)

Doncel, Josu. editor. (orcid)0000-0002-5552-9134

(1)

Dong, Naipeng. editor.

(1)

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

(1)

Douligeris, Christos. editor.

(1)

Drogkaris, Prokopios. editor.

(1)

Dustdar, Schahram. editor. (orcid)0000-0001-6872-8821

(1)

Eick, Bettina. editor. (orcid)0000-0003-2884-6545

(1)

Elbiaze, Halima. editor. (orcid)0000-0001-5681-6445

(1)

Espinoza, Huáscar. editor.

(1)

Esposito, Matteo. editor. (orcid)0000-0002-8451-3668

(1)

Fahrnberger, Günter. editor.

(1)

Fahrnberger, Günter. editor. (orcid)0000-0002-2606-3988

(1)

Ferraro, Venere. editor. (orcid)0000-0002-5114-9038

(1)

Ferreira, Joao C. editor.

(1)

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

(1)

Tümünü genişlet

Dil

(187)

Yayın Yılı

-

(96)

(67)

(12)

(7)

(5)

Konu

Computer systems.

(180)

Computer networks .

(128)

Computer Communication Networks.

(127)

Application software.

(107)

Computer and Information Systems Applications.

(107)

Artificial intelligence.

(86)

Software engineering.

(76)

Special Purpose and Application-Based Systems.

(57)

Computers, Special purpose.

(53)

Computer vision.

(39)

Computer science.

(35)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(33)

Image processing -- Digital techniques.

(33)

Machine learning.

(32)

Data protection.

(22)

Computer Engineering and Networks.

(21)

Computer engineering.

(21)

Data and Information Security.

(20)

Information theory.

(18)

Theory of Computation.

(18)

Control Structures and Microprogramming.

(16)

Data Structures and Information Theory.

(16)

Data structures (Computer science).

(16)

Microprogramming .

(15)

(14)

Operating systems (Computers).

(13)

Data encryption (Computer science).

(12)

Operating Systems.

(12)

(11)

(11)

Data Mining and Knowledge Discovery.

(11)

(11)

System Performance and Evaluation.

(11)

Computer Science Logic and Foundations of Programming.

(10)

Computer programming.

(10)

Programming Techniques.

(10)

Coding and Information Theory.

(9)

(9)

Computers and Education.

(9)

Computing Milieux.

(9)

Education -- Data processing.

(9)

Electronic digital computers -- Evaluation.

(9)

Security Services.

(9)

Computer networks -- Security measures.

(8)

Computer science -- Mathematics.

(8)

Formal Languages and Automata Theory.

(8)

Machine theory.

(8)

Mobile and Network Security.

(8)

Computer Application in Social and Behavioral Sciences.

(7)

Computer network architectures.

(7)

Social sciences -- Data processing.

(7)

Computer input-output equipment.

(6)

Database management.

(6)

Human-computer interaction.

(6)

Information Storage and Retrieval.

(6)

Information storage and retrieval systems.

(6)

Input/Output and Data Communications.

(6)

Mathematics of Computing.

(6)

Processor Architectures.

(6)

User Interfaces and Human Computer Interaction.

(6)

User interfaces (Computer systems).

(6)

Computational intelligence.

(5)

Computer architecture.

(5)

Microprocessors.

(5)

Natural Language Processing (NLP).

(5)

Natural language processing (Computer science).

(5)

(4)

Compilers (Computer programs).

(4)

Compilers and Interpreters.

(4)

Computer Hardware.

(4)

Database Management System.

(4)

Electronic data processing -- Management.

(4)

(4)

(4)

(4)

Logic programming.

(4)

Mathematical Logic and Foundations.

(4)

Mathematical logic.

(4)

Computers and Society.

(3)

Communications Engineering, Networks.

(2)

Computer system performance.

(2)

Computers and civilization.

(2)

Health Informatics.

(2)

Information Systems Applications (incl. Internet).

(2)

Mathematical statistics.

(2)

Medical informatics.

(2)

Probability and Statistics in Computer Science.

(2)

Systems and Data Security.

(2)

Telecommunication.

(2)

Algorithm Analysis and Problem Complexity.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer Networks.

(1)

Computer Science, general.

(1)

Computer software.

(1)

Data Encryption.

(1)

Information Systems.

(1)

Information technology -- Management.

(1)

(1)

Management of Computing and Information Systems.

(1)

Mathematical Applications in Computer Science.

(1)

Microprogramming.

(1)

Multimedia Information Systems.

(1)

Multimedia systems.

(1)

Performance and Reliability.

(1)

(1)

(1)

Programming Language.

(1)

Programming languages (Electronic computers).

(1)

The Computing Profession.

(1)

Theory and Algorithms for Application Domains.

(1)

e-Commerce/e-business.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik Kütüphane

Kütüphane

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

187 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 16

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.

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:

2.

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers için kapak resmi

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers

Yazar

Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050 Raad, Azalea. editor. (orcid)0000-0002-2319-3242 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

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:

4.

Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures için kapak resmi

Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

Yazar

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-4656-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings için kapak resmi

Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Yazar

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings için kapak resmi

Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Yazar

Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers için kapak resmi

Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Yazar

Cámara, Javier. editor. Jongmans, Sung-Shik. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I için kapak resmi

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Yazar

Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings için kapak resmi

Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

Yazar

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II için kapak resmi

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Yazar

Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers için kapak resmi

Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers

Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers

Yazar

Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Domínguez Mayo, Francisco José. editor. van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353 Maciaszek, Leszek A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers için kapak resmi

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Yazar

Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 .. 16

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11