Search Results for Computer programs.

|

|

|

|

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: Computer programming.

Author

SpringerLink (Online service)

(85)

Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186

(2)

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259

(2)

Perner, Petra. editor.

(2)

Sirjani, Marjan. editor.

(2)

Abelló, Alberto. editor.

(1)

Abelson, Harold.

(1)

Aichernig, Bernhard K. editor.

(1)

Al-Malah, Kamal I. M., author.

(1)

Anjorin, Anthony. editor.

(1)

Antonakos, James L.

(1)

Artho, Cyrille. editor.

(1)

Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448

(1)

Barrett, Clark. editor.

(1)

Beckner, Mark. author.

(1)

Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066

(1)

Beyon, Jeffrey Y.

(1)

Bhardwaj, Vikas. author.

(1)

Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973

(1)

Blazy, Sandrine. editor.

(1)

Botterweck, Goetz. editor.

(1)

Boucheneb, Hanifa. editor.

(1)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(1)

Braga, Christiano. editor.

(1)

Buhr, Peter A. author.

(1)

Burns, Richard. editor. (orcid)0000-0002-3961-438X

(1)

Butenhof, David R.

(1)

Cabaleiro, José C. editor.

(1)

Castor, Fernando. editor.

(1)

Chang, Bor-Yuh Evan. editor.

(1)

Chapman, Barbara M. editor.

(1)

Chechik, Marsha. editor.

(1)

Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990

(1)

Corchado, Emilio. editor.

(1)

Costantini, Stefania. editor.

(1)

Coughlan, Michael. author.

(1)

Criswell, John. editor.

(1)

Crotts, Joshua. author. (orcid)0000-0002-7513-5618

(1)

Cunha, Jácome. editor.

(1)

Dastani, Mehdi. editor.

(1)

Davies, Misty. editor.

(1)

De Nicola, Rocco. editor.

(1)

Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939

(1)

Ding, Chen. editor.

(1)

Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286

(1)

Doder, Dragan. editor. (orcid)0000-0003-0067-3654

(1)

Duan, Zhenhua. editor.

(1)

Dutot, Pierre-François. editor.

(1)

Edidin, Howard. author.

(1)

Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270

(1)

Espinoza, Huáscar. editor.

(1)

Falcone, Yliès. editor.

(1)

Fernandes, João P. editor.

(1)

Filipe, Joaquim. editor.

(1)

Franconi, Enrico. editor.

(1)

(1)

Furia, Carlo A. editor.

(1)

Gardner, Scott. author.

(1)

Gavanelli, Marco. editor.

(1)

Ghatak, Abhijit. author.

(1)

Gibson-Robinson, Thomas. editor.

(1)

Gorentla Venkata, Manjunath. editor.

(1)

Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X

(1)

Gupta, Abhishek. author.

(1)

Gupta, Gopal. editor. (orcid)0000-0001-9727-0362

(1)

Gurfinkel, Arie. editor.

(1)

Hage, Jurriaan. editor.

(1)

Harmer, Russ. editor. (orcid)0000-0002-0817-1029

(1)

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X

(1)

Holmes, John H. editor.

(1)

Hopcroft, Philippa. editor.

(1)

Hubbard, Steve. author.

(1)

(1)

IEEE Xplore (Online Service), distributor.

(1)

Imam, Neena. editor.

(1)

Ivanovic, Mirjana. editor. (orcid)0000-0003-1946-0384

(1)

Jackson, Wallace. author.

(1)

Jacquet, Jean-Marie. editor.

(1)

Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678

(1)

Kahsai, Temesghen. editor.

(1)

Kapitsaki, Georgia M. editor.

(1)

King, Andy. editor.

(1)

Kneusel, Ronald T. author.

(1)

Kontchakov, Roman. editor.

(1)

Kosiol, Jens. editor. (orcid)0000-0003-4733-2777

(1)

Kunkel, Julian M. editor.

(1)

Kunčak, Viktor. editor.

(1)

Kühn, Eva. editor.

(1)

Lacey, Nichola, author.

(1)

Lahiri, Shuvendu. editor.

(1)

Lawford, Mark. editor.

(1)

