Search Results for Computer programming.

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

Narrowed by:

+

Subject: Algorithms.

Author

SpringerLink (Online service)

(91)

Câmpeanu, Cezar. editor.

(2)

Deelman, Ewa. editor. (orcid)0000-0001-5106-503X

(2)

Dongarra, Jack. editor.

(2)

Karczewski, Konrad. editor.

(2)

Kitowski, Jacek. editor.

(2)

Laaksonen, Antti. author.

(2)

Legay, Axel. editor.

(2)

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

(2)

Mousavi, Mohammad Reza. editor.

(2)

Potapov, Igor. editor.

(2)

Proença, José. editor.

(2)

Wiatr, Kazimierz. editor.

(2)

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786

(2)

Abate, Alessandro. editor.

(1)

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093

(1)

Abbas, Houssam. editor. (orcid)0000-0002-8096-2618

(1)

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611

(1)

Amos, Martyn. editor.

(1)

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

(1)

Barrett, Clark. editor.

(1)

Battiti, Roberto. editor. (orcid)0000-0002-0259-8603

(1)

Berger, Christian. editor.

(1)

Blaas-Schenner, Claudia. editor.

(1)

Blanchette, Jasmin Christian. editor.

(1)

Boldo, Sylvie. editor.

(1)

Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618

(1)

Boucheneb, Hanifa. editor.

(1)

Bozzano, Marco. editor. (orcid)0000-0002-4135-103X

(1)

Brlek, Srečko. editor.

(1)

Cabaleiro, José C. editor.

(1)

Cagnoni, Stefano, 1961-

(1)

Cao, Jian-nong. editor.

(1)

Carmona, Josep. editor.

(1)

Carretero, Jesus. editor.

(1)

Charlier, Émilie. editor.

(1)

Chatterjee, Mainak. editor.

(1)

Chávez, Edgar. editor.

(1)

Clark, David E., 1966-

(1)

Comninos, Peter. author.

(1)

Condon, Anne. editor.

(1)

Corchado, Emilio. editor.

(1)

Cormen, Thomas H.

(1)

Dastani, Mehdi. editor.

(1)

Davies, Misty. editor.

(1)

Day, Adam. editor.

(1)

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

(1)

Delporte-Gallet, Carole. editor.

(1)

Devitt, Simon. editor.

(1)

Di Napoli, Edoardo. editor.

(1)

Dixon, Clare. editor.

(1)

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

(1)

Drewes, Frank. editor.

(1)

Du, Dingzhu. editor.

(1)

Dutot, Pierre-François. editor.

(1)

Echahed, Rachid. editor.

(1)

El Abbadi, Amr. editor. (orcid)0000-0003-4692-3268

(1)

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

(1)

Engels, Gregor. editor.

(1)

Falcone, Yliès. editor.

(1)

Fazekas, Szilárd Zsolt. editor. (orcid)0000-0001-5319-0395

(1)

Fellows, Michael. editor.

(1)

Ferragina, Paolo. author.

(1)

Festa, Paola. editor.

(1)

Finger, Marcelo. editor.

(1)

Garbinato, Benoît. editor.

(1)

Garcia-Blas, Javier. editor.

(1)

Gavanelli, Marco. editor.

(1)

Gay, Gregory. editor. (orcid)0000-0001-6794-9585

(1)

Geeraerts, Gilles. editor.

(1)

Gerdt, Vladimir P. editor.

(1)

Ghosh, Sujata. editor.

(1)

Gopal, T.V. editor.

(1)

Gorentla Venkata, Manjunath. editor.

(1)

Greenberg, Noam. editor.

(1)

Guerra, Esther. editor. (orcid)0000-0002-2818-2278

(1)

Göbel, Susanne. author.

(1)

Haas, Tobias. editor.

(1)

Hague, Matthew. editor.

(1)

Han, Yo-Sub. editor.

(1)

