Search Results for Computer science

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:

+

Konu: Mathematics of Computing.

Author

SpringerLink (Online service)

(225)

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

(11)

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

(11)

Cao, Longbing. editor. (orcid)0000-0003-1524-9063

(7)

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

(7)

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

(7)

Kumar, Vipin. editor. (orcid)0000-0002-9040-2665

(7)

Paszynski, Maciej. editor.

(7)

Spiliopoulou, Myra. editor. (orcid)0000-0002-1828-5759

(7)

Wang, Can. editor. (orcid)0000-0002-2890-0057

(7)

Wu, Xintao. editor. (orcid)0000-0002-2823-3063

(7)

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

(7)

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

(6)

Huang, Jen-Wei. editor. (orcid)0000-0001-5482-8311

(6)

Lin, Jerry Chun-Wei. editor. (orcid)0000-0003-0920-0060

(6)

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052

(6)

Pei, Jian. editor. (orcid)0000-0002-2200-8711

(6)

Tseng, Vincent S. editor. (orcid)0000-0002-4853-1594

(6)

Xie, Xing. editor. (orcid)0000-0002-8608-8482

(6)

Yang, De-Nian. editor. (orcid)0000-0002-3765-9293

(6)

Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757

(6)

Takagi, Tsuyoshi. editor.

(5)

Wu, Yanqiu. editor.

(5)

Wu, Zhangkai. editor.

(5)

Yao, Yu. editor.

(5)

Abramson, David. editor. (orcid)0000-0003-0441-4596

(4)

Cai, Wentong. editor. (orcid)0000-0002-0183-3835

(4)

Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699

(4)

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

(4)

Lees, Michael H. editor. (orcid)0000-0002-5457-9180

(4)

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

(4)

Su, Yi. editor.

(4)

Astorino, Annabella. editor. (orcid)0000-0002-3439-180X

(3)

Bhasin, Shivam. editor.

(3)

Correia, João. editor.

(3)

Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383

(3)

Peyrin, Thomas. editor.

(3)

Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X

(3)

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

(3)

Al-Bakry, Abbas M. editor. (orcid)0000-0001-9518-1024

(2)

Al-Shuwaili, Ali N. editor. (orcid)0000-0001-5353-3335

(2)

Aldhaibani, Jaafar A. editor. (orcid)0000-0002-5592-2294

(2)

Barkalov, Konstantin. editor. (orcid)0000-0001-5273-2471

(2)

Brad, Stelian. editor. (orcid)0000-0003-1129-3358

(2)

Bubba, Tatiana A. editor. (orcid)0000-0003-0020-9210

(2)

Burelli, Paolo. editor.

(2)

Cavallucci, Denis. editor. (orcid)0000-0003-1815-5601

(2)

Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983

(2)

Cheon, Jung Hee. editor.

(2)

Cintrano, Christian. editor.

(2)

Cong, Fengyu. editor.

(2)

Deelman, Ewa. editor. (orcid)0000-0001-5106-503X

(2)

Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X

(2)

Dimitrova, Rayna. editor.

(2)

Dongarra, Jack. editor.

(2)

Du, Donglei. editor.

(2)

Edelkamp, Stefan. editor.

(2)

Evtushenko, Yuri. editor. (orcid)0000-0002-6094-7808

(2)

Fernau, Henning. editor. (orcid)0000-0002-4444-3220

(2)

Gaburro, Romina. editor. (orcid)0000-0002-6186-0712

(2)

Gama, Joao. editor. (orcid)0000-0003-3357-1195

(2)

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

(2)

Gazzola, Silvia. editor. (orcid)0000-0001-9588-0896

(2)

Griebel, Michael. editor.

(2)

Guo, Jianxiong. editor.

(2)

Han, Henry. editor. (orcid)0000-0003-0273-6719

(2)

Han, Lu. editor.

(2)

Hart, Emma. editor.

(2)

Hassan, Fazilah. editor. (orcid)0000-0003-2992-7355

(2)

Honda, Katsuhiro. editor. (orcid)0000-0001-9080-5942

(2)

Huynh, Hieu T. editor. (orcid)0000-0002-2097-0704

(2)

