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

Author

SpringerLink (Online service)

(166)

(6)

Aktaş, Volkan.

(5)

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)

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)

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)

Duan, Zhenhua. editor.

(1)

Duffy, Thomas J.

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

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)

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)

Language

(222)

(15)

(1)

Publication Date

-

(66)

(64)

(22)

(16)

(7)

(5)

(5)

(5)

(5)

(5)

(4)

(4)

(4)

(3)

(3)

(2)

(2)

(2)

(2)

(2)

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

(48)

Programming Language.

(41)

Artificial intelligence.

(31)

Mathematical logic.

(24)

(23)

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

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

Microsoft.net framework.

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

Python (Computer program language)

(5)

R (Computer program language)

(5)

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

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)

COMPUTERS / Computer Graphics / Game Programming & Design

(2)

COMPUTERS / Programming / General

(2)

COMPUTERS / Programming Languages / General

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

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)

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

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

(1)

Data and Information Security.

(1)

Data editing -- Computer programs

(1)

Data editing -- Computer programs.

(1)

Data encryption (Computer science).

(1)

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

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

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

237 Results Found

Subscribe to search results

1 2 3 4 5 .. 20

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

14.

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:

15.

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:

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

18.

Cover image for The Python Workbook A Brief Introduction with Exercises and Solutions

The Python Workbook A Brief Introduction with Exercises and Solutions

The Python Workbook A Brief Introduction with Exercises and Solutions

Author

Stephenson, Ben. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

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 Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

Author

Meier, Arne. editor. (orcid)0000-0002-8061-5376 Ortiz, Magdalena. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for The French School of Programming

The French School of Programming

The French School of Programming

Author

Meyer, Bertrand. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

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:

23.

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:

24.

Cover image for R for Basic Biostatistics in Medical Research

R for Basic Biostatistics in Medical Research

R for Basic Biostatistics in Medical Research

Author

Srinivasan, Anand. editor. Mishra, Archana. editor. (orcid)0000-0001-8837-299X Kumar-M, Praveen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-6980-3

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 20

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11