Search Results for Information systems.

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

Author

SpringerLink (Online service)

(205)

Aldini, Alessandro. editor.

(5)

Maciaszek, Leszek A. editor.

(5)

Reed, Rick. editor.

(5)

Gorrieri, Roberto. editor.

(4)

Jacko, Julie A. editor.

(4)

Paschke, Adrian. editor.

(4)

Beckert, Bernhard. editor.

(3)

Dix, Jürgen. editor.

(3)

Guelfi, Nicolas. editor.

(3)

Hartman, Alan. editor.

(3)

Higashino, Teruo. editor.

(3)

Małuszyński, Jan. editor.

(3)

Meyer, Bertrand. editor.

(3)

Mezini, Mira. editor.

(3)

Métais, Elisabeth. editor.

(3)

Paige, Richard F. editor.

(3)

Rensink, Arend. editor.

(3)

Stephanidis, Constantine. editor.

(3)

Allemang, Dean. editor.

(2)

Aßmann, Uwe. editor.

(2)

Baroglio, Cristina. editor.

(2)

Cavalcanti, Ana. editor.

(2)

Cortellessa, Vittorio. editor.

(2)

Damiani, Ferruccio. editor.

(2)

Decker, Stefan. editor.

(2)

Filipe, Joaquim. editor.

(2)

France, Robert B. editor.

(2)

Giannakopoulou, Dimitra. editor.

(2)

Gotzhein, Reinhard. editor.

(2)

Governatori, Guido. editor.

(2)

Gray, Jeff. editor.

(2)

Grieskamp, Wolfgang. editor.

(2)

Harrison, Michael D. editor.

(2)

Katz, Shmuel. editor.

(2)

Kienzle, Jörg. editor.

(2)

Kindler, Ekkart. editor.

(2)

Leite, João. editor.

(2)

Marchesi, Michele. editor.

(2)

Marchiori, Massimo. editor.

(2)

Margaria, Tiziana. editor.

(2)

Maynard, Diana. editor.

(2)

Mika, Peter. editor.

(2)

Mizoguchi, Riichiro. editor.

(2)

Nielsen, Brian. editor.

(2)

Nordio, Martin. editor.

(2)

Paech, Barbara. editor.

(2)

Palanque, Philippe. editor.

(2)

Simao, Adenilso. editor.

(2)

Steffen, Bernhard. editor.

(2)

Succi, Giancarlo. editor.

(2)

Ulrich, Andreas. editor.

(2)

Vallecillo, Antonio. editor.

(2)

Weise, Carsten. editor.

(2)

Wolf, Karsten. editor.

(2)

Aberer, Karl. editor.

(1)

Abrahamsson, Pekka. editor.

(1)

Adi, Asaf. editor.

(1)

Akehurst, David H. editor.

(1)

Aksit, Mehmet. editor.

(1)

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

(1)

Aloni, Maria. editor.

(1)

Antoniou, Grigoris. editor.

(1)

Antoš, David. editor.

(1)

Anutariya, Chutiporn. editor.

(1)

Arbab, Farhad. editor.

(1)

Aroyo, Lora M. editor.

(1)

Atkinson, Colin. editor.

(1)

Atzeni, Paolo. editor.

(1)

Babar, Muhammad Ali. editor.

(1)

Barros, Alistair. editor.

(1)

Barthe, Gilles. editor.

(1)

Bassiliades, Nick. editor.

(1)

Bastiaanse, Harald. editor.

(1)

Baumann, Christian. author.

(1)

Baumeister, Hubert. editor.

(1)

Beek, Maurice H. editor.

(1)

Beek, Peter. editor.

(1)

Bellahsène, Zohra. editor.

(1)

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

(1)

Benhamou, Frédéric. editor.

(1)

Benjamins, V. Richard. editor.

(1)

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

(1)

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

(1)

Bernardo, Marco. editor.

(1)

Bessière, Christian. editor.

(1)

Biletskiy, Yevgen. editor.

(1)

Bilgic, Attila. editor.

(1)

Black, Andrew P. editor.

(1)

Blandford, Ann. editor.

(1)

