Search Results for Computer Communication Networks

|

|

|

|

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)

(2887)

Kim, Tai-hoon. editor.

(49)

Yung, Moti. editor.

(30)

Yang, Laurence T. editor.

(25)

Gervasi, Osvaldo. editor.

(23)

Meersman, Robert. editor.

(22)

Apduhan, Bernady O. editor.

(20)

Taniar, David. editor.

(20)

Ślęzak, Dominik. editor.

(20)

Murgante, Beniamino. editor.

(18)

Adeli, Hojjat. editor.

(17)

Kang, Byeong-Ho. editor.

(17)

Nagamalai, Dhinaharan. editor.

(17)

El-Qawasmeh, Eyas. editor.

(15)

Herrero, Pilar. editor.

(15)

Tari, Zahir. editor.

(15)

Filipe, Joaquim. editor.

(14)

Nguyen, Ngoc Thanh. editor.

(14)

Jajodia, Sushil. editor.

(13)

Koucheryavy, Yevgeni. editor.

(13)

Lopez, Javier. editor.

(12)

Meghanathan, Natarajan. editor.

(12)

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

(11)

Chaki, Nabendu. editor.

(11)

Chen, Hsinchun. editor.

(11)

Dongarra, Jack. editor.

(11)

Du, Ding-Zhu. editor.

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

Ma, Jianhua. editor.

(11)

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

(11)

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

(11)

Camarinha-Matos, Luis M. editor.

(10)

Christianson, Bruce. editor.

(10)

Gavrilova, Marina L. editor.

(10)

Romanovsky, Alexander. editor.

(10)

Spaccapietra, Stefano. editor.

(10)

Stiller, Burkhard. editor.

(10)

Abraham, Ajith. editor.

(9)

Cao, Longbing. editor.

(9)

Chen, Yingyi. editor.

(9)

Fischer-Hübner, Simone. editor.

(9)

Hameurlain, Abdelkader. editor.

(9)

Kowalczyk, Ryszard. editor.

(9)

Li, Daoliang. editor.

(9)

Misra, Sanjay. editor.

(9)

Wang, Guilin. editor.

(9)

Zhou, Jianying. editor.

(9)

Bao, Feng. editor.

(8)

Barthe, Gilles. editor.

(8)

Chau, Michael. editor.

(8)

Damiani, Ernesto. editor.

(8)

Das, Vinu V. editor.

(8)

Dillon, Tharam. editor.

(8)

Dix, Jürgen. editor.

(8)

Howlett, Robert J. editor.

(8)

Jain, Lakhmi C. editor.

(8)

Rahwan, Iyad. editor.

(8)

Shi, Yuhui. editor.

(8)

Stephanidis, Constantine. editor.

(8)

Tan, C. J. Kenneth. editor.

(8)

Tjoa, A Min. editor.

(8)

Ungerer, Theo. editor.

(8)

Vasilakos, Thanos. editor.

(8)

Vinel, Alexey. editor.

(8)

Cagnoni, Stefano. editor.

(7)

Chen, Liqun. editor.

(7)

Crispo, Bruno. editor.

(7)

Das, Swagatam. editor.

(7)

Gollmann, Dieter. editor.

(7)

Huang, Xiong. editor.

(7)

Jonker, Willem. editor.

(7)

Klusch, Matthias. editor.

(7)

Lin, Dongdai. editor.

(7)

Liu, Baoxiang. editor.

(7)

Magedanz, Thomas. editor.

(7)

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

(7)

Malcolm, James A. editor.

(7)

Martinelli, Fabio. editor.

(7)

Martino, Beniamino. editor.

(7)

Panigrahi, Bijaya Ketan. editor.

(7)

Petković, Milan. editor.

(7)

Preneel, Bart. editor.

(7)

Qing, Sihan. editor.

(7)

Roe, Michael. editor.

(7)

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

(7)

Shenoi, Sujeet. editor.

(7)

Stoica, Adrian. editor.

(7)

Suganthan, Ponnuthurai Nagaratnam. editor.

(7)

Tan, Ying. editor.

(7)

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

(7)

Weyns, Danny. editor.

(7)

Wimmer, Maria A. editor.

(7)

Winikoff, Michael. editor.

(7)

Xiang, Yang. editor.

(7)

Zhang, Yanchun. editor.

(7)

Antoniou, Grigoris. editor.

(6)

Ariwa, Ezendu. editor.

(6)

