Search Results for Conference proceedings.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Computer science.

Author

SpringerLink (Online service)

(3692)

Kim, Tai-hoon. editor.

(50)

Gervasi, Osvaldo. editor.

(39)

Taniar, David. editor.

(33)

Ślęzak, Dominik. editor.

(29)

Howlett, Robert J. editor.

(25)

Huang, De-Shuang. editor.

(25)

Stephanidis, Constantine. editor.

(23)

Jain, Lakhmi C. editor.

(22)

Murgante, Beniamino. editor.

(22)

Wang, Fu Lee. editor.

(22)

Apduhan, Bernady O. editor.

(20)

Yang, Laurence T. editor.

(19)

Nguyen, Ngoc Thanh. editor.

(18)

Tjoa, A Min. editor.

(18)

Adeli, Hojjat. editor.

(17)

Gelbukh, Alexander. editor.

(17)

Lei, Jingsheng. editor.

(17)

Perner, Petra. editor.

(17)

Sloot, Peter M. A. editor.

(17)

Albada, Geert Dick. editor.

(16)

Corchado, Emilio. editor.

(16)

Dongarra, Jack. editor.

(16)

Kang, Byeong-Ho. editor.

(16)

Nagamalai, Dhinaharan. editor.

(16)

El-Qawasmeh, Eyas. editor.

(15)

Ma, Jianhua. editor.

(15)

Philips, Wilfried. editor.

(15)

Shi, Yuhui. editor.

(15)

Campilho, Aurélio. editor.

(14)

Gavrilova, Marina L. editor.

(14)

Kamel, Mohamed. editor.

(14)

Bramer, Max. editor.

(13)

Koucheryavy, Yevgeni. editor.

(13)

Kurosu, Masaaki. editor.

(13)

Martín-Vide, Carlos. editor.

(13)

Mun, Youngsong. editor.

(13)

Ali, Moonis. editor.

(12)

Jacko, Julie A. editor.

(12)

Liu, Honghai. editor.

(12)

Meghanathan, Natarajan. editor.

(12)

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

(11)

Blanc-Talon, Jacques. editor.

(11)

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

(11)

Chaki, Nabendu. editor.

(11)

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

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

Hameurlain, Abdelkader. editor.

(11)

Huang, Xiong. editor.

(11)

Messnarz, Richard. editor.

(11)

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

(11)

Ozawa, Seiichi. editor.

(11)

Popescu, Dan. editor.

(11)

Rozenberg, Grzegorz. editor.

(11)

Scheunders, Paul. editor.

(11)

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

(11)

Tadeusiewicz, Ryszard. editor.

(11)

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

(11)

Wang, Guoyin. editor.

(11)

Wimmer, Maria A. editor.

(11)

Winckler, Marco. editor.

(11)

Yung, Moti. editor.

(11)

Zhang, Yanchun. editor.

(11)

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

(10)

Duch, Włodzisław. editor.

(10)

Fang, Wai-chi. editor.

(10)

Lee, Minho. editor.

(10)

Li, Kang. editor.

(10)

Narukawa, Yasuo. editor.

(10)

Voronkov, Andrei. editor.

(10)

Wang, Guilin. editor.

(10)

Yin, Hujun. editor.

(10)

Calude, Cristian S. editor.

(9)

Camarinha-Matos, Luis M. editor.

(9)

Cheng, Long. editor.

(9)

Cuzzocrea, Alfredo. editor.

(9)

Deng, Hepu. editor.

(9)

Greco, Salvatore. editor.

(9)

Kumar, Vipin. editor.

(9)

Li, Chaojie. editor.

(9)

Li, Hongyi. editor.

(9)

Li, Qing. editor.

(9)

Luo, Biao. editor.

(9)

Luo, Yuhua. editor.

(9)

Löwe, Benedikt. editor.

(9)

Marcus, Aaron. editor.

(9)

Misra, Sanjay. editor.

(9)

Navab, Nassir. editor.

(9)

Petridis, Miltos. editor.

(9)

Qing, Sihan. editor.

(9)

Shih, Timothy K. editor.

(9)

Tan, Ying. editor.

(9)

Torra, Vicenç. editor.

(9)

Wagner, Roland. editor.

