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:

+

Konu: 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 6 .. 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.

37.

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:

38.

Cover image for Biological Computing

Biological Computing

Biological Computing

Author

Xu, Jin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for From Data to Models and Back 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers

From Data to Models and Back 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers

From Data to Models and Back 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers

Author

Czekster, Ricardo M. editor. (orcid)0000-0002-6636-4398 Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for Agents and Artificial Intelligence 16th International Conference, ICAART 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part II

Agents and Artificial Intelligence 16th International Conference, ICAART 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part II

Agents and Artificial Intelligence 16th International Conference, ICAART 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part II

Author

Rocha, Ana Paula. editor. Steels, Luc. editor. (orcid)0000-0001-9134-3663 van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-87330-0

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Artificial Intelligence and Applications 26th International Conference, ICAI 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Artificial Intelligence and Applications 26th International Conference, ICAI 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Artificial Intelligence and Applications 26th International Conference, ICAI 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Author

Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

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:

43.

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:

44.

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:

45.

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:

46.

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:

47.

Cover image for Languages of Cooperation and Communication Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Career

Languages of Cooperation and Communication Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Career

Languages of Cooperation and Communication Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Career

Author

Jiménez López, M. Dolores. editor. (orcid)0000-0001-5544-3210 Vaszil, György. editor. (orcid)0000-0003-1213-8616 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI

Author

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 6 .. 1032

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11