Search Results for Computers -- Programming.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

18

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Computer science.

Author

SpringerLink (Online service)

(20)

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)

Abrahao, Silvia. editor.

(1)

Amyot, Daniel. editor.

(1)

Avgeriou, Paris. editor.

(1)

Barais, Olivier. editor.

(1)

Barik, Rajkishore. editor.

(1)

Barnes, John. author.

(1)

Bosschere, Koen. editor.

(1)

Brukardt, Randall L. editor.

(1)

Cabot, Jordi. editor.

(1)

Cavalli, Ana Rosa. editor.

(1)

Clarke, Dave. editor.

(1)

Combemale, Benoit. editor.

(1)

Deng, Lizhen. author.

(1)

Di Ruscio, Davide. editor.

(1)

Diaz-Herrera, Jorge L., 1950- editor.

(1)

Dingel, Juergen. editor.

(1)

Duff, Robert A. editor.

(1)

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

(1)

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

(1)

Fritzson, Peter A., 1952-

(1)

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

(1)

Gonzalez, Teofilo F., editor.

(1)

Gupta, Rajiv. editor.

(1)

Insfran, Emilio. editor.

(1)

Jhala, Ranjit. editor.

(1)

Kalenkova, Anna. editor.

(1)

Karim, Samsul Ariffin Abdul, editor.

(1)

Leroy, Pascal. editor.

(1)

Martin Vide, Carlos.

(1)

Merayo, Mercedes G. editor.

(1)

Meyer, Bertrand. editor.

(1)

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

(1)

Mitrana, Victor.

(1)

Montes de Oca, Edgardo. editor.

(1)

Mussbacher, Gunter. editor.

(1)

Noble, James. editor.

(1)

Palsberg, Jens. editor. (orcid)0000-0003-4747-365X

(1)

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

(1)

Paun, Gheorghe, 1950-

(1)

Pearce, David. editor.

(1)

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

(1)

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

(1)

Ploedereder, Erhard. editor.

(1)

Ramos, Isidro. editor.

(1)

Rubin, Julia. editor.

(1)

(1)

Schneidewind, Norman.

(1)

Schonberg, Edmond. editor.

(1)

Schulte, Wolfram. editor.

(1)

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

(1)

Taft, S. Tucker. editor.

(1)

Topi, Heikki, editor.

(1)

Tucker, Allen B., editor.

(1)

Varró, Dániel. editor.

(1)

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

(1)

Vinju, Jurgen. editor.

(1)

Wiley InterScience (Online service)

(1)

Woeginger, Gerhard. editor.

(1)

Wrigstad, Tobias. editor.

(1)

Xu, Guoxia. author.

(1)

Yavorskiy, Rostislav. editor.

(1)

Zdun, Uwe. editor. (orcid)0000-0002-6233-2591

(1)

Zhu, Hu. author.

(1)

Language

(23)

Publication Date

-

(8)

(5)

(4)

(4)

(1)

(1)

(1)

(1)

(1)

Subject

Software engineering.

(20)

Programming languages (Electronic computers).

(15)

Programming Language.

(7)

Computer logic.

(6)

Artificial intelligence.

(5)

Programming Techniques.

(5)

Theory of Computation.

(5)

Operating Systems.

(4)

Operating systems (Computers).

(4)

Programming Languages, Compilers, Interpreters.

(4)

Application software.

(3)

Computer Science Logic and Foundations of Programming.

(3)

Computer communication systems.

(3)

Computer simulation.

(3)

Electronic books.

(3)

Management information systems.

(3)

Computer and Information Systems Applications.

(2)

Computer engineering.

(2)

Computer networks .

(2)

Computer programming.

(2)

Computers, Special purpose.

(2)

Control Structures and Microprogramming.

(2)

Microprogramming .

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

Special Purpose and Application-Based Systems.

(2)

(1)

Approche orientée objet (Informatique)

(1)

COMPUTERS / Computer Graphics / Game Programming & Design

(1)

COMPUTERS / Data Transmission Systems / General

(1)

COMPUTERS / General

(1)

COMPUTERS / Information Technology

(1)

COMPUTERS / Networking / Vendor Specific

(1)

COMPUTERS / Programming / Object Oriented

(1)

COMPUTERS / Programming / Open Source

(1)

COMPUTERS / Programming / Parallel

(1)

COMPUTERS / Programming / Software Development

(1)

COMPUTERS / Software Development & Engineering / General

(1)

COMPUTERS / Software Development & Engineering / Tools

(1)

Computer Communication Networks.

(1)

Computer Engineering and Networks.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer System Implementation.

(1)

Computer networks.

(1)

Computer programs -- Testing.

(1)

Computer science -- Mathematics.

(1)

Computer software -- Development.

(1)

Computer system failures.

(1)

Computer systems.

(1)

Computer vision.

(1)

Electrical engineering.

(1)

(1)

Expert systems (Computer science).

(1)

Formal Languages and Automata Theory.

(1)

Formal languages.

(1)

History of Computing.

(1)

Image processing -- Digital techniques.

(1)

Information technology.

(1)

Knowledge Based Systems.

(1)

Machine theory.

(1)

Mathematical linguistics.

(1)

Mathematical logic.

(1)

Mathematics of Computing.

(1)

Object-oriented methods (Computer science)

(1)

Programming languages (Electronic computers) -- Mathematics.

(1)

Simulation par ordinateur.

(1)

Software Testing.

(1)

Threads (Computer programs)

(1)

Material Type

Shelf Location

Electronic Library

Taylor Francis E-Book Collection

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

26 Results Found

Subscribe to search results

1 2 3

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 Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday

Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday

Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday

Author

Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

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:

3.

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:

4.

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:

5.

Cover image for Intelligent systems of computing and informatics

Intelligent systems of computing and informatics

Intelligent systems of computing and informatics

Author

Karim, Samsul Ariffin Abdul, editor.

Preferred Shelf Number

Q335

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

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:

7.

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:

8.

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:

9.

Cover image for Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

Author

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Miller, Dale. editor. (orcid)0000-0003-0274-4954 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Computing and Software Science State of the Art and Perspectives

Computing and Software Science State of the Art and Perspectives

Computing and Software Science State of the Art and Perspectives

Author

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91908-9

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings

Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings

Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings

Author

Avgeriou, Paris. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-09970-5

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings

System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings

System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings

Author

Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-11743-0

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11