Boer, Frank S. editor.

(1)

Bonatti, Piero A. editor.

(1)

Bononi, Luciano. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Book, Matthias. editor.

(1)

Borba, Paulo. editor.

(1)

Bordbar, Behzad. editor.

(1)

Bouda, Jan. editor.

(1)

Bowen, Jonathan P. editor.

(1)

Brand, Mark. editor.

(1)

Breu, Ruth. editor.

(1)

Broersen, Jan. editor.

(1)

Bruni, Roberto. editor.

(1)

Bry, François. editor.

(1)

Buchs, Didier. editor.

(1)

Butler, Michael. editor.

(1)

Campbell, John A. editor.

(1)

Carette, Jacques. editor.

(1)

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

(1)

Cebulla, Michael. editor.

(1)

Cerro, Luis Fariñas. editor.

(1)

Cervesato, Iliano. editor.

(1)

Cha, Sungdeok (Steve). editor.

(1)

Chen, Liqun. editor. (orcid)0000-0003-2680-4907

(1)

Cheung, David. editor.

(1)

Chiba, Shigeru. editor.

(1)

Choi, Jin-Young. editor.

(1)

Choi, Key-Sun. editor.

(1)

Clarke, Peter. editor.

(1)

Concas, Giulio. editor.

(1)

Consel, Charles. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Cruz, Isabel. editor.

(1)

Cudré-Mauroux, Philippe. editor.

(1)

Cuellar, Jorge. editor.

(1)

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

(1)

Dahll, Gustav. editor.

(1)

Damiani, Ernesto. editor.

(1)

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

(1)

Dams, Dennis R. editor.

(1)

Daniel, Florian. editor.

(1)

Dastani, Mehdi. editor.

(1)

Davies, Jim. editor.

(1)

Dean, Mike. editor.

(1)

Dingel, Juergen. editor.

(1)

Doherty, Gavin. editor.

(1)

Domingue, John. editor.

(1)

Drira, Khalil. editor.

(1)

Drossopoulou, Sophia. editor.

(1)

Duchier, Denys. editor.

(1)

Duddy, Keith. editor.

(1)

Dumas, Marlon. editor.

(1)

Echtle, Klaus. editor.

(1)

Eisinger, Norbert. editor.

(1)

Eiter, Thomas. editor.

(1)

Elgesem, Dag. editor.

(1)

England, David. editor.

(1)

Ernst, Erik. editor.

(1)

Faber, Wolfgang. editor.

(1)

Fahringer, Thomas. author.

(1)

Fallah Seghrouchni, Amal. editor.

(1)

Finin, Timothy. editor.

(1)

Fisher, Michael. editor.

(1)

Fitzgerald, John. editor.

(1)

Fliedl, Günther. editor.

(1)

Franconi, Enrico. editor.

(1)

Funk, Christian. author.

(1)

Gaag, Linda C. editor.

(1)

Gal, Avigdor. editor.

(1)

Garcia-Alfaro, Joaquin. editor.

(1)

Gastin, Paul. editor.

(1)

Gaudin, Emmanuel. editor.

(1)

Gašević, Dragan. editor.

(1)

Gervais, Marie-Pierre. editor.

(1)

Gherbi, Abdelouahed. editor.

(1)

Gheyi, Rohit. editor.

(1)

Ghosh, Sudipto. editor.

(1)

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

(1)

Gil, Yolanda. editor.

(1)

Gilroy, Stephen W. editor.

(1)

Giunchiglia, Fausto. editor.

(1)

Golbeck, Jennifer. editor.

(1)

González-Pérez, César. editor.

(1)

Gorbenko, Anatoliy. editor.

(1)

Gorp, Pieter. editor.

(1)

Gorton, Ian. editor.

(1)

Goubin, Louis. editor.

(1)

Grabowski, Jens. editor.

(1)

Graf, Susanne. editor.

(1)

Graham, T. C. Nicholas. editor.

(1)

Gran, Bjørn Axel. editor.

(1)

Grosky, William I. editor.

(1)

Gruhn, Volker. editor.

(1)

Gurov, Dilian. editor.

(1)

