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

Author

SpringerLink (Online service)

(825)

Voronkov, Andrei. editor.

(11)

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

(10)

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

(9)

Riolo, Rick. editor.

(9)

Dastani, Mehdi. editor.

(7)

Bordini, Rafael H. editor.

(6)

Dix, Jürgen. editor.

(6)

Seipel, Dietmar. editor.

(6)

Fages, François. editor.

(5)

Horváth, Zoltán. editor.

(5)

Legay, Axel. editor.

(5)

Noble, James. editor.

(5)

Plasmeijer, Rinus. editor.

(5)

Rossi, Francesca. editor.

(5)

Worzel, Bill. editor.

(5)

Aceto, Luca. editor.

(4)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(4)

Fallah Seghrouchni, Amal. editor.

(4)

Kobayashi, Naoki. editor.

(4)

Marchesi, Michele. editor.

(4)

Roman, Dumitru. editor.

(4)

Schmidt, Renate A. editor.

(4)

Son, Tran Cao. editor.

(4)

Zsók, Viktória. editor.

(4)

Abrahamsson, Pekka. editor.

(3)

Artho, Cyrille. editor.

(3)

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093

(3)

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

(3)

Bramer, Max. author.

(3)

Castelli, Mauro. editor.

(3)

Chapman, Barbara M. editor.

(3)

Cordeiro, José. editor.

(3)

Ebner, Marc. editor.

(3)

Ekárt, Anikó. editor.

(3)

Filipe, Joaquim. editor.

(3)

Grootjans, Riemer. author.

(3)

Gustafson, Steven. editor.

(3)

Jansen, Nils. editor. (orcid)0000-0003-1318-8973

(3)

Johnsen, Einar Broch. editor.

(3)

Johnson, Ralph. editor.

(3)

Junges, Sebastian. editor. (orcid)0000-0003-0978-8466

(3)

Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324

(3)

Langtangen, Hans Petter. author.

(3)

Lecomte, Thierry. editor.

(3)

Lisi, Francesca A. editor.

(3)

Liu, Shaoying. editor.

(3)

Liu, Zhiming. editor.

(3)

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

(3)

Maciaszek, Leszek A. editor.

(3)

Matheja, Christoph. editor. (orcid)0000-0001-9151-0441

(3)

Merayo, Mercedes G. editor.

(3)

Milano, Michela. editor.

(3)

Moraglio, Alberto. editor.

(3)

Noll, Thomas. editor. (orcid)0000-0002-1865-1798

(3)

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

(3)

Potapov, Igor. editor.

(3)

Quatmann, Tim. editor. (orcid)0000-0002-2843-5511

(3)

Rubin, Julia. editor.

(3)

Schoitsch, Erwin. editor.

(3)

Sgall, Jiří. editor.

(3)

Silva, Sara. editor.

(3)

Sirjani, Marjan. editor.

(3)

Sleightholme, Jane. author.

(3)

Soule, Terence. editor.

(3)

Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165

(3)

Tamaddoni-Nezhad, Alireza. editor.

(3)

Vanneschi, Leonardo. editor.

(3)

Varró, Dániel. editor.

(3)

Vladislavleva, Ekaterina. editor.

(3)

Volk, Matthias. editor. (orcid)0000-0002-3810-4185

(3)

Wolf, Armin. editor.

(3)

Zhang, Zili. editor.

(3)

Zhu, Huibiao. editor.

(3)

Ölveczky, Peter Csaba. editor.

(3)

Abramsky, Samson. editor.

(2)

Abreu, Salvador. editor.

(2)

Akshay, S. editor. (orcid)0000-0002-2471-5997

(2)

Albers, Brian. author.

(2)

Albers, Susanne. editor.

(2)

Albert, Elvira. editor.

(2)

Ando, Noriaki. editor.

(2)

Avgeriou, Paris. editor.

(2)

Balduccini, Marcello. editor.

(2)

Baral, Chitta. editor.

(2)

Baratgin, Jean. editor. (orcid)0000-0001-9566-486X

(2)

Bartenstein, Oskar. editor.

(2)

Baumeister, Hubert. editor.

(2)

Beck, J. Christopher. editor.

(2)

Bennett, Gary. author.

(2)

Bernardo, Marco. editor.

(2)

Blum, Christian. author.

(2)

Bouajjani, Ahmed. editor.

(2)

Braubach, Lars. editor.

(2)

Bugliesi, Michele. editor.

(2)

Castagna, Giuseppe. editor.

(2)

Cavalli, Ana Rosa. editor.

(2)

Chaudhuri, Swarat. editor.

(2)

Chen, Jim X. author.

(2)

Chivers, Ian. author.

(2)

Clark, Dan. author.

(2)

Collet, Pierre. editor.

