Search Results for Operating.

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:

+

Subject: Computer Communication Networks.

Author

SpringerLink (Online service)

(348)

Yang, Laurence T. editor.

(8)

Yung, Moti. editor.

(8)

Guo, Minyi. editor.

(6)

Zhou, Jianying. editor.

(5)

Barthès, Jean-Paul A. editor.

(4)

Giannelli, Carlo. editor.

(4)

Jajodia, Sushil. editor.

(4)

Jin, Hai. editor.

(4)

Jonker, Willem. editor.

(4)

Luo, Yuhua. editor.

(4)

López, Javier. editor.

(4)

Petković, Milan. editor.

(4)

Romanovsky, Alexander. editor.

(4)

Bao, Feng. editor.

(3)

Berekovic, Mladen. editor.

(3)

Brinkschulte, Uwe. editor.

(3)

Brueckner, Sven A. editor.

(3)

Cao, Jiannong. editor.

(3)

Christianson, Bruce. editor.

(3)

Gorrieri, Roberto. editor.

(3)

Hochberger, Christian. editor.

(3)

Kacsuk, Péter. editor.

(3)

Kim, Tai-hoon. editor.

(3)

Koucheryavy, Yevgeni. editor.

(3)

Kruegel, Christopher. editor.

(3)

Lin, Zongkai. editor.

(3)

Lopez, Javier. editor.

(3)

Magedanz, Thomas. editor.

(3)

Malcolm, James A. editor.

(3)

Martinelli, Fabio. editor.

(3)

Roe, Michael. editor.

(3)

Shen, Weiming. editor.

(3)

Ślęzak, Dominik. editor.

(3)

Aldini, Alessandro. editor.

(2)

Aspnes, James. editor.

(2)

Bailey, Michael. editor.

(2)

Baldimtsi, Foteini. editor.

(2)

Barthe, Gilles. editor.

(2)

Beigl, Michael. editor.

(2)

Bellavista, Paolo. editor.

(2)

Blumauer, Andreas. editor.

(2)

Bougé, Luc. editor.

(2)

Braun, Torsten. editor.

(2)

Butler, Michael. editor.

(2)

Cachin, Christian. editor.

(2)

Carle, Georg. editor.

(2)

Chatzimisios, Periklis. editor.

(2)

Clark, Jeremy. editor. (orcid)0000-0002-3533-5965

(2)

Crispo, Bruno. editor.

(2)

Decker, Bart. editor.

(2)

Deng, Robert H. editor.

(2)

Dimitrakos, Theo. editor.

(2)

Dolev, Shlomi. editor.

(2)

Dongarra, Jack. editor.

(2)

Eliassen, Frank. editor.

(2)

Frachtenberg, Eitan. editor.

(2)

Garcia-Alfaro, Joaquin. editor.

(2)

Gollmann, Dieter. editor.

(2)

Guerraoui, Rachid. author.

(2)

Higashino, Teruo. editor.

(2)

Ioannidis, Sotiris. editor.

(2)

Jesshope, Chris. editor.

(2)

Kaklamanis, Christos. editor.

(2)

Kotenko, Igor. editor.

(2)

Lai, Xuejia. editor.

(2)

Lankes, Stefan. editor.

(2)

Lintas, Alessandra. editor.

(2)

Lukowicz, Paul. editor.

(2)

Luo, Junzhou. editor.

(2)

Ma, Jianhua. editor.

(2)

Mambo, Masahiro. editor.

(2)

Mambretti, Joe. editor.

(2)

Martin, David. editor.

(2)

Marzo Serugendo, Giovanna. editor.

(2)

Mattern, Friedemann. editor.

(2)

Meer, Hermann. editor.

(2)

Müller-Schloer, Christian. editor.

(2)

Navarro-Arribas, Guillermo. editor.

(2)

Nicola, Rocco. editor.

(2)

Németh, Zsolt. editor.

(2)

