Search Results for Microprogramming.

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:

+

Library: Online Library

Author

SpringerLink (Online service)

(151)

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

(6)

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

(5)

Reis, Ricardo. editor.

(4)

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

(3)

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)

Taraate, Vaibbhav. author.

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

Brinkschulte, Uwe. author.

(2)

Bulić, Patricio. author.

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

Das, Vinu V. editor.

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

Haubelt, Christian. author.

(2)

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

(2)

Kadera, Petr. editor.

(2)

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

(2)

Mařík, Vladimír. editor.

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

Ng, Tian Seng. author.

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

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

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

Teich, Jürgen. author.

(2)

Thankachan, Nessy. editor.

(2)

Ungerer, Theo. author.

(2)

Wolff, Sebastian. editor.

(2)

Xie, Xia. editor.

(2)

Yang, Guang-Zhong. editor.

(2)

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

(2)

ARAÚJO, HELDER. editor.

(1)

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

(1)

Adamski, Marian Andrzej. author.

(1)

Almeida, Ricardo. editor. (orcid)0000-0003-2432-5670

(1)

Amasaki, Sousuke. editor.

(1)

Anderst-Kotsis, Gabriele. editor.

(1)

Andres, Clay. editor.

(1)

Anglin, Steve. editor.

(1)

Antón, Annie. editor.

(1)

Aslansefat, Koorosh. editor. (orcid)0000-0001-9318-8177

(1)

Atienza Alonso, David. editor.

(1)

Avanzi, Roberto. editor.

(1)

Ayala, José L. editor.

(1)

BRAZ, JOSÉ. editor.

(1)

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

(1)

Bain, Malcolm. author.

(1)

Barkalov, Alexander. author.

(1)

Barkalov, Alexander. editor.

(1)

Barrios H., Carlos J. editor.

(1)

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

(1)

Becker, Jürgen. editor.

(1)

Beckner, Mark. editor.

(1)

Ben Gaid, Mongi. author.

(1)

Benedettelli, Daniele. author.

(1)

Bentley, Kim. author.

(1)

Bergenthum, Robin. editor.

(1)

Bertels, Koen. editor. (orcid)0000-0001-9310-4885

(1)

Beulet, P Augusta Sophy. editor.

(1)

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

(1)

Bhateja, Vikrant. editor.

(1)

Bhuvaneswari, M.C. author.

(1)

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

(1)

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

(1)

Bozzano, Marco. editor. (orcid)0000-0002-4135-103X

(1)

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

(1)

Brooks, David R. author.

(1)

Brunton, Steven L. author.

(1)

Buckingham, Ewan. editor.

(1)

Buhr, Peter A. author.

(1)

Bähring, Helmut. author.

(1)

Cai, Guowei. author.

(1)

Cai, Xiushan. author.

(1)

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

(1)

Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961

(1)

Carvalho, Marina. editor.

(1)

Castro, Anita. editor.

(1)

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

(1)

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

(1)

Cetto, Juan A. editor.

(1)

Chamberlain, Roger. editor. (orcid)0000-0002-7207-6106

(1)

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

(1)

Charatan, Quentin. author.

(1)

Chen, Ben M. author.

(1)

Chen, Xiaoming. author.

(1)

Ciardo, Gianfranco. editor.

(1)

Ciolkowski, Marcus. editor. (orcid)0000-0001-8494-4794

(1)

Coello Coello, Carlos A. editor.

(1)

Colnarič, Matjaž. author.

(1)

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

(1)

Cornell, Gary. editor.

(1)

Cuppens, Frédéric. editor.

(1)

Cuppens, Nora. editor.

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

Dandamudi, Sivarama P. author.

(1)

Dawson, E. editor.

(1)

Debnath, Narayan C. editor.

(1)

Deng, Chenchen. author.

(1)

Domínguez Mayo, Francisco José. editor.

(1)

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

(1)

Doná, José A. author.

(1)

Dorf, Richard C., author.

(1)

Dubey, Rahul. author.

(1)

Duriez, Thomas. author.

(1)

ENCARNAÇÃO, BRUNO. editor.

(1)

Eickhoff, Jens. editor.

(1)

Eidson, John C. author.

(1)

Elfadel, Ibrahim (Abe) M. editor. (orcid)0000-0003-3220-9987

(1)

Ellington, Charlie. editor.

(1)

Elst, Günter. editor.

(1)

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

(1)

Fan, Junfeng. editor.

(1)

Fantechi, Alessandro. editor.

(1)

Felderer, Michael. editor.

(1)

Ferguson, Donald. editor.

(1)

Ferrier, Jean-Louis. editor.

(1)

Filipe, Joaquim. editor.

(1)

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

(1)

Flik, Thomas. author.

(1)

Floreano, Dario. editor.

(1)

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

(1)

Fugate, Mary Ann. editor.

(1)

Gad, Rajendra S. author.

(1)

Gadre, Dhananjay V. author.

(1)

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

(1)

Gazi, Orhan. author.

(1)

Gennick, Jonathan. editor.

(1)

Gierlichs, Benedikt. editor. (orcid)0000-0002-5866-1990

