Search Results for Programming languages (Electronic computers).

|

|

|

|

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:

+

Library: Online Library

Author

SpringerLink (Online service)

(166)

Hunt, John. author.

(3)

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

(3)

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

(3)

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

(3)

Stephenson, Ben. author.

(3)

Badger, Julia M. editor.

(2)

Baxter, James. editor. (orcid)0000-0001-6083-9607

(2)

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

(2)

Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736

(2)

Giannakopoulou, Dimitra. editor.

(2)

Laaksonen, Antti. author.

(2)

Lee, Kent D. author.

(2)

Lissoir, Alain.

(2)

Luković, Ivan. editor. (orcid)0000-0003-1319-488X

(2)

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

(2)

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

(2)

Salaün, Gwen. editor.

(2)

Schaefer, Ina. editor.

(2)

Staroń, Mirosław. editor. (orcid)0000-0002-9052-0864

(2)

Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281

(2)

Turtschi, Adrian.

(2)

Upadhyaya, Bhim P. author.

(2)

Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334

(2)

Weirich, Stephanie. editor.

(2)

Xue, Bing. editor. (orcid)0000-0002-4865-8026

(2)

de Supinski, Bronis R. editor.

(2)

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367

(2)

Abraham, Erika. editor.

(1)

Abrahao, Silvia. editor.

(1)

Agha, Gul. editor.

(1)

Ahmad, Muhammad Ovais. editor. (orcid)0000-0002-7885-0369

(1)

Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555

(1)

Albert, Elvira. editor.

(1)

Alferes, José Júlio. editor.

(1)

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

(1)

Amyot, Daniel. editor.

(1)

Ardagna, Claudio Agostino. editor.

(1)

Artho, Cyrille. editor.

(1)

Arya, Ali, author.

(1)

Avgeriou, Paris. editor.

(1)

Bakurov, Illya. editor. (orcid)0000-0002-6458-942X

(1)

Barais, Olivier. editor.

(1)

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

(1)

Beckerman, Andrew P.

(1)

Behzadidoost, Rashid. author.

(1)

Bensalem, Saddek. editor.

(1)

Berardini, Marco, author.

(1)

Bernardo, Marco. editor.

(1)

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

(1)

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

(1)

Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701

(1)

Bodden, Eric. editor.

(1)

Boehme, David. editor.

(1)

Bojańczyk, Mikołaj. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

Bonfante, Guillaume. editor.

(1)

Boreale, Michele. editor. (orcid)0000-0002-1972-7491

(1)

Brambilla, Marco, 1976- author.

(1)

Brandt, Steven R. author.

(1)

Breveglieri, Luca. author. (orcid)0000-0001-5294-6840

(1)

(1)

Buchanan, William.

(1)

(1)

Buttrey, Samuel, author.

(1)

Cabot, Jordi. editor.

(1)

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

(1)

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834

(1)

Cassez, Franck. editor.

(1)

Cavalli, Ana Rosa. editor.

(1)

Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428

(1)

Chang, Bor-Yuh Evan. editor.

(1)

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

(1)

Chapman, Barbara M. editor.

(1)

Charatan, Quentin. author.

(1)

Chen, Guoliang. editor.

(1)

Chen, Mingrui. editor.

(1)

Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336

(1)

Cheng, Chih-Hong. editor.

(1)

Cheung, Shing-Chi. author. (orcid)0000-0002-3508-7172

(1)

Chiba, Shigeru. editor.

(1)

Ciardo, Gianfranco. editor.

(1)

Ciobanu, Gabriel. editor.

(1)

Codish, Michael. editor.

(1)

Cohen, Albert. editor.

(1)

Cohen, Ernie. editor.

(1)

Collart-Dutilleul, Simon. editor.

(1)

Combemale, Benoit. editor.

(1)

Cordeiro, José. editor.

(1)

Corradini, Flavio. editor.

(1)

Counsell, Steve. editor.

(1)

(1)

Crespi Reghizzi, Stefano. author.

