Search Results for Programming.

|

|

|

|

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:

+

Subject: Programming Language.

Author

SpringerLink (Online service)

(41)

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

(2)

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

(2)

Laaksonen, Antti. author.

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

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

(2)

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

(2)

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

(2)

Weirich, Stephanie. editor.

(2)

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

(2)

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

(1)

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

(1)

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

(1)

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

(1)

Behzadidoost, Rashid. author.

(1)

Brandt, Steven R. author.

(1)

Cavalli, Ana Rosa. editor.

(1)

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

(1)

Chen, Guoliang. editor.

(1)

Chen, Mingrui. editor.

(1)

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

(1)

Deng, Lizhen. author.

(1)

Diehl, Patrick. author.

(1)

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

(1)

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

(1)

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

(1)

Fumero, Juan. author.

(1)

Giacobini, Mario. editor.

(1)

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

(1)

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

(1)

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

(1)

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

(1)

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

(1)

Jarzębowicz, Aleksander. editor.

(1)

Kaiser, Hartmut. author.

(1)

Kalenkova, Anna. editor.

(1)

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

(1)

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

(1)

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

(1)

Kumar-M, Praveen. editor.

(1)

Manzoni, Luca. editor.

(1)

Manzoni, Luca. editor. (orcid)0000-0001-6312-7728

(1)

Maurer, Christian. author.

(1)

Meier, Arne. editor. (orcid)0000-0002-8061-5376

(1)

Meng, Weizhi. editor. (orcid)0000-0003-4384-5786

(1)

Meyer, Bertrand. editor.

(1)

Milašinović, Boris. editor. (orcid)0000-0002-7889-3131

(1)

Miller, Dale. editor. (orcid)0000-0003-0274-4954

(1)

Mishra, Archana. editor. (orcid)0000-0001-8837-299X

(1)

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

(1)

Naldi, Maurizio. editor. (orcid)0000-0002-0903-398X

(1)

Ochodek, Mirosław. editor. (orcid)0000-0002-9103-717X

(1)

Okoye, Kingsley. author.

(1)

Ortiz, Magdalena. editor.

(1)

Pan, Yushan. author. (orcid)0000-0002-6877-3937

(1)

Panjuta, Denis. author. (orcid)0009-0001-4855-9300

(1)

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

(1)

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

(1)

Popović, Aleksandar. editor. (orcid)0000-0002-6361-7089

(1)

Prevosto, Virgile. editor.

(1)

Przybyłek, Adam. editor.

(1)

Przybyłek, Adam. editor. (orcid)0000-0002-8231-709X

(1)

Radliński, Łukasz. editor. (orcid)0000-0003-1007-6597

(1)

Rahlf, Thomas. author.

(1)

Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X

(1)

Scheer, August-Wilhelm. author.

(1)

Shao, Jun. editor. (orcid)0000-0001-8352-0973

(1)

Shen, Hong. editor.

(1)

Signoles, Julien. editor.

(1)

Srinivasan, Anand. editor.

(1)

Stephenson, Ben. author.

(1)

Stratikopoulos, Athanasios. author. (orcid)0000-0002-0154-4523

(1)

Swacha, Jakub. editor. (orcid)0000-0002-2214-6989

(1)

Upadhyaya, Bhim P. author.

(1)

Varga, Ervin. author.

(1)

Vidal, Germán. editor. (orcid)0000-0002-1857-6951

(1)

Wang, Yang. editor.

(1)

Wang, Ying. author.

(1)

Xu, Guoxia. author.

(1)

Yavorskiy, Rostislav. editor.

(1)

Yu, Hai. author. (orcid)0000-0002-8024-1781

(1)

Yung, Moti. editor. (orcid)0000-0003-0848-0873

(1)

Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853

(1)

Zhu, Hu. author.

(1)

Zhu, Zhiliang. author.

(1)

Language

(41)

Publication Date

-

(21)

(15)

(5)

Subject

Programming languages (Electronic computers).

