Search Results for Theory of Computation.

|

|

|

|

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 Communication Networks.

Author

SpringerLink (Online service)

(135)

Fehr, Serge. editor.

(10)

Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X

(9)

Sasaki, Yu. editor. (orcid)0000-0002-1273-2394

(9)

Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276

(8)

Joye, Marc. editor. (orcid)0000-0003-4433-2333

(7)

Leander, Gregor. editor. (orcid)0000-0002-2579-8587

(7)

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

(7)

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

(7)

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

(7)

Kowalczyk, Ryszard. editor.

(5)

Bi, Lei. editor. (orcid)0000-0001-9759-0200

(4)

Boyle, Elette. editor.

(4)

Kim, Jinman. editor.

(4)

Mahmoody, Mohammad. editor.

(4)

Nguyen, Ngoc Thanh. editor.

(4)

Deng, Zhigang. editor. (orcid)0000-0002-0452-8676

(3)

Finkbeiner, Bernd. editor.

(3)

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792

(3)

Heule, Marijn. editor. (orcid)0000-0002-5587-8801

(3)

Kim, Jinman. editor. (orcid)0000-0001-5960-1060

(3)

Klasing, Ralf. editor.

(3)

Kovács, Laura. editor.

(3)

Li, Ping. editor. (orcid)0000-0002-1503-0240

(3)

Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948

(3)

Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453

(2)

Balaji, Pavan. editor.

(2)

Cai, Zhiping. editor. (orcid)0000-0001-5726-833X

(2)

Cintrano, Christian. editor.

(2)

Correia, João. editor.

(2)

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

(2)

Ferrández Vicente, José Manuel. editor.

(2)

Franczyk, Bogdan. editor. (orcid)0000-0002-5740-2946

(2)

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

(2)

Hart, Emma. editor.

(2)

Hirt, Martin. editor.

(2)

Kozierkiewicz, Adrianna. editor. (orcid)0000-0001-8445-3979

(2)

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

(2)

Kunkel, Julian M. editor.

(2)

Kushilevitz, Eyal. editor.

(2)

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

(2)

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

(2)

Ludwig, André. editor. (orcid)0000-0002-0358-3470

(2)

Malkin, Tal. editor.

(2)

Mercik, Jacek. editor.

(2)

Núñez, Manuel. editor. (orcid)0000-0001-9808-6401

(2)

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

(2)

Pothos, Emmanuel. editor.

(2)

Smith, Adam. editor.

(2)

Smith, Stephen. editor.

(2)

Soto, José A. editor.

(2)

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

(2)

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

(2)

Treur, Jan. editor. (orcid)0000-0003-2466-9158

(2)

Val Calvo, Mikel. editor.

(2)

Vega-Rodríguez, Miguel A. editor.

(2)

Vossen, Gottfried. editor. (orcid)0000-0002-1478-2838

(2)

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

(2)

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

(2)

Wiese, Andreas. editor.

(2)

Zhang, Jialin. editor. (orcid)0000-0002-6245-1013

(2)

Albert, Elvira. editor.

(1)

Amos, Martyn. editor.

(1)

Arcaini, Paolo. editor. (orcid)0000-0002-6253-4062

(1)

Ashur, Ahmed S. editor.

(1)

Atmanspacher, Harald. editor.

(1)

Aydoğan, Reyhan. editor.

(1)

Baarslag, Tim. editor.

(1)

Bandini, Stefania. editor.

(1)

Barbosa, Haniel. editor.

(1)

Barolli, Leonard. editor.

(1)

Barrenechea, Edurne. editor.

(1)

Benmusa, Tammam A. T. editor.

(1)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(1)

Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530

(1)

Bouajjani, Ahmed. editor.

(1)

C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029

(1)

Cagnoni, Stefano. editor.

(1)

Cai, Yang. editor.

(1)

Caltais, Georgiana. editor. (orcid)0000-0002-8653-2299

(1)

Cardoso, João M.P. editor.

(1)

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

(1)

Carretero, Jesus. editor.

(1)

Castiglione, Aniello. editor.

(1)

Castiglioni, Valentina. editor. (orcid)0000-0002-8112-6523

(1)

Cavalli, Ana Rosa. editor.

(1)

Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428

(1)

Chatzigiannakis, Ioannis. editor.

(1)

Chen, Mingzhe. author.

(1)

Chrobak, Marek. editor.

(1)

Coecke, Bob. editor.

(1)

Condon, Anne. editor.

(1)

Cook, Matthew. editor.

(1)

Corchado, Emilio. editor.

(1)

Cui, Shuguang. author.

(1)

Das, Swagatam. editor.

(1)

Dennunzio, Alberto. editor.

(1)

Di Napoli, Edoardo. editor.

(1)

Dinh, Thang N. editor.

(1)

Doka, Katerina. editor.

(1)

Dongarra, Jack. editor.

(1)

Drawil, Nabil M. editor.

(1)

Eisenbrand, Friedrich. editor.

(1)

El Yacoubi, Samira. editor.