Lazić, Ranko. editor.

(1)

Lee, Kent D. author.

(1)

Legay, Axel. editor.

(1)

Lemanski, Jens. editor. (orcid)0000-0003-3661-4752

(1)

Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X

(1)

Lindley, Sam. editor.

(1)

Liu, Shaoying. editor.

(1)

Liu, Shaoying. editor. (orcid)0000-0002-6748-5052

(1)

Liu, Yu David. editor.

(1)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(1)

Lluch Lafuente, Alberto. editor.

(1)

Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071

(1)

Lucanu, Dorel. editor.

(1)

Lämmel, Ralf. editor.

(1)

Lönn, Henrik. editor.

(1)

MIT Press, publisher.

(1)

Ma, Hui. editor.

(1)

Majumdar, Rupak. editor.

(1)

Maloney, Ross J. author.

(1)

Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021

(1)

Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735

(1)

Martínez de Pisón, Francisco Javier. editor.

(1)

Massink, Mieke. editor.

(1)

Maurer, Christian. author.

(1)

Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091

(1)

McBride, Conor. editor.

(1)

Mery, Dominique. editor. (orcid)0000-0001-5231-6611

(1)

Meyer, Bertrand. editor.

(1)

Mili, Ali. editor.

(1)

Mintz, Tiffany M. editor.

(1)

Mousavi, Mohammad Reza. editor.

(1)

Mueller, Frank. editor.

(1)

Müller, Matthias S. editor.

(1)

Nalon, Cláudia. editor.

(1)

Olivier, Stephen L. editor.

(1)

Ong, Luke. editor.

(1)

Ouhammou, Yassine. editor.

(1)

Pastor, Oscar. editor. (orcid)0000-0002-1320-8471

(1)

Peled, Doron. editor.

(1)

Pena, Tomás F. editor.

(1)

Pitt-Francis, Joe. author.

(1)

Plump, Detlef. editor.

(1)

Pophale, Swaroop. editor.

(1)

Popow, Christian. editor. (orcid)0000-0002-0496-1453

(1)

Pozrikidis, C. author.

(1)

Proença, José. editor.

(1)

Quintián, Héctor. editor.

(1)

Rayadurgam, Sanjai. editor.

(1)

Reas, Casey, author.

(1)

Reger, Giles. editor.

(1)

Reppy, John. editor.

(1)

Reps, Thomas W. (Thomas William)

(1)

Rivera, Francisco F. editor.

(1)

Roman, Dumitru. editor.

(1)

Sacchi, Lucia. editor. (orcid)0000-0002-1390-9825

(1)

Sadri, Fariba. editor.

(1)

Sannella, Don. editor. (orcid)0000-0003-4520-8924

(1)

Santana de Almeida, Eduardo. editor.

(1)

Saraiva, João. editor.

(1)

Sarro, Federica. editor.

(1)

Schmidt, Renate A. editor.

(1)

Serrano Mena, Alejandro. author.

(1)

Serrano, Manuel. editor.

(1)

Seshia, Sanjit A. editor.

(1)

Sgall, Jiří. editor.

(1)

Shalf, John. editor.

(1)

Shen, Xipeng. editor.

(1)

Steffen, Bernhard. editor.

(1)

Sun, Meng. editor.

(1)

Sussman, Gerald Jay.

(1)

Sussman, Julie.

(1)

Sánchez, César. editor.

(1)

Taha, Walid. editor.

(1)

Tahar, Sofiène. editor.

(1)

Taufer, Michela. editor.

(1)

Team, FreeWheel Biz-UI. author.

(1)

Terboven, Christian. editor.

(1)

Thiemann, Peter. editor.

(1)

(1)

Tichy, Matthias. editor. (orcid)0000-0002-9067-3748

(1)

Tkachuk, Oksana. editor.

(1)

Torra, Vicenç. author.

(1)

Trinder, Phil. editor.

(1)

Trystram, Denis. editor.

(1)

Tuck, James. editor.

(1)

Urraca, Rubén. editor.

(1)

Van Woensel, William. editor.

(1)

Viana, Petrucio. editor. (orcid)0000-0002-3517-6706