(1)

Crujeiras, Rosa M. (Rosa María), 1978- author.

(1)

Cybenko, George. editor. (orcid)0000-0001-7734-2912

(1)

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X

(1)

Damiani, Ferruccio. editor.

(1)

Dangi, Sarishma, author.

(1)

DeRose, Luiz. editor.

(1)

Debbabi, Mourad. editor. (orcid)0000-0003-3015-3043

(1)

Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847

(1)

Deng, Lizhen. author.

(1)

Di Ruscio, Davide. editor.

(1)

Diehl, Patrick. author.

(1)

Dillig, Isil. editor.

(1)

Dingel, Juergen. editor.

(1)

Djemame, Karim. editor. (orcid)0000-0001-5811-5263

(1)

Dolgov, Alexandros, author.

(1)

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507

(1)

Donzeau-Gouge, Véronique, author.

(1)

Donzeau-Gouge, Véronique.

(1)

Duan, Zhenhua. editor.

(1)

Dutra, Inês. editor.

(1)

Egges, Arjan. author.

(1)

Erdem, Esra. editor. (orcid)0000-0001-8384-7810

(1)

Esparza, Javier. editor.

(1)

Fan, Xing. editor.

(1)

Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667

(1)

Fernández, Maribel. author.

(1)

Fila, Barbara. editor. (orcid)0000-0002-1824-7621

(1)

Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441

(1)

Fischbach, Kai. editor.

(1)

Flammini, Francesco. editor.

(1)

Flatt, Matthew. editor.

(1)

Fokker, Jeroen D. author.

(1)

Foster, James C.

(1)

Foster, Simon. editor. (orcid)0000-0002-9889-9514

(1)

Franch, Xavier. editor. (orcid)0000-0001-9733-8830

(1)

Fraternali, Piero, author.

(1)

Fumero, Juan. author.

(1)

Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393

(1)

Garrigue, Jacques. editor.

(1)

Gay, Gregory. editor. (orcid)0000-0001-6794-9585

(1)

Gazzelloni, Federica, author.

(1)

George, Laurent. editor.

(1)

Giacaman, Nasser. editor.

(1)

Giacobini, Mario. editor.

(1)

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917

(1)

Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421

(1)

Goedicke, Michael. editor.

(1)

Goguen, Joseph.

(1)

Graf, Susanne. editor.

(1)

Grueau, Cédric. editor.

(1)

Guerra, Esther. editor. (orcid)0000-0002-2818-2278

(1)

Guo, Hai-Feng. editor.

(1)

Guttman, Joshua D. editor.

(1)

Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613

(1)

Halfacree, Gareth.

(1)

Hall, Mary. editor. (orcid)0000-0002-3058-7573

(1)

Hardin, Therese.

(1)

Hardin, Thérèse, author.

(1)

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472

(1)

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

(1)

Hepp, Martin. editor.

(1)

Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951

(1)

Hitzler, Pascal., author.

(1)

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

(1)

(1)

Horváth, Zoltán. editor.

(1)

Hosseini, Samira. author. (orcid)0000-0001-9190-4782

(1)

Hughes, John. editor. (orcid)0000-0001-8042-0969

(1)

Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613

(1)

Igarashi, Atsushi. editor.

(1)

Insfran, Emilio. editor.

(1)

Izadkhah, Habib. author. (orcid)0000-0001-7595-8350

(1)

Jabbarzadeh, Jafar. author. (orcid)0009-0004-3534-795X

(1)

Jarzębowicz, Aleksander. editor.

(1)

Jaume, Mathieu, author.

(1)

Jaume, Mathieu.

(1)

Johansson, Moa. editor. (orcid)0000-0002-1097-8278

(1)

Johnsen, Einar Broch. editor.

(1)

Jones, Richard. editor.

(1)

Juckeland, Guido. editor. (orcid)0000-0002-9935-4428

(1)

Kaiser, Hartmut. author.

(1)

Kalenkova, Anna. editor.

