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

Narrowed by:

+

Subject: Artificial intelligence.

Author

SpringerLink (Online service)

(86)

Beck, J. Christopher. editor.

(2)

Bramer, Max. author.

(2)

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

(2)

Farhaoui, Yousef. editor.

(2)

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

(2)

Milano, Michela. editor.

(2)

Perner, Petra. editor.

(2)

Schmidt, Renate A. editor.

(2)

Voronkov, Andrei. editor.

(2)

Abreu, Salvador. editor.

(1)

Achterberg, Tobias. editor.

(1)

Aiello, Marco. editor. (orcid)0000-0002-0764-2124

(1)

Alam, Mehwish. editor. (orcid)0000-0002-7867-6612

(1)

Albert, Elvira. editor.

(1)

Almisreb, Ali Abd. editor.

(1)

Artho, Cyrille. editor.

(1)

Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408

(1)

Balduccini, Marcello. editor.

(1)

Bansal, Jagdish Chand. editor.

(1)

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

(1)

Barták, Roman. editor.

(1)

Barzen, Johanna. editor.

(1)

Bazzan, Ana. editor.

(1)

Beldiceanu, Nicolas. editor.

(1)

Bergman, David. author.

(1)

Bertossi, Leopoldo. editor. (orcid)0000-0002-1144-3179

(1)

Bessiere, Christian. editor.

(1)

Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973

(1)

Blazy, Sandrine. editor.

(1)

Blesa, Maria J. editor.

(1)

Blum, Christian. author.

(1)

Blum, Christian. editor.

(1)

Boucheneb, Hanifa. editor.

(1)

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

(1)

Budimac, Zoran. author.

(1)

Burns, Richard. editor. (orcid)0000-0002-3961-438X

(1)

Cabalar, Pedro. editor.

(1)

Cangelosi, Angelo. editor.

(1)

Cervesato, Iliano. author.

(1)

Chechik, Marsha. editor.

(1)

Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990

(1)

Cire, Andre A. author.

(1)

Corchado, Emilio. editor.

(1)

Cossentino, Massimo. editor.

(1)

Costantini, Stefania. editor.

(1)

Cussens, James. editor.

(1)

Cutello, Vincenzo. editor.

(1)

Das, Kedar Nath. editor.

(1)

Dastani, Mehdi. editor.

(1)

Datta, Rituparna. editor.

(1)

De Nicola, Rocco. editor.

(1)

De Raedt, Luc. editor.

(1)

Deb, Kalyanmoy. editor.

(1)

Deep, Kusum. editor.

(1)

Di Nuovo, Alessandro. editor.

(1)

Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286

(1)

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

(1)

Drewes, Frank. editor.

(1)

Duraković, Benjamin. editor. (orcid)0000-0002-3099-0354

(1)

Dustdar, Schahram. editor. (orcid)0000-0001-6872-8821

(1)

Faber, Wolfgang. editor.

(1)

Fallah Seghrouchni, Amal. editor.

(1)

Ferraro, Maria Brigida. editor.

(1)

Filipe, Joaquim. editor.

(1)

Fontaine, Pascal. editor.

(1)

Franconi, Enrico. editor.

(1)

Gabmeyer, Sebastian. editor.

(1)

Gagolewski, Marek. editor.

(1)

Galmiche, Didier. editor.

(1)

Gesese, Genet Asefa. editor. (orcid)0000-0003-3807-7145

(1)

Ghatak, Abhijit. author.

(1)

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

(1)

Giese, Holger. editor.

(1)

Giordani, Paolo. editor.

(1)

Glimm, Birte. editor.

(1)

Goldberg, Andrew V. editor.

(1)

Gomes, Carla. editor.

(1)

Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742

(1)

Gottlob, Georg. editor.

(1)

Grzegorzewski, Przemysław. editor.

(1)

Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X

(1)

Gupta, Gopal. editor. (orcid)0000-0001-9727-0362

(1)

Gurfinkel, Arie. editor.

(1)

Hage, Jurriaan. editor.

(1)

Hentenryck, Pascal. editor.

(1)

Hoeve, Willem-Jan. editor.

