Search Results for Programming Techniques.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

+

Shelf Location: Elektronik Kütüphane

Yazar

SpringerLink (Online service)

(116)

Beck, J. Christopher. editor.

(2)

Bramer, Max. author.

(2)

Dastani, Mehdi. editor.

(2)

Garcia Diaz, Vicente. editor.

(2)

Kyte, Thomas. author.

(2)

Milano, Michela. editor.

(2)

Nandan Mohanty, Sachi. editor.

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

Arastoopour Irgens, Golnaz. editor.

(1)

Arockiarajan, A. editor.

(1)

Baldoni, Matteo. editor.

(1)

Baldwin, Andrew, 1950- author.

(1)

Bansal, Jagdish Chand. editor.

(1)

Baresi, Luciano. editor.

(1)

Barnes, John. author.

(1)

Barták, Roman. editor.

(1)

Beckner, Mark. editor.

(1)

Behr, Mary. editor.

(1)

Beldiceanu, Nicolas. editor.

(1)

Bensalem, Saddek. editor.

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

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)

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)

Das, Kedar Nath. editor.

(1)

Datta, Rituparna. editor.

(1)

Deb, Kalyanmoy. editor.

(1)

Deelman, Ewa. editor.

(1)

Deep, Kusum. editor.

(1)

Dettmer-Wilde, Katja. editor.

(1)

Dewan, Hrishikesh. author.

(1)

Dongarra, Jack. editor.

(1)

Duff, Robert A. editor.

(1)

Duraiselvam, M. editor.

(1)

Dvorský, Jiří. editor.

(1)

Efthymiou, Vasilis. editor.

(1)

Egges, Arjan. author.

(1)

Eiter, Thomas. editor.

(1)

Engewald, Werner. editor.

(1)

Ergül, Özgür. author.

(1)

Fallah Seghrouchni, Amal. editor.

(1)

Farchi, Eitan. editor.

(1)

Favaro, John. editor.

(1)

Felleisen, Matthias. editor.

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

Grancharova, Alexandra. editor.

(1)

Groves, Lindsay. editor.

(1)

Hack, Sebastian. author.

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

Hinze, Ralf. editor.

(1)

Hirsch, Laurie. author.

(1)

Hoeve, Willem-Jan. editor.

(1)

Hooker, John N. editor.

(1)

Horton, Ivor. author.

(1)

Howlett, Robert J. editor.

(1)

Hung, Dang. editor.

(1)

Hunt, John. author.

(1)

Hübner, Jomi F. editor.

(1)

Jain, Lakhmi C. editor.

(1)

Johnson, Ralph. editor.

(1)

Joshi, Prachi. editor.

(1)

Jussien, Narendra. editor.

(1)

Kang, Shin-Jin. author.

(1)

Karaca, Yeliz. editor.

(1)

Karczewski, Konrad. editor.

(1)

Kasahara, Hironori. editor.

(1)

Kelly, Debra. editor.

(1)

Kim, Chang-Hun. author.

(1)

Kim, Soo-Kyun. author.

(1)

Kim, Sun-Jeong. author.

(1)

Kimura, Keiji. editor.

(1)

King, Ralf Simon. author.

(1)

Kirrane, Sabrina. editor.

(1)

Knight, Simon. editor.

(1)

Koopman, Pieter. editor.

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

Liu, Shaoying. editor.

(1)

Lobo Pereira, Fernando. 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)

Mahalle, Parikshit N. 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)

McMillan, Ken. editor.

(1)

Merayo, Mercedes G. editor.

(1)

Michel, Laurent. editor.

(1)

Middeldorp, Aart. editor.

(1)

Mills Strout, Michelle. editor.

(1)

Moniz, Nuno. editor.

(1)

Moodie, Matthew. editor.

(1)

Moore, Jason H. editor.

(1)

Morisio, Maurizio. editor.

(1)

Moshiri, Siavash. author.

(1)

Muntean, Gabriel-Miro. author.

(1)

Murgante, Beniamino. editor. (orcid)

(1)

Mínguez, Roberto. author.

(1)

Müller, Hausi A. editor.

(1)

Müller, Matthias S. editor.

(1)

Nagar, Atulya. editor.

(1)

Nagel, Wolfgang E. editor.

(1)

Natarajan, R. editor.

(1)

Nazareth, John Lawrence. author.

(1)

Neustein, Amy. editor.

(1)

Neves-Silva, Rui. editor.

(1)

Ngonga, Axel. editor.

(1)

Nishiuchi, Nobuyuki. editor.

(1)

Oetsch, Johannes. editor.

(1)

Ogawa, Mizuhito. editor.

(1)

Olaru, Sorin. editor.

(1)

Olsson, Mikael. author.

(1)

Tümünü genişlet

Dil

(123)

Yayın Yılı

-

(69)

(19)

(14)

(5)

(3)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

Tümünü genişlet

Konu

Computer science.

(80)

Programming Techniques.

(70)

Software engineering.

(43)

Programming Languages, Compilers, Interpreters.

(37)

Artificial intelligence.

(29)

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

(12)

Algorithm Analysis and Problem Complexity.

(11)

Electronic data processing.

(10)

Operating systems (Computers).

(8)

Operating Systems.

(7)

Software Engineering/Programming and Operating Systems.

(7)

Computational intelligence.

(6)

Computer Science, general.

(6)

Computer system performance.

(6)

(5)

Information Systems Applications (incl. Internet).

(5)

Discrete Mathematics in Computer Science.

(4)

(4)

Information Systems.

(4)

Management of Computing and Information Systems.

(4)

System Performance and Evaluation.

(4)

(3)