(9)

Wu, Zheng-Guang. editor.

(9)

Yao, Yiyu. editor.

(9)

Yu, Jeffrey Xu. editor.

(9)

Zhou, Jianying. editor.

(9)

Zhou, Xiaofang. editor.

(9)

Abrahamsson, Pekka. editor.

(8)

Bao, Feng. editor.

(8)

Cao, Longbing. editor.

(8)

Chen, Shyi-Ming. editor.

(8)

Das, Swagatam. editor.

(8)

Dediu, Adrian-Horia. editor.

(8)

Miesenberger, Klaus. editor.

(8)

O’Connor, Rory V. editor.

(8)

Pal, Sankar K. editor.

(8)

Palanque, Philippe. editor.

(8)

Pernul, Günther. editor.

(8)

Pointcheval, David. editor.

(8)

Suganthan, Ponnuthurai Nagaratnam. editor.

(8)

Wang, Lipo. editor.

(8)

Yager, Ronald R. editor.

(8)

Zadeh, Lotfi A. editor.

(8)

Abraham, Ajith. editor.

(7)

Allen, Tony. editor.

(7)

Aroyo, Lora. editor.

(7)

Bouchon-Meunier, Bernadette. editor.

(7)

Cheng, Long. editor. (orcid)0000-0001-7565-8788

(7)

Cooper, S. Barry. editor.

(7)

Das, Vinu V. editor.

(7)

Du, Ding-Zhu. editor.

(7)

Fei, Minrui. editor.

(7)

Fischer-Hübner, Simone. editor.

(7)

Fitzgibbon, Andrew. editor.

(7)

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914

(7)

Hirose, Akira. editor.

(7)

Iliadis, Lazaros. editor.

(7)

Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528

(7)

Janssen, Marijn. editor.

(7)

Jo, Kang-Hyun. editor.

(7)

Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X

(7)

Laganà, Antonio. editor.

(7)

Lazebnik, Svetlana. editor.

(7)

Leung, Andrew Chi Sing. editor.

(7)

Leung, Chi Sing. editor.

(7)

Li, Xiaodong. editor.

(7)

Lin, Song. editor.

(7)

Liu, Chunfeng. editor.

(7)

Lopez, Javier. editor.

(7)

Luo, Xiangfeng. editor.

(7)

Macintosh, Ann. editor.

(7)

Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X

(7)

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

(7)

Miao, Duoqian. editor.

(7)

Mokhtari, Mounir. editor.

(7)

Mu, Yi. editor.

(7)

Métais, Elisabeth. editor.

(7)

Olivier, Patrick. editor.

(7)

Pan, Jeng-Shyang. editor.

(7)

Panigrahi, Bijaya Ketan. editor.

(7)

Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638

(7)

Paragios, Nikos. editor.

(7)

Parashar, Manish. editor.

(7)

Paszynski, Maciej. editor.

(7)

Perona, Pietro. editor.

(7)

Prasanna, Viktor K. editor.

(7)

Sato, Yoichi. editor.

(7)

Schewe, Klaus-Dieter. editor.

(7)

Schmid, Cordelia. editor.

(7)

Scholl, Hans J. editor.

(7)

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

(7)

Skowron, Andrzej. editor.

(7)

Stoica, Adrian. editor.

(7)

Susilo, Willy. editor.

(7)

Takagi, Tsuyoshi. editor.

(7)

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

(7)

Ungerer, Theo. editor.

(7)

Zhong, Ning. editor.

(7)

Zurada, Jacek M. editor.

(7)

de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453

(7)

Ayache, Nicholas. editor.

(6)

Balandin, Sergey. editor.

(6)

Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382

(6)

Benatallah, Boualem. editor.

(6)

Bevilacqua, Vitoantonio. editor.

(6)

Cabestany, Joan. editor.

(6)

Choo, Hyunseung. editor.

(6)

Coenen, Frans. editor.

(6)

Cotta, Carlos. editor.

(6)

Daniilidis, Kostas. editor.

(6)

De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070

(6)

Deb, Kalyanmoy. editor.

(6)

Domingo-Ferrer, Josep. editor.

(6)

Duffy, Vincent G. editor.

(6)

