Search Results for Programming (Electronic computers)

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

Author

SpringerLink (Online service)

(168)

(6)

Aktaş, Volkan.

(5)

Vatansever, Fahri.

(5)

Cormen, Thomas H.

(3)

Hunt, John. author.

(3)

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

(3)

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

(3)

Sebesta, Robert W.

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

Taylor and Francis.

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

Atak, Osman Nuri.

(1)

Avgeriou, Paris. editor.

(1)

Aydemir, Mesut.

(1)

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

(1)

Bansal, Arvind Kumar.

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

Bhattacharjee, Arup Kumar.

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

Box, Don, 1962-

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

Clark, Robert G., ort. yaz.

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

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

Demirkol, Zafer.

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

Dorf, Richard C., editor.

(1)

Duan, Zhenhua. editor.

(1)

Duffy, Thomas J.

(1)

Dutra, Inês. editor.

(1)

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

Gürsakal, Necmi, author.

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

Horning, James J., ed.

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

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

Language

(227)

(24)

(1)

Publication Date

-

(67)

(64)

(22)

(16)

(11)

(6)

(6)

(5)

(5)

(5)

(5)

(4)

(4)

(4)

(4)

(3)

(3)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Programming languages (Electronic computers).

(171)

Software engineering.

(96)

Computer logic.

(58)

Programming languages (Electronic computers)

(51)

Computer programming.

(49)

Programming Language.

(41)

(32)

Artificial intelligence.

(31)

Mathematical logic.

(24)

(22)

Computer science.

(16)

Application software.

(14)

Computer communication systems.

(13)

C# (Bilgisayar programlama dili)

(11)

C# (Computer program language)

(11)

Computer simulation.

(11)

Programlama dili (Elektronik bilgisayarlar)

(11)

Computer networks .

(10)

(9)

Computer organization.

(9)

Computer system failures.

(9)

Electronic digital computers -- Programming.

(9)

Elektronik sayısal bilgisayarlar -- Programlama.

(9)

Operating systems (Computers).

(9)

Programming Techniques.

(9)

Electronic books.

(8)

Computer Communication Networks.

(7)

(7)

Python (Computer program language).

(7)

Architecture, Computer.

(6)

Compilers (Computer programs).

(6)

Compilers and Interpreters.

(6)

Database management.

(6)

Microsoft.net framework.

(6)

Natural language processing (Computer science).

(6)

Programming languages (Electronic computers) -- Semantics.

(6)

Computer and Information Systems Applications.

(5)

Formal Languages and Automata Theory.

(5)

Machine theory.

(5)

Management information systems.

(5)

Microprogramming .

(5)

Natural Language Processing (NLP).

(5)

Python (Computer program language)

(5)

R (Computer program language)

(5)

Computer System Implementation.

(4)

Computer systems.

(4)

(4)

Langages de programmation.

(4)

Machine learning.

(4)

Microprocessors.

(4)

Programming Languages

(4)

R (Langage de programmation)

(4)

(4)

Theory of Computation.

(4)

(3)

Computer Engineering and Networks.

(3)

Computer Science Logic and Foundations of Programming.

(3)

Computer engineering.

(3)

Computer science—Mathematics.

(3)

Computer software -- Development.

(3)

Computers, Special purpose.

(3)

Control Structures and Microprogramming.

(3)

Data protection.

(3)

Internet Resources.

(3)

Java (Computer program language).

(3)

Numerical analysis.

(3)

Programming languages (Electronic computers) -- Syntax.

(3)

Special Purpose and Application-Based Systems.

(3)

Special purpose computers.

(3)

Assembler language (Computer program language)

(2)

Bilgisayar algoritmaları.

(2)

COMPUTERS / Computer Graphics / Game Programming & Design

(2)

COMPUTERS / Programming / General

(2)

COMPUTERS / Programming Languages / General

(2)

(2)

Complex Systems.

(2)

Computational intelligence.

(2)