(1)

Werner, Claudia. editor.

(1)

Whiteley, Jonathan. author.

(1)

Wu, Peng. editor.

(1)

Wąsowski, Andrzej. editor.

(1)

Yang, Hongseok. editor.

(1)

Yokota, Rio. editor.

(1)

Zaytsev, Vadim. editor.

(1)

Zeume, Thomas. author.

(1)

Zhang, Yue. author.

(1)

Zhang, Zili. editor.

(1)

Zuckarelli, Joachim L. author. (orcid)0000-0002-9280-3016

(1)

de Lara, Juan. editor.

(1)

de Supinski, Bronis R. editor.

(1)

ten Teije, Annette. editor.

(1)

van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X

(1)

Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028

(1)

Ölveczky, Peter Csaba. editor.

(1)

Language

(94)

Publication Date

-

(36)

(27)

(9)

(8)

(6)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Programming Techniques.

(85)

Compilers (Computer programs).

(78)

Compilers and Interpreters.

(78)

Software engineering.

(56)

Computer science.

(42)

Computer Science Logic and Foundations of Programming.

(34)

Formal Languages and Automata Theory.

(29)

Machine theory.

(29)

Artificial intelligence.

(22)

(21)

Application software.

(11)

Computer and Information Systems Applications.

(11)

Electronic digital computers -- Evaluation.

(10)

System Performance and Evaluation.

(10)

Theory of Computation.

(10)

(7)

Computer System Implementation.

(6)

Computer networks .

(6)

Computer systems.

(6)

Computer Communication Networks.

(5)

Computer science -- Mathematics.

(5)

Operating Systems.

(5)

Operating systems (Computers).

(5)

Computer Modelling.

(4)

Computer programs -- Testing.

(4)

Computer simulation.

(4)

Data Structures and Information Theory.

(4)

Data structures (Computer science).

(4)

Design and Analysis of Algorithms.

(4)

Discrete Mathematics in Computer Science.

(4)

Discrete mathematics.

(4)

Information theory.

(4)

(4)

The Computing Profession.

(4)

Computer Application in Administrative Data Processing.

(3)

Computers, Special purpose.

(3)

Data Mining and Knowledge Discovery.

(3)

(3)

Electronic data processing -- Management.

(3)

(3)

Information technology -- Management.

(3)

Software Testing.

(3)

Special Purpose and Application-Based Systems.

(3)

Automated Pattern Recognition.

(2)

Computer architecture.

(2)

Computer graphics.

(2)

Database management.

(2)

Engineering -- Data processing.

(2)

Engineering mathematics.

(2)

(2)

Mathematical and Computational Engineering Applications.

(2)

Microprocessors.

(2)

Models of Computation.

(2)

Pattern recognition systems.

(2)

Processor Architectures.

(2)

Programming Language.

(2)

Programming languages (Electronic computers).

(2)

Analyse numérique -- Informatique.

(1)

(1)

Apple computer.

(1)

Apprentissage automatique.

(1)

Arithmetic and Logic Structures.

(1)

Art -- Data processing.

(1)

Art and technology.

(1)

Artificial intelligence -- Data processing.

(1)

Bilgisayar programlama.

(1)

Bilgisayar programları -- Test etme.

(1)

BİLGİSAYAR GRAFİKLERİ.

(1)

BİLGİSAYAR PROGRAMLAMA.

(1)

Cloud Computing.

(1)

Communications Engineering, Networks.

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computer Engineering and Networks.

(1)

Computer Hardware.

(1)

Computer arithmetic and logic units.

(1)

Computer engineering.

(1)

Computer games -- Programming.

(1)

Computer graphics -- Computer programs.

(1)

Computer input-output equipment.

(1)

Computer programming

(1)

Computers and Education.

(1)

Computing Milieux.

(1)

Continuum mechanics.

(1)

Control Structures and Microprogramming.

(1)

(1)

Data and Information Security.

(1)

Data protection.

(1)

Digital art -- Computer programs.

(1)

Education -- Data processing.

(1)

Engineering Fluid Dynamics.

(1)

Fluid mechanics.

(1)