Ferrández Vicente, José Manuel. editor.

(6)

Fichtinger, Gabor. editor.

(6)

Fyfe, Colin. editor.

(6)

Giacobini, Mario. editor.

(6)

Grosky, William I. editor.

(6)

Harris, Don. editor.

(6)

Jajodia, Sushil. editor.

(6)

Jin, Hai. editor.

(6)

Joya, Gonzalo. editor.

(6)

Korytkowski, Marcin. editor.

(6)

Kotzé, Paula. editor.

(6)

Kwiecień, Andrzej. editor.

(6)

Language

(3693)

Publication Date

-

(447)

(392)

(387)

(350)

(308)

(280)

(263)

(262)

(259)

(246)

(130)

(120)

(103)

(85)

(53)

(7)

(1)

Subject

Artificial intelligence.

(1778)

Software engineering.

(1312)

Computer Communication Networks.

(1258)

Information systems.

(1053)

Computer software.

(966)

Information storage and retrieval systems.

(852)

(624)

Computer vision.

(584)

Database management.

(538)

Optical pattern recognition.

(460)

(421)

Data encryption (Computer science).

(341)

Computer simulation.

(297)

Information Systems.

(295)

Data protection.

(290)

Computational complexity.

(283)

Theory of Computation.

(272)

Computer graphics.

(237)

Multimedia systems.

(233)

Data structures (Computer science).

(182)

Operating systems (Computers).

(181)

Artificial Intelligence (incl. Robotics).

(175)

Information Storage and Retrieval.

(159)

Computer network architectures.

(154)

Computer networks .

(153)

Electronic data processing.

(153)

Bioinformatics.

(151)

Information theory.

(151)

Information Systems Applications (incl. Internet).

(150)

Management information systems.

(139)

Data Mining and Knowledge Discovery.

(137)

(137)

Application software.

(129)

Computer science -- Mathematics.

(126)

Computer Science Logic and Foundations of Programming.

(121)

(114)

Computer and Information Systems Applications.

(112)

Computer system performance.

(106)

Algorithm Analysis and Problem Complexity.

(104)

Social sciences -- Data processing.

(101)

(99)

Formal Languages and Automata Theory.

(95)

Machine theory.

(95)

User Interfaces and Human Computer Interaction.

(89)

Mathematics of Computing.

(75)

Discrete Mathematics in Computer Science.

(71)

Computer engineering.

(68)