Pellegrini, Tassilo. editor.

(2)

Pointcheval, David. editor.

(2)

Preneel, Bart. editor.

(2)

Rannenberg, Kai. editor.

(2)

Ricci, Laura. editor.

(2)

Rodrigues, Luís. author.

(2)

Rovetta, Stefano. editor.

(2)

Ryan, Peter Y. A. editor.

(2)

Safavi-Naini, Reihaneh. editor.

(2)

Sakurai, Kouichi. editor.

(2)

Schiele, Bernt. editor.

(2)

Schneider, Steve. editor.

(2)

Schwiegelshohn, Uwe. editor.

(2)

Scott, Stephen L. editor.

(2)

Shi, Elaine. editor.

(2)

Sick, Bernhard. editor.

(2)

Skormin, Victor. editor.

(2)

Sloot, Peter M. A. editor.

(2)

Spirakis, Paul G. editor.

(2)

Troubitsyna, Elena. editor.

(2)

Tsaoussidis, Vassilis. editor.

(2)

Tsigas, Philippas. editor.

(2)

Ungerer, Theo. editor.

(2)

Verschure, Paul F.M.J. editor.

(2)

Villa, Alessandro E.P. editor.

(2)

Weidendorfer, Josef. editor.

(2)

Wu, Zhaohui. editor.

(2)

Zamboni, Diego. editor.

(2)

Aarts, Emile. editor.

(1)

Abdelzaher, Tarek. editor.

(1)

Abhaya, Vidura Gamini. author.

(1)

Aitenbichler, Erwin. editor.

(1)

Al-Begain, Khalid. editor.

(1)

Alex, Wulf. author.

(1)

Ali, A.B.M. Shawkat. editor.

(1)

Allen, Sarah. editor.

(1)

Alonistioti, Nancy. editor.

(1)

Alonso, Gustavo. editor.

(1)

Altman, Eitan. editor.

(1)

Altmann, Jörn. editor. (orcid)0000-0002-8880-9546

(1)

Anagnostakis, Kostas. editor.

(1)

Anderson, James H. editor.

(1)

Antonakakis, Manos. editor.

(1)

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

(1)

Arora, Anish. editor.

(1)

Artikis, Alexander. editor.

(1)

Athanasopoulos, Elias. editor.

(1)

Avgeriou, Paris. editor.

(1)

Backes, Michael. editor.

(1)

Badia, Rosa M. editor.

(1)

Badonnel, Rémi. editor.

(1)

Bai, Guangdong. editor.

(1)

Baier, Christel. editor.

(1)

Baird, Henry S. editor.

(1)

Balouek, Daniel. editor. (orcid)0000-0001-6038-1077

(1)

Balsamo, Simonetta. editor.

(1)

Balzarotti, Davide. editor.

(1)

Barbosa, Jorge G. editor.

(1)

Baresi, Luciano. editor.

(1)

Barlas, Gerassimos. author.

(1)

Barrett, Kenneth. author.

(1)

Bartolini, Claudio. editor.

(1)

Bartolini, Novella. editor.

(1)

Batten, Lynn Margaret. editor.

(1)

Bauer, Kirk. author.

(1)

Bañares, José Ángel. editor. (orcid)0000-0002-4198-8241

(1)

Bedrouni, Abdellah. author.

(1)

Benantar, Messaoud. author.

(1)

Beraldi, Roberto. editor.

(1)

Berger, Jean. author.

(1)

Bernstein, Daniel J. editor.

(1)

Berrezueta-Guzman, Santiago. editor. (orcid)0000-0001-5559-2056

(1)

Bhatti, Nina. editor.

(1)

Bianchi, Giuseppe. editor.

(1)

Biryukov, Alex. editor.

(1)

Biskup, Joachim. editor.

(1)

Bistouni, Fathollah. author.

(1)

Biswas, Kamanashis. editor. (orcid)0000-0003-3719-8607

