Search Results for Programming (Computers)

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)

(35)

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

(3)

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

(2)

Wichert, Andrzej, author.

(2)

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367

(2)

Agha, Gul. editor.

(1)

Alferes, José Júlio. editor.

(1)

Altmann, Jörn. editor. (orcid)0000-0002-8880-9546

(1)

Anandan, R. editor. (orcid)0000-0001-5461-1040

(1)

Arif, Tariq M., author.

(1)

Atkinson-Abutridy, John.

(1)

Aulinas, Josep, author.

(1)

Bañares, José Ángel. editor. (orcid)0000-0002-4198-8241

(1)

Bhatt, Pramod Kumar, editor.

(1)

Bojańczyk, Mikołaj. editor.

(1)

Brace, Carol, editor.

(1)

Brady, Christopher, 1947- author.

(1)

(1)

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834

(1)

Carden, Lila, editor.

(1)

Cavalli, Ana Rosa. editor.

(1)

Chanda, Debasis, author.

(1)

(1)

Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336

(1)

Cheng, Chih-Hong. editor.

(1)

Codish, Michael. editor.

(1)

Cohen, Ernie. editor.

(1)

Cukurova, Mutlu, author.

(1)

Cybenko, George. editor. (orcid)0000-0001-7734-2912

(1)

(1)

Deng, Lizhen. author.

(1)

Dent, Nicholas (Illustrator)

(1)

Di Eugenio, Barbara, author.

(1)

Djemame, Karim. editor. (orcid)0000-0001-5811-5263

(1)

Esparza, Javier. editor.

(1)

Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667

(1)

Fila, Barbara. editor. (orcid)0000-0002-1824-7621

(1)

Fossati, Davide, author.

(1)

Franch, Xavier. editor. (orcid)0000-0001-9733-8830

(1)

George, Karine, author.

(1)

Ghai, Deepika. editor.

(1)

Giannakopoulou, Dimitra. editor.

(1)

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

(1)

Goundar, Sam. editor.

(1)

Goyal, S. B. editor.

(1)

Green, Nick (Engineer), author.

(1)

Hageback, Niklas, author.

(1)

Hanus, Michael. editor. (orcid)0000-0002-4953-8202

(1)

Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750

(1)

Horváth, Zoltán. editor.

(1)

Hughes, John. editor. (orcid)0000-0001-8042-0969

(1)

Igarashi, Atsushi. editor.

(1)

Islam, Sardar M. N. editor. (orcid)0000-0001-9451-7390

(1)

Jain, Vishal, 1983- editor.

(1)

Jaswal, Gaurav, editor.

(1)

Johansson, Moa. editor. (orcid)0000-0002-1097-8278

(1)

John Wiley & Sons, publisher.

(1)

Kalenkova, Anna. editor.

(1)

Kanhangad, Vivek, editor.

(1)

Karim, Samsul Ariffin Abdul, editor.

(1)

Knecht, Volker, author.

(1)

Kobayashi, Naoki. editor.

(1)

Kroening, Daniel. editor.

(1)

Kulkarni, Anand Jayant, editor.

(1)

Kumar, Prabhat.

(1)

Kumar, Randhir.

(1)

Kumar, Vidyapati. editor.

(1)

Kārttikēyan̲, Pa.

(1)

Lawrence, Calvin (Computer scientist), author.

(1)

Leone, Nicola. editor.

(1)

Lifschitz, Vladimir. author.

(1)

(1)

Luckin, Rosemary, author.

(1)

Lujak, Marin. editor.

(1)

Manna, Marco. editor. (orcid)0000-0003-3323-9328

(1)

Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329

(1)

Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X

(1)

Massink, Mieke. editor. (orcid)0000-0001-5089-002X

(1)

Masuhara, Hidehiko. editor.

(1)

Matsuoka, Satoshi. editor.

(1)

McIver, Annabelle. editor. (orcid)0000-0002-2405-9838

(1)

Meier, Arne. editor. (orcid)0000-0002-8061-5376

(1)

Mesnard, Fred. editor.

(1)

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

(1)

Millington, Ian.

(1)

Myers, Marie, editor.

(1)

Männistö, Tomi. editor. (orcid)0000-0001-7470-5183

(1)

Naldi, Maurizio. editor. (orcid)0000-0002-0903-398X

(1)

Oliveira, José N. editor. (orcid)0000-0002-0196-4229

(1)

Omidshafiei, Shayegan, author.

(1)

Ortiz, Magdalena. editor.

(1)

Osiński, Jędrzej.

(1)

Paes, Aline. editor.

(1)

Pan, Yushan. author. (orcid)0000-0002-6877-3937

(1)

Pande, Hari Mohan.

(1)

Pandey, Pankaj Kumar, editor.

(1)

Pathak, Sunil, editor.

(1)

Perconti, Pietro, author.

(1)

Plebe, Alessio, author.

(1)

Poliks, Marek, editor.

(1)

Porkoláb, Zoltán. editor.

