Search Results for Programming Techniques.

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

Author

SpringerLink (Online service)

(105)

Beck, J. Christopher. editor.

(2)

(2)

Bramer, Max. author.

(2)

Dastani, Mehdi. editor.

(2)

Engel, Wolfgang F.

(2)

Garcia Diaz, Vicente. editor.

(2)

Kyte, Thomas. author.

(2)

Milano, Michela. editor.

(2)

Mohiuddin, Taqi.

(2)

Nandan Mohanty, Sachi. editor.

(2)

Nawrocki, Matt.

(2)

Noble, James. editor.

(2)

Păsăreanu, Corina S. editor.

(2)

Satish Kumar, G. A. E. editor.

(2)

Voronkov, Andrei. editor.

(2)

Abreu, Salvador. editor.

(1)

Achten, Peter. editor.

(1)

Achterberg, Tobias. editor.

(1)

Agredo-Delgado, Vanessa. editor.

(1)

Alam, Mehwish. editor. (orcid)

(1)

Alavi, Amir H. editor.

(1)

Albert, Elvira. editor.

(1)

Andres, Clay. editor.

(1)

Anglin, Steve. editor.

(1)

Antonakos, James L.

(1)

(1)

Arastoopour Irgens, Golnaz. editor.

(1)

Argyros, Ioannis K.

(1)

Atallah, Mikhail J.

(1)

Baldoni, Matteo. editor.

(1)

Baldwin, Andrew, 1950- author.

(1)

Baresi, Luciano. editor.

(1)

Barnes, John. author.

(1)

Barron, David William.

(1)

Bartak, Roman, ed.

(1)

Barták, Roman. editor.

(1)

(1)

Beckner, Mark. editor.

(1)

Behr, Mary. editor.

(1)

Beldiceanu, Nicolas. editor.

(1)

Bensalem, Saddek. editor.

(1)

Blanton, Marina.

(1)

Bois, André Rauber. editor.

(1)

Bordoli, David, author.

(1)

Brat, Guillaume. editor.

(1)

Bravetti, Mario. editor.

(1)

Brinkmann, Steffen. editor.

(1)

Brooks, Anthony L. editor.

(1)

Brukardt, Randall L. editor.

(1)

Buckingham, Ewan. editor.

(1)

Burge, William H.

(1)

Cabalar, Pedro. editor.

(1)

Calvo Rolle, José Luis. editor.

(1)

Cascalho, José. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Castillo, Enrique. author.

(1)

Cerqueira, Renato. editor.

(1)

Cervesato, Iliano. author.

(1)

Chapman, Barbara M. editor.

(1)

Chemuturi, Murali. author.

(1)

Cheptsov, Alexey. editor.

(1)

Chiba, Shigeru. editor.

(1)

(1)

Ciubotaru, Bogdan. author.

(1)

Clarke, Dave. editor.

(1)

Collarana, Diego. editor.

(1)

Comninos, Peter. author.

(1)

Conejo, Antonio J. author.

(1)

Corchado, Emilio. editor.

(1)

Cornell, Gary. editor.

(1)

Cossentino, Massimo. editor.

(1)

Cygan, Marek. author.

(1)

Dahl, Veronica. editor.

(1)

Damaševičius, Robertas. author.

(1)

Deelman, Ewa. editor.

(1)

Dewan, Hrishikesh. author.

(1)

Dongarra, Jack. editor.

(1)

Duff, Robert A. editor.

(1)

Dvorský, Jiří. editor.

(1)

Efthymiou, Vasilis. editor.

(1)

Egges, Arjan. author.

(1)

Eiter, Thomas. editor.

(1)

El-Halwagi, Mahmoud M., 1962-

(1)

Emrouznejad, Ali.

(1)

Engel, Klaus, 1969-

(1)

Engel, Wolfgang.

(1)

(1)

Ergül, Özgür. author.

(1)

Fallah Seghrouchni, Amal. editor.

(1)

Farchi, Eitan. editor.

(1)

Favaro, John. editor.

(1)

Felleisen, Matthias. editor.

(1)

Fernando, Randima.,ed.

(1)

Ferrucci, Filomena. editor.

(1)

Fokker, Jeroen D. author.

(1)

Fomin, Fedor V. author.

(1)

Fontaine, Pascal. editor.

(1)

Frey, Davide. editor.

(1)

Fries, Christian, 1970-

(1)

Fukumoto, Makoto. editor.

(1)

Fähndrich, Manuel. editor.

(1)

Galmiche, Didier. editor.