(2)

Czumaj, Artur. editor.

(2)

Câmpeanu, Cezar. editor.

(2)

Damgård, Ivan. editor.

(2)

Dandamudi, Sivarama P. author.

(2)

De Nicola, Rocco. editor.

(2)

Desel, Jörg. editor.

(2)

Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X

(2)

Dimitrova, Rayna. editor.

(2)

Dowek, Gilles. author.

(2)

Draheim, Dirk. author.

(2)

Drossopoulou, Sophia. editor.

(2)

El Fallah Seghrouchni, Amal. editor.

(2)

Esparcia-Alcázar, Anna Isabel. editor.

(2)

Falco, Ivanoe. editor.

(2)

Farzan, Azadeh. editor.

(2)

Fisher, Mitch. author.

(2)

Fomin, Fedor V. editor.

(2)

Frasconi, Paolo. editor.

(2)

Freivalds, Rūsiņš. editor.

(2)

Fränzle, Martin. editor.

(2)

Furia, Carlo A. editor.

(2)

Ganz, Carl. author.

(2)

García-Sánchez, Pablo. editor.

(2)

Gardner, Philippa. editor.

(2)

Gavoille, Cyril. editor.

(2)

Geske, Ulrich. editor.

(2)

Gibbons, Jeremy. editor.

(2)

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

(2)

Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421

(2)

Goldberg, Leslie Ann. editor.

(2)

Governatori, Guido. editor.

(2)

Graba, Jan. author.

(2)

Guerraoui, Rachid. author.

(2)

Guiochet, Jérémie. editor.

(2)

Halldórsson, Magnús M. editor.

(2)

Hanus, Michael. editor.

(2)

Henzinger, Monika. editor.

(2)

Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801

(2)

Hinze, Ralf. editor.

(2)

Huisman, Marieke. editor. (orcid)0000-0003-4467-072X

(2)

Hunt, John. author.

(2)

Ingólfsdóttir, Anna. editor.

(2)

Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789

(2)

Jhala, Ranjit. editor.

(2)

Kapur, Deepak. editor.

(2)

Kelly, James Floyd. author.

(2)

Kirchner, Claude. editor.

(2)

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

(2)

Kleijn, Jetty. editor.

(2)

Koopman, Pieter. editor.

(2)

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

(2)

Krawiec, Krzysztof. editor.

(2)

Kunčak, Viktor. editor.

(2)

Kwiatkowska, Marta. editor.

(2)

Kyte, Thomas. author.

(2)

Lahav, Ori. editor. (orcid)0000-0003-4305-6998

(2)

Lake, Peter. author.

(2)

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

(2)

Larsen, Kim Guldstrand. editor.

(2)

Lees, Brad. author.

(2)

Leite, João. editor.

(2)

Lemos, Rogério. editor.

(2)

Leone, Nicola. editor.

(2)

Lodi, Andrea. editor.

(2)

Lubbers, Peter. author.

(2)

Lämmel, Ralf. editor.

(2)

Machado, Penousal. editor.

(2)

Majumdar, Rupak. editor.

(2)

Malyshkin, Victor. editor.

(2)

Marchetti-Spaccamela, Alberto. editor.

(2)

Matias, Yossi. editor.

(2)

Mayr, Heinrich C. editor.

(2)

McConaghy, Trent. editor.

(2)

McDermott, James. editor.

(2)

Mehlhorn, Kurt. editor.

(2)

Meyer auf der Heide, Friedhelm. editor.

(2)

Mohr, Bernd. editor.

(2)

Moore, Jason H. editor.

(2)

Mousavi, Mohammad Reza. editor.

(2)

Muggleton, Stephen. editor.

(2)

Niemetz, Aina. editor.

(2)

Nikitchenko, Mykola. editor.

(2)

Nikoletseas, Sotiris. editor.

(2)

Noda, Itsuki. editor.

(2)

Ong, Luke. editor.

(2)

O’Neill, Michael. editor.

(2)

O’Regan, Gerard. author.

(2)

Page, Rex. editor.

(2)

Peleg, David. editor.

(2)

Perini, Anna. editor. (orcid)0000-0001-8818-6476

(2)

Peña, Ricardo. editor.

(2)

Pitts, Andrew. editor.

(2)

Pogodalla, Sylvain. editor.

(2)

Pontelli, Enrico. editor.

(2)

Pradella, Matteo. editor. (orcid)0000-0003-3039-1084

(2)

Preneel, Bart. editor.

(2)

Proença, José. editor.

(2)

Raedt, Luc. editor.

(2)

Language

(832)

(1)

Publication Date

-

(157)

(113)

(98)

(65)

(48)

(43)

(41)

(40)

(38)

(36)

(35)

(30)

(29)

(29)