Balandin, Sergey. editor.

(6)

Camenisch, Jan. editor.

(6)

Cao, Jiannong. editor.

(6)

Caro, Gianni A. editor.

(6)

Cruz-Cunha, Maria Manuela. editor.

(6)

Degano, Pierpaolo. editor.

(6)

Fred, Ana. editor.

(6)

Halang, Wolfgang A. editor.

(6)

He, Haibo. editor.

(6)

Holleczek, Peter. editor.

(6)

Jacko, Julie A. editor.

(6)

Kwiecień, Andrzej. editor.

(6)

Liu, Derong. editor.

(6)

Luo, Yuhua. editor.

(6)

Moro, Gianluca. editor.

(6)

Mu, Yi. editor.

(6)

Obaidat, Mohammad S. editor.

(6)

Park, James J. editor.

(6)

Parsons, Simon. editor.

(6)

Pernul, Günther. editor.

(6)

Pointcheval, David. editor.

(6)

Priol, Thierry. editor.

(6)

Spiliopoulou, Myra. editor.

(6)

Staab, Steffen. editor.

(6)

Stenström, Per. editor.

(6)

Stojmenovic, Ivan. editor.

(6)

Strang, Thomas. editor.

(6)

Teije, Annette. editor.

(6)

Thampi, Sabu M. editor.

(6)

Vaudenay, Serge. editor.

(6)

Wang, Cliff. editor.

(6)

Wang, Jun. editor.

(6)

Xiao, Yang. editor.

(6)

Yi, Zhang. editor.

(6)

Zhang, Huaguang. editor.

(6)

Zhou, Xiaofang. editor.

(6)

Afsarmanesh, Hamideh. editor.

(5)

Al-Begain, Khalid. editor.

(5)

Aldini, Alessandro. editor.

(5)

Alexander, Michael. editor.

(5)

Arnett, Kirk P. editor.

(5)

Aroyo, Lora. editor.

(5)

Baldoni, Matteo. editor.

(5)

Bandini, Stefania. editor.

(5)

Bellalta, Boris. editor.

(5)

Bernardo, Marco. editor.

(5)

Blanc-Talon, Jacques. editor.

(5)

Bouguettaya, Athman. author.

(5)

Bravo, José. editor.

(5)

Carlini, Maurizio. editor.

(5)

Cuzzocrea, Alfredo. editor.

(5)

Danelutto, Marco. editor.

(5)

Dignum, Frank. editor.

(5)

Domingue, John. editor.

(5)

Drechsler, Rolf. editor.

(5)

Ekárt, Anikó. editor.

(5)

Farooq, Muddassar. editor.

(5)

Fiems, Dieter. editor.

(5)

Gaj, Piotr. editor.

(5)

Garcia-Alfaro, Joaquin. editor.

(5)

Gorodetsky, Vladimir. editor.

(5)

Gorrieri, Roberto. editor.

(5)

Grönlund, Åke. editor.

(5)

Higashino, Teruo. editor.

(5)

Howard, Daniel. editor.

(5)

Iglesias, Andrés. editor.

(5)

Indulska, Jadwiga. editor.

(5)

Janssen, Marijn. editor.

(5)

Jin, Hai. editor.

(5)

Katzenbeisser, Stefan. editor.

(5)

Kurosu, Masaaki. editor.

(5)

Lambrinoudakis, Costas. editor.

(5)

Lee, Changhoon. editor.

(5)

Lee, Geuk. editor.

(5)

Leite, João. editor.

(5)

Li, Yingshu. editor.

(5)

Lin, Song. editor.

(5)

Liu, Chunfeng. editor.

(5)

Lytras, Miltiadis D. editor.

(5)

López, Javier. editor.

(5)

Machado, Penousal. editor.

(5)

Mahmood, Zaigham. editor.

(5)

Marcus, Aaron. editor.

(5)

Mobasher, Bamshad. editor.

(5)

Nguyen, Hong-Quang. editor.

(5)

Ossowski, Sascha. editor.

(5)

Pautasso, Cesare. editor.

(5)

Pentikousis, Kostas. editor.

(5)

Pfeifer, Tom. editor.

(5)

Philips, Wilfried. editor.

(5)

Polleres, Axel. editor.

(5)

Popescu, Dan. editor.

(5)

Pujolle, Guy. editor.

(5)

Rana, Omer F. editor.

(5)

Romero, Juan. editor.

(5)