Communications Engineering, Networks.

(3)

Computation by Abstract Devices.

(3)

Computer programming.

(3)

Computer simulation.

(3)

Models and Principles.

(3)

Simulation and Modeling.

(3)

Telecommunication.

(3)

Computational Science and Engineering.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computer vision.

(2)

Data Structures.

(2)

Data structures (Computer science).

(2)

Database management.

(2)

Engineering mathematics.

(2)

Information Storage and Retrieval.

(2)

Information storage and retrieval systems.

(2)

Information systems.

(2)

Information theory.

(2)

Mathematical optimization.

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

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

(1)

Business Information Systems.

(1)

C (Computer program language)

(1)

Calculus of Variations and Optimization.

(1)

Calculus of variations.

(1)

Compilers (Computer programs).

(1)

Compilers and Interpreters.

(1)

Composite materials.

(1)

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer Applications.

(1)

Computer System Implementation.

(1)

Computer graphics.

(1)

Computer hardware.

(1)

Computer network architectures.

(1)

Computer science—Mathematics.

(1)

Computing Methodologies.

(1)

Control and Systems Theory.

(1)

Control engineering.

(1)

Control theory.

(1)

Data Encryption.

(1)

Data Storage Representation.

(1)

Data and Information Visualization.

(1)

Data encryption (Computer science).

(1)

Data protection.

(1)

Data transmission systems.

(1)

Derivative securities -- Prices -- Mathematical models.

(1)

Education, Higher.

(1)

Electronics and Microelectronics, Instrumentation.

(1)

(1)

Engineering -- Data processing.

(1)

Engineering, general.

(1)

Environmental monitoring.

(1)

Health Informatics.

(1)

Higher Education.

(1)

History of Computing.

(1)

Information Systems and Communication Service.

(1)

Information visualization.

(1)

Input/Output and Data Communications.

(1)

Investments -- Mathematical models.

(1)

Management information systems.

(1)

Management science.

(1)

Materials -- Fatigue.

(1)

Materials Fatigue.

(1)

Math Applications in Computer Science.

(1)

Mathematical Methods in Physics.

(1)

Mathematical and Computational Engineering Applications.

(1)

Mathematical physics.

(1)

Mechanical engineering.

(1)

Medical records -- Data processing.

(1)

Metals and Alloys.

(1)

(1)

Microcontrollers -- Programming.

(1)

Microcontrollers.

(1)

Nanotechnology and Microengineering.

(1)

Numeric Computing.

(1)

Numerical analysis.

(1)

Operations Research, Management Science.

(1)

Optical pattern recognition.

(1)

(1)

Pattern Recognition.

(1)

Personal Computing.

(1)

(1)

Probability and Statistics in Computer Science.

(1)

Production scheduling -- Handbooks, manuals, etc.

(1)

Production scheduling.

(1)

Professional and Vocational Education.

(1)

Professional education.

(1)

Project management.

(1)

Psychometrics -- Computer programs.

(1)

(1)

Robotics and Automation.

(1)

SPSS (Computer file)

(1)

SPSS for Windows.

(1)

Science, Technology and Society.

(1)

Securities -- Mathematical models.

(1)

Separation (Technology).

(1)

Separation Science.

(1)

Signal processing.

(1)

Signal, Speech and Image Processing.

(1)

Social sciences -- Computer programs.

(1)

Strategic planning.

(1)

(1)

Systems Theory, Control.

(1)

Systems and Data Security.

(1)

Technology -- Sociological aspects.

(1)

Vocational education.

(1)

Tümünü genişlet

Materyal Türü

Kütüphane

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

123 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 6 .. 11

000000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

One or more items could not be added because you are not logged in.

37.

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part IV için kapak resmi

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

The Semantic Web: ESWC 2023 Satellite Events Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings için kapak resmi

The Semantic Web: ESWC 2023 Satellite Events Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings

The Semantic Web: ESWC 2023 Satellite Events Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings

Yazar

Pesquita, Catia. editor. Skaf-Molli, Hala. editor. Efthymiou, Vasilis. editor. Kirrane, Sabrina. editor. Ngonga, Axel. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-43458-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part II için kapak resmi

Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part II

Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part II

Yazar

Moniz, Nuno. editor. Vale, Zita. editor. Cascalho, José. editor. Silva, Catarina. editor. Sebastião, Raquel. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-49011-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings için kapak resmi

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

Yazar

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)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Parameterized Algorithms için kapak resmi

Parameterized Algorithms

Parameterized Algorithms

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

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

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Parallel Computing Technologies 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings için kapak resmi

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

Yazar

Malyshkin, Victor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Handbook of Genetic Programming Applications için kapak resmi

Handbook of Genetic Programming Applications

Handbook of Genetic Programming Applications

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

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

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 1 için kapak resmi

Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 1

Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 1

Yazar

Das, Kedar Nath. editor. Deep, Kusum. editor. Pant, Millie. editor. Bansal, Jagdish Chand. editor. Nagar, Atulya. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-81-322-2217-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Recent Advances in Swarm Intelligence and Evolutionary Computation için kapak resmi

Recent Advances in Swarm Intelligence and Evolutionary Computation

Recent Advances in Swarm Intelligence and Evolutionary Computation

Yazar

Yang, Xin-She. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Developments in Model-Based Optimization and Control Distributed Control and Industrial Applications için kapak resmi

Developments in Model-Based Optimization and Control Distributed Control and Industrial Applications

Developments in Model-Based Optimization and Control Distributed Control and Industrial Applications

Yazar

Olaru, Sorin. editor. Grancharova, Alexandra. editor. Lobo Pereira, Fernando. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 6 .. 11

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11