Hankin, Chris. editor.

(1)

Hansen, René Rydhof. editor.

(1)

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

(1)

He, Kun. editor.

(1)

Hermanns, Marc-André. editor.

(1)

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

(1)

Hirvonen, Åsa. editor.

(1)

Hubbard, Steve. author.

(1)

Iliev, Hristo. editor.

(1)

Imam, Neena. editor.

(1)

Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X

(1)

Johnsen, Einar Broch. editor.

(1)

Jäger, Gerhard. editor.

(1)

Kahsai, Temesghen. editor.

(1)

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926

(1)

Khoussainov, Bakhadyr. editor.

(1)

Kittler, Josef. editor. (orcid)0000-0002-8110-9205

(1)

Klasing, Ralf. editor.

(1)

Kleijn, Jetty. editor.

(1)

Kneusel, Ronald T. author.

(1)

Knight, William. author.

(1)

Ko, Ryan K.L. editor.

(1)

Koepf, Wolfram. editor.

(1)

Kordy, Barbara. editor.

(1)

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

(1)

Kothapalli, Kishore. editor.

(1)

Koutny, Maciej. editor. (orcid)0000-0003-4563-1378

(1)

Kovács, Laura. editor. (orcid)0000-0002-8299-2714

(1)

Kranakis, Evangelos. editor. (orcid)0000-0002-8959-4428

(1)

Kulikov, Alexander S. editor.

(1)

Kumar, Akhil. editor.

(1)

Kvasov, Dmitri E. editor.

(1)

Lanese, Ivan. editor. (orcid)0000-0003-2527-9995

(1)

Langerak, Rom. editor.

(1)

Larsen, Kim Guldstrand. editor.

(1)

Le Goues, Claire. editor.

(1)

Lee, Kent D. author.

(1)

Leporati, Alberto. editor. (orcid)0000-0002-8105-4371

(1)

Leroy, Julien. editor.

(1)

Li, Lian. editor.

(1)

Li, Zongmin. author.

(1)

Lintermann, Andreas. editor.

(1)

Lluch Lafuente, Alberto. editor.

(1)

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

(1)

Luccio, Fabrizio. author.

(1)

Lumpe, Markus. editor.

(1)

Manea, Florin. editor.

(1)

Martín-Vide, Carlos. editor.

(1)

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

(1)

Mauw, Sjouke. editor.

(1)

Mbihi, Jean, author.

(1)

Melnikov, Alexander. editor.

(1)

Merz, Stephan. editor.

(1)

Mili, Ali. editor.

(1)

Minas, Mark. editor.

(1)

Mintz, Tiffany M. editor.

(1)

Mueller, Frank. editor.

(1)

Mueller, Peter. editor.

(1)

(1)

Nakano, Koji. editor.

(1)

Nasiboğlu, Efendi.

(1)

Navarro, Gonzalo. editor.

(1)

Nejati, Shiva. editor.

(1)

Niethammer, Christoph. editor. (orcid)0000-0002-3840-1016

(1)

Nuriyev, Urfat.

(1)

Omodeo, Eugenio G. author.

(1)

Orejas, Fernando. editor.

(1)

Papadopoulos, Yiannis. editor.

(1)

Pena, Tomás F. editor.

(1)

Penczek, Wojciech. editor.

(1)

Perales, Francisco José. editor. (orcid)0000-0002-9872-3172

(1)

Peyser, Alexander. editor.

(1)

Pighizzini, Giovanni. editor.

(1)

Plump, Detlef. editor.

(1)

Policriti, Alberto. author.

(1)

Pophale, Swaroop. editor.

(1)

Prasad, Sanjiva. editor.

(1)

Probst, Christian W. editor.

(1)

Quintián, Héctor. editor.

(1)

Rajsbaum, Sergio. editor.

(1)

Rensink, Arend. editor.

(1)

Reppy, John. editor.

(1)

Reus, Bernhard. author.