(1)

Hollink, Laura. editor. (orcid)0000-0002-6865-0021

(1)

Holmes, John H. editor.

(1)

Hooker, John N. editor.

(1)

Hooker, John. author.

(1)

Howlett, Robert J. editor.

(1)

Hryniewicz, Olgierd. editor.

(1)

Hu, Ting. editor. (orcid)0000-0001-6382-0602

(1)

Hübner, Jomi F. editor.

(1)

Ianni, Giovambattista. editor.

(1)

Igual, Laura. author.

(1)

Inoue, Katsumi. editor.

(1)

Ivanović, Mirjana. author.

(1)

Jain, Lakhmi C. author.

(1)

Jain, Lakhmi C. editor.

(1)

James, Simon. author.

(1)

Janhunen, Tomi. editor.

(1)

Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678

(1)

Johnsen, Einar Broch. editor.

(1)

Joshi, Prachi. editor.

(1)

Jussien, Narendra. editor.

(1)

King, Andy. editor.

(1)

Klašnja-Milićević, Aleksandra. author. (orcid)0000-0002-8023-4776

(1)

Konar, Amit, author.

(1)

Kontchakov, Roman. editor.

(1)

Kotthoff, Lars. editor.

(1)

Kulikov, Alexander S. editor.

(1)

Kühn, Eva. editor.

(1)

Larchey-Wendling, Dominique. editor.

(1)

Legay, Axel. editor.

(1)

Lemanski, Jens. editor. (orcid)0000-0003-3661-4752

(1)

Lembo, Domenico. editor.

(1)

Lemos, Rogério. editor.

(1)

Leymann, Frank. editor. (orcid)0000-0002-9123-259X

(1)

Li, Yupeng. editor.

(1)

Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X

(1)

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

(1)

Lodi, Andrea. editor.

(1)

Logan, Brian. editor.

(1)

Lombardi, Michele. editor.

(1)

Ma, Hui. editor.

(1)

MacCleery, Brian. author.

(1)

Mahalle, Parikshit N. editor.

(1)

Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021

(1)

Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735

(1)

Martín-Vide, Carlos. editor.

(1)

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

(1)

Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091

(1)

McMillan, Ken. editor.

(1)

Middeldorp, Aart. editor.

(1)

Mili, Ali. editor.

(1)

Miller, Dale. editor. (orcid)0000-0003-0274-4954

(1)

Molina, Arturo. author.

(1)

Moore, Jason H. editor.

(1)

Müller, Hausi A. editor.

(1)

Müller, Jörg P. editor.

(1)

Nagar, Atulya. editor.

(1)

Nagel, Kai. editor.

(1)

Nalon, Cláudia. editor.

(1)

Namazi-Rad, Mohammad-Reza. editor.

(1)

Neustein, Amy. editor.

(1)

Neves-Silva, Rui. editor.

(1)

Nijssen, Siegfried. editor.

(1)

Nugues, Pierre M. author.

(1)

Nunes, Ingrid. editor.

(1)

O'Sullivan, Barry. editor.

(1)

Oetsch, Johannes. editor.

(1)

Ofria, Charles. editor.

(1)

Ohwada, Hayato. editor.

(1)

Padgham, Lin. editor.

(1)

Pant, Millie. editor.

(1)

Pastor, Oscar. editor. (orcid)0000-0002-1320-8471

(1)

Pavone, Mario. editor. (orcid)0000-0003-3421-3293

(1)

Pedreschi, Dino. editor.

(1)

Peled, Doron. editor.

(1)

Perez, Pascal. editor.

(1)

Perny, Patrice. editor.

(1)

Perron, Laurent. editor.

(1)

Pinson, Éric. editor.

(1)

Pirlot, Marc. editor.

(1)

Ponce-Cruz, Pedro. author.

(1)

Popow, Christian. editor. (orcid)0000-0002-0496-1453

(1)

Pührer, Jörg. editor.

(1)

Quimper, Claude-Guy. editor.

(1)

Quintián, Héctor. editor.

(1)

Raidl, Günther R. author.

(1)

Riguzzi, Fabrizio. editor.