(1)

Pym, David. editor. (orcid)0000-0002-6504-5838

(1)

Rabin, Steven, editor.

(1)

Ramachandra, Raghavendra, editor.

(1)

Roberts, Paul (Game programmer)

(1)

Roberts, Paul (Game programmer), editor.

(1)

Rocha, Ricardo. editor.

(1)

Rybalchenko, Andrey. editor.

(1)

Sabouret, Nicolas, author.

(1)

Salaün, Gwen. editor.

(1)

Santos Costa, Vítor. editor.

(1)

Sarveshwaran, Velliangiri.

(1)

Savin-Baden, Maggi, 1960-

(1)

Schaefer, Ina. editor.

(1)

Semini, Laura. editor. (orcid)0000-0001-8774-2346

(1)

Shibayama, Etsuya. editor.

(1)

Siarry, Patrick, editor.

(1)

Simpson, Alex. editor.

(1)

Singh, Jaspreet, 1976- editor.

(1)

Singh, Sanjay Kumar (Research professional), editor.

(1)

Sjafrie, Hanky, author.

(1)

Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623

(1)

Soeken, Mathias. editor. (orcid)0000-0002-0229-8766

(1)

Solanki, Arun, 1985- editor.

(1)

Stamelos, Ioannis. editor.

(1)

Stuckey, Peter J. editor.

(1)

Stupnikov, Sergey. editor. (orcid)0000-0003-4720-8215

(1)

Sumii, Eijiro. editor.

(1)

Taura, Kenjiro. editor.

(1)

Tayal, Akash, 1973- editor.

(1)

Taylor and Francis.

(1)

Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609

(1)

Trillo, Roberto Alonso, 1983- editor.

(1)

Tripathi, Ashutosh, editor.

(1)

Tuyls, Karl, author.

(1)

Van Horn, David. editor.

(1)

Woeginger, Gerhard. editor.

(1)

Xiao, Perry, author.

(1)

Xu, Guoxia. author.

(1)

Yavorskiy, Rostislav. editor.

(1)

Yee-King, Matthew John, author.

(1)

Zaverucha, Gerson. editor.

(1)

Zhu, Hu. author.

(1)

Zsók, Viktória. editor.

(1)

Ölveczky, Peter Csaba. editor.

(1)

Language

(69)

Publication Date

-

(20)

(14)

(9)

(8)

(7)

(4)

(4)

(1)

(1)

(1)

Subject

Programming languages (Electronic computers).

(31)

COMPUTERS / Computer Graphics / Game Programming & Design

(20)

Software engineering.

(18)

COMPUTERS / Artificial Intelligence

(16)

Computer logic.

(14)

Computer programming.

(12)

COMPUTERS / Computer Science

(8)

COMPUTERS / Programming / Systems Analysis & Design

(8)

(8)

Mathematical logic.

(7)

(5)

Application software.

(5)

COMPUTERS / General

(5)

Computer science.

(5)

Programming Language.

(5)

COMPUTERS / Machine Theory

(4)

Machine learning.

(4)

Blockchains (Databases)

(3)

COMPUTERS / Computer Graphics / Image Processing (see also PHOTOGRAPHY / Techniques / Digital)

(3)

Computational intelligence.

(3)

Computer security.

(3)

Internet of things.

(3)

COMPUTERS / Programming / Software Development

(2)

Computer Communication Networks.

(2)

Computer System Implementation.

(2)

Computer and Information Systems Applications.

(2)

Computer games -- Programming.

(2)

Computer networks .

(2)

Computer systems.

(2)

Computer-assisted instruction.

(2)

(2)

Database management.

(2)

Electronic books.

(2)

Image processing -- Digital techniques.

(2)

Intelligence artificielle.

(2)

Quantum computers.

(2)

Theory of Computation.

(2)

Video games -- Design.

(2)

Application software -- Development

(1)

Application software -- Development.

(1)

Apprentissage profond.

(1)

Architecture, Computer.

(1)

Artificial intelligence

(1)

Artificial intelligence -- Data processing.

(1)

Automation -- Computer programs.

(1)

Automobiles -- Automatic control.

(1)

Automobiles -- Electronic equipment.

(1)

BUSINESS & ECONOMICS / Management Science

(1)

(1)

Biometric identification.

(1)

(1)

C++ (Computer program language)

(1)

COMPUTERS -- Machine Theory.

(1)

COMPUTERS -- Programming -- Games.

(1)

COMPUTERS -- Programming -- General.

(1)

COMPUTERS -- Programming -- Systems Analysis & Design.

(1)

COMPUTERS / Computer Engineering

(1)

COMPUTERS / Computer Vision & Pattern Recognition

(1)

COMPUTERS / Information Technology

(1)

COMPUTERS / Internet / General

(1)

COMPUTERS / Neural Networks

(1)

COMPUTERS / Programming / Algorithms

(1)

COMPUTERS / Programming Languages / Python

(1)

COMPUTERS / Security / General

