Search Results for Programming Techniques.

|

|

|

|

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:

+

Shelf Location: Electronic Library

Author

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)

Language

(123)

Publication Date

-

(69)

(19)

(14)

(5)

(3)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

Subject

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)

Material Type

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

123 Results Found

Subscribe to search results

1 2 3 4 5 6 .. 11

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

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings

Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings

Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings

Author

Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-42823-4

Format:

Availability

Online Library~1

Available:
Copies:

3.

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

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for AI, IoT, Big Data and Cloud Computing for Industry 4.0

AI, IoT, Big Data and Cloud Computing for Industry 4.0

AI, IoT, Big Data and Cloud Computing for Industry 4.0

Author

Neustein, Amy. editor. Mahalle, Parikshit N. editor. Joshi, Prachi. editor. Shinde, Gitanjali Rahul. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Recent Advances in Swarm Intelligence and Evolutionary Computation

Recent Advances in Swarm Intelligence and Evolutionary Computation

Recent Advances in Swarm Intelligence and Evolutionary Computation

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

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

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

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

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

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

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Evolutionary Constrained Optimization

Evolutionary Constrained Optimization

Evolutionary Constrained Optimization

Author

Datta, Rituparna. editor. Deb, Kalyanmoy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-81-322-2184-5

Format:

Availability

Online Library~1

Available:
Copies:

10.

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

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

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

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 6 .. 11

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11