(1)

Reutenauer, Christophe. editor.

(1)

Rigo, Michel. editor.

(1)

Rival, Xavier. editor.

(1)

Rivera, Francisco F. editor.

(1)

Rondelez, Yannick. editor.

(1)

Rosamond, Frances. editor.

(1)

Rozenberg, Grzegorz. editor.

(1)

Salomaa, Arto. editor.

(1)

Salomaa, Kai. editor.

(1)

Sarro, Federica. editor.

(1)

Seiler, Werner M. editor. (orcid)0000-0002-0565-1334

(1)

Sellmann, Meinolf. editor.

(1)

Sergeyev, Yaroslav D. editor.

(1)

Sewak, Mohit. author.

(1)

Sgall, Jiří. editor.

(1)

Shallit, Jeffrey. editor.

(1)

Shen, Xipeng. editor.

(1)

Sirjani, Marjan. editor.

(1)

Skrzypczak, Michał. author.

(1)

Smith, Stephen L., 1962-

(1)

Sobolev, Sergey. editor.

(1)

Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918

(1)

Sokolova, Ana. editor. (orcid)0000-0002-8384-3438

(1)

Srba, Jiří. editor.

(1)

Steila, Silvia. editor.

(1)

Stephens, Rod, 1961- author.

(1)

Sánchez, César. editor.

(1)

Tahar, Sofiène. editor.

(1)

Tao, Zhimiao. author.

(1)

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

(1)

Tomescu, Alexandru I. author.

(1)

Truthe, Bianca. editor.

(1)

Trystram, Denis. editor.

(1)

Tuck, James. editor.

(1)

Urraca, Rubén. editor.

(1)

Vanschoren, Joaquin. editor.

(1)

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106

(1)

Language

(96)

(1)

Publication Date

-

(39)

(34)

(6)

(5)

(3)

(3)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Computer science.

(64)

Computer Science Logic and Foundations of Programming.

(57)

Software engineering.

(51)

Computer programming.

(39)

Formal Languages and Automata Theory.

(39)

Machine theory.

(39)

Programming Techniques.

(32)

Compilers (Computer programs).

(29)

Compilers and Interpreters.

(29)

Computer science -- Mathematics.

(27)

Theory of Computation.

(25)

Artificial intelligence.

(20)

Discrete mathematics.

(20)

Discrete Mathematics in Computer Science.

(19)

Computer networks .

(14)

Application software.

(12)

Computer Communication Networks.

(12)

Computer and Information Systems Applications.

(11)

Computer Modelling.

(10)

Computer simulation.

(10)

Artificial intelligence -- Data processing.

(8)

(8)

Design and Analysis of Algorithms.

(6)

Mathematics of Computing.

(6)

Data structures (Computer science).

(5)

Programming languages (Electronic computers).

(5)

Computers, Special purpose.

(4)

Data Structures and Information Theory.

(4)

Information theory.

(4)

Numerical analysis.

(4)

Special Purpose and Application-Based Systems.

(4)

Automated Pattern Recognition.

(3)

Computer Engineering and Networks.

(3)

Computer System Implementation.

(3)

Computer engineering.

(3)

Computer systems.

(3)

(3)

Electronic digital computers -- Evaluation.

(3)

Pattern recognition systems.

(3)

System Performance and Evaluation.

(3)

Applications of Mathematics.

(2)

Computer Hardware.

(2)

Computer algorithms.

(2)

Computer graphics.

(2)

Computers and Education.

(2)

Education -- Data processing.

(2)

Evolution, Molecular.

(2)

Evolutionary programming (Computer science)

(2)

Information Storage and Retrieval.

(2)

Information storage and retrieval systems.

(2)

Mathematics -- Data processing.

(2)

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

Operating Systems.

(2)

Operating systems (Computers).

(2)

Programming Language.

(2)

Python (Computer program language).

(2)

(2)