(1)

Goodwin, Graham C. author.

(1)

Gritzalis, Stefanos. editor.

(1)

Großmann, Jürgen. editor.

(1)

Guan, Nan. editor.

(1)

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

(1)

Guilley, Sylvain. editor.

(1)

Gupta, Gourab Sen. author.

(1)

Gupta, Sarthak. author.

(1)

Gusikhin, Oleg. editor.

(1)

Halang, Wolfgang A. author.

(1)

Hammoudi, Slimane. editor.

(1)

Han, Zhengzhi. author.

(1)

Hanke, Randolf. editor.

(1)

Hasler, Paul. editor.

(1)

Hassell, Jonathan. editor.

(1)

Havarneanu, Grigore. editor.

(1)

Hebig, Regina. editor. (orcid)0000-0002-1459-2081

(1)

Helfert, Markus. editor.

(1)

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

(1)

Heuberger, Albert. editor.

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

Jayanthy, S. author.

(1)

Johann, Marcelo. editor.

(1)

Jones, Cliff B. editor.

(1)

Kaeli, David. editor.

(1)

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

(1)

Kalloniatis, Christos. editor. (orcid)0000-0002-8844-2596

(1)

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

(1)

Kans, Aaron. author.

(1)

Karatkevich, Andrei. author.

(1)

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

(1)

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926

(1)

Language

(145)

(7)

Publication Date

-

(28)

(24)

(21)

(13)

(11)

(8)

(8)

(8)

(5)

(4)

(4)

(4)

(4)

(3)

(3)

(2)

(2)

Subject

Microprogramming .

(96)

Control Structures and Microprogramming.

(75)

Software engineering.

(66)

Computer science.

(57)

Microprogramming.

(55)

Computer networks .

(33)

Computer Communication Networks.

(30)

Special Purpose and Application-Based Systems.

(25)

Computers, Special purpose.

(24)

Computer System Implementation.

(23)

Computer systems.

(22)

Artificial intelligence.

(21)

Computer input-output equipment.

(18)

Input/Output and Data Communications.

(18)

(18)

(17)

(17)

Computer network architectures.

(14)

Theory of Computation.

(14)

Electronic circuits.

(12)

Operating systems (Computers).

(12)

Computer simulation.

(11)

Control engineering.

(10)

Systems engineering.

(10)

Computer engineering.

(9)

Data protection.

(9)

Microprocessors.

(9)

Computer Engineering and Networks.

(8)

Computer architecture.

(8)

Processor Architectures.

(8)

(7)

Computer Science Logic and Foundations of Programming.

(7)

Computer organization.

(7)

Control and Systems Theory.

(7)

Data and Information Security.

(7)

Electronic Circuits and Systems.

(7)

Application software.

(6)

Computer Modelling.

(6)

Data encryption (Computer science).

(6)

Natural Language Processing (NLP).

(6)

Natural language processing (Computer science).

(6)

(5)

Computational intelligence.

(5)

Computer programming.

(5)

Computer security.

(5)

Computer system performance.

(5)

Formal Languages and Automata Theory.

(5)

Information theory.

(5)

Input-output equipment (Computers).

(5)

Machine theory.

(5)

Memory management (Computer science).

(5)

Operating Systems.

(5)

Programming Techniques.

(5)

Programming languages (Electronic computers).

(5)

(5)

(4)

Computer communication systems.

(4)

Computer hardware.

(4)

(4)

(4)

(4)

(4)

Logic programming.

(4)

Architecture, Computer.

(3)

Compilers (Computer programs).

(3)

Compilers and Interpreters.

(3)

Computer Application in Social and Behavioral Sciences.

(3)

Computer and Information Systems Applications.

(3)

Computer science -- Mathematics.

(3)

Computer software.

(3)

Computers -- Law and legislation.

(3)

Control theory.

(3)

Control, Robotics, Automation.

(3)

Data Structures and Information Theory.

(3)

Data structures (Computer science).

(3)

Data transmission systems.

(3)

Electronics and Microelectronics, Instrumentation.

(3)

Image processing.

(3)

Programming Language.

(3)

Signal processing.

(3)

Social sciences -- Data processing.

(3)

Special purpose computers.

(3)

Speech processing systems.

(3)

(3)

Systems Theory, Control.

(3)

Telecommunication.

(3)

Aerospace engineering.

(2)

Computer Hardware.

(2)

Computer aided design.

(2)

Computer logic.

(2)

Computer networks -- Security measures.

(2)

Control engineering systems.

(2)

Electronic data processing -- Management.

(2)

Engineering design.

(2)

Engineering mathematics.

(2)

(2)

Information systems.

(2)

Information technology -- Law and legislation.

(2)

Legal Aspects of Computing.

(2)

Mathematical logic.

(2)

Mathematics of Computing.

(2)

(2)

Mechanical engineering.

(2)

Microelectronics.

(2)

Mobile and Network Security.

(2)

(2)

Systems theory.

(2)

User interfaces (Computer systems).

(2)

Wireless communication systems.

(2)

Aerospace Technology and Astronautics.

(1)

(1)

Arithmetic and logic units, Computer.