Game Development.

(1)

Hardware Performance and Reliability.

(1)

Human-computer interaction.

(1)

Information Storage and Retrieval.

(1)

Information storage and retrieval systems.

(1)

Input/Output and Data Communications.

(1)

Interactive computer systems.

(1)

Java (Bilgisayar program dili)

(1)

Java (Computer program language)

(1)

Java (Computer program language).

(1)

(1)

LABORATUVARLAR -- BİLGİSAYAR PROGRAMLARI.

(1)

LISP (Computer program language)

(1)

(1)

(1)

Laboratories -- Computer programs.

(1)

(1)

(1)

Machine learning

(1)

Machine learning.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical physics.

(1)

Mathematics -- Data processing.

(1)

Microprogramming .

(1)

Microsoft .NET Framework.

(1)

Microsoft software.

(1)

(1)

Natural Language Processing (NLP).

(1)

Natural language processing (Computer science).

(1)

Numerical analysis -- Computer programs

(1)

Numerical analysis -- Computer programs.

(1)

Numerical analysis -- Data processing

(1)

Numerical analysis -- Data processing.

(1)

Numerical analysis.

(1)

(1)

Open source software.

(1)

POSIX (Computer software standard)

(1)

Programmation (Informatique)

(1)

Programmeren (computers)

(1)

Programmierung.

(1)

Programming languages (Electronic computers) -- Semantics.

(1)

Python (Computer program language)

(1)

Python (Computer program language).

(1)

(1)

Software Management.

(1)

Software engineering -- Management.

(1)

Telecommunication.

(1)

Text editors (Computer programs)

(1)

Theoretical, Mathematical and Computational Physics.

(1)

Threads (Computer programs)

(1)

User Interfaces and Human Computer Interaction.

(1)

User interfaces (Computer systems).

(1)

calculateur electronique.

(1)

(1)

Material Type

Shelf Location

Beytepe CD-ROM Koleksiyonu

Beytepe General Collection

Electronic Library

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

94 Results Found

Subscribe to search results

1 2 3 4 5 .. 8

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 Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings

Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings

Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings

Author

Harmer, Russ. editor. (orcid)0000-0002-0817-1029 Kosiol, Jens. editor. (orcid)0000-0003-4733-2777 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings

Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings

Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings

Author

Lemanski, Jens. editor. (orcid)0000-0003-3661-4752 Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678 Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021 Viana, Petrucio. editor. (orcid)0000-0002-3517-6706 Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Cloud-Native Application Architecture Microservice Development Best Practice

Cloud-Native Application Architecture Microservice Development Best Practice

Cloud-Native Application Architecture Microservice Development Best Practice

Author

Team, FreeWheel Biz-UI. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-9782-2

Format:

Availability

Online Library~1

Available:
Copies:

4.

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:

5.

Cover image for Python by example : learning to program in 150 challenges

Python by example : learning to program in 150 challenges

Python by example : learning to program in 150 challenges

Author

Lacey, Nichola, author.

Preferred Shelf Number

QA76.73 .P98 L33 2019

Electronic Access

https://doi.org/10.1017/9781108591942

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Author

Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Hybrid Artificial Intelligent Systems 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings

Hybrid Artificial Intelligent Systems 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings

Hybrid Artificial Intelligent Systems 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings

Author

Martínez de Pisón, Francisco Javier. editor. Urraca, Rubén. editor. Quintián, Héctor. editor. Corchado, Emilio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-59650-1

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Advances in Data Mining. Applications and Theoretical Aspects 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings

Advances in Data Mining. Applications and Theoretical Aspects 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings

Advances in Data Mining. Applications and Theoretical Aspects 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings

Author

Perner, Petra. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-62701-4

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings

Author

Schmidt, Renate A. editor. Nalon, Cláudia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66902-1

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Author

Lahiri, Shuvendu. editor. Reger, Giles. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-67531-2

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

Author

Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Taha, Walid. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Agents and Artificial Intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers

Agents and Artificial Intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers

Agents and Artificial Intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers

Author

van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X Filipe, Joaquim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-53354-4

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 8

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11