Search Results for Control.

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: Microprogramming .

Author

SpringerLink (Online service)

(74)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(6)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(5)

Brandic, Ivona. editor. (orcid)0000-0001-7424-0208

(3)

Carretero, Jesus. editor. (orcid)0000-0002-1413-4793

(3)

Finkbeiner, Bernd. editor.

(3)

Garcia-Blas, Javier. editor. (orcid)0000-0003-1452-1918

(3)

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

(3)

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

(3)

Kovács, Laura. editor.

(3)

Neuwirth, Sarah. editor. (orcid)0000-0001-7409-153X

(3)

Olcoz, Katzalin. editor. (orcid)0000-0002-1821-124X

(3)

Schreiber, Martin. editor. (orcid)0000-0002-2390-6716

(3)

Shende, Sameer. editor. (orcid)0000-0002-2592-669X

(3)

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106

(3)

Andrade, Diego. editor. (orcid)0000-0001-5670-7425

(2)

Antonov, Alexander. editor. (orcid)0000-0003-2820-7196

(2)

Caino-Lores, Silvina. editor. (orcid)0000-0002-6922-0138

(2)

Carro, Luigi. editor.

(2)

Chen, Xu. editor.

(2)

Cucinotta, Tommaso. editor. (orcid)0000-0002-0362-0657

(2)

D'Ambrosio, Donato. editor. (orcid)0000-0003-1701-2203

(2)

Diehl, Patrick. editor. (orcid)0000-0003-3922-8419

(2)

Dimitrova, Rayna. editor.

(2)

Dolz, Manuel F. editor. (orcid)0000-0001-9466-3398

(2)

Doudali, Thaleia Dimitra. editor. (orcid)0000-0002-3197-839X

(2)

Garcia-Gasulla, Marta. editor. (orcid)0000-0003-3682-9905

(2)

Garzón, Gracia Ester Martín. editor. (orcid)0000-0002-0568-5470

(2)

Guo, Deke. editor.

(2)

Jukan, Admela. editor. (orcid)0000-0002-4434-6340

(2)

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

(2)

Meneses, Esteban. editor. (orcid)0000-0002-4307-6000

(2)

Min, Geyong. editor.

(2)

Monsalve Diaz, Jose M. editor. (orcid)0000-0001-6875-1685

(2)

Montella, Raffaele. editor. (orcid)0000-0002-4767-2045

(2)

Nardelli, Matteo. editor. (orcid)0000-0002-9519-9387

(2)

Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995

(2)

Pilato, Christian. editor.

(2)

Pradella, Matteo. editor. (orcid)0000-0003-3039-1084

(2)

Pu, Lingjun. editor.

(2)

Regazzoni, Francesco. editor.

(2)

Rossi, Matteo. editor. (orcid)0000-0002-9193-9560

(2)

Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828

(2)

Singh, David E. editor. (orcid)0000-0002-8125-0049

(2)

Sousa, Leonel. editor. (orcid)0000-0002-8066-221X

(2)

Taraate, Vaibbhav. author.

(2)

Wolff, Sebastian. editor.

(2)

Xie, Xia. editor.

(2)

Zeinalipour, Demetris. editor. (orcid)0000-0002-7239-2387

(2)

Avanzi, Roberto. editor.

(1)

Bagula, Antoine. editor. (orcid)0000-0002-1106-8938

(1)

Barrios H., Carlos J. editor.

(1)

Barrios Hernández, Carlos Jaime. editor. (orcid)0000-0003-0133-7214

(1)

Ben Gaid, Mongi. author.

(1)

Bergenthum, Robin. editor.

(1)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(1)

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

(1)

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

(1)

Boronat, Artur. editor. (orcid)0000-0003-2024-1736

(1)

Broch Johnsen, Einar. editor. (orcid)0000-0001-5382-3949

(1)

Brooks, David R. author.

(1)

Brunton, Steven L. author.

(1)

Buhr, Peter A. author.

(1)

Bulić, Patricio. author.

(1)

Cai, Xiushan. author.

(1)

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

(1)

Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976

(1)

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

(1)

Chang, Stephen. editor. (orcid)0000-0002-4760-0658

(1)

Chen, Xiaoming. author.

(1)

Ciardo, Gianfranco. editor.

(1)

Corbalán, Julita. editor. (orcid)0000-0002-3926-5634

(1)

Cuzzocrea, Alfredo. editor. (orcid)0000-0002-7104-6415