(1)

Automotive engineering.

(1)

COMPUTERS -- Computer Engineering.

(1)

COMPUTERS -- Hardware -- General.

(1)

COMPUTERS -- Machine Theory.

(1)

COMPUTERS / Software Development & Engineering / General.

(1)

Chemical engineering.

(1)

Circuits and Systems.

(1)

Client/server computing -- Equipment and supplies.

(1)

Coding and Information Theory.

(1)

Communications Engineering, Networks.

(1)

Computational Physics and Simulations.

(1)

Computational complexity.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer Memory Structure.

(1)

Computer graphics.

(1)

Computer industry.

(1)

Computer software—Reusability.

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

Digital electronics.

(1)

Discrete Mathematics in Computer Science.

(1)

Discrete mathematics.

(1)

Education -- Data processing.

(1)

(1)

Electrical and Electronic Engineering.

(1)

Electrical engineering.

(1)

Electronic books.

(1)

Electronic commerce.

(1)

Electronic data processing.

(1)

Engineering -- Data processing.

(1)

Engineering Fluid Dynamics.

(1)

(1)

Fluid mechanics.

(1)

Geometry, Differential.

(1)

Génie logiciel.

(1)

Hardware Performance and Reliability.

(1)

Industrial Automation.

(1)

Industrial engineering.

(1)

Information technology -- Management.

(1)

Java (Computer program language).

(1)

Management information systems.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical and Computational Engineering Applications.

(1)

Mathematical optimization.

(1)

Mathematical physics.

(1)

(1)

Mobile communication systems.

(1)

Mobile computing.

(1)

Multimedia systems.

(1)

(1)

Nonlinear Optics.

(1)

Numerical analysis.

(1)

Optical data processing.

(1)

Optical pattern recognition.

(1)

Ordinateurs -- Conception et construction.

(1)

Pattern recognition.

(1)

Security Science and Technology.

(1)

Security systems.

(1)

(1)

System Performance and Evaluation.

(1)

(1)

Translators (Computer programs).

(1)

(1)

Électronique numérique.

(1)

Material Type

Shelf Location

Electronic Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

152 Results Found

Subscribe to search results

1 2 3 4 5 6 .. 13

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 Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part II

Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part II

Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part II

Author

Carretero, Jesus. editor. (orcid)0000-0002-1413-4793 Shende, Sameer. editor. (orcid)0000-0002-2592-669X Garcia-Blas, Javier. editor. (orcid)0000-0003-1452-1918 Brandic, Ivona. editor. (orcid)0000-0001-7424-0208 Olcoz, Katzalin. editor. (orcid)0000-0002-1821-124X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part I

Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part I

Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part I

Author

Carretero, Jesus. editor. (orcid)0000-0002-1413-4793 Shende, Sameer. editor. (orcid)0000-0002-2592-669X Garcia-Blas, Javier. editor. (orcid)0000-0003-1452-1918 Brandic, Ivona. editor. (orcid)0000-0001-7424-0208 Olcoz, Katzalin. editor. (orcid)0000-0002-1821-124X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Engineering of Computer-Based Systems 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings

Engineering of Computer-Based Systems 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings

Engineering of Computer-Based Systems 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings

Author

Kofroň, Jan. editor. (orcid)0000-0003-0391-4812 Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Seceleanu, Cristina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for Data Management Technologies and Applications 12th International Conference, DATA 2023, Rome, Italy, July 11-13, 2023, Revised Selected Papers

Data Management Technologies and Applications 12th International Conference, DATA 2023, Rome, Italy, July 11-13, 2023, Revised Selected Papers

Data Management Technologies and Applications 12th International Conference, DATA 2023, Rome, Italy, July 11-13, 2023, Revised Selected Papers

Author

Gusikhin, Oleg. editor. Hammoudi, Slimane. editor. Cuzzocrea, Alfredo. editor. (orcid)0000-0002-7104-6415 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Constructive Side-Channel Analysis and Secure Design 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings

Constructive Side-Channel Analysis and Secure Design 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings

Constructive Side-Channel Analysis and Secure Design 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings

Author

Wacquez, Romain. author. Homma, Naofumi. editor. (orcid)0000-0003-0864-3126 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Fundamental Approaches to Software Engineering 27th International Conference, FASE 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

Fundamental Approaches to Software Engineering 27th International Conference, FASE 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

Fundamental Approaches to Software Engineering 27th International Conference, FASE 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

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

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:

44.

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:

45.

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:

46.

Cover image for Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

Author

Sekerinski, Emil. editor. (orcid)0000-0001-9788-5842 Ribeiro, Leila. editor. (orcid)0000-0001-7039-092X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

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:

48.

Cover image for Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part III

Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part III

Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part III

Author

Carretero, Jesus. editor. (orcid)0000-0002-1413-4793 Shende, Sameer. editor. (orcid)0000-0002-2592-669X Garcia-Blas, Javier. editor. (orcid)0000-0003-1452-1918 Brandic, Ivona. editor. (orcid)0000-0001-7424-0208 Olcoz, Katzalin. editor. (orcid)0000-0002-1821-124X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 6 .. 13

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11