Sadeghi, Ahmad-Reza. editor.

(5)

Safavi-Naini, Reihaneh. editor.

(5)

Sandnes, Frode Eika. editor.

(5)

Scheunders, Paul. editor.

(5)

Language

(2856)

(31)

Publication Date

-

(425)

(374)

(359)

(285)

(256)

(253)

(251)

(218)

(217)

(106)

(51)

(39)

(28)

(21)

(3)

(1)

Subject

Computer Communication Networks.

(2860)

Software engineering.

(1159)

Information systems.

(1022)

Artificial intelligence.

(876)

Computer software.

(846)

Information storage and retrieval systems.

(742)

Data encryption (Computer science).

(559)

Information Systems.

(423)

Data protection.

(422)

Database management.

(362)

Operating systems (Computers).

(293)

(284)

(284)

Computer network architectures.

(259)

Data structures (Computer science).

(228)

Computational complexity.

(218)

Telecommunication.

(189)

Multimedia systems.

(186)

Computer system performance.

(177)

Computer vision.

(150)

Computer simulation.

(145)

Computer networks .

(140)

Information Systems Applications (incl. Internet).

(117)

Theory of Computation.

(99)

Optical pattern recognition.

(94)

(89)

Computer graphics.

(89)

Algorithm Analysis and Problem Complexity.

(80)

Systems and Data Security.

(75)

(71)

Electronic data processing.

(64)

Information Storage and Retrieval.

(58)

Management information systems.

(57)

Artificial Intelligence (incl. Robotics).

(54)

Data Encryption.

(52)

Information theory.

(49)

Management of Computing and Information Systems.

(49)

Data transmission systems.

(45)

Computers -- Law and legislation.

(44)

Social sciences -- Data processing.

(43)

Application software.

(42)

Computer science -- Mathematics.

(42)

Computer System Implementation.

(39)

Computer and Information Systems Applications.

(39)

Bioinformatics.

(34)

Computer Systems Organization and Communication Networks.

(33)

Computer systems.

(32)

Computers and Society.

(31)

Communications Engineering, Networks.

(30)

Computer security.

(30)

Data Mining and Knowledge Discovery.

(29)

Special Purpose and Application-Based Systems.

(29)

Computer Science Logic and Foundations of Programming.

(28)

Discrete Mathematics in Computer Science.

(27)

System Performance and Evaluation.

(27)

Computer hardware.

(26)

User Interfaces and Human Computer Interaction.

(25)

Computer engineering.

(23)

(23)

Electronic commerce.

(21)

Logics and Meanings of Programs.

(21)

Mathematics of Computing.

(21)

Computer Engineering and Networks.

(20)

Programming Techniques.

(20)

Simulation and Modeling.

(20)

Medical records -- Data processing.

(19)

Operating Systems.

(19)

Programming Languages, Compilers, Interpreters.

(19)

(18)

Formal Languages and Automata Theory.

(18)

Machine theory.

(18)

Computer Modelling.

(16)

Computers, Special purpose.

(16)

Information Systems and Communication Service.

(16)

(16)

Data Structures and Information Theory.

(15)

e-Commerce/e-business.

(15)

Algebra -- Data processing.

(14)

Computation by Abstract Devices.

(14)

(14)

Discrete mathematics.

(13)

Compilers (Computer programs).

(12)

Compilers and Interpreters.

(12)

Computer Appl. in Administrative Data Processing.

(12)

Data Structures, Cryptology and Information Theory.

(12)

Multimedia Information Systems.

(12)

Coding and Information Theory.

(11)

(11)

Translators (Computer programs).

(11)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(10)

Pattern Recognition.

(10)

Computing Milieux.

(9)

Engineering economy.

(9)

Control Structures and Microprogramming.

(8)

Electronic data processing -- Management.

(8)

(8)

Mathematical Logic and Formal Languages.

(8)

Microprogramming .

(8)

Numeric Computing.

(8)

Business Information Systems.

(7)

Computer Applications.

(7)

Computer Science, general.

(7)

Data Structures.

(7)

Data and Information Security.

(7)

Models of Computation.

(7)

Software Engineering/Programming and Operating Systems.

(7)

Computational intelligence.

(6)

Computer Application in Social and Behavioral Sciences.

(6)

Computer programming.

(6)

Probability and Statistics in Computer Science.

(6)

Computer aided design.

(5)

(5)

(5)

(5)

Models and Principles.