(1)

Cytowski, Maciej. editor. (orcid)0000-0002-0007-0979

(1)

Damiani, Ferruccio. editor. (orcid)0000-0001-8109-1706

(1)

Deng, Chenchen. author.

(1)

Domínguez Mayo, Francisco José. editor.

(1)

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

(1)

Duriez, Thomas. author.

(1)

Espinosa, Alexis. editor. (orcid)0000-0002-8869-3985

(1)

Fantechi, Alessandro. editor.

(1)

Felderer, Michael. editor.

(1)

Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341

(1)

Fraser, Gordon. editor. (orcid)0000-0002-4364-6595

(1)

Großmann, Jürgen. editor.

(1)

Guerrero, Ginés. editor. (orcid)0000-0002-1346-1143

(1)

Guilley, Sylvain. editor.

(1)

Gusikhin, Oleg. editor.

(1)

Hammoudi, Slimane. editor.

(1)

Han, Zhengzhi. author.

(1)

Havarneanu, Grigore. editor.

(1)

Hemann, Jason. editor. (orcid)0000-0002-5405-2936

(1)

Heys, Howard. editor.

(1)

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

(1)

Homma, Naofumi. editor. (orcid)0000-0003-0864-3126

(1)

Huang, Jun. author.

(1)

Hung, Jason C. editor.

(1)

Hähnle, Reiner. editor.

(1)

Jaber, Alaa Abdulhady. author.

(1)

Kadera, Petr. editor.

(1)

Kakugawa, Hirotsugu. editor. (orcid)0000-0003-1087-410X

(1)

Kamburjan, Eduard. editor. (orcid)0000-0002-0996-2543

(1)

Katayama, Yoshiaki. editor. (orcid)0000-0003-1683-2154

(1)

Khaki-Sedigh, Ali. author.

(1)

Kim, Yonghwan. editor. (orcid)0000-0002-5437-7626

(1)

Klemm, Michael. editor. (orcid)0000-0002-8634-4634

(1)

Klinkenberg, Jannis. editor.

(1)

Klusáček, Dalibor. editor. (orcid)0000-0001-6434-4433

(1)

Knapp, Alexander. editor. (orcid)0000-0002-4050-3249

(1)

Kofroň, Jan. editor. (orcid)0000-0003-0391-4812

(1)

Koutny, Maciej. editor.

(1)

Kruse, Carola. editor. (orcid)0000-0002-4142-7356

(1)

Lecomte, Thierry. editor.

(1)

Lee, Kent D. author.

(1)

Li, Kuan-Ching. editor.

(1)

Li, Xu-Guang. author.

(1)

Li, Yupeng. editor.

(1)

Liu, Leibo. author.

(1)

Maciaszek, Leszek A. editor.

(1)

Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017

(1)

Masinde, Muthoni. editor. (orcid)0000-0002-8914-0055

(1)

Masuzawa, Toshimitsu. editor. (orcid)0000-0003-4628-6393

(1)

Mařík, Vladimír. editor.

(1)

Mocskos, Esteban. editor. (orcid)0000-0002-6473-7672

(1)

Montoya, Javier. editor.

(1)

Möbs, Sabine. editor. (orcid)0000-0002-1912-7007

(1)

Nakamura, Junya. editor. (orcid)0000-0002-1363-4358

(1)

Nassopoulos, Hypatia. editor.

(1)

Ng, Tian Seng. author.

(1)

Niculescu, Silviu-Iulian. author.

(1)

Noack, Bernd R. author.

(1)

Osthoff, Carla. editor. (orcid)0000-0002-4694-7182

(1)

Petit, Christophe. editor. (orcid)0000-0003-3482-6743

(1)

Platzer, Andre. editor. (orcid)0000-0001-7238-5710

(1)

Platzer, André. editor. (orcid)0000-0001-7238-5710

(1)

Ribeiro, Leila. editor. (orcid)0000-0001-7039-092X

(1)

Rizzi, Silvio. editor.

(1)

Rodrigo, Gonzalo P. editor. (orcid)0000-0003-3315-8253

(1)

Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331

(1)

Ross, Hans-Leo. author. (orcid)0009-0009-0125-8824

(1)

Samanta, Biswanath. author.

(1)

Samanta, Biswanath. author. (orcid)0000-0002-0518-6751

(1)

San Martín, Jaime. editor. (orcid)0000-0002-9273-5260

(1)

