Search Results for Programming (Computers)

|

|

|

|

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:

+

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

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

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

50.

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:

51.

Cover image for Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Author

Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

Author

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Leone, Nicola. editor. Manna, Marco. editor. (orcid)0000-0003-3323-9328 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Author

Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30446-1

Format:

Availability

Online Library~1

Available:
Copies:

54.

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:

55.

Cover image for Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Author

Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Computing and Software Science State of the Art and Perspectives

Computing and Software Science State of the Art and Perspectives

Computing and Software Science State of the Art and Perspectives

Author

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

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 Practical Java® programming for IoT, AI, and Blockchain

Practical Java® programming for IoT, AI, and Blockchain

Practical Java® programming for IoT, AI, and Blockchain

Author

Xiao, Perry, author.

Preferred Shelf Number

QA76.73 .J38 X536 2019 EB

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119560050

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 Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-45234-9

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

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11