(1)

Kans, Aaron. author.

(1)

Kardas, Geylani. editor. (orcid)0000-0001-6975-305X

(1)

Keller, Chantal. editor.

(1)

(1)

Kienzle, Jörg. editor.

(1)

Kindler, Ekkart. editor.

(1)

Kindratenko, Volodymyr. editor.

(1)

Klein, Gerwin. author.

(1)

Knauss, Eric. editor. (orcid)0000-0002-6631-872X

(1)

Kobayashi, Naoki. editor.

(1)

Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813

(1)

Kotselidis, Christos. author. (orcid)0000-0002-8146-3503

(1)

Kovalev, Mikhail. author.

(1)

Krieger, Udo R. editor.

(1)

Kroening, Daniel. editor.

(1)

Kumar-M, Praveen. editor.

(1)

Lakhnech, Yassine. editor.

(1)

Lakshman, Bulusu., author.

(1)

Landwehr, Carl E. editor.

(1)

Lang, Frédéric. editor.

(1)

Larsen, Kim G. editor.

(1)

Larsen, Kim Guldstrand. editor.

(1)

Laurini, Robert. editor.

(1)

Lazzarini, Victor. author.

(1)

Le Goues, Claire. editor.

(1)

Language

(208)

(1)

Publication Date

-

(64)

(62)

(22)

(16)

(7)

(5)

(4)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Programming languages (Electronic computers).

(168)

Software engineering.

(96)

Computer logic.

(58)

Computer programming.

(48)

Programming Language.

(41)

Artificial intelligence.

(31)

Programming languages (Electronic computers)

(27)

Mathematical logic.

(24)

(23)

(22)

Computer science.

(16)

Application software.

(14)

Computer communication systems.

(13)

Computer simulation.

(11)

Computer networks .

(9)

Computer organization.

(9)

Computer system failures.

(9)

Operating systems (Computers).

(9)

Programming Techniques.

(9)

Computer Communication Networks.

(7)

Electronic books.

(7)

(7)

Python (Computer program language).

(7)

Architecture, Computer.

(6)

Compilers (Computer programs).

(6)

Compilers and Interpreters.

(6)

Natural language processing (Computer science).

(6)

Programming languages (Electronic computers) -- Semantics.

(6)

Computer and Information Systems Applications.

(5)

Database management.

(5)

Formal Languages and Automata Theory.

(5)

Machine theory.

(5)

Management information systems.

(5)

Microprogramming .

(5)

Natural Language Processing (NLP).

(5)

R (Computer program language)

(5)

Langages de programmation.

(4)

Microprocessors.

(4)

Programming Languages

(4)

R (Langage de programmation)

(4)

(4)

Theory of Computation.

(4)

Computer Science Logic and Foundations of Programming.

(3)

Computer System Implementation.

(3)

Computer science—Mathematics.

(3)

Computer software -- Development.

(3)

Computer systems.

(3)

Computers, Special purpose.

(3)

Control Structures and Microprogramming.

(3)

Data protection.

(3)

Internet Resources.

(3)

Java (Computer program language).

(3)

Machine learning.

(3)

Numerical analysis.

(3)

Programming languages (Electronic computers) -- Syntax.

(3)

Python (Computer program language)

(3)

Special Purpose and Application-Based Systems.

(3)

Special purpose computers.

(3)

COMPUTERS / Computer Graphics / Game Programming & Design

(2)

COMPUTERS / Programming / General

(2)

COMPUTERS / Programming Languages / General

(2)

(2)

(2)

Complex Systems.

(2)

Computational intelligence.

(2)

Computer Engineering and Networks.

(2)

Computer engineering.

(2)

Computer hardware.

(2)

Computer programs -- Testing.

(2)

Computer science -- Mathematics.

(2)

Computer security.

(2)

Computers and Education.

(2)

Computing Milieux.

(2)

Data Interpretation, Statistical

(2)

(2)

Data structures (Computer science).

