Search Results for Information Storage and Retrieval.

|

|

|

|

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)

(43)

Jacko, Julie A. editor.

(4)

Métais, Elisabeth. editor.

(3)

Stephanidis, Constantine. editor.

(3)

Baroglio, Cristina. editor.

(2)

Decker, Stefan. editor.

(2)

Marchiori, Massimo. editor.

(2)

Małuszyński, Jan. editor.

(2)

Adi, Asaf. editor.

(1)

Allemang, Dean. editor.

(1)

Antoniou, Grigoris. editor.

(1)

Aroyo, Lora M. editor.

(1)

Atzeni, Paolo. editor.

(1)

Aßmann, Uwe. editor.

(1)

Barros, Alistair. editor.

(1)

Bellahsène, Zohra. editor.

(1)

Benjamins, V. Richard. editor.

(1)

Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060

(1)

Blandford, Ann. editor.

(1)

Bonatti, Piero A. editor.

(1)

Campbell, John A. editor.

(1)

Carette, Jacques. editor.

(1)

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

(1)

Cerro, Luis Fariñas. editor.

(1)

Cheung, David. editor.

(1)

Cruz, Isabel. editor.

(1)

Câmpeanu, Cezar. editor. (orcid)0000-0002-9777-3012

(1)

Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496

(1)

Dix, Jürgen. editor.

(1)

Doherty, Gavin. editor.

(1)

Duchier, Denys. editor.

(1)

Eisinger, Norbert. editor.

(1)

Faber, Wolfgang. editor.

(1)

Fahringer, Thomas. author.

(1)

Fliedl, Günther. editor.

(1)

Gaag, Linda C. editor.

(1)

Gal, Avigdor. editor.

(1)

Gil, Yolanda. editor.

(1)

Gilroy, Stephen W. editor.

(1)

Giunchiglia, Fausto. editor.

(1)

Graham, T. C. Nicholas. editor.

(1)

Grosky, William I. editor.

(1)

Halpin, Harry. author.

(1)

Hameurlain, Abdelkader. editor.

(1)

Harrison, Michael D. editor.

(1)

Hegner, Stephen J. editor.

(1)

Henze, Nicola. editor.

(1)

Herzig, Andreas. editor.

(1)

Janowski, Tomasz. editor.

(1)

Jeuring, Johan. editor.

(1)

Kedad, Zoubida. editor.

(1)

Kindler, Ekkart. editor.

(1)

Kop, Christian. editor.

(1)

Kornai, András. editor.

(1)

Lammari, Nadira. editor.

(1)

Lee, Mong Li. editor.

(1)

Lembo, Domenico. editor.

(1)

Liu, Weiru. editor.

(1)

Marie, Christian de Sainte. editor.

(1)

Mayr, Heinrich C. editor.

(1)

Mengin, Jérôme. editor.

(1)

Meziane, Farid. editor.

(1)

Mika, Peter. editor.

(1)

Mizoguchi, Riichiro. editor.

(1)

Mohanty, Hrushikesha. editor.

(1)

Montoyo, Andrés. editor.

(1)

Motta, Enrico. editor.

(1)

Musen, Mark A. editor.

(1)

Muńoz, Rafael. editor.

(1)

Natarajan, Raja. editor.

(1)

Ng, Wilfred. editor.

(1)

Ojo, Adegboyega. editor.

(1)

Pagallo, Ugo. editor. (orcid)0000-0001-7981-8849

(1)

Palanque, Philippe. editor.

(1)

Palmirani, Monica. editor. (orcid)0000-0002-8557-8084

(1)

Pan, Jeff Z. editor.

(1)

Parmentier, Yannick. editor.

(1)

Patranjan, Paula-Lavinia. editor.

(1)

Polleres, Axel. editor.

(1)

Preist, Chris. editor.

(1)

Prodan, Radu. author.

(1)

Raedt, Luc. editor.

(1)

Ram, Sudha. editor.

(1)

Ramanujam, R. editor.

(1)

Ramaswamy, Srini. editor.

(1)

Reis, Gabriel. editor.

(1)

Rezgui, Yacine. editor.

(1)

Sakarovitch, Jacques. editor.

(1)

Sartor, Giovanni. editor. (orcid)0000-0003-2210-0398

(1)

Schaffert, Sebastian. editor.

(1)

Schwabe, Daniel. editor.

(1)

Shi, Zhongzhi. editor.

(1)