Huynh, Van-Nam. editor. (orcid)0000-0002-3860-7815

(2)

Inuiguchi, Masahiro. editor. (orcid)0000-0001-9970-1621

(2)

Ishak, Mohamad Hafis Izran. editor.

(2)

Jaćimović, Milojica. editor. (orcid)0000-0002-7068-8563

(2)

Jin, Hai. editor. (orcid)0000-0002-3934-7605

(2)

Karczewski, Konrad. editor.

(2)

Khachay, Michael. editor. (orcid)0000-0003-3555-0080

(2)

Kitowski, Jacek. editor.

(2)

Klasing, Ralf. editor.

(2)

Kobayashi, Naoki. editor.

(2)

Královič, Rastislav. editor. (orcid)0000-0003-1121-1009

(2)

Kůrková, Věra. editor. (orcid)0000-0002-8181-2128

(2)

Lahav, Ori. editor. (orcid)0000-0003-4305-6998

(2)

Le, Bac. editor. (orcid)0000-0002-4306-6945

(2)

Leung, Andrew. editor. (orcid)0000-0003-0962-6723

(2)

Li, Kangshun. editor. (orcid)0000-0002-0429-446X

(2)

Li, Wei. author.

(2)

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

(2)

Liu, Yong. editor. (orcid)0000-0002-4663-6739

(2)

Livotov, Pavel. editor. (orcid)0000-0001-8784-1117

(2)

Lu, Zeguang. editor.

(2)

Mahmud, Mohd Saiful Azimi. editor.

(2)

Malkova, Vlasta. editor. (orcid)0000-0002-7928-512X

(2)

Manea, Florin. editor. (orcid)0000-0001-6094-3324

(2)

Mannone, Maria. author.

(2)

Mazzola, Guerino. author.

(2)

Mohamed Ali, Mohamed Sultan. editor.

(2)

Mohd Basri, Mohd Ariffanan. editor.

(2)

Mukhopadhyay, Sourav. editor.

(2)

Olenev, Nicholas. editor. (orcid)0000-0002-1032-2455

(2)

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

(2)

Pang, Guansong. editor. (orcid)0000-0002-9877-2716

(2)

Pang, Yan. author.

(2)

Papafitsoros, Kostas. editor. (orcid)0000-0001-9691-4576

(2)

Parlier, Greg H. editor.

(2)

Pereyra, Marcelo. editor. (orcid)0000-0001-6438-6772

(2)

Picek, Stjepan. editor.

(2)

Rebeiro, Chester. editor.

(2)

Rossi, Federico. editor.

(2)

Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340

(2)

Schiffel, Stephan. editor.

(2)

Schönlieb, Carola-Bibiane. editor. (orcid)0000-0003-0099-6306

(2)

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X

(2)

Shi, Yuhui. editor.

(2)

Smith, Stephen. editor.

(2)

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

(2)

Squillero, Giovanni. editor.

(2)

Stănică, Pantelimon. editor. (orcid)0000-0002-8622-7120

(2)

Sui, Yuefei. author.

(2)

Sunar, Noorhazirah. editor.

(2)

Tack, Guido. editor. (orcid)0000-0003-3357-6498

(2)

Tan, Ying. editor. (orcid)0000-0001-8243-4731

(2)

Thielscher, Michael. editor. (orcid)0000-0003-0885-2702

(2)

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

(2)

Togelius, Julian. editor.

(2)

Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126

(2)

Wagner, Markus. editor. (orcid)0000-0002-3124-0061

(2)

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

(2)

Wei, Qinglai. editor.

(2)

Wiatr, Kazimierz. editor.

(2)

Wolff, Sebastian. editor.

(2)

Worrell, James. editor.

(2)

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786

(2)

Yu, Chen. editor.

(2)

Yu, Zhiwen. editor.

(2)

Zhou, Xiangmin. editor. (orcid)0000-0002-1302-818X

(2)

Zhou, Xiaokang. editor.

(2)

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

(1)

Adams, Rod. author.

(1)

Agustín-Aquino, Octavio A. editor.

(1)

Al-Mamory, Safaa O. editor.

(1)

Alba, Enrique. editor.

(1)

Alexandru, Andrei. author.