Gutierrez, Claudio. editor.

(1)

Górski, Janusz. editor.

(1)

Hall, John. editor.

(1)

Halpin, Harry. author.

(1)

Hameurlain, Abdelkader. editor.

(1)

Handschuh, Siegfried. editor.

(1)

Harman, Mark. editor.

(1)

Hartmann, Sven. editor.

(1)

Hasegawa, Toru. editor.

(1)

Haupt, Michael. editor.

(1)

Havelund, Klaus. editor.

(1)

Hayes, Ian J. editor.

(1)

Heckel, Reiko. editor.

(1)

Hegner, Stephen J. editor.

(1)

Heineman, George T. editor.

(1)

Henze, Nicola. editor.

(1)

Language

(204)

(1)

Publication Date

-

(30)

(30)

(25)

(24)

(20)

(20)

(17)

(17)

(11)

(11)

Subject

Computer science.

(201)

Software engineering.

(157)

Information Systems.

(100)

Computer Communication Networks.

(95)

Information systems.

(66)

Artificial intelligence.

(48)

Information storage and retrieval systems.

(43)

Logics and Meanings of Programs.

(25)

Multimedia systems.

(19)

Programming Languages, Compilers, Interpreters.

(16)

Computer network architectures.

(15)

(15)

Information Systems Applications (incl. Internet).

(15)

Computer simulation.

(14)

Database management.

(13)

Computer software.

(12)

Management information systems.

(12)

Management of Computing and Information Systems.

(12)

Data encryption (Computer science).

(10)

Operating systems (Computers).

(10)

Data protection.

(7)

Artificial Intelligence (incl. Robotics).

(5)

Computational complexity.

(5)

Information Storage and Retrieval.

(5)

Mathematical Logic and Formal Languages.

(5)

Algebra -- Data processing.

(4)

(4)

Computer system performance.

(4)

Computer Appl. in Administrative Data Processing.

(3)

Data structures (Computer science).

(3)

Programming Techniques.

(3)

Simulation and Modeling.

(3)

Business Information Systems.

(2)

Computer vision.

(2)

Data Mining and Knowledge Discovery.

(2)

Data structures (Computer scienc.

(2)

Operating Systems.

(2)

Special Purpose and Application-Based Systems.

(2)

Telecommunication.

(2)

Translators (Computer programs).

(2)

Algorithm Analysis and Problem Complexity.

(1)

Bioinformatics.

(1)

Computational Biology/Bioinformatics.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer security.

(1)

Computers -- Law and legislation.

(1)

Document Preparation and Text Processing.

(1)

(1)

Economics/Management Science.

(1)

History of Computing.

(1)

Information Systems and Communication Service.

(1)

Software Engineering/Programming and Operating Systems.

(1)

System Performance and Evaluation.

(1)

Systems and Data Security.

(1)

Text processing (Computer science.

(1)

User Interfaces and Human Computer Interaction.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

205 Results Found

Subscribe to search results

1 2 3 4 5 .. 18

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.

13.

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:

14.

Cover image for Information Security 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings

Information Security 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings

Information Security 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings

Author

Chen, Liqun. editor. (orcid)0000-0003-2680-4907 Manulis, Mark. editor. (orcid)0000-0002-1512-9670 Schneider, Steve. editor. (orcid)0000-0001-8365-6993 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-99136-8

Format:

Availability

Online Library~1

Available:
Copies:

15.

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:

16.

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:

17.

Cover image for Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings

Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings

Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings

Author

Smart, Nigel P. editor. (orcid)0000-0003-3567-3304 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-76953-0

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Bidirectional Transformations International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures

Bidirectional Transformations International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures

Bidirectional Transformations International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures

Author

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Stevens, Perdita. editor. (orcid)0000-0002-3975-7612 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

Author

Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Wu, Weigang. editor. (orcid)0000-0002-4714-7021 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-69953-0

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers

Author

Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333558.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Author

Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334354.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

Author

Beek, Maurice H. editor. Lohmann, Niels. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334562.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

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:

24.

Cover image for Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Author

Hinze, Ralf. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335126.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 18

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11