(25)

(3)

(2)

(1)

(1)

(1)

(1)

Subject

Software engineering.

(488)

Artificial intelligence.

(271)

Computer Science Logic and Foundations of Programming.

(231)

(170)

Formal Languages and Automata Theory.

(144)

Machine theory.

(144)

Programming Techniques.

(124)

Computer Communication Networks.

(113)

Theory of Computation.

(111)

Compilers (Computer programs).

(109)

Compilers and Interpreters.

(109)

Computer software.

(94)

Programming Languages, Compilers, Interpreters.

(92)

(76)

Computer science -- Mathematics.

(71)

Computer simulation.

(68)

Computer networks .

(63)

Computer programming.

(60)

Logics and Meanings of Programs.

(55)

Electronic data processing.

(51)

Application software.

(47)

Information theory.

(45)

Computational complexity.

(42)

Computer and Information Systems Applications.

(40)

Discrete Mathematics in Computer Science.

(39)

Mathematical Logic and Formal Languages.

(38)

Special Purpose and Application-Based Systems.

(36)

Computer Modelling.

(35)

Data structures (Computer science).

(35)

Operating systems (Computers).

(35)

Information Systems.

(33)

Artificial Intelligence (incl. Robotics).

(32)

Discrete mathematics.

(31)

Computer system performance.

(29)

Computers, Special purpose.

(29)

Computer engineering.

(28)

Software Engineering/Programming and Operating Systems.

(28)

Computer network architectures.

(27)

System Performance and Evaluation.

(27)

Information storage and retrieval systems.

(26)

Information systems.

(26)

Computer Engineering and Networks.

(25)

Algorithm Analysis and Problem Complexity.

(24)

Database management.

(24)

Management information systems.

(22)

Mathematics of Computing.

(20)

Bioinformatics.

(19)

Computer Science, general.

(19)

(18)

Electronic data processing -- Management.

(18)

(18)

Information Storage and Retrieval.

(17)

Management of Computing and Information Systems.

(17)

Operating Systems.

(17)

Computer System Implementation.

(16)

Electronic digital computers -- Evaluation.

(16)

(16)

Natural Language Processing (NLP).

(16)

Natural language processing (Computer science).

(16)

Information Systems Applications (incl. Internet).

(15)

(15)

Logic programming.

(15)

Mathematical logic.

(15)

Programming languages (Electronic computers).

(15)

Computer systems.

(14)

Data protection.

(13)

Mathematical statistics.

(13)

Probability and Statistics in Computer Science.

(13)

Simulation and Modeling.

(13)

Computation by Abstract Devices.

(12)

Computer industry.

(12)

Computer vision.

(12)

Control Structures and Microprogramming.

(12)

(12)

Mathematical Logic and Foundations.

(12)

Artificial intelligence -- Data processing.

(11)

Computer graphics.

(11)

(11)

(11)

Microprogramming .

(11)

Computer logic.

(10)

(9)

The Computing Profession.

(9)

User Interfaces and Human Computer Interaction.

(9)

Data and Information Security.

(8)

Operations research.

(8)

Optical pattern recognition.

(8)

Computer hardware.

(7)

Programming Language.

(7)

Computer Application in Administrative Data Processing.

(6)

Computer communication systems.

(6)

Computer security.

(6)

Information technology -- Management.

(6)

Symbolic and Algebraic Manipulation.

(6)

Algebra -- Data processing.

(5)

Automated Pattern Recognition.

(5)

(5)

Computational and Systems Biology.

(5)

Computer Hardware.

(5)

Computer games—Programming.

(5)

Data Mining and Knowledge Discovery.

(5)

Data Structures.

(5)

Human-computer interaction.

(5)

Information technology.

(5)

Mathematical Applications in Computer Science.

(5)

Mathematical optimization.

(5)

Microprogramming.

(5)

Models of Computation.

(5)

Numeric Computing.

(5)

Numerical analysis.

(5)

Pattern recognition systems.

(5)

Processor Architectures.

(5)

Telecommunication.

(5)

User interfaces (Computer systems).

(5)

Arithmetic and Logic Structures.

(4)

Business Information Systems.

(4)

(4)

Computational Science and Engineering.

(4)

Computational intelligence.

(4)

Computer Systems Organization and Communication Networks.

(4)

Data Structures and Information Theory.

(4)

Data encryption (Computer science).

(4)

Design and Analysis of Algorithms.

(4)

Electronic books.

(4)

Models and Principles.

(4)

Operations Research and Decision Theory.

(4)

Performance and Reliability.

(4)

Business—Data processing.

(3)

Computational Biology/Bioinformatics.

(3)

Computer Appl. in Administrative Data Processing.

(3)

Computer Applications.

(3)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(3)

Computer system failures.