(1)

Alì, Giuseppe. author.

(1)

Amaro, Ana. author.

(1)

Amiot, Emmanuel. author.

(1)

Amparore, Elvio. editor. (orcid)0000-0003-1147-8985

(1)

Antonucci, Alessandro. editor.

(1)

Arias-Londoño, Julián David. editor.

(1)

Astola, Jaakko. author.

(1)

Aung, Zeyar. editor.

(1)

Baker, Erich. editor.

(1)

Balandin, Dmitry. editor.

(1)

Balandin, Dmitry. editor. (orcid)0000-0001-7727-5924

(1)

Banagaaya, N. author.

(1)

Barbaresco, Frédéric. editor. (orcid)0000-0003-3664-3609

(1)

Barbosa, Jorge. editor.

(1)

Basu, Amitabh. editor. (orcid)0000-0002-1070-2626

(1)

Beck, J. Christopher. editor.

(1)

Beckmann, Arnold. editor.

(1)

Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790

(1)

Beebe, Nelson H.F. author.

(1)

Begehr, Heinrich. editor.

(1)

Benavides-Prado, Diana. editor.

(1)

Besada, José Luis. editor. (orcid)0000-0002-8469-2889

(1)

Bielza, Concha. editor. (orcid)0000-0001-7109-2668

(1)

Bienvenu, Laurent. editor.

(1)

Blaheta, Radim. editor.

(1)

Blömer, Johannes. editor.

(1)

Bonacina, Ilario. author.

(1)

Boo, Yee Ling. editor. (orcid)0000-0001-7188-9597

(1)

Bosse, Tibor. editor.

(1)

Boulier, François. editor. (orcid)0000-0002-6663-719X

(1)

Bredeweg, Bert. editor.

(1)

Bruch, Sebastian. author.

(1)

Brunetti, Sara. author. (orcid)0000-0001-8607-6900

(1)

Buchmann, Johannes. author.

(1)

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

(1)

Byrka, Jarosław. editor.

(1)

Bürgisser, Peter. author.

(1)

Cagnoni, Stefano. editor.

(1)

Caivano, Danilo. editor.

(1)

Camacho, Rui. editor.

(1)

Cao, Zhiru. editor.

(1)

Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706

(1)

Carletti, Timoteo. editor. (orcid)0000-0003-2596-4503

(1)

Cazenave, Tristan. editor.

(1)

Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374

(1)

Chamberland, Maxime. editor. (orcid)0000-0001-7064-0984

(1)

Chan, T-H. Hubert. editor.

(1)

Chandler, John. author.

(1)

Charatan, Quentin. author.

(1)

Chauve, Cedric. editor.

(1)

Chen, Quan. author.

(1)

Chen, Yiling. editor.

(1)

Chen, Zhi. editor. (orcid)0000-0002-9307-4871

(1)

Cheng, Long. editor.

(1)

Chicano, Francisco. editor.

(1)

Cholvy, Laurence. editor.

(1)

Language

(225)

Publication Date

-

(76)

(64)

(35)

(35)

(14)

(1)

Subject

Computer science -- Mathematics.

(213)

Artificial intelligence.

(121)

Computer networks .

(104)

Computer science.

(99)

Theory of Computation.

(80)

Computer Communication Networks.

(72)

(45)

Computer Engineering and Networks.

(42)

Computer engineering.

(42)

Software engineering.

(41)

Information theory.

(33)

Application software.

(31)

Computer and Information Systems Applications.

(31)

Computers, Special purpose.

(25)

Special Purpose and Application-Based Systems.

(25)

Computer vision.

(24)

Data structures (Computer science).

(24)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(21)

Data Structures and Information Theory.

(21)

Design and Analysis of Algorithms.

(21)

Image processing -- Digital techniques.

(21)

Computers and Education.

(18)

Education -- Data processing.

(18)

Computer System Implementation.

(17)

Computer systems.

(17)

Data and Information Security.

(17)

Data protection.

(17)

Machine learning.

(17)

Signal processing.

(14)

Signal, Speech and Image Processing.

(14)

Formal Languages and Automata Theory.

(13)

Machine theory.

(13)

(12)

Data encryption (Computer science).

