Search Results for Artificial intelligence

|

|

|

|

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: Logic design.

Author

SpringerLink (Online service)

(343)

Voronkov, Andrei. editor.

(11)

Dix, Jürgen. editor.

(7)

Baldoni, Matteo. editor.

(6)

Dastani, Mehdi. editor.

(5)

Dongarra, Jack. editor. (orcid)0000-0003-3247-1782

(5)

Fages, François. editor.

(5)

Leite, João. editor.

(5)

Rossi, Francesca. editor.

(5)

Governatori, Guido. editor.

(4)

Son, Tran Cao. editor.

(4)

Torroni, Paolo. editor.

(4)

Winikoff, Michael. editor.

(4)

Zeugmann, Thomas. editor.

(4)

Bordini, Rafael H. editor.

(3)

Calude, Cristian S. editor.

(3)

Dediu, Adrian-Horia. editor.

(3)

Fallah Seghrouchni, Amal. editor.

(3)

Fu, Haohuan. editor.

(3)

Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X

(3)

Lees, Michael Harold. editor.

(3)

Martín-Vide, Carlos. editor.

(3)

Mayr, Heinrich C. editor.

(3)

Métais, Elisabeth. editor.

(3)

Omicini, Andrea. editor.

(3)

Ossowski, Sascha. editor.

(3)

Riemsdijk, M. Birna. editor.

(3)

Rozenberg, Grzegorz. editor.

(3)

Sardina, Sebastian. editor.

(3)

Sebastiani, Roberto. editor.

(3)

Shi, Yong. editor.

(3)

Sichman, Jaime Simão. editor.

(3)

Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395

(3)

Tian, Yingjie. editor.

(3)

Torre, Leon. editor.

(3)

Vasconcelos, Wamberto. editor.

(3)

Woodcock, Jim. editor.

(3)

Allemang, Dean. editor.

(2)

Baader, Franz. editor.

(2)

Barthe, Gilles. editor.

(2)

Bjørner, Nikolaj. editor.

(2)

Boella, Guido. editor.

(2)

Boissier, Olivier. editor.

(2)

Bonacina, Maria Paola. editor.

(2)

Caro, Jaime. editor.

(2)

Chockler, Hana. editor. (orcid)0000-0003-1219-0713

(2)

Decker, Stefan. editor.

(2)

Deelman, Ewa. editor. (orcid)0000-0001-5106-503X

(2)

Dignum, Virginia. editor.

(2)

Eijk, Rogier M. editor.

(2)

Endriss, Ulle. editor.

(2)

Erdem, Esra. editor.

(2)

Ermolayev, Vadim. editor.

(2)

Etalle, Sandro. editor.

(2)

Fisher, Michael. editor.

(2)

Galmiche, Didier. editor.

(2)

Giesl, Jürgen. editor.

(2)

Gleizes, Marie-Pierre. editor.

(2)

Gomez-Sanz, Jorge J. editor.

(2)

Hagiya, Masami. editor.

(2)

Hill, Patricia M. editor.

(2)

Hinchey, Mike. editor.

(2)

Hähnle, Reiner. editor.

(2)

Johnson, Michael. editor.

(2)

Karczewski, Konrad. editor.

(2)

Kim, Haeng-kon. editor.

(2)

Kim, Tai-hoon. editor.

(2)

Kiumi, Akingbehin. editor.

(2)

Kudenko, Daniel. editor.

(2)

König, Barbara. editor.

(2)

Luck, Michael. editor.

(2)

Margaria, Tiziana. editor.

(2)

Matson, Eric. editor.

(2)

Maynard, Diana. editor.

(2)

Małuszyński, Jan. editor.

(2)

Meseguer, José. editor.

(2)

Middeldorp, Aart. editor.

(2)

Mika, Peter. editor.

(2)

Miller, Dale. editor.

(2)

Mizoguchi, Riichiro. editor.

(2)

Moreno Díaz, Roberto. editor.

(2)

Müller, Jörg P. editor.

(2)

Niemelä, Ilkka. editor.

(2)

Nikitchenko, Mykola. editor.

(2)

Nishizaki, Shin-ya. editor.

(2)

Noriega, Pablo. editor.

(2)

Numao, Masayuki. editor.

(2)

Padget, Julian. editor.

(2)

Padgham, Lin. editor.

(2)

Paulin-Mohring, Christine. editor.

(2)

Pfenning, Frank. editor.

(2)

Pichler, Franz. editor.

(2)

Pontelli, Enrico. editor.

(2)

Quesada Arencibia, Alexis. editor.

(2)

Rajamani, Sriram K. editor.

(2)

Sadananda, Ramakoti. editor.

(2)

Scholz, Sven-Bodo. editor.

(2)