(2)

Digital computer simulation.

(2)

Education -- Data processing.

(2)

Engineering -- Data processing.

(2)

Engineering mathematics.

(2)

Expert systems (Computer science).

(2)

Java (Computer program language)

(2)

Knowledge Based Systems.

(2)

Langages de programmation -- Sémantique.

(2)

Logic programming.

(2)

Mathematical statistics.

(2)

Microsoft .NET Framework.

(2)

Microsoft Windows (Computer file)

(2)

Object-oriented programming (Computer science)

(2)

Operating systems (Computers)

(2)

Pattern recognition.

(2)

Programmeertalen.

(2)

Programming languages (Electronic computers) -- Semantics

(2)

Python (Langage de programmation)

(2)

(2)

(2)

Software Management.

(2)

Software Testing.

(2)

Software engineering -- Management.

(2)

(2)

Statistics as Topic

(2)

(2)

(2)

(2)

User interfaces (Computer systems).

(2)

Active server pages.

(1)

Ada (Computer program language)

(1)

Ada (Langage de programmation)

(1)

(1)

Algebraïsche taalkunde.

(1)

Arithmetic and logic units, Computer.

(1)

Artificial intelligence -- Data processing.

(1)

Artificial intelligence -- Military applications.

(1)

(1)

Bases de données -- Conception -- Logiciels.

(1)

Bases de données -- Gestion.

(1)

Bioinformatics.

(1)

Biologie moléculaire -- Informatique.

(1)

Biometric identification.

(1)

(1)

Biometry -- Methods.

(1)

Biometry -- methods

(1)

(1)

(1)

Blockchains (Databases)

(1)

Business information services.

(1)

C++ (Computer program language)

(1)

C++ (Langage de programmation)

(1)

COMPUTERS -- Databases -- General.

(1)

COMPUTERS -- Programming Languages -- Python.

(1)

COMPUTERS / General

(1)

COMPUTERS / Programming Languages / General.

(1)

COMPUTERS / Programming Languages / JavaScript & VBScript

(1)

COMPUTERS / Software Development & Engineering / General.

(1)

Chaînes de blocs.

(1)

Cloud computing

(1)

Cloud computing.

(1)

Coding and Information Theory.

(1)

Communicable diseases -- Prevention.

(1)

Communicable diseases -- Transmission -- Computer simulation.

(1)

Communicable diseases -- Transmission.

(1)

Communicable diseases.

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computational linguistics.

(1)

(1)

Computer Application in Administrative Data Processing.

(1)

Computer Hardware.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer architecture.

(1)

Computer crimes.

(1)

Computer games -- Programming.

(1)

Computer graphics.

(1)

Computer networks -- Security measures.

(1)

Computer networks -- Testing -- Data processing.

(1)

Computer networks--Access control.

(1)

Computer networks--Security measures.

(1)

Computer programming -- Textbooks.

(1)

Computer prose.

(1)

Computer security -- Handbooks, manuals, etc.

(1)

Computer vision.

(1)

Computers -- History.

(1)

Computers and civilization.

(1)

Control engineering.

(1)

Control, Robotics, Automation.

(1)

Cooperating objects (Computer systems).

(1)

(1)

(1)

Cyber-Physical Systems.

(1)

C♯ (Computer program language)

(1)

(1)

Data and Information Security.

(1)

Data editing -- Computer programs

(1)

Data editing -- Computer programs.

(1)

Data encryption (Computer science).

(1)

Database design -- Computer programs.

(1)

Database management

(1)

Datenverarbeitung

(1)

Electronic Data Processing

(1)

Electronic data processing -- Data preparation

(1)

Electronic data processing -- Data preparation.

(1)

Electronic data processing -- Management.

(1)

Embedded computer systems -- Programming.

(1)

Ethereum (Bases de données)

(1)

Ethereum (Databases)

(1)

Formal languages.

(1)

Formale Semantik.

(1)

Funktionale Semantik.

(1)