(12)

Mathematical Logic and Foundations.

(12)

(11)

(11)

Computer Modelling.

(10)

Computer simulation.

(10)

(10)

Logic programming.

(10)

Mathematical logic.

(10)

Coding and Information Theory.

(9)

(9)

Data Mining and Knowledge Discovery.

(9)

(9)

Mathematical Applications in Computer Science.

(9)

Computational Mathematics and Numerical Analysis.

(8)

Computer Science Logic and Foundations of Programming.

(8)

Computing Milieux.

(8)

Database management.

(8)

Discrete Mathematics in Computer Science.

(8)

Discrete mathematics.

(8)

(8)

Symbolic and Algebraic Manipulation.

(8)

Mathematics -- Data processing.

(7)

Digital humanities.

(6)

Electronic data processing -- Management.

(6)

(6)

Automated Pattern Recognition.

(5)

Computational intelligence.

(5)

Computer graphics.

(5)

Database Management System.

(5)

Engineering mathematics.

(5)

Information Storage and Retrieval.

(5)

Information storage and retrieval systems.

(5)

Mathematics in Music.

(5)

Music -- Mathematics.

(5)

Pattern recognition systems.

(5)

Algebra -- Data processing.

(4)

Algorithm Analysis and Problem Complexity.

(4)

Computational Science and Engineering.

(4)

Computer programming.

(4)

Computer software.

(4)

Engineering -- Data processing.

(4)

(4)

Logics and Meanings of Programs.

(4)

Mathematical Logic and Formal Languages.

(4)

Mathematical and Computational Engineering Applications.

(4)

(4)

Programming Techniques.

(4)

Applications of Mathematics.

(3)

Bioinformatics.

(3)

Computer Application in Social and Behavioral Sciences.

(3)

Computer Hardware.

(3)

Human-computer interaction.

(3)

Mathematical Models of Cognitive Processes and Neural Networks.

(3)

Natural Language Processing (NLP).

(3)

Natural language processing (Computer science).

(3)

Neural networks (Computer science) .

(3)

Social sciences -- Data processing.

(3)

Theoretical, Mathematical and Computational Physics.

(3)

User Interfaces and Human Computer Interaction.

(3)

User interfaces (Computer systems).

(3)

Artificial intelligence -- Data processing.

(2)

Complex Systems.

(2)

Computational complexity.

(2)

Computational linguistics.

(2)

Control Structures and Microprogramming.

(2)

(2)

Data Structures, Cryptology and Information Theory.

(2)

Electronic digital computers -- Evaluation.

(2)

Health Informatics.

(2)

Image processing.

(2)

Logic, Symbolic and mathematical.

(2)

Mathematical Modeling and Industrial Mathematics.

(2)

Mathematical and Computational Biology.

(2)

Mathematical models.

(2)

Mathematical optimization.

(2)

Mathematical physics.

(2)

Mathematical statistics -- Data processing.

(2)

Medical informatics.

(2)

Microcomputers.

(2)

Microprogramming .

(2)

Operating Systems.

(2)

Operating systems (Computers).

(2)

(2)

Personal Computing.

(2)

(2)

Probability Theory.

(2)

Statistics and Computing.

(2)

Statistics in Engineering, Physics, Computer Science, Chemistry and Earth Sciences.

(2)

(2)

System Performance and Evaluation.

(2)

(2)

(1)

Algebras, Linear.

(1)

(1)

Appl.Mathematics/Computational Methods of Engineering.

(1)

Applied Dynamical Systems.

(1)

Arithmetic and Logic Structures.

(1)

(1)

Biomathematics.

(1)

Business information services.

(1)

Chemistry -- Data processing.

(1)

(1)

(1)

Compilers (Computer programs).

(1)

Compilers and Interpreters.

(1)

Computation by Abstract Devices.

(1)

Computational Biology/Bioinformatics.

(1)

Computational Chemistry.

(1)

Computational and Systems Biology.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer Applications in Chemistry.

(1)

Computer architecture.

(1)

Computer arithmetic and logic units.

(1)

Computer networks -- Security measures.

(1)

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

(1)

Computer-aided engineering.

(1)

Computing Methodologies.