Seki, Shinnosuke. editor.

(2)

Shankar, Natarajan. editor.

(2)

Shi, Zhongzhi. editor.

(2)

Sofronie-Stokkermans, Viorica. editor.

(2)

Spivakovsky, Aleksander. editor.

(2)

Steffen, Bernhard. editor.

(2)

Stephan, Frank. editor.

(2)

Suarez, Merlin Teodosia. editor.

(2)

Timmis, Jon. editor.

(2)

Veith, Helmut. editor.

(2)

Vidal, Germán. editor.

(2)

Vázquez-Salceda, Javier. editor.

(2)

Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X

(2)

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786

(2)

Yli-Jyrä, Anssi. editor.

(2)

Yokota, Rio. editor. (orcid)0000-0001-7573-7873

(2)

Zambonelli, Franco. editor.

(2)

Zholtkevych, Grygoriy. editor.

(2)

Ågotnes, Thomas. editor.

(2)

Abdulla, Parosh Aziz. editor.

(1)

Abe, Jair Minoro. author.

(1)

Aberer, Karl. editor.

(1)

Abreu, Salvador. editor. (orcid)0000-0002-1613-4631

(1)

Adeli, Hojjat. editor.

(1)

Akama, Seiki. author.

(1)

Alam, Sadaf. editor. (orcid)0000-0002-2534-5078

(1)

Albert, Elvira. editor.

(1)

Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829

(1)

Aloni, Maria. editor.

(1)

Alonso, Eduardo. editor.

(1)

Alpuente, María. editor.

(1)

Altenkirch, Thorsten. editor.

(1)

Amgoud, Leila. author.

(1)

Andres, Frederic. editor.

(1)

Antonelli, Laura. editor.

(1)

Antoniou, Grigoris. editor.

(1)

Anutariya, Chutiporn. editor.

(1)

Armando, Alessandro. editor.

(1)

Aroyo, Lora M. editor.

(1)

Artemov, Sergei. editor.

(1)

Artikis, Alexander. editor.

(1)

Asada, Minoru. editor.

(1)

Austin, Todd. editor.

(1)

Avigad, Jeremy. editor.

(1)

Azevedo, Francisco. editor.

(1)

Aßmann, Uwe. editor.

(1)

B. Heras, Dora. editor.

(1)

Baier, Christel. editor. (orcid)0000-0002-5321-9343

(1)

Ball, Thomas. editor.

(1)

Banerjee, Mohua. editor.

(1)

Barahona, Pedro. editor.

(1)

Barley, Michael Wayne. editor.

(1)

Baroglio, Cristina. editor.

(1)

Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038

(1)

Bastiaanse, Harald. editor.

(1)

Baumgartner, Peter. editor.

(1)

Beccuti, Marco. editor.

(1)

Beckert, Bernhard. editor.

(1)

Beek, Peter. editor.

(1)

Bellodi, Elena. editor. (orcid)0000-0002-3717-3779

(1)

Benhamou, Frédéric. editor.

(1)

Benjamins, V. Richard. editor.

(1)

Bentahar, Jamal. editor.

(1)

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093

(1)

Berardi, Stefano. editor.

(1)

Berdine, Josh. editor.

(1)

Beringer, Lennart. editor.

(1)

Bertacco, Valeria. editor.

(1)

Bessière, Christian. editor.

(1)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(1)

Bezhanishvili, Nick. editor.

(1)

Bi, Yuanguo. editor.

(1)

Biere, Armin. editor.

(1)

Birkedal, Lars. editor.

(1)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(1)

Black, Elizabeth. editor. (orcid)0000-0002-4295-449X

(1)

Blazy, Sandrine. editor.

(1)

Blume, Matthias. editor.

(1)

Bodik, Rastislav. editor.

(1)

Bolduc, Claude. editor.

(1)

Bombieri, Nicola. editor.

(1)

Borrione, Dominique. editor.

(1)

Botterweck, Goetz. editor.

(1)

Bouajjani, Ahmed. editor.

(1)

Brandt, Jens. editor.

(1)

Broersen, Jan. editor.

(1)

Bry, François. editor.

(1)

Brünnler, Kai. editor.

(1)

Bshouty, Nader H. editor.

(1)

Bui, The Duy. editor.

(1)

Butler, Michael. editor.

(1)

Butterfield, Andrew. editor.

(1)

Béchet, Denis. editor.

(1)

Cabalar, Pedro. editor.

(1)

Cai, Zhipeng. editor.

(1)

Campbell, John A. editor.

(1)

Cao, Longbing. editor.

(1)

Cardellini, Valeria. editor.

(1)

Carette, Jacques. editor.

(1)

Carlsson, Mats. editor.

(1)

Casalicchio, Emiliano. editor.

(1)