(1)

Blefari-Melazzi, Nicola. editor.

(1)

Bloomfield, Robin. editor.

(1)

Blundo, Carlo. editor.

(1)

Bodden, Eric. editor.

(1)

Boer, Frank S. editor.

(1)

Bonnin, Jean-Marie. editor.

(1)

Bonomi, Silvia. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Borcea, Cristian. editor.

(1)

Boukhtouta, A. author.

(1)

Bourgeois, Julien. editor.

(1)

Bouvry, Pascal. editor.

(1)

Bouyssounouse, Bruno. author.

(1)

Boyd, Colin. editor.

(1)

Brabazon, Anthony. editor.

(1)

Bracciali, Andrea. editor. (orcid)0000-0003-1451-9260

(1)

Breveglieri, Luca. editor.

(1)

Brooke, Phillip J. editor.

(1)

Bu, Jiajun. editor.

(1)

Bubak, Marian. editor.

(1)

Buchmann, Alejandro. editor.

(1)

Buchty, Rainer. editor.

(1)

Budurushi, Jurlind. editor. (orcid)0000-0002-6732-4400

(1)

Büschkes, Roland. editor.

(1)

Cachin, Christian. author.

(1)

Cai, Ying. editor.

(1)

Caires, Luís. editor. (orcid)0000-0002-3215-6734

(1)

Calvert, Kenneth L. editor.

(1)

Campbell, Roy H. editor.

(1)

Campi, Nate. author.

(1)

Canteaut, Anne. editor.

(1)

Capitani di Vimercati, Sabrina. editor.

(1)

Cardellini, Valeria. editor.

(1)

Caro, Gianni A. editor.

(1)

Carrera, Iacopo. editor.

(1)

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

(1)

Castro, Miguel. editor.

(1)

Cavalli, Ana. editor.

(1)

Celebi, M. Emre. editor. (orcid)0000-0002-2721-6317

(1)

Cerqueira, Renato. editor.

(1)

Chaki, Nabendu. editor.

(1)

Language

(340)

(8)

Publication Date

-

(70)

(63)

(34)

(26)

(23)

(22)

(20)

(17)

(17)

(13)

(13)

(12)

(12)

(5)

(1)

Subject

Operating systems (Computers).

(325)

Computer science.

(298)

Software engineering.

(185)

Information systems.

(100)

Data encryption (Computer science).

(98)

Information Systems.

(92)

Computer software.

(82)

Information storage and retrieval systems.

(52)

Computer network architectures.

(48)

Computer networks .

(43)

Operating Systems.

(42)

(35)

Computer system performance.

(34)

Artificial intelligence.

(33)

Data protection.

(32)

Telecommunication.

(26)

Computational complexity.

(22)

Application software.

(14)

Computer and Information Systems Applications.

(14)

Data transmission systems.

(14)

Data and Information Security.

(13)

Data structures (Computer science).

(12)

Special Purpose and Application-Based Systems.

(12)

Computers, Special purpose.

(11)

Information theory.

(11)

(10)

(10)

Database management.

(10)

Computer System Implementation.

(9)

Computer systems.

(8)

System Performance and Evaluation.

(7)

Computer security.

(6)

Multimedia systems.

(6)

(5)

Computer simulation.

(5)

Computer vision.

(5)

Data Structures and Information Theory.

(5)

(5)

(4)

Communications Engineering, Networks.

(4)

Computer aided design.

(4)

Computers -- Law and legislation.

(4)

Electronic digital computers -- Evaluation.

(4)

(4)

Information Systems Applications (incl. Internet).

(4)

Logics and Meanings of Programs.

(4)

Programming Languages, Compilers, Interpreters.

(4)

Software Engineering/Programming and Operating Systems.

(4)

Systems and Data Security.

(4)

Theory of Computation.

(4)

Data Encryption.

(3)

Management information systems.

(3)

Optical pattern recognition.

(3)