Text processing (Computer science.

(66)

Algebra -- Data processing.

(65)

Computer Engineering and Networks.

(65)

Pattern Recognition.

(65)

Computer security.

(64)

Medical records -- Data processing.

(64)

Compilers (Computer programs).

(60)

Compilers and Interpreters.

(60)

Translators (Computer programs).

(59)

Computers and Society.

(57)

Telecommunication.

(55)

Computation by Abstract Devices.

(51)

(50)

Management of Computing and Information Systems.

(49)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(44)

Logics and Meanings of Programs.

(44)

Systems and Data Security.

(44)

Data Structures and Information Theory.

(42)

Computer System Implementation.

(41)

Image Processing and Computer Vision.

(41)

Special Purpose and Application-Based Systems.

(41)

Automated Pattern Recognition.

(40)

Computer Modelling.

(40)

Pattern recognition systems.

(40)

Programming Techniques.

(40)

Computers -- Law and legislation.

(39)

Discrete mathematics.

(39)

Computer systems.

(38)

(37)

Mathematical Logic and Formal Languages.

(36)

Computer Applications.

(35)

(33)

Data Encryption.

(33)

Computers and Education.

(32)

Data and Information Security.

(32)

Radiology, Medical.

(30)

(28)

Computer programming.

(27)

Health Informatics.

(27)

Computers, Special purpose.

(26)

Natural language processing (Computer science).

(26)

Simulation and Modeling.

(26)

Image processing -- Digital techniques.

(25)

Programming Languages, Compilers, Interpreters.

(25)

System Performance and Evaluation.

(24)

Coding and Information Theory.

(23)

Computer Appl. in Administrative Data Processing.

(23)

Computer aided design.

(22)

Data structures (Computer scienc.

(22)

Electronic data processing -- Management.

(21)

(21)

Computer Science, general.

(20)

Numerical analysis.

(20)

Operating Systems.

(20)

Models of Computation.

(19)

Logic, Symbolic and mathematical.

(18)

Multimedia Information Systems.

(18)

User interfaces (Computer systems).

(18)

Computational Biology/Bioinformatics.

(17)

Computer industry.

(17)

Computing Milieux.

(17)

(17)

(17)

Information Systems and Communication Service.

(17)

Probability and Statistics in Computer Science.

(17)

Symbolic and Algebraic Manipulation.

(17)

Computational linguistics.

(16)

Computer communication systems.

(16)

Computational and Systems Biology.

(15)

Numeric Computing.

(15)

e-Commerce/e-business.

(15)

(14)

Business Information Systems.

(14)

Computers and civilization.

(14)

Human-computer interaction.

(14)

Control Structures and Microprogramming.

(13)

Engineering mathematics.

(13)

Mathematical Logic and Foundations.

(13)

Mathematical logic.

(13)

Mathematical statistics.

(13)

Microprogramming .

(13)

Natural Language Processing (NLP).

(13)

Computer Application in Administrative Data Processing.

(12)

Electronic commerce.

(12)

Information technology -- Management.

(12)

Models and Principles.

(12)

Biology -- Data processing.

(11)

Computer Application in Social and Behavioral Sciences.

(11)

Electronic digital computers -- Evaluation.

(11)

Evolution (Biology).

(11)

(11)

Logic programming.

(11)

Machine learning.

(11)

(11)

Theory and Algorithms for Application Domains.

(11)

Computer hardware.

(10)

Data Structures.

(10)

Data transmission systems.

(10)

Information storage and retrieval.

(10)

Business—Data processing.

(9)

Engineering design.

(9)

Business planning.

(8)

Document Preparation and Text Processing.

(8)

Information technology.

(8)

Programming languages (Electronic computers).

(8)

Computer logic.

(7)

(7)

Language Translation and Linguistics.

(7)

Artificial intelligence -- Data processing.

(6)

(6)

Computational Mathematics and Numerical Analysis.

(6)

Computer Systems Organization and Communication Networks.

(6)

Computer-Aided Engineering (CAD, CAE) and Design.

(6)

(6)

Mathematical optimization.

(6)

Personal Computing.

(6)

(6)

(5)

Business logistics.

(5)

Computer Appl. in Social and Behavioral Sciences.

(5)

Design and Analysis of Algorithms.

(5)

(5)

Education -- Data processing.

(5)

Imaging / Radiology.

(5)

Industrial management.

(5)

Mathematical geography.

(5)

Mathematics -- Data processing.

(5)

(5)

(5)

The Computing Profession.

(5)

Biomedical engineering.

(4)

(4)

Communications Engineering, Networks.

(4)

Computational Intelligence.

(4)

Computational intelligence.

(4)

Computer Appl. in Arts and Humanities.

(4)

Engineering economy.

(4)

Geographical information systems.

(4)

(4)

(4)

Medical informatics.

(4)

Microprogramming.

(4)

Quantum Computing.

(4)

Rehabilitation.

(4)

Applications of Mathematics.

(3)

Computer Hardware.

(3)

Data Structures, Cryptology and Information Theory.

(3)

(3)

Education -- Psychology.

(3)

Education—Data processing.

(3)

(3)

(3)

Industrial engineering.

(3)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

3693 Results Found

Subscribe to search results

1 2 3 4 5 .. 308

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

1.

Cover image for Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I

Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I

Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I

Author

García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II

Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II

Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II

Author

García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 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, Part I

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 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, Part I

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 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, Part I

Author

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 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, Part III

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 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, Part III

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 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, Part III

Author

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 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, Part II

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 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, Part II

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 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, Part II

Author

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part II

Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part II

Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part II

Author

Du, Donglei. editor. Han, Lu. editor. Xu, Dachuan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-4448-3

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part I

Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part I

Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part I

Author

Du, Donglei. editor. Han, Lu. editor. Xu, Dachuan. editor. (orcid)0000-0002-7846-0969 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings

Author

Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-7956-0

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part I

Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part I

Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part I

Author

Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gertri. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part II

Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part II

Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part II

Author

Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gerti. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 308

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11