Seceleanu, Cristina. editor.

(1)

Seehusen, Fredrik. editor.

(1)

Sekerinski, Emil. editor. (orcid)0000-0001-9788-5842

(1)

Setola, Roberto. editor.

(1)

Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918

(1)

Strasser, Thomas. editor.

(1)

Trapp, Mario. editor.

(1)

Vaudenay, Serge. editor. (orcid)0000-0001-9185-1449

(1)

Wacquez, Romain. author.

(1)

Wahlster, Wolfgang. editor.

(1)

Wei, Shaojun. author.

(1)

Weiland, Michèle. editor. (orcid)0000-0003-4713-3073

(1)

Weinzierl, Tobias. editor. (orcid)0000-0002-6208-1841

(1)

Wiśniewski, Remigiusz. author.

(1)

Wolthusen, Stephen. editor.

(1)

Xu, Jianliang. editor.

(1)

Yen, Neil Y. editor.

(1)

Zhang, Yong. editor. (orcid)0000-0002-8730-3711

(1)

Zhu, Jianfeng. author.

(1)

Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656

(1)

de Boer, Frank. editor.

(1)

de Supinski, Bronis R. editor. (orcid)0000-0002-0339-1006

(1)

van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353

(1)

Çela, Arben. author.

(1)

Language

(74)

Publication Date

-

(28)

(24)

(13)

(5)

(3)

(1)

Subject

Control Structures and Microprogramming.

(73)

Software engineering.

(39)

Computer networks .

(33)

Computer Communication Networks.

(26)

Computers, Special purpose.

(24)

Special Purpose and Application-Based Systems.

(24)

Computer System Implementation.

(22)

Computer systems.

(22)

Computer science.

(21)

Computer input-output equipment.

(18)

Input/Output and Data Communications.

(18)

Theory of Computation.

(14)

Artificial intelligence.

(11)

Control engineering.

(10)

Computer Engineering and Networks.

(8)

Computer architecture.

(8)

Computer engineering.

(8)

Electronic circuits.

(8)

Microprocessors.

(8)

Processor Architectures.

(8)

Computer Science Logic and Foundations of Programming.

(7)

Computer simulation.

(7)

Control and Systems Theory.

(7)

Data and Information Security.

(7)

Data protection.

(7)

Electronic Circuits and Systems.

(7)

(7)

Computer Modelling.

(6)

Natural Language Processing (NLP).

(6)

Natural language processing (Computer science).

(6)

Computer programming.

(5)

Formal Languages and Automata Theory.

(5)

Machine theory.

(5)

Operating Systems.

(5)

Operating systems (Computers).

(5)

Programming Techniques.

(5)

(5)

(4)

(4)

(4)

Data encryption (Computer science).

(4)

Information theory.

(4)

(4)

Logic programming.

(4)

Application software.

(3)

Compilers (Computer programs).

(3)

Compilers and Interpreters.

(3)

Computational intelligence.

(3)

Computer Application in Social and Behavioral Sciences.

(3)

Computer and Information Systems Applications.

(3)

Computer science -- Mathematics.

(3)

(3)

Control theory.

(3)

Control, Robotics, Automation.

(3)

Data Structures and Information Theory.

(3)

Data structures (Computer science).

(3)

Electronics and Microelectronics, Instrumentation.

(3)

(3)

Programming Language.

(3)

Programming languages (Electronic computers).

(3)

Social sciences -- Data processing.

(3)

(3)

Systems Theory, Control.

(3)

Computer Hardware.

(2)

Computer networks -- Security measures.

(2)

Computers -- Law and legislation.

(2)

Electronic data processing -- Management.

(2)

(2)

Information technology -- Law and legislation.

(2)

Legal Aspects of Computing.

(2)

Mathematics of Computing.

(2)

Mechanical engineering.

(2)

Mobile and Network Security.

(2)

Automotive engineering.

(1)

Client/server computing -- Equipment and supplies.

(1)

Coding and Information Theory.

(1)

(1)

Communications Engineering, Networks.

(1)

Computational Physics and Simulations.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer Memory Structure.

(1)

Computer graphics.

(1)

Computer storage devices.

(1)

Computer vision.

(1)

Computers and Education.

(1)

Computers and Society.

(1)

Computers and civilization.

(1)

Continuum mechanics.

(1)

Database management.

(1)

Differential Geometry.

(1)

Digital and Analog Signal Processing.

(1)