(1)

(1)

(1)

Arithmetic and Logic Structures.

(1)

Automatic control

(1)

Automatic control.

(1)

Bilgisayar algoritmaları.

(1)

Bilgisayar programlama.

(1)

Bioinformatics.

(1)

COMPUTERS -- Computer Literacy.

(1)

COMPUTERS -- Computer Science.

(1)

COMPUTERS -- Data Processing.

(1)

COMPUTERS -- Hardware -- General.

(1)

COMPUTERS -- Information Technology.

(1)

COMPUTERS -- Machine Theory.

(1)

COMPUTERS -- Reference.

(1)

(1)

Commande automatique.

(1)

Computational Biology -- methods.

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computational Science and Engineering.

(1)

Computational and Systems Biology.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer algorithms

(1)

Computer arithmetic and logic units.

(1)

Computer communication systems.

(1)

Computer logic.

(1)

Computer science—Mathematics.

(1)

Computer vision.

(1)

Computer-Aided Design.

(1)

Computers and IT.

(1)

Data and Information Security.

(1)

Data protection.

(1)

Data structures (Computer science)

(1)

Database management.

(1)

(1)

Drugs -- Design and construction.

(1)

Electronic books.

(1)

Electronic data processing -- Management.

(1)

Electronic digital computers -- Programming.

(1)

Elektronik sayısal bilgisayarlar -- Programlama.

(1)

Feedback control systems

(1)

Feedback control systems.

(1)

Genetic algorithms.

(1)

Genetic programming (Computer science)

(1)

(1)

Human-computer interaction.

(1)

(1)

Information technology -- Management.

(1)

Llibres electrònics.

(1)

(1)

(1)

Logic programming.

(1)

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical statistics -- Data processing.

(1)

Medicine -- Data processing.

(1)

(1)

Models, Genetic.

(1)

Molecules -- Models -- Design and construction.

(1)

Pattern recognition.

(1)

Probabilities -- Data processing.

(1)

Probabilities -- Problems, exercises, etc.

(1)

(1)

Probability Theory.

(1)

(1)

(1)

Pseudocode (Computer program language)

(1)

Pseudocode (Langage de programmation)

(1)

Quantum Computing.

(1)

Quantum computers.

(1)

Statistics and Computing.

(1)

Structures de données (Informatique)

(1)

Symbolic and Algebraic Manipulation.

(1)

Systèmes à réaction.

(1)

TECHNOLOGY & ENGINEERING -- Engineering (General)

(1)

The Computing Profession.

(1)

User Interfaces and Human Computer Interaction.

(1)

User interfaces (Computer systems).

(1)

Material Type

Shelf Location

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

97 Results Found

Subscribe to search results

1 2 3 4 5 .. 9

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 Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

Author

Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66320-3

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for On Sets and Graphs Perspectives on Logic and Combinatorics

On Sets and Graphs Perspectives on Logic and Combinatorics

On Sets and Graphs Perspectives on Logic and Combinatorics

Author

Omodeo, Eugenio G. author. Policriti, Alberto. author. Tomescu, Alexandru I. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Author

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Membrane Computing 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers

Membrane Computing 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers

Membrane Computing 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers

Author

Leporati, Alberto. editor. (orcid)0000-0002-8105-4371 Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-54072-6

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday

Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday

Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday

Author

Day, Adam. editor. Fellows, Michael. editor. Greenberg, Noam. editor. Khoussainov, Bakhadyr. editor. Melnikov, Alexander. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings

Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings

Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings

Author

Hague, Matthew. editor. Potapov, Igor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-67089-8

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Author

Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-54069-5

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

Author

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

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:

34.

Cover image for Automated Deduction - CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

Automated Deduction - CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

Automated Deduction - CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

Author

de Moura, Leonardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

Author

Drewes, Frank. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-53733-7

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

Author

Zeume, Thomas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-54314-6

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 9

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11