(41)

Software engineering.

(15)

Computer networks .

(9)

Computer programming.

(9)

Programming Techniques.

(9)

Computer Communication Networks.

(7)

Computer science.

(7)

Compilers (Computer programs).

(6)

Compilers and Interpreters.

(6)

Application software.

(5)

Artificial intelligence.

(5)

Computer and Information Systems Applications.

(5)

Formal Languages and Automata Theory.

(5)

Machine theory.

(5)

Natural Language Processing (NLP).

(5)

Natural language processing (Computer science).

(5)

Theory of Computation.

(4)

Computer Science Logic and Foundations of Programming.

(3)

Computer System Implementation.

(3)

Computer systems.

(3)

Computers, Special purpose.

(3)

(3)

Control Structures and Microprogramming.

(3)

Microprogramming .

(3)

Special Purpose and Application-Based Systems.

(3)

(2)

Complex Systems.

(2)

Computer Engineering and Networks.

(2)

Computer engineering.

(2)

Computer programs -- Testing.

(2)

Computer science -- Mathematics.

(2)

Computers and Education.

(2)

Computing Milieux.

(2)

Education -- Data processing.

(2)

Expert systems (Computer science).

(2)

Knowledge Based Systems.

(2)

Machine learning.

(2)

Python (Computer program language).

(2)

(2)

Software Management.

(2)

Software Testing.

(2)

Software engineering -- Management.

(2)

(2)

Artificial intelligence -- Data processing.

(1)

(1)

(1)

(1)

Business information services.

(1)

Coding and Information Theory.

(1)

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer Hardware.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer architecture.

(1)

Computer graphics.

(1)

Computer networks -- Security measures.

(1)

Computer vision.

(1)

Control engineering.

(1)

Control, Robotics, Automation.

(1)

Cooperating objects (Computer systems).

(1)

(1)

(1)

Cyber-Physical Systems.

(1)

(1)

Data and Information Security.

(1)

Data encryption (Computer science).

(1)

Data protection.

(1)

Electronic data processing -- Management.

(1)

Engineering -- Data processing.

(1)

Engineering mathematics.

(1)

(1)

IT in Business.

(1)

Image processing -- Digital techniques.

(1)

Information technology -- Management.

(1)

Information theory.

(1)

Java (Computer program language).

(1)

(1)

(1)

Logic programming.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical and Computational Engineering Applications.

(1)

Mathematical statistics -- Data processing.

(1)

Mathematical statistics.

(1)

Mathematics -- Data processing.

(1)

Mathematics of Computing.

(1)

Microprocessors.

(1)

Mobile and Network Security.

(1)

Numerical analysis.

(1)

Operating Systems.

(1)

Operating systems (Computers).

(1)

Processor Architectures.

(1)

(1)

Statistics and Computing.

(1)

(1)

(1)

Material Type

Shelf Location

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

41 Results Found

Subscribe to search results

1 2 3 4

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

25.

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

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

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

Author

Platzer, Andre. 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-71177-0

Format:

Availability

Online Library~1

Available:
Copies:

26.

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:

27.

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:

28.

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:

29.

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:

30.

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:

31.

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:

32.

Cover image for Infrared Small Target Detection Theory, Methods, and Algorithms.

Infrared Small Target Detection Theory, Methods, and Algorithms.

Infrared Small Target Detection Theory, Methods, and Algorithms.

Author

Zhu, Hu. author. Pan, Yushan. author. (orcid)0000-0002-6877-3937 Deng, Lizhen. author. Xu, Guoxia. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-9799-2

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

Author

Foster, Simon. editor. (orcid)0000-0002-9889-9514 Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

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:

35.

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:

36.

Cover image for Learning C# Through Small Projects

Learning C# Through Small Projects

Learning C# Through Small Projects

Author

Panjuta, Denis. author. (orcid)0009-0001-4855-9300 Jabbarzadeh, Jafar. author. (orcid)0009-0004-3534-795X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11