Discrete Mathematics in Computer Science.

(1)

Discrete mathematics.

(1)

Education -- Data processing.

(1)

Electrical and Electronic Engineering.

(1)

Electrical engineering.

(1)

Engineering -- Data processing.

(1)

Engineering Fluid Dynamics.

(1)

Engineering mathematics.

(1)

Fluid mechanics.

(1)

Geometry, Differential.

(1)

Hardware Performance and Reliability.

(1)

Industrial Automation.

(1)

Industrial engineering.

(1)

Information technology -- Management.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical and Computational Engineering Applications.

(1)

Mathematical logic.

(1)

Mathematical physics.

(1)

(1)

Memory management (Computer science).

(1)

Nonlinear Optics.

(1)

Numerical analysis.

(1)

Security Science and Technology.

(1)

Security systems.

(1)

(1)

Signal processing.

(1)

Telecommunication.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

74 Results Found

Subscribe to search results

1 2 3 4 5 .. 7

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.

25.

Cover image for Stabilization, Safety, and Security of Distributed Systems 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedings

Stabilization, Safety, and Security of Distributed Systems 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedings

Stabilization, Safety, and Security of Distributed Systems 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedings

Author

Masuzawa, Toshimitsu. editor. (orcid)0000-0003-4628-6393 Katayama, Yoshiaki. editor. (orcid)0000-0003-1683-2154 Kakugawa, Hirotsugu. editor. (orcid)0000-0003-1087-410X Nakamura, Junya. editor. (orcid)0000-0002-1363-4358 Kim, Yonghwan. editor. (orcid)0000-0002-5437-7626

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Author

Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Job Scheduling Strategies for Parallel Processing 27th International Workshop, JSSPP 2024, San Francisco, CA, USA, May 31, 2024, Revised Selected Papers

Job Scheduling Strategies for Parallel Processing 27th International Workshop, JSSPP 2024, San Francisco, CA, USA, May 31, 2024, Revised Selected Papers

Job Scheduling Strategies for Parallel Processing 27th International Workshop, JSSPP 2024, San Francisco, CA, USA, May 31, 2024, Revised Selected Papers

Author

Klusáček, Dalibor. editor. (orcid)0000-0001-6434-4433 Corbalán, Julita. editor. (orcid)0000-0002-3926-5634 Rodrigo, Gonzalo P. editor. (orcid)0000-0003-3315-8253 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Euro-Par 2024: Parallel Processing Workshops Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024, Proceedings, Part II

Euro-Par 2024: Parallel Processing Workshops Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024, Proceedings, Part II

Euro-Par 2024: Parallel Processing Workshops Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024, Proceedings, Part II

Author

Caino-Lores, Silvina. editor. (orcid)0000-0002-6922-0138 Zeinalipour, Demetris. editor. (orcid)0000-0002-7239-2387 Doudali, Thaleia Dimitra. editor. (orcid)0000-0002-3197-839X Singh, David E. editor. (orcid)0000-0002-8125-0049 Garzón, Gracia Ester Martín. editor. (orcid)0000-0002-0568-5470

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings

Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings

Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings

Author

Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Caltais, Georgiana. editor. (orcid)0000-0002-8653-2299 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedings

Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedings

Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedings

Author

Li, Yupeng. editor. Zhang, Yong. editor. (orcid)0000-0002-8730-3711 Xu, Jianliang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-4207-6

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I

Author

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III

Author

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Author

Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II

Author

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Euro-Par 2024: Parallel Processing Workshops Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024, Proceedings, Part I

Euro-Par 2024: Parallel Processing Workshops Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024, Proceedings, Part I

Euro-Par 2024: Parallel Processing Workshops Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024, Proceedings, Part I

Author

Caino-Lores, Silvina. editor. (orcid)0000-0002-6922-0138 Zeinalipour, Demetris. editor. (orcid)0000-0002-7239-2387 Doudali, Thaleia Dimitra. editor. (orcid)0000-0002-3197-839X Singh, David E. editor. (orcid)0000-0002-8125-0049 Garzón, Gracia Ester Martín. editor. (orcid)0000-0002-0568-5470

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Transactions on Petri Nets and Other Models of Concurrency XVII

Transactions on Petri Nets and Other Models of Concurrency XVII

Transactions on Petri Nets and Other Models of Concurrency XVII

Author

Koutny, Maciej. editor. Bergenthum, Robin. editor. Ciardo, Gianfranco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-68191-6

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 7

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11