Algorithm Analysis and Problem Complexity.

(2)

Computer engineering.

(2)

Electronic data processing -- Management.

(2)

Electronic data processing.

(2)

(2)

Mobile communication systems.

(2)

Programming Techniques.

(2)

Wireless and Mobile Communication.

(2)

Wireless communication systems.

(2)

(1)

Arithmetic and Logic Structures.

(1)

(1)

Coding and Information Theory.

(1)

Compilers (Computer programs).

(1)

Compilers and Interpreters.

(1)

Computation by Abstract Devices.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer Application in Social and Behavioral Sciences.

(1)

Computer Engineering and Networks.

(1)

Computer architecture.

(1)

Computer arithmetic and logic units.

(1)

Computer science -- Mathematics.

(1)

Computers and Education.

(1)

(1)

Control Structures and Microprogramming.

(1)

Data Mining and Knowledge Discovery.

(1)

Data Structures, Cryptology and Information Theory.

(1)

Education -- Data processing.

(1)

Electric engineering.

(1)

Electronic commerce.

(1)

Energy Technology.

(1)

Information Storage and Retrieval.

(1)

Information technology -- Management.

(1)

Input/Output and Data Communications.

(1)

Machine learning.

(1)

Math Applications in Computer Science.

(1)

Mathematics of Computing.

(1)

(1)

Microprocessors.

(1)

Microprogramming .

(1)

Models and Principles.

(1)

Monoclonal antibodies.

(1)

Numeric Computing.

(1)

Performance and Reliability.

(1)

(1)

Processor Architectures.

(1)

Programming Language.

(1)

Programming languages (Electronic computers).

(1)

(1)

Security Services.

(1)

Simulation and Modeling.

(1)

Social sciences -- Data processing.

(1)

User Interfaces and Human Computer Interaction.

(1)

e-Commerce/e-business.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

348 Results Found

Subscribe to search results

1 2 3 4 5 .. 29

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 Innovations and Interdisciplinary Solutions for Underserved Areas 7th International Conference, InterSol 2024, Dakar, Senegal, July 3-4, 2024, Proceedings

Innovations and Interdisciplinary Solutions for Underserved Areas 7th International Conference, InterSol 2024, Dakar, Senegal, July 3-4, 2024, Proceedings

Innovations and Interdisciplinary Solutions for Underserved Areas 7th International Conference, InterSol 2024, Dakar, Senegal, July 3-4, 2024, Proceedings

Author

Cheikh M. F. Kebe, Kebe. editor. Gueye, Assane. editor. (orcid)0000-0001-6469-4716 Ndiaye, Ababacar. editor. (orcid)0000-0002-4281-8973 Sene, Ndèye Awa. editor. Maiga, Amadou-Seidou. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Distributed Ledger Technology 8th International Symposium, SDLT 2024, Brisbane, QLD, Australia, November 28-29, 2024, Revised Selected Papers

Distributed Ledger Technology 8th International Symposium, SDLT 2024, Brisbane, QLD, Australia, November 28-29, 2024, Revised Selected Papers

Distributed Ledger Technology 8th International Symposium, SDLT 2024, Brisbane, QLD, Australia, November 28-29, 2024, Revised Selected Papers

Author

Kanhere, Salil. editor. (orcid)0000-0002-1835-3475 Jurdak, Raja. editor. (orcid)0000-0001-7517-0782 Parkinson, Joy. editor. Sridharan, Bhavani. editor. Pal, Shantanu. editor. (orcid)0000-0002-8784-0154

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-4442-1

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

Author

Ferreira, Carla. editor. (orcid)0000-0003-3680-7634 Mezzina, Claudio Antares. editor. (orcid)0000-0003-1556-2623 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

Author

Balouek, Daniel. editor. (orcid)0000-0001-6038-1077 Medeiros, Ibéria. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Economics of Grids, Clouds, Systems, and Services 20th International Conference, GECON 2024, Rome, Italy, September 26-27, 2024, Proceedings