(1)

(1)

Chaînes de blocs.

(1)

(1)

Cognitive science.

(1)

Communications Engineering, Networks.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer Science Logic and Foundations of Programming.

(1)

Computer Vision & Pattern Recognition.

(1)

Computer algorithms.

(1)

Computer animation.

(1)

Computer crimes.

(1)

Computer games -- Design.

(1)

Computer networks.

(1)

Computer programming

(1)

Computer science -- Mathematics.

(1)

Computer science -- Study and teaching -- Data processing.

(1)

Computer science—Mathematics.

(1)

Computer simulation.

(1)

Computer sound processing.

(1)

Computer system failures.

(1)

Computer vision.

(1)

Computers, Special purpose.

(1)

Consolidation and merger of corporations -- Computer networks.

(1)

Consolidation and merger of corporations -- Mathematical models.

(1)

Cooperating objects (Computer systems).

(1)

Creative ability.

(1)

Cyber-Physical Systems.

(1)

(1)

Data and Information Security.

(1)

Data protection.

(1)

Death -- Social aspects.

(1)

Deep learning (Machine learning)

(1)

Digital forensic science.

(1)

Education -- Effect of technological innovations on.

(1)

Educational technology.

(1)

(1)

Embedded computer systems -- Programming

(1)

Embedded computer systems -- Programming.

(1)

Expert systems (Computer science).

(1)

Formal Languages and Automata Theory.

(1)

GAMES -- Video & Electronic.

(1)

Génie mécanique.

(1)

Heuristic algorithms.

(1)

Image processing -- Digital techniques

(1)

Information technology.

(1)

Internet des objets.

(1)

Internet of things

(1)

Java (Computer program language)

(1)

Java (Langage de programmation)

(1)

Knowledge Based Systems.

(1)

LAW / Forensic Science

(1)

Law and legislation.

(1)

Livres numériques.

(1)

(1)

(1)

Logic programming.

(1)

Logiciels d'application -- Développement.

(1)

Machine theory.

(1)

Mathematical optimization.

(1)

Mathematical statistics.

(1)

Mathematics of Computing.

(1)

Mechanical engineering.

(1)

(1)

Metaheuristics.

(1)

Micro-ordinateurs -- Programmation.

(1)

Microcomputers -- Programming

(1)

Microcomputers -- Programming.

(1)

Microelectronics.

(1)

Microélectronique.

(1)

(1)

(1)

Music -- Computer programs.

(1)

Neural computers.

(1)

Neural networks (Neurobiology)

(1)

Operating Systems.

(1)

Operating systems (Computers).

(1)

(1)

Performing arts.

(1)

Philosophy of mind.

(1)

Physics -- Data processing.

(1)

Plug-ins (Computer programs)

(1)

Process control.

(1)

Programmation (Informatique)

(1)

Programming Techniques.

(1)

(1)

Quantum Communications and Cryptography.

(1)

Quantum Computing.

(1)

Quantum communication.

(1)

Quantum computing.

(1)

(1)

SCIENCE -- Life Sciences -- General.

(1)

SCIENCE / Energy

(1)

SCIENCE / Life Sciences / General

(1)

Special Purpose and Application-Based Systems.

(1)

Sports -- Data processing.

(1)

Sports -- Mathematical models.

(1)

Systems engineering -- Data processing.

(1)

TECHNOLOGY & ENGINEERING.

(1)

TECHNOLOGY / Manufacturing

(1)

Telecommunication.

(1)

User interfaces (Computer systems)

(1)

(1)

(1)

Material Type

Shelf Location

Electronic Library

Taylor Francis E-Book Collection

Wiley E-Book Collection

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

69 Results Found

Subscribe to search results

1 2 3 4 5 6

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 Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Author

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30942-8

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Author

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30985-5

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers

Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers

Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers

Author

Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-14174-5

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Answer Set Programming

Answer Set Programming

Answer Set Programming

Author

Lifschitz, Vladimir. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-24658-7

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings

Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings

Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings

Author

Franch, Xavier. editor. (orcid)0000-0001-9733-8830 Männistö, Tomi. editor. (orcid)0000-0001-7470-5183 Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-35333-9

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers

Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers

Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers

Author

Zsók, Viktória. editor. Porkoláb, Zoltán. editor. Horváth, Zoltán. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-28346-9

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

Author

Lujak, Marin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-17294-7

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers

Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers

Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers

Author

Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Stupnikov, Sergey. editor. (orcid)0000-0003-4720-8215 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-23584-0

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

Author

Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609 Soeken, Mathias. editor. (orcid)0000-0002-0229-8766 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-21500-2

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Author

Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-31784-3

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Artificial intelligence and data mining for mergers and acquisitions

Artificial intelligence and data mining for mergers and acquisitions

Artificial intelligence and data mining for mergers and acquisitions

Author

Chanda, Debasis, author.

Preferred Shelf Number

HD2746.5

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9780429424571
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Author

Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 6

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11