Search Results for

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Computer science.

Author

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)

Language

(11547)

(782)

(20)

(19)

(5)

(1)

(1)

(1)

Publication Date

-

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

Subject

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)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Taylor Francis E-Book Collection

Wiley E-Book Collection

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

12380 Results Found

Subscribe to search results

1 2 3 4 5 .. 1032

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.

25.

Cover image for Multi-valued Logic for Decision-Making Under Uncertainty

Multi-valued Logic for Decision-Making Under Uncertainty

Multi-valued Logic for Decision-Making Under Uncertainty

Author

Kagan, Evgeny. author. Rybalov, Alexander. author. Yager, Ronald. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part I

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Advances in Computational Intelligence. MICAI 2024 International Workshops HIS 2024, WILE 2024, and CIAPP 2024, Tonantzintla, Mexico, October 21-25, 2024, Proceedings, Part II

Advances in Computational Intelligence. MICAI 2024 International Workshops HIS 2024, WILE 2024, and CIAPP 2024, Tonantzintla, Mexico, October 21-25, 2024, Proceedings, Part II

Advances in Computational Intelligence. MICAI 2024 International Workshops HIS 2024, WILE 2024, and CIAPP 2024, Tonantzintla, Mexico, October 21-25, 2024, Proceedings, Part II

Author

Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821 Ochoa-Ruiz, Gilberto. editor. (orcid)0000-0002-9896-8727 Montes Rivera, Martin. editor. (orcid)0000-0003-3897-6212 Barrón-Estrada, María Lucía. editor. (orcid)0000-0002-3856-9361 Acosta-Mesa, Héctor Gabriel. editor. (orcid)0000-0002-0935-7642

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

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:

31.

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:

32.

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:

33.

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:

34.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Knowledge Discovery, Knowledge Engineering and Knowledge Management 15th International Joint Conference, IC3K 2023, Rome, Italy, November 13-15, 2023, Revised Selected Papers

Knowledge Discovery, Knowledge Engineering and Knowledge Management 15th International Joint Conference, IC3K 2023, Rome, Italy, November 13-15, 2023, Revised Selected Papers

Knowledge Discovery, Knowledge Engineering and Knowledge Management 15th International Joint Conference, IC3K 2023, Rome, Italy, November 13-15, 2023, Revised Selected Papers

Author

Coenen, Frans. editor. Fred, Ana. editor. Aveiro, David. editor. Dietz, Jan. editor. Poggi, Antonella. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

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:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 1032

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11