Casanovas, Pompeu. editor. (orcid)0000-0002-0980-2371

(1)

Cerone, Antonio. editor. (orcid)0000-0003-2691-5279

(1)

Language

(343)

Publication Date

-

(50)

(41)

(41)

(40)

(31)

(29)

(29)

(28)

(25)

(19)

(8)

(2)

Subject

Artificial intelligence.

(343)

Computer science.

(317)

Software engineering.

(193)

Computer Communication Networks.

(84)

Computer software.

(56)

Information systems.

(33)

Artificial Intelligence (incl. Robotics).

(31)

Logics and Meanings of Programs.

(31)

Algebra -- Data processing.

(25)

Computational complexity.

(24)

Mathematical Logic and Formal Languages.

(23)

Information storage and retrieval systems.

(18)

Computer network architectures.

(17)

Computer simulation.

(14)

Operating systems (Computers).

(12)

Information theory.

(11)

Bioinformatics.

(10)

Electronic data processing.

(10)

Computer vision.

(9)

(9)

Logic, Symbolic and mathematical.

(8)

Programming Languages, Compilers, Interpreters.

(8)

Algorithm Analysis and Problem Complexity.

(7)

Computation by Abstract Devices.

(7)

Multimedia systems.

(7)

Programming Techniques.

(7)

Computer aided design.

(6)

Computer security.

(6)

Database management.

(6)

Translators (Computer programs).

(6)

Computer hardware.

(5)

Discrete Mathematics in Computer Science.

(5)

Optical pattern recognition.

(5)

Social sciences -- Data processing.

(5)

Computer organization.

(4)

Data protection.

(4)

Information Systems Applications (incl. Internet).

(4)

Computer Science, general.

(3)

Computer system performance.

(3)

(3)

Information Storage and Retrieval.

(3)

Management information systems.

(3)

Text processing (Computer science.

(3)

(2)

(2)

Computational intelligence.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Data Mining and Knowledge Discovery.

(2)

Data structures (Computer scienc.

(2)

(2)

Monoclonal antibodies.

(2)

Architecture, Computer.

(1)

Computational Biology/Bioinformatics.

(1)

Computational linguistics.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer Appl. in Social and Behavioral Sciences.

(1)

Computer communication systems.

(1)

Computer graphics.

(1)

Computer industry.

(1)

Computer logic.

(1)

Computer programming.

(1)

Computers and Education.

(1)

(1)

Data encryption (Computer science).

(1)

Data structures (Computer science).

(1)

Data transmission systems.

(1)

Discrete groups.

(1)

Document Preparation and Text Processing.

(1)

Engineering mathematics.

(1)

(1)

History of Computing.

(1)

Information and Communication, Circuits.

(1)

Linguistics -- Philosophy.

(1)

(1)

Math Applications in Computer Science.

(1)

Mathematical logic.

(1)

Medical records -- Data processing.

(1)

Memory management (Computer scie.

(1)

Operations research.

(1)

Pattern Recognition.

(1)

Philosophy (General).

(1)

(1)

Programming languages (Electronic computers).

(1)

Science -- Philosophy.

(1)

Simulation and Modeling.

(1)

Symbolic and Algebraic Manipulation.

(1)

Systems and Data Security.

(1)

Theory of Computation.

(1)

User Interfaces and Human Computer Interaction.

(1)

User interfaces (Computer systems).

(1)

Material Type

Shelf Location

Electronic Library

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

343 Results Found

Subscribe to search results

1 .. 3 4 5 6 7 .. 29

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 High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers

High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers

High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers

Author

Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Shalf, John. editor. Alam, Sadaf. editor. (orcid)0000-0002-2534-5078 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

Author

Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-99927-2

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

Author

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Unconventional Computation and Natural Computation 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings

Unconventional Computation and Natural Computation 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings

Unconventional Computation and Natural Computation 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings

Author

Stepney, Susan. editor. (orcid)0000-0003-3146-5401 Verlan, Sergey. editor. (orcid)0000-0001-7800-1618 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Author

Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

Author

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-78054-2

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Author

Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829 Gallagher, John P. editor. (orcid)0000-0001-6984-7419 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Logics for Computer Science Classical and Non-Classical

Logics for Computer Science Classical and Non-Classical

Logics for Computer Science Classical and Non-Classical

Author

Wasilewska, Anita. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-92591-2

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings

DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings

DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings

Author

Doty, David. editor. (orcid)0000-0002-3922-172X Dietz, Hendrik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Author

Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Ober, Iulian. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Author

Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-72056-2

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

Author

Butler, Michael. editor. Raschke, Alexander. editor. Hoang, Thai Son. editor. Reichl, Klaus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 3 4 5 6 7 .. 29

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11