(1)

Convex and Discrete Geometry.

(1)

Data Encryption.

(1)

Data Structures.

(1)

Discrete groups.

(1)

Distribution (Probability theory).

(1)

(1)

Electrical and Electronic Engineering.

(1)

Electrical engineering.

(1)

Electronic commerce.

(1)

Electronic data processing.

(1)

Energy Policy, Economics and Management.

(1)

Energy and state.

(1)

(1)

Engineering Mechanics.

(1)

Expert systems (Computer science).

(1)

(1)

Hardware Performance and Reliability.

(1)

History of Computing.

(1)

History of Mathematical Sciences.

(1)

IT in Business.

(1)

Information Systems.

(1)

Information technology -- Management.

(1)

Knowledge Based Systems.

(1)

Linear Algebra.

(1)

Management of Computing and Information Systems.

(1)

Management science.

(1)

Materials Science, general.

(1)

(1)

Mathematical analysis.

(1)

Mathematical statistics.

(1)

Mechanical engineering.

(1)

Mechanics, Applied.

(1)

Microprocessors.

(1)

Mobile and Network Security.

(1)

Nonlinear theories.

(1)

Numerical analysis.

(1)

Operations Management.

(1)

Operations Research, Management Science.

(1)

Operations research.

(1)

Probability Theory and Stochastic Processes.

(1)

Probability and Statistics in Computer Science.

(1)

Processor Architectures.

(1)

Production management.

(1)

Programming Language.

(1)

Programming languages (Electronic computers).

(1)

Renewable Energy.

(1)

Renewable energy sources.

(1)

Security Science and Technology.

(1)

Security systems.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

225 Results Found

Subscribe to search results

1 .. 3 4 5 6 7 .. 19

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.

49.

Cover image for Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings

Author

Hillston, Jane. editor. (orcid)0000-0003-4914-9255 Soudjani, Sadegh. editor. Waga, Masaki. editor. (orcid)0000-0001-9360-7490 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Advances in Optimization and Applications 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers

Advances in Optimization and Applications 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers

Advances in Optimization and Applications 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers

Author

Olenev, Nicholas. editor. (orcid)0000-0002-1032-2455 Evtushenko, Yuri. editor. (orcid)0000-0002-6094-7808 Jaćimović, Milojica. editor. (orcid)0000-0002-7068-8563 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Malkova, Vlasta. editor. (orcid)0000-0002-7928-512X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Author

Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

Author

Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Algorithms and Discrete Applied Mathematics 10th International Conference, CALDAM 2024, Bhilai, India, February 15-17, 2024, Proceedings

Algorithms and Discrete Applied Mathematics 10th International Conference, CALDAM 2024, Bhilai, India, February 15-17, 2024, Proceedings

Algorithms and Discrete Applied Mathematics 10th International Conference, CALDAM 2024, Bhilai, India, February 15-17, 2024, Proceedings

Author

Kalyanasundaram, Subrahmanyam. editor. Maheshwari, Anil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Advances in Computer Games 18th International Conference, ACG 2023, Virtual Event, November 28-30, 2023, Revised Selected Papers

Advances in Computer Games 18th International Conference, ACG 2023, Virtual Event, November 28-30, 2023, Revised Selected Papers

Advances in Computer Games 18th International Conference, ACG 2023, Virtual Event, November 28-30, 2023, Revised Selected Papers

Author

Hartisch, Michael. editor. (orcid)0000-0001-6304-4973 Hsueh, Chu-Hsuan. editor. (orcid)0000-0001-8888-3116 Schaeffer, Jonathan. editor. (orcid)0009-0007-3735-5947 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part II

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part II

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part II

Author

Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part I

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part I

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part I

Author

Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Advances in Swarm Intelligence 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part II

Advances in Swarm Intelligence 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part II

Advances in Swarm Intelligence 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part II

Author

Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-7184-4

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Application and Theory of Petri Nets and Concurrency 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings

Application and Theory of Petri Nets and Concurrency 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings

Application and Theory of Petri Nets and Concurrency 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings

Author

Kristensen, Lars Michael. editor. van der Werf, Jan Martijn. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 3 4 5 6 7 .. 19

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11