(1)

Ringeissen, Christophe. editor.

(1)

Riolo, Rick. editor.

(1)

Ritchie, Marylyn D. editor.

(1)

Roman, Dumitru. editor.

(1)

Rospocher, Marco. editor. (orcid)0000-0001-9391-3201

(1)

Russo, Alessandra. editor.

(1)

Sacchi, Lucia. editor. (orcid)0000-0002-1390-9825

(1)

Sadri, Fariba. editor.

(1)

Salvagnin, Domenico. editor.

(1)

Seguí, Santi. author.

(1)

Seipel, Dietmar. editor.

(1)

Sellmann, Meinolf. editor.

(1)

Serrano, Manuel. editor.

(1)

Seshia, Sanjit A. editor.

(1)

Shaw, Mary. editor.

(1)

Shinde, Gitanjali Rahul. editor.

(1)

Sirjani, Marjan. editor.

(1)

Smith, Barbara M. editor.

(1)

Son, Tran Cao. editor.

(1)

Staab, Steffen. editor.

(1)

Sundararajan, Srikrishnan. author.

(1)

Taha, Walid. editor.

(1)

Tahar, Sofiène. editor.

(1)

Talbi, El-Ghazali. editor.

(1)

Tomczak, Jakub M. author.

(1)

Tompits, Hans. editor.

(1)

Toth, Paolo. editor.

(1)

Language

(88)

Publication Date

-

(21)

(18)

(16)

(9)

(9)

(4)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Programming Techniques.

(49)

Computer science.

(48)

Computer programming.

(34)

Software engineering.

(27)

Compilers (Computer programs).

(22)

Compilers and Interpreters.

(22)

Formal Languages and Automata Theory.

(20)

Machine theory.

(20)

Artificial Intelligence (incl. Robotics).

(16)

Computer Science Logic and Foundations of Programming.

(14)

Computational intelligence.

(13)

Computational complexity.

(12)

Computer science -- Mathematics.

(11)

Computer software.

(11)

Theory of Computation.

(11)

(9)

Application software.

(9)

Computer and Information Systems Applications.

(9)

Discrete Mathematics in Computer Science.

(9)

Electronic data processing.

(9)

Computer Communication Networks.

(8)

Data Mining and Knowledge Discovery.

(8)

(8)

Computer networks .

(7)

Database management.

(7)

(7)

Logics and Meanings of Programs.

(7)

Mathematical Logic and Formal Languages.

(7)

(5)

Discrete mathematics.

(5)

Algorithm Analysis and Problem Complexity.

(4)

Computer simulation.

(4)

Numerical analysis.

(4)

Operations Research, Management Science.

(4)

Operations research.

(4)

Probability and Statistics in Computer Science.

(4)

Computer Application in Administrative Data Processing.

(3)

Computer Modelling.

(3)

Computer System Implementation.

(3)

Computer systems.

(3)

Electronic digital computers -- Evaluation.

(3)

Information Storage and Retrieval.

(3)

Information storage and retrieval systems.

(3)

Information technology -- Management.

(3)

Management science.

(3)

Mathematical optimization.

(3)

Mathematical statistics.

(3)

Mathematics of Computing.

(3)

System Performance and Evaluation.

(3)

Artificial intelligence -- Data processing.

(2)

(2)

Computer Science, general.

(2)

Data Engineering.

(2)

(2)

Engineering -- Data processing.

(2)

Human-computer interaction.

(2)

Information systems.

(2)

Information theory.

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

Operating Systems.

(2)

Operating systems (Computers).

(2)

Operations Research and Decision Theory.

(2)

(2)

Programming Languages, Compilers, Interpreters.

(2)

Python (Computer program language).

(2)

(2)

User Interfaces and Human Computer Interaction.

(2)

User interfaces (Computer systems).

(2)

Applications of Mathematics.

(1)

Apprentissage profond.

(1)

Artificial intelligence

(1)

Automated Pattern Recognition.

(1)

(1)

Brain -- Computer simulaion.

(1)

Business Information Systems.

(1)

Communications Engineering, Networks.

(1)

Computation by Abstract Devices.