(3)

Computing Methodologies.

(3)

Data Structures, Cryptology and Information Theory.

(3)

Data structures (Computer scienc.

(3)

(3)

History of Computing.

(3)

Information Systems and Communication Service.

(3)

Management science.

(3)

Operations Research, Management Science.

(3)

Python (Computer program language).

(3)

Robotics and Automation.

(3)

(3)

Biology -- Data processing.

(2)

Business information services.

(2)

Coding and Information Theory.

(2)

Communications Engineering, Networks.

(2)

Computer aided design.

(2)

Computer architecture.

(2)

Computer arithmetic and logic units.

(2)

Computer science

(2)

Computer software -- Development.

(2)

Computing Milieux.

(2)

Data Encryption.

(2)

Data transmission systems.

(2)

(2)

Engineering mathematics.

(2)

Expert systems (Computer science).

(2)

IT in Business.

(2)

Industrial engineering.

(2)

(2)

Java (Computer program language).

(2)

Knowledge Based Systems.

(2)

Logic, Symbolic and mathematical.

(2)

(2)

Machine learning.

(2)

Math Applications in Computer Science.

(2)

Mechanical engineering.

(2)

Microprocessors.

(2)

Monoclonal antibodies.

(2)

Multimedia Information Systems.

(2)

Multimedia systems.

(2)

(2)

Quantum computers.

(2)

Quantum computing.

(2)

Social sciences -- Data processing.

(2)

Statistics and Computing/Statistics Programs.

(2)

Algebra, Homological.

(1)

(1)

Algebraic logic.

(1)

Algebraic topology.

(1)

Applications of Mathematics.

(1)

Apprentissage automatique.

(1)

Approche orientée objet (Informatique)

(1)

Automotive Engineering.

(1)

Bilgisayar bilimi.

(1)

Bio-informatique.

(1)

(1)

Biomedical engineering.

(1)

Business planning.

(1)

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

Material Type

Shelf Location

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

836 Results Found

Subscribe to search results

1 .. 66 67 68 69 70

00000000DEFAULT

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.

829.

Cover image for Learn Lua for iOS Game Development

Learn Lua for iOS Game Development

Learn Lua for iOS Game Development

Author

Varma, Jayant. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330623.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4302-4663-3

Format:

Availability

Online Library~1

Available:
Copies:

830.

Cover image for Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Author

Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332962.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03077-7

Format:

Availability

Online Library~1

Available:
Copies:

831.

Cover image for Computer, network, software, and hardware engineering with applications

Computer, network, software, and hardware engineering with applications

Computer, network, software, and hardware engineering with applications

Author

Schneidewind, Norman.

Preferred Shelf Number

ONLINE

Electronic Access

IEEEXplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168884

Format:

Availability

Online Library~1

Available:
Copies:

832.

Cover image for Codecharts roadmaps and blueprints for object-oriented programs

Codecharts roadmaps and blueprints for object-oriented programs

Codecharts roadmaps and blueprints for object-oriented programs

Author

Eden, A. H., 1967- Nicholson, J. (Jonathan), 1983-

Preferred Shelf Number

ONLINE(318929.1)

Electronic Access

Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Books24x7 http://www.books24x7.com/marc.asp?bookid=41806
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=700550
ebrary http://site.ebrary.com/id/10465941
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=364832

Format:

Availability

Online Library~1

Available:
Copies:

833.

Cover image for Design of multithreaded software the entity-life modeling approach

Design of multithreaded software the entity-life modeling approach

Design of multithreaded software the entity-life modeling approach

Author

Sandén, Bo. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381797

Format:

Availability

Online Library~1

Available:
Copies:

834.

Cover image for Algorithms and theory of computation handbook. General concepts and techniques

Algorithms and theory of computation handbook. General concepts and techniques

Algorithms and theory of computation handbook. General concepts and techniques

Author

Atallah, Mikhail J. Blanton, Marina.

Preferred Shelf Number

QA76.9 .A43 A432 2009

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

835.

Cover image for Principles of object-oriented modeling and simulation with Modelica 2.1

Principles of object-oriented modeling and simulation with Modelica 2.1

Principles of object-oriented modeling and simulation with Modelica 2.1

Author

Fritzson, Peter A., 1952-

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5264314

Format:

Availability

Online Library~1

Available:
Copies:

836.

Cover image for Grammars and automata for string processing : from mathematics and computer science to biology, and back

Grammars and automata for string processing : from mathematics and computer science to biology, and back

Grammars and automata for string processing : from mathematics and computer science to biology, and back

Author

Martin Vide, Carlos. Mitrana, Victor. Paun, Gheorghe, 1950-

Preferred Shelf Number

QA76 .G6725 2003

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 66 67 68 69 70

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11