Economics of Grids, Clouds, Systems, and Services 20th International Conference, GECON 2024, Rome, Italy, September 26-27, 2024, Proceedings

Economics of Grids, Clouds, Systems, and Services 20th International Conference, GECON 2024, Rome, Italy, September 26-27, 2024, Proceedings

Author

Naldi, Maurizio. editor. (orcid)0000-0002-0903-398X Djemame, Karim. editor. (orcid)0000-0001-5811-5263 Altmann, Jörn. editor. (orcid)0000-0002-8880-9546 Bañares, José Ángel. editor. (orcid)0000-0002-4198-8241 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Financial Cryptography and Data Security 28th International Conference, FC 2024, Willemstad, Curaçao, March 4-8, 2024, Revised Selected Papers, Part I

Financial Cryptography and Data Security 28th International Conference, FC 2024, Willemstad, Curaçao, March 4-8, 2024, Revised Selected Papers, Part I

Financial Cryptography and Data Security 28th International Conference, FC 2024, Willemstad, Curaçao, March 4-8, 2024, Revised Selected Papers, Part I

Author

Clark, Jeremy. editor. (orcid)0000-0002-3533-5965 Shi, Elaine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Digital Forensics and Cyber Crime 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part I

Digital Forensics and Cyber Crime 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part I

Digital Forensics and Cyber Crime 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part I

Author

Goel, Sanjay. editor. (orcid)0000-0002-7164-8395 Nunes de Souza, Paulo Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Smart Objects and Technologies for Social Good 9th EAI International Conference, GOODTECHS 2023, Leiria, Portugal, October 18-20, 2023, Proceedings

Smart Objects and Technologies for Social Good 9th EAI International Conference, GOODTECHS 2023, Leiria, Portugal, October 18-20, 2023, Proceedings

Smart Objects and Technologies for Social Good 9th EAI International Conference, GOODTECHS 2023, Leiria, Portugal, October 18-20, 2023, Proceedings

Author

Coelho, Paulo Jorge. editor. Pires, Ivan Miguel. editor. Lopes, Nuno Vieira. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Distributed Computing for Emerging Smart Networks 4th International Workshop, DiCES-N 2023, Bizerte, Tunisia, May 27, 2023, Revised Selected Papers

Distributed Computing for Emerging Smart Networks 4th International Workshop, DiCES-N 2023, Bizerte, Tunisia, May 27, 2023, Revised Selected Papers

Distributed Computing for Emerging Smart Networks 4th International Workshop, DiCES-N 2023, Bizerte, Tunisia, May 27, 2023, Revised Selected Papers

Author

Jemili, Imen. editor. (orcid)0000-0002-3701-1251 Mosbah, Mohamed. editor. Mabrouk, Sabra. editor. Mendiboure, Leo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Innovations and Interdisciplinary Solutions for Underserved Areas 6th EAI International Conference, InterSol 2023, Flic en Flac, Mauritius, September 16-17, 2023, Proceedings

Innovations and Interdisciplinary Solutions for Underserved Areas 6th EAI International Conference, InterSol 2023, Flic en Flac, Mauritius, September 16-17, 2023, Proceedings

Innovations and Interdisciplinary Solutions for Underserved Areas 6th EAI International Conference, InterSol 2023, Flic en Flac, Mauritius, September 16-17, 2023, Proceedings

Author

Seeam, Amar. editor. Ramsurrun, Visham. editor. Juddoo, Suraj. editor. Phokeer, Amreesh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

Author

Martins, Rolando. editor. (orcid)0000-0002-1838-1417 Selimi, Mennan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Formal Techniques for Distributed Objects, Components, and Systems 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

Author

Castiglioni, Valentina. editor. (orcid)0000-0002-8112-6523 Francalanza, Adrian. editor. (orcid)0000-0003-3829-7391 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 29

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11