Sojka, Petr. editor.

(1)

Sorge, Volker. editor.

(1)

Storey, Veda C. editor.

(1)

Stoutenburg, Suzette. editor.

(1)

Tabet, Said. editor.

(1)

Tolksdorf, Robert. editor.

(1)

Trujillo, Juan C. editor.

(1)

Unland, Rainer. editor.

(1)

Uschold, Mike. editor.

(1)

Villata, Serena. editor. (orcid)0000-0003-3495-493X

(1)

Wagner, Roland. editor.

(1)

Watson, Bruce. editor.

(1)

Wenzel, Makarius. editor.

(1)

Yli-Jyrä, Anssi. editor.

(1)

Yu, Jeffrey Xu. editor.

(1)

van der Aalst, Wil M. P. author.

(1)

Language

(43)

Publication Date

-

(12)

(5)

(5)

(5)

(4)

(4)

(3)

(3)

(2)

Subject

Computer science.

(43)

Information storage and retrieval systems.

(43)

Computer Communication Networks.

(25)

Software engineering.

(21)

Artificial intelligence.

(18)

Multimedia systems.

(16)

Information systems.

(14)

Database management.

(10)

(5)

Information Storage and Retrieval.

(5)

Logics and Meanings of Programs.

(5)

Management information systems.

(4)

Artificial Intelligence (incl. Robotics).

(3)

Computer software.

(3)

Information Systems Applications (incl. Internet).

(3)

Computer simulation.

(2)

Data Mining and Knowledge Discovery.

(2)

Mathematical Logic and Formal Languages.

(2)

Operating systems (Computers).

(2)

Translators (Computer programs).

(2)

Algebra -- Data processing.

(1)

Computational complexity.

(1)

Computer vision.

(1)

Data encryption (Computer science).

(1)

Data structures (Computer scienc.

(1)

Data structures (Computer science).

(1)

Document Preparation and Text Processing.

(1)

History of Computing.

(1)

Information Systems and Communication Service.

(1)

Information Systems.

(1)

Programming Languages, Compilers, Interpreters.

(1)

Simulation and Modeling.

(1)

Text processing (Computer science.

(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

43 Results Found

Subscribe to search results

1 2 3 4

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 Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings

Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings

Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings

Author

Câmpeanu, Cezar. editor. (orcid)0000-0002-9777-3012 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for AI Approaches to the Complexity of Legal Systems AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers

AI Approaches to the Complexity of Legal Systems AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers

AI Approaches to the Complexity of Legal Systems AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers

Author

Pagallo, Ugo. editor. (orcid)0000-0001-7981-8849 Palmirani, Monica. editor. (orcid)0000-0002-8557-8084 Casanovas, Pompeu. editor. (orcid)0000-0002-0980-2371 Sartor, Giovanni. editor. (orcid)0000-0003-2210-0398 Villata, Serena. editor. (orcid)0000-0003-3495-493X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications

Author

Hameurlain, Abdelkader. editor. Wagner, Roland. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496 Grosky, William I. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-58415-6

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings

Author

Gaag, Linda C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334728.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39091-3

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Social Semantics The Search for Meaning on the Web

Social Semantics The Search for Meaning on the Web

Social Semantics The Search for Meaning on the Web

Author

Halpin, Harry. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331289.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-1885-6

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings

Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings

Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings

Author

Faber, Wolfgang. editor. Lembo, Domenico. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334832.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39666-3

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

Author

Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335125.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-41578-4

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings

Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings

Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings

Author

Ng, Wilfred. editor. Storey, Veda C. editor. Trujillo, Juan C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335150.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-41924-9

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Distributed Computing and Internet Technology 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings

Distributed Computing and Internet Technology 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings

Distributed Computing and Internet Technology 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings

Author

Ramanujam, R. editor. Ramaswamy, Srini. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-28073-3

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings

Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings

Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings

Author

Jeuring, Johan. editor. Campbell, John A. editor. Carette, Jacques. editor. Reis, Gabriel. editor. Sojka, Petr. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-31374-5

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings

Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings

Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings

Author

Atzeni, Paolo. editor. Cheung, David. editor. Ram, Sudha. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-34002-4

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Business Process Management 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings

Business Process Management 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings

Business Process Management 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings

Author

Barros, Alistair. editor. Gal, Avigdor. editor. Kindler, Ekkart. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-32885-5

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11