(5)

Processor Architectures.

(5)

Symbolic and Algebraic Manipulation.

(5)

Data structures (Computer scienc.

(4)

Electronic digital computers -- Evaluation.

(4)

(4)

Image Processing and Computer Vision.

(4)

Image processing -- Digital techniques.

(4)

Mathematical geography.

(4)

(4)

Text processing (Computer science.

(4)

Computer Appl. in Social and Behavioral Sciences.

(3)

Computer communication systems.

(3)

Computing Methodologies.

(3)

Control engineering systems.

(3)

Energy Economics.

(3)

Engineering mathematics.

(3)

Geographical information systems.

(3)

Health Informatics.

(3)

Input/Output and Data Communications.

(3)

(3)

(3)

Logic programming.

(3)

Natural language processing (Computer science).

(3)

Systems engineering.

(3)

(3)

(2)

(2)

Automated Pattern Recognition.

(2)

Computational Science and Engineering.

(2)

Computer Application in Administrative Data Processing.

(2)

Computer architecture.

(2)

Computer industry.

(2)

Computers and civilization.

(2)

Electric engineering.

(2)

Electrical Engineering.

(2)

Energy Technology.

(2)

(2)

Hardware Performance and Reliability.

(2)

Information technology -- Management.

(2)

Math Applications in Computer Science.

(2)

Mathematical Applications in Computer Science.

(2)

Mathematical statistics.

(2)

Memory management (Computer science).

(2)

Microprocessors.

(2)

Microprogramming.

(2)

(2)

Monoclonal antibodies.

(2)

Natural Language Processing (NLP).

(2)

Numerical analysis.

(2)

Pattern recognition systems.

(2)

Performance and Reliability.

(2)

Physical optics.

(2)

Power Electronics, Electrical Machines and Networks.

(2)

Production of electric energy or power.

(2)

Quantum Computing.

(2)

Quantum computers.

(2)

Quantum theory.

(2)

Renewable energy sources.

(2)

Social sciences.

(2)

Theory and Algorithms for Application Domains.

(2)

e-Commerce and e-Business.

(2)

(1)

Architectural design.

(1)

Artificial intelligence -- Data processing.

(1)

Biology -- Data processing.

(1)

Biomedical engineering.

(1)

Business logistics.

(1)

(1)

Computational Biology/Bioinformatics.

(1)

Computational Intelligence.

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computer files.

(1)

Computer system failures.

(1)

Computers and Education.

(1)

Control, Robotics, Mechatronics.

(1)

(1)

(1)

Data Storage Representation.

(1)

Differential equations, partial.

(1)

Distribution (Probability theory).

(1)

Distribution (Probability theory.

(1)

Economics, Mathematical.

(1)

Economics/Management Science, general.

(1)

Educational Technology.

(1)

Electrical engineering.

(1)

Material Type

Shelf Location

Electronic Library

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

2887 Results Found

Subscribe to search results

1 2 3 4 5 6 .. 241

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 Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part IV

Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part IV

Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part IV

Author

Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Parallel and Distributed Computing, Applications and Technologies Proceedings of PDCAT 2023

Parallel and Distributed Computing, Applications and Technologies Proceedings of PDCAT 2023

Parallel and Distributed Computing, Applications and Technologies Proceedings of PDCAT 2023

Author

Park, Ji Su. editor. (orcid)0000-0001-9003-1131 Takizawa, Hiroyuki. editor. (orcid)0000-0003-2858-3140 Shen, Hong. editor. Park, James J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-8211-0

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28-September 1, 2023, Proceedings, Part II

Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28-September 1, 2023, Proceedings, Part II

Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28-September 1, 2023, Proceedings, Part II

Author

Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Author

Yavorskiy, Rostislav. editor. Cavalli, Ana Rosa. editor. Kalenkova, Anna. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Author

Gierasimczuk, Nina. editor. Velázquez-Quesada, Fernando R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part I

Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part I

Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part I

Author

Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part III

Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part III

Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part III

Author

Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part II

Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part II

Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part II

Author

Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part I

Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part I

Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part I

Author

Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 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

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 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

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 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

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for Large-Scale Scientific Computations 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers

Large-Scale Scientific Computations 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers

Large-Scale Scientific Computations 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers

Author

Lirkov, Ivan. editor. (orcid)0000-0002-5870-2588 Margenov, Svetozar. editor. (orcid)0000-0001-8858-831X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

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:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 6 .. 241

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11