Computer algorithms.

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

Data structures (Computer science)

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

(2)

Mıcrosoft .Net Çatısı.

(2)

Object-oriented programming (Computer science)

(2)

Operating systems (Computers)

(2)

PROGRAMLAMA DİLİ (ELEKTRONİK BİLGİSAYAR)

(2)

Pattern recognition.

(2)

Programlama dilleri (Elektronik bilgisayarlar)

(2)

Programmeertalen.

(2)

Programming languages (Electronic computers) -- Semantics

(2)

Programming languages (Electronic computers) -- Textbooks.

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

Algorithms -- Computer program.

(1)

Algoritmalar -- Bilgisayar programı.

(1)

Arithmetic and Logic Structures.

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

Bilgisayar programlama.

(1)

Bioinformatics.

(1)

Biologie moléculaire -- Informatique.

(1)

Biomedical engineering.

(1)

Biometric identification.

(1)

(1)

Biometry -- Methods.

(1)

Biometry -- methods

(1)

(1)

Biosensing Techniques.

(1)

(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 -- Programming.

(1)

Cloud computing.

(1)

Coding and Information Theory.

(1)

Common Language Runtime (Computer science)

(1)

Communicable diseases -- Prevention.

(1)

Communicable diseases -- Transmission -- Computer simulation.

(1)

Communicable diseases -- Transmission.

(1)

Communicable diseases.

(1)

Compilers (Computer programs)

(1)

Component software.

(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 arithmetic and logic units.

(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 IT.

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

DERLEME (ELEKTRONİK BİLGİSAYARLAR).

(1)

Material Type

Shelf Location

Beytepe CD-ROM Koleksiyonu

Beytepe General Collection

Electronic Library

Taylor Francis E-Book Collection

Wiley E-Book Collection

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

251 Results Found

Subscribe to search results

1 2 3 4 5 .. 21

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 Object-based Programming with Go

Object-based Programming with Go

Object-based Programming with Go

Author

Maurer, Christian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-658-44704-5

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Attacks and Defenses for the Internet-of-Things 7th International Conference, ADIoT 2024, Hangzhou, China, December 13-14, 2024, Proceedings

Attacks and Defenses for the Internet-of-Things 7th International Conference, ADIoT 2024, Hangzhou, China, December 13-14, 2024, Proceedings

Attacks and Defenses for the Internet-of-Things 7th International Conference, ADIoT 2024, Hangzhou, China, December 13-14, 2024, Proceedings

Author

Meng, Weizhi. editor. (orcid)0000-0003-4384-5786 Yung, Moti. editor. (orcid)0000-0003-0848-0873 Shao, Jun. editor. (orcid)0000-0001-8352-0973 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

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:

4.

Cover image for CLOUD Computing - CLOUD 2024 17th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

CLOUD Computing - CLOUD 2024 17th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

CLOUD Computing - CLOUD 2024 17th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

Author

Wang, Yang. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Author

Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings

Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings

Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings

Author

Erdem, Esra. editor. (orcid)0000-0001-8384-7810 Vidal, Germán. editor. (orcid)0000-0002-1857-6951 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

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:

8.

Cover image for R Programming Statistical Data Analysis in Research

R Programming Statistical Data Analysis in Research

R Programming Statistical Data Analysis in Research

Author

Okoye, Kingsley. author. Hosseini, Samira. author. (orcid)0000-0001-9190-4782 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-3385-9

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Guide to Software Verification with Frama-C Core Components, Usages, and Applications

Guide to Software Verification with Frama-C Core Components, Usages, and Applications

Guide to Software Verification with Frama-C Core Components, Usages, and Applications

Author

Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Prevosto, Virgile. editor. Signoles, Julien. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

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:

11.

Cover image for The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I

Author

Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 Baxter, James. editor. (orcid)0000-0001-6083-9607 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II

Author

Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 Baxter, James. editor. (orcid)0000-0001-6083-9607 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 21

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11