(1)

Elbuni, Mohamed Samir. editor.

(1)

Ellabib, Issmail M. editor.

(1)

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

(1)

Fernández Anta, Antonio. editor.

(1)

Ferreira, Carla. editor. (orcid)0000-0003-3680-7634

(1)

Fey, Dietmar. editor. (orcid)0000-0002-6077-4732

(1)

Filipe, Joaquim. editor.

(1)

Filk, Thomas. editor.

(1)

Formenti, Enrico. editor.

(1)

Francalanza, Adrian. editor. (orcid)0000-0003-3829-7391

(1)

Fredericks, Erik M. editor.

(1)

Galar, Mikel. editor.

(1)

Gallina, Barbara. editor. (orcid)0000-0002-6952-1053

(1)

Garcia-Blas, Javier. editor.

(1)

Gaspers, Serge. editor. (orcid)0000-0002-6947-9238

(1)

Gavrilova, Marina L. editor.

(1)

Gerding, Enrico. editor.

(1)

Groumpos, Peter. editor.

(1)

Gámez, José A. editor.

(1)

Gąsieniec, Leszek. editor.

(1)

Hannig, Frank. editor. (orcid)0000-0003-3663-6484

(1)

Hermanns, Marc-André. editor.

(1)

Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750

(1)

Iliev, Hristo. editor.

(1)

Inoue, Koji. editor.

(1)

Jahangirova, Gunel. editor.

(1)

Jin, Yaochu. editor.

(1)

Jobstmann, Barbara. editor.

(1)

Jonker, Catholijn M. editor.

(1)

Julian, Vicente. editor.

(1)

Kalenkova, Anna. editor.

(1)

Karl, Wolfgang. editor.

(1)

Karydis, Ioannis. editor. (orcid)0000-0002-9470-2729

(1)

Keyes, David. editor.

(1)

Khomh, Foutse. editor. (orcid)0000-0002-5704-4173

(1)

Kikuchi, Hiroaki. editor. (orcid)0000-0002-0903-8430

(1)

Kliemann, Lasse. editor.

(1)

Knoop, Jens. editor.

(1)

Ko, Ryan K.L. editor.

(1)

Koenemann, Jochen. editor.

(1)

Kosters, Walter A. editor.

(1)

Kravets, Alla. editor.

(1)

Krejca, Martin S. editor. (orcid)0000-0002-1765-1219

(1)

Kultsova, Marina. editor.

(1)

Lanese, Ivan. editor. (orcid)0000-0003-2527-9995

(1)

Leino, K. Rustan M. editor.

(1)

Li, Jin. editor.

(1)

Li, Kangshun. editor.

(1)

Li, Xiaodong. editor.

(1)

Li, Yupeng. editor.

(1)

Lintermann, Andreas. editor.

(1)

Lirkov, Ivan. editor. (orcid)0000-0002-5870-2588

(1)

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

(1)

Louveaux, Quentin. editor.

(1)

Lu, Pinyan. editor. (orcid)0009-0005-0569-4122

(1)

Luaces, Oscar. editor.

(1)

Manulis, Mark. editor.

(1)

Manzoni, Luca. editor.

(1)

Margenov, Svetozar. editor. (orcid)0000-0001-8858-831X

(1)

Martín-Vide, Carlos. editor.

(1)

Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000

(1)

McKenney, Mark. author.

(1)

Mezzina, Claudio Antares. editor. (orcid)0000-0003-1556-2623

(1)

Middendorf, Martin. editor.

(1)

Mizuki, Takaaki. editor.

(1)

Monniaux, David. editor.

(1)

Mueller, Peter. editor.

(1)

Nakano, Koji. editor.

(1)

Narukawa, Yasuo. editor.

(1)

Neary, Turlough. editor.

(1)

Neruda, Roman. editor.

(1)

Njougouo, Thierry-Sainclair. editor. (orcid)0000-0001-7706-7674

(1)

Ordoñez, Hugo. editor.

(1)

Orłowski, Cezary. editor.

(1)

Panigrahi, Bijaya Ketan. editor.

(1)

Park, James J. editor.

(1)

Park, Ji Su. editor. (orcid)0000-0001-9003-1131

(1)

Peyser, Alexander. editor.

(1)

Pionteck, Thilo. editor.

(1)

Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226

(1)

Porreca, Antonio E. editor.

(1)

Qiu, Meikang. editor.

(1)

Quintián, Héctor. editor.

(1)

R. Devanur, Nikhil. editor.

(1)

Raynal, Michel. author.

(1)

Rocha, Ana Paula. editor.

(1)

Rupino da Cunha, Paulo. editor.

(1)

Sadeghi, Ahmad-Reza. editor.

(1)

Saleh, Ibrahim M. editor.

(1)

Sanchez-Anguix, Victor. editor.

(1)

Sanders, Peter. editor.

(1)

Satapathy, Suresh Chandra. editor. (orcid)0000-0001-8236-4104

(1)

Schneider, Markus. author.

(1)