(1)

Gandomi, Amir H. editor.

(1)

Garau, Chiara. editor. (orcid)

(1)

García Bringas, Pablo. editor.

(1)

García-Bertrand, Raquel. author.

(1)

Gardner, Philippa. editor.

(1)

Gebser, Martin. editor.

(1)

Gennick, Jonathan. editor.

(1)

Gervasi, Osvaldo. editor. (orcid)

(1)

Giese, Holger. editor.

(1)

Giraldo Orozco, William Joseph. editor.

(1)

Gomes, Carla. editor.

(1)

Gorp, Pieter. editor.

(1)

Graba, Jan. author.

(1)

Gracia, José. editor.

(1)

Groves, Lindsay. editor.

(1)

Hack, Sebastian. author.

(1)

(1)

(1)

Hartman, Roel. author.

(1)

Hassell, Jonathan. editor.

(1)

Hayek, Salim. editor.

(1)

Heck, Ronald H.

(1)

Hentenryck, Pascal. editor.

(1)

Hermenegildo, Manuel V. editor.

(1)

Herrero, Álvaro. editor.

(1)

Hertling, Sven. editor.

(1)

Hierons, Robert M. editor.

(1)

Hill, Richard. author.

(1)

(1)

Hinze, Ralf. editor.

(1)

Hirsch, Laurie. author.

(1)

Hitzler, Pascal.

(1)

(1)

Hodges, Stewart Dimont, ed.

(1)

Hoeve, Willem-Jan. editor.

(1)

Hooker, John N. editor.

(1)

Horton, Ivor. author.

(1)

Hung, Dang. editor.

(1)

Hunt, John. author.

(1)

Hübner, Jomi F. editor.

(1)

International Conference on Foundations of Computer-Aided Process Design (7th : 2009 : Breckenridge, Colo.)

(1)

International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (1st : 2004 : Nice, France)

(1)

International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (2nd : 2005 : Prague, Czech Republic)

(1)

Johnson, Ralph. editor.

(1)

Jussien, Narendra. editor.

(1)

Karaca, Yeliz. editor.

(1)

Karczewski, Konrad. editor.

(1)

Kasahara, Hironori. editor.

(1)

Kelly, Debra. editor.

(1)

Kimura, Keiji. editor.

(1)

King, Ralf Simon. author.

(1)

Kirrane, Sabrina. editor.

(1)

Knight, Simon. editor.

(1)

Koopman, Pieter. editor.

(1)

Kornaros, Georgios.

(1)

Kowalik, Łukasz. author.

(1)

Kowalski, Robert. editor.

(1)

Kroening, Daniel. editor.

(1)

Kulkarni, Anand J. editor.

(1)

Lake, Peter. author.

(1)

Langbridge, James A., author.

(1)

Larchey-Wendling, Dominique. editor.

(1)

Leavens, Gary T. editor.

(1)

Legay, Axel. editor.

(1)

Lemos, Rogério. editor.

(1)

Leroy, Pascal. editor.

(1)

Linninger, Andreas A.

(1)

Liptk̀, Bľa G.

(1)

Liu, Shaoying. editor.

(1)

Lodi, Andrea. editor.

(1)

Logan, Brian. editor.

(1)

Logozzo, Francesco. editor.

(1)

Loidl, Hans-Wolfgang. editor.

(1)

Lokshtanov, Daniel. author.

(1)

Lourenço, João M. editor.

(1)

Lowman, Michelle. editor.

(1)

Lucia, Andrea. editor.

(1)

Lämmel, Ralf. editor.

(1)

Malyshkin, Victor. editor.

(1)

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

(1)

Martínez Álvarez, Francisco. editor.

(1)

Marx, Dániel. author.

(1)

Maurer, Ward Douglas, 1938-

(1)

McMillan, Ken. editor.

(1)

Merayo, Mercedes G. editor.

(1)

Michel, Laurent. editor.

(1)

Middeldorp, Aart. editor.

(1)

Milano, Michela, ed.

(1)

Mills Strout, Michelle. editor.

(1)

Moniz, Nuno. editor.

(1)

Moodie, Matthew. editor.

(1)

Moore, Jason H. editor.

(1)

Moore, Peter Gerald, 1928- ed.

(1)

Morisio, Maurizio. editor.

(1)

Moshiri, Siavash. author.

(1)

Muntean, Gabriel-Miro. author.

(1)

Murgante, Beniamino. editor. (orcid)

(1)

Language

(141)

Publication Date

-

(71)

(17)