Geschichte (1937-1963)

(1)

(1)

Grammar, Comparative and general -- Data processing.

(1)

Human-computer interaction.

(1)

(1)

IT in Business.

(1)

Image processing -- Digital techniques.

(1)

(1)

Information retrieval.

(1)

Information technology -- Management.

(1)

Information theory.

(1)

(1)

Input design, Computer

(1)

Material Type

Shelf Location

Electronic Library

Taylor Francis E-Book Collection

Wiley E-Book Collection

{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

208 Results Found

Subscribe to search results

1 2 3 4 5 .. 18

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.

13.

Cover image for Managing Software Supply Chains Theory and Practice

Managing Software Supply Chains Theory and Practice

Managing Software Supply Chains Theory and Practice

Author

Wang, Ying. author. Cheung, Shing-Chi. author. (orcid)0000-0002-3508-7172 Yu, Hai. author. (orcid)0000-0002-8024-1781 Zhu, Zhiliang. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-1797-5

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Genetic Programming 28th European Conference, EuroGP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings

Genetic Programming 28th European Conference, EuroGP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings

Genetic Programming 28th European Conference, EuroGP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings

Author

Xue, Bing. editor. (orcid)0000-0002-4865-8026 Manzoni, Luca. editor. (orcid)0000-0001-6312-7728 Bakurov, Illya. editor. (orcid)0000-0002-6458-942X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Compiler Construction Fundamentals and Applications

Compiler Construction Fundamentals and Applications

Compiler Construction Fundamentals and Applications

Author

Mössenböck, Hanspeter. author. (orcid)0000-0001-7706-7308 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Programming Languages and Systems 34th European Symposium on Programming, ESOP 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

Programming Languages and Systems 34th European Symposium on Programming, ESOP 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

Programming Languages and Systems 34th European Symposium on Programming, ESOP 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

Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Programming Languages and Systems 34th European Symposium on Programming, ESOP 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

Programming Languages and Systems 34th European Symposium on Programming, ESOP 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

Programming Languages and Systems 34th European Symposium on Programming, ESOP 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

Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Beginning Solidity : learn to program smart contracts with solidity

Beginning Solidity : learn to program smart contracts with solidity

Beginning Solidity : learn to program smart contracts with solidity

Author

Dolgov, Alexandros, author.

Preferred Shelf Number

QA76.73 .S57 D65 2025

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394352159

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Programming language explorations

Programming language explorations

Programming language explorations

Author

Toal, Ray, author. Strieker, Sage Angelica, author. Berardini, Marco, author.

Preferred Shelf Number

QA76.7

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003222354
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for The Composable Enterprise: Agile, Flexible, Innovative A Gamechanger for Organisations, Digitisation and Business Software

The Composable Enterprise: Agile, Flexible, Innovative A Gamechanger for Organisations, Digitisation and Business Software

The Composable Enterprise: Agile, Flexible, Innovative A Gamechanger for Organisations, Digitisation and Business Software

Author

Scheer, August-Wilhelm. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-658-43089-4

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Programming Languages and Systems 33rd European Symposium on Programming, ESOP 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

Programming Languages and Systems 33rd European Symposium on Programming, ESOP 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

Programming Languages and Systems 33rd European Symposium on Programming, ESOP 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

Weirich, Stephanie. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Parallel C++ Efficient and Scalable High-Performance Parallel Programming Using HPX

Parallel C++ Efficient and Scalable High-Performance Parallel Programming Using HPX

Parallel C++ Efficient and Scalable High-Performance Parallel Programming Using HPX

Author

Diehl, Patrick. author. Brandt, Steven R. author. Kaiser, Hartmut. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

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

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Programming Languages and Systems 33rd European Symposium on Programming, ESOP 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

Programming Languages and Systems 33rd European Symposium on Programming, ESOP 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

Programming Languages and Systems 33rd European Symposium on Programming, ESOP 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

Weirich, Stephanie. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 18

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11