Search Results for Logic design

|

|

|

|

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)

(358)

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)

Castillo, Oscar. editor.

(4)

Governatori, Guido. editor.

(4)

Melin, Patricia. 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)

Hinchey, Mike. 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)

Hähnle, Reiner. editor.

(2)

Johnson, Michael. editor.

(2)

Kacprzyk, Janusz. 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)

Panigrahi, Bijaya Ketan. 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)

Ahmad, Badlishah. 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)

Bansal, Jagdish Chand. 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)

Bhattacharya, Alakananda. author.

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

Language

(359)

Publication Date

-

(51)

(41)

(41)

(40)

(31)

(30)

(29)

(28)

(25)

(19)

(9)

(8)

(6)

(1)

Subject

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

Computational intelligence.

(14)

Computer simulation.

(14)

Information theory.

(13)

Operating systems (Computers).

(12)

Bioinformatics.

(10)

Computer vision.

(10)

Electronic data processing.

(10)

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

Signal processing.

(4)

Signal, Speech and Image Processing.

(4)

Computer Science, general.

(3)

Computer system performance.

(3)

Data structures (Computer science).

(3)

(3)

(3)

Information Storage and Retrieval.

(3)

Management information systems.

(3)

Text processing (Computer science.

(3)

(2)

(2)

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Control engineering.

(2)

Control, Robotics, Automation.

(2)

Data Mining and Knowledge Discovery.

(2)

Data Structures and Information Theory.

(2)

Data structures (Computer scienc.

(2)

Engineering mathematics.

(2)

(2)

Monoclonal antibodies.

(2)

(2)

User Interfaces and Human Computer Interaction.

(2)

User interfaces (Computer systems).

(2)

Architecture, Computer.

(1)

Communications Engineering, Networks.

(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 networks -- Security measures.

(1)

Computer programming.

(1)

Computers and Education.

(1)

(1)

Data encryption (Computer science).

(1)

Data transmission systems.

(1)

Discrete groups.

(1)

Document Preparation and Text Processing.

(1)

Embedded Systems.

(1)

Embedded computer systems.

(1)

Expert systems (Computer science)

(1)

History of Computing.

(1)

Human-computer interaction.

(1)

Industrial and Production Engineering.

(1)

Industrial engineering.

(1)

Information and Communication, Circuits.

(1)

Internet of things.

(1)

Linguistics -- Philosophy.

(1)

(1)

Math Applications in Computer Science.

(1)

Mathematical Models of Cognitive Processes and Neural Networks.

(1)

Mathematical logic.

(1)

Mathematical optimization.

(1)

Mechanical engineering.

(1)

Medical records -- Data processing.

(1)

Memory management (Computer scie.

(1)

Mobile and Network Security.

(1)

Neural networks (Computer science) .

(1)

Operations research.

(1)

(1)

Pattern Recognition.

(1)

Philosophy (General).

(1)

(1)

Production engineering.

(1)

Programming languages (Electronic computers).

(1)

Science -- Philosophy.

(1)

Simulation and Modeling.

(1)

Sustainability.

(1)

Symbolic and Algebraic Manipulation.

(1)

Systems and Data Security.

(1)

Telecommunication.

(1)

Theory of Computation.

(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

359 Results Found

Subscribe to search results

1 .. 3 4 5 6 7 .. 30

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 Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

Author

Kari, Jarkko. editor. (orcid)0000-0003-0670-6138 Ulidowski, Irek. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

Author

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Ricca, Francesco. editor. Parent, Xavier. editor. Roman, Dumitru. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings

Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings

Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings

Author

Ciucci, Davide. editor. (orcid)0000-0002-8083-7809 Pasi, Gabriella. editor. (orcid)0000-0002-6080-8170 Vantaggi, Barbara. editor. (orcid)0000-0002-3651-3743 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

Author

Seipel, Dietmar. editor. Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Abreu, Salvador. editor. (orcid)0000-0002-1613-4631 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

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:

54.

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:

55.

Cover image for Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings

Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings

Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings

Author

Li, Lian. editor. Lu, Pinyan. editor. He, Kun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-2712-4

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Author

Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

Author

Fischer, Bernd. editor. (orcid)0000-0002-1815-218X Uustalu, Tarmo. editor. (orcid)0000-0002-1297-0579 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

Author

Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings

Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings

Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings

Author

Zhang, Feng. editor. (orcid)0000-0003-1983-7321 Zhai, Jidong. editor. Snir, Marc. editor. Jin, Hai. editor. Kasahara, Hironori. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

Author

McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Horvath, Andras. editor. (orcid)0000-0002-8210-545X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

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

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11