(7)

(6)

(5)

(5)

(4)

(4)

(4)

(3)

(3)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Computer science.

(81)

Programming Techniques.

(68)

Software engineering.

(43)

Programming Languages, Compilers, Interpreters.

(37)

Artificial intelligence.

(24)

(23)

Logics and Meanings of Programs.

(23)

Mathematical Logic and Formal Languages.

(21)

Computer software.

(18)

Artificial Intelligence (incl. Robotics).

(16)

Computer Communication Networks.

(15)

Computational complexity.

(13)

Algorithm Analysis and Problem Complexity.

(11)

Electronic data processing.

(10)

Computer graphics.

(8)

Operating systems (Computers).

(8)

Operating Systems.

(7)

Software Engineering/Programming and Operating Systems.

(7)

Computer Science, general.

(6)

Computer system performance.

(6)

(5)

Information Systems Applications (incl. Internet).

(5)

Computer programming.

(4)

Discrete Mathematics in Computer Science.

(4)

(4)

Information Systems.

(4)

Management of Computing and Information Systems.

(4)

System Performance and Evaluation.

(4)

(3)

Computation by Abstract Devices.

(3)

Computer simulation.

(3)

Graphics processing units -- Programming.

(3)

Models and Principles.

(3)

Real-time data processing.

(3)

Rendering (Computer graphics)

(3)

Simulation and Modeling.

(3)

Combinatorial optimization -- Congresses.

(2)

Computational Science and Engineering.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computer vision.

(2)

Constraint programming (Computer science) -- Congresses.

(2)

Constraints (Artificial intelligence) -- Congresses.

(2)

DOĞRUSAL PROGRAMLAMA.

(2)

Data Structures.

(2)

Data structures (Computer science).

(2)

Database management.

(2)

Information Storage and Retrieval.

(2)

Information storage and retrieval systems.

(2)

Information systems.

(2)

Information theory.

(2)

(2)

(2)

Multimedia Information Systems.

(2)

Multimedia systems.

(2)

Operations research.

(2)

Performance and Reliability.

(2)

Processor Architectures.

(2)

Special Purpose and Application-Based Systems.

(2)

Theory of Computation.

(2)

Arduino (Programmable controller)

(1)

Automotive Engineering.

(1)

Biomass energy -- Congresses.

(1)

Building -- Superintendence -- Handbooks, manuals, etc.

(1)

Business Information Systems.

(1)

BİLGİSAYAR GRAFİKLERİ -- TEKNİK.

(1)

BİLGİSAYAR OYUNLARI -- PROGRAMLAMA.

(1)

C (Computer program language)

(1)

Chemical process control -- Computer-aided design -- Congresses.

(1)

Chemical processes -- Data processing -- Congresses.

(1)

Communications Engineering, Networks.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer Applications.

(1)

Computer System Implementation.

(1)

Computer algorithms.

(1)

Computer games -- Programming.

(1)

Computer graphics -- Technique.

(1)

Computer hardware.

(1)

Computer network architectures.

(1)

Computer science—Mathematics.

(1)

(1)

Computing Methodologies.

(1)

DOĞRUSAL OLMAYAN PROGRAMLAMA.

(1)

Data Encryption.

(1)

Data Storage Representation.

(1)

Data encryption (Computer science).

(1)

(1)

Data protection.

(1)

Data transmission systems.

(1)

Derivative securities -- Prices -- Mathematical models.

(1)

ELEKTRONİK HESAP MAKİNELERİ -- PROGRAMLAMA.

(1)

ELEKTRONİK HESAP MAKİNELERİ.

(1)

ELEKTRONİK SAYISAL BİLGİSAYARLAR -- PROGRAMLAMA.

(1)

ELEKTRONİK VERİ İŞLEM -- NÜKLEER FİZİK.

(1)

ENDÜSTRİYEL YÖNETİM.

(1)

Electronics and Microelectronics, Instrumentation.

(1)

(1)

Embedded computer systems.

(1)

Engineering mathematics.

(1)

Engineering, general.

(1)

Functional analysis.

(1)

Health Informatics.

(1)

High performance computing.

(1)

History of Computing.

(1)

Information Systems and Communication Service.

(1)

Input/Output and Data Communications.

(1)

Investments -- Mathematical models.

(1)

Java (Bilgisayar Programlama Dili)

(1)

Java (Computer program language)

(1)

(1)

Kombinatoryal Optimizasyon -- Kongreler.

(1)

Kombinatoryal optimizasyon.

(1)

Logic programming.