Schneider, Steve. editor.

(1)

Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443

(1)

Schröder-Preikschat, Wolfgang. editor.

(1)

Language

(135)

Publication Date

-

(43)

(41)

(30)

(20)

(1)

Subject

Computer networks .

(134)

Computer science.

(96)

Theory of Computation.

(96)

Artificial intelligence.

(52)

Application software.

(47)

Computer and Information Systems Applications.

(47)

Data protection.

(38)

(36)

(36)

Data encryption (Computer science).

(36)

Computer science -- Mathematics.

(35)

Software engineering.

(31)

(30)

Security Services.

(29)

Computer networks -- Security measures.

(28)

Mobile and Network Security.

(28)

Computer System Implementation.

(25)

Computer systems.

(25)

Information theory.

(22)

Data Structures and Information Theory.

(19)

Data structures (Computer science).

(19)

Discrete Mathematics in Computer Science.

(18)

Discrete mathematics.

(18)

Mathematics of Computing.

(18)

Computer Modelling.

(16)

Computer simulation.

(16)

Computers, Special purpose.

(15)

Special Purpose and Application-Based Systems.

(15)

Coding and Information Theory.

(9)

(9)

Computer Application in Administrative Data Processing.

(9)

Data and Information Security.

(9)

Information technology -- Management.

(9)

Control Structures and Microprogramming.

(8)

Microprogramming .

(8)

(7)

Formal Languages and Automata Theory.

(7)

Information Storage and Retrieval.

(7)

Information storage and retrieval systems.

(7)

Machine theory.

(7)

Computational intelligence.

(6)

Electronic data processing -- Management.

(6)

(6)

Computer Engineering and Networks.

(5)

Computer Science Logic and Foundations of Programming.

(5)

Computer engineering.

(5)

Computer vision.

(5)

Computing Milieux.

(5)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(4)

Image processing -- Digital techniques.

(4)

Operating Systems.

(4)

Operating systems (Computers).

(4)

Programming Techniques.

(3)

Symbolic and Algebraic Manipulation.

(3)

Automated Pattern Recognition.

(2)

Compilers (Computer programs).

(2)

Compilers and Interpreters.

(2)

Computer Application in Social and Behavioral Sciences.

(2)

Computer architecture.

(2)

Computer programming.

(2)

Data Mining and Knowledge Discovery.

(2)

(2)

Database management.

(2)

Electronic commerce.

(2)

Electronic digital computers -- Evaluation.

(2)

Hardware Performance and Reliability.

(2)

(2)

Logic programming.

(2)

Microprocessors.

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

Numerical analysis.

(2)

Pattern recognition systems.

(2)

Processor Architectures.

(2)

Quantum Computing.

(2)

Quantum computers.

(2)

Social sciences -- Data processing.

(2)

System Performance and Evaluation.

(2)

Theory and Algorithms for Application Domains.

(2)

e-Commerce and e-Business.

(2)

Artificial intelligence -- Data processing.

(1)

Communications Engineering, Networks.

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computer hardware.

(1)

Computers and Society.

(1)

Computers and civilization.

(1)

(1)

Geographic information systems.

(1)

Geographical Information System.

(1)

Machine learning.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical statistics.

(1)

Mathematics -- Data processing.

(1)

Mobile communication systems.

(1)

Models of Computation.

(1)

Probability and Statistics in Computer Science.

(1)

Programming Language.

(1)

Programming languages (Electronic computers).

(1)

Regional and Spatial Economics.

(1)

Regional economics.

(1)

Spatial economics.

(1)

Telecommunication.

(1)

Wireless and Mobile Communication.

(1)

Wireless communication systems.

(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

135 Results Found

Subscribe to search results

1 2 3 4 5 6 .. 12

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

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

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

1.

Cover image for Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part VII

Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part VII

Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part VII

Author

Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques Madrid, Spain, May 4-8, 2025, Proceedings, Part I

Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques Madrid, Spain, May 4-8, 2025, Proceedings, Part I

Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques Madrid, Spain, May 4-8, 2025, Proceedings, Part I

Author

Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part II

Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part II

Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part II

Author

Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part IV

Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part IV

Advances in Cryptology - EUROCRYPT 2025 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, May 4-8, 2025, Proceedings, Part IV

Author

Fehr, Serge. editor. Fouque, Pierre-Alain. editor. (orcid)0000-0003-4997-2276 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

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

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

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

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

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:

8.

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 II

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 II

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 II

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-57249-4

Format:

Availability

Online Library~1

Available:
Copies:

9.

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 III

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 III

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 III

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-57256-2

Format:

Availability

Online Library~1

Available:
Copies:

10.

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:

11.

Cover image for Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Author

Barbosa, Haniel. editor. Zohar, Yoni. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Search-Based Software Engineering 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings

Search-Based Software Engineering 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings

Search-Based Software Engineering 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings

Author

Arcaini, Paolo. editor. (orcid)0000-0002-6253-4062 Yue, Tao. editor. Fredericks, Erik M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

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 .. 12

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11