(1)

Computational linguistics.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer Engineering and Networks.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer engineering.

(1)

Computer vision.

(1)

Computer-Aided Engineering (CAD, CAE) and Design.

(1)

Computer-aided engineering.

(1)

Computers and Society.

(1)

Computers and civilization.

(1)

Computers, Special purpose.

(1)

Control Structures and Microprogramming.

(1)

Data Analysis and Big Data.

(1)

Data Structures and Information Theory.

(1)

Data structures (Computer science).

(1)

Deep learning (Machine learning)

(1)

Design and Analysis of Algorithms.

(1)

Digital Education and Educational Technology.

(1)

Discrete Optimization.

(1)

Données volumineuses.

(1)

Educational technology.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Information Systems Applications (incl. Internet).

(1)

Information Systems and Communication Service.

(1)

Intelligence artificielle.

(1)

Machine learning.

(1)

Management information systems.

(1)

Math Applications in Computer Science.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical statistics -- Data processing.

(1)

(1)

Mechanical engineering.

(1)

Microprogramming .

(1)

Numeric Computing.

(1)

Pattern recognition systems.

(1)

(1)

Probability Theory.

(1)

Programming Language.

(1)

Programming languages (Electronic computers).

(1)

Quantitative research.

(1)

R (Computer program language)

(1)

R (Langage de programmation)

(1)

Signal processing.

(1)

Signal, Speech and Image Processing.

(1)

Simulation and Modeling.

(1)

Soft computing.

(1)

Software Engineering/Programming and Operating Systems.

(1)

Special Purpose and Application-Based Systems.

(1)

Statistics and Computing.

(1)

Statistics in Engineering, Physics, Computer Science, Chemistry and Earth Sciences.

(1)

(1)

Telecommunication.

(1)

Material Type

Shelf Location

Electronic Library

Wiley E-Book Collection

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

88 Results Found

Subscribe to search results

1 .. 3 4 5 6 7 8

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 Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Author

Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-61467-0

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Artificial Intelligence in Medicine 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings

Artificial Intelligence in Medicine 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings

Artificial Intelligence in Medicine 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings

Author

ten Teije, Annette. editor. Popow, Christian. editor. (orcid)0000-0002-0496-1453 Holmes, John H. editor. Sacchi, Lucia. editor. (orcid)0000-0002-1390-9825 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Reasoning Web. Semantic Interoperability on the Web 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures

Reasoning Web. Semantic Interoperability on the Web 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures

Reasoning Web. Semantic Interoperability on the Web 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures

Author

Ianni, Giovambattista. editor. Lembo, Domenico. editor. Bertossi, Leopoldo. editor. (orcid)0000-0002-1144-3179 Faber, Wolfgang. editor. Glimm, Birte. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Author

De Nicola, Rocco. editor. Kühn, Eva. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

Author

Serrano, Manuel. editor. Hage, Jurriaan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Principles of Data Mining

Principles of Data Mining

Principles of Data Mining

Author

Bramer, Max. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4471-7307-6

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings

Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings

Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings

Author

Perner, Petra. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Decision Diagrams for Optimization

Decision Diagrams for Optimization

Decision Diagrams for Optimization

Author

Bergman, David. author. Cire, Andre A. author. van Hoeve, Willem-Jan. author. Hooker, John. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Author

Artho, Cyrille. editor. Legay, Axel. editor. Peled, Doron. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Author

Blazy, Sandrine. editor. Chechik, Marsha. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for An Introduction to Data Analysis using Aggregation Functions in R

An Introduction to Data Analysis using Aggregation Functions in R

An Introduction to Data Analysis using Aggregation Functions in R

Author

James, Simon. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Fuzzy Logic Type 1 and Type 2 Based on LabVIEW™ FPGA

Fuzzy Logic Type 1 and Type 2 Based on LabVIEW™ FPGA

Fuzzy Logic Type 1 and Type 2 Based on LabVIEW™ FPGA

Author

Ponce-Cruz, Pedro. author. Molina, Arturo. author. MacCleery, Brian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 3 4 5 6 7 8

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11