(1)

Management information systems.

(1)

Management science.

(1)

Math Applications in Computer Science.

(1)

Measuring instruments -- Handbooks, manuals, etc.

(1)

Medical records -- Data processing.

(1)

Microcontrollers -- Programming.

(1)

Microcontrollers.

(1)

Multiprocessors.

(1)

Nanotechnology and Microengineering.

(1)

Numeric Computing.

(1)

Numerical analysis.

(1)

Numerical functions.

(1)

Operations Research, Management Science.

(1)

Operations research -- Data processing.

(1)

Optical pattern recognition.

(1)

PROGRAMLAMA DİLİ (ELEKTRONİK BİLGİSAYAR)

(1)

Parallel processing (Electronic computers)

(1)

Pattern Recognition.

(1)

Personal Computing.

(1)

Probability and Statistics in Computer Science.

(1)

Process control -- Handbooks, manuals, etc.

(1)

Production scheduling -- Handbooks, manuals, etc.

(1)

Production scheduling.

(1)

Programming languages (Electronic computers) -- Semantics.

(1)

Project management.

(1)

Psychometrics -- Computer programs.

(1)

(1)

Robotics and Automation.

(1)

SAS (Computer file)

(1)

SAYISAL BİLGİSAYAR BENZETİMİ.

(1)

SPSS (Computer file)

(1)

SPSS for Windows.

(1)

Securities -- Mathematical models.

(1)

Service-oriented architecture (Computer science)

(1)

Social sciences -- Computer programs.

(1)

Strategic planning.

(1)

Sustainable engineering -- Congresses.

(1)

Systems and Data Security.

(1)

Telecommunication.

(1)

Three-dimensional display systems.

(1)

Material Type

Shelf Location

Beytepe CD-ROM Koleksiyonu

Beytepe General Collection

Electronic Library

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

141 Results Found

Subscribe to search results

1 .. 3 4 5 6 7 .. 12

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.

49.

Cover image for Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part II

Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part II

Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part II

Author

Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520846.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part IV

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part IV

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part IV

Author

Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.

Preferred Shelf Number

XX(521010.1)

Electronic Access

https://doi.org/10.1007/978-3-031-37114-1

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings

Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings

Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings

Author

García Bringas, Pablo. editor. Pérez García, Hilde. editor. Martínez de Pisón, Francisco Javier. editor. Martínez Álvarez, Francisco. editor. Troncoso Lora, Alicia. editor. (orcid)

Preferred Shelf Number

XX(521307.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Prolog: The Next 50 Years

Prolog: The Next 50 Years

Prolog: The Next 50 Years

Author

Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.

Preferred Shelf Number

XX(521397.1)

Electronic Access

https://doi.org/10.1007/978-3-031-35254-6

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Parameterized Algorithms

Parameterized Algorithms

Parameterized Algorithms

Author

Cygan, Marek. author. Fomin, Fedor V. author. Kowalik, Łukasz. author. Lokshtanov, Daniel. author. Marx, Dániel. author.

Preferred Shelf Number

XX(518379.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Handbook of Genetic Programming Applications

Handbook of Genetic Programming Applications

Handbook of Genetic Programming Applications

Author

Gandomi, Amir H. editor. Alavi, Amir H. editor. Ryan, Conor. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518480.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Parallel Computing Technologies 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings

Parallel Computing Technologies 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings

Parallel Computing Technologies 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings

Author

Malyshkin, Victor. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518961.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Author

Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519028.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers

Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers

Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers

Author

Baldoni, Matteo. editor. Baresi, Luciano. editor. Dastani, Mehdi. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519297.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Handbook for construction planning and scheduling

Handbook for construction planning and scheduling

Handbook for construction planning and scheduling

Author

Baldwin, Andrew, 1950- author. Bordoli, David, author.

Preferred Shelf Number

ONLINE(341862.1)

Electronic Access

http://onlinelibrary.wiley.com/book/10.1002/9781118838167
Cover image http://catalogimages.wiley.com/images/db/jimages/9780470670323.jpg
John Wiley http://dx.doi.org/10.1002/9781118838167

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for GPU Pro 4 advanced rendering techniques

GPU Pro 4 advanced rendering techniques

GPU Pro 4 advanced rendering techniques

Author

Engel, Wolfgang.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Service-oriented distributed knowledge discovery

Service-oriented distributed knowledge discovery

Service-oriented distributed knowledge discovery

Author

Talia, Domenico. Trunfio, Paolo.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 3 4 5 6 7 .. 12

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11