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

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

17.

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:

18.

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:

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 Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

Author

Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.

Preferred Shelf Number

ONLINE(332964.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03089-0

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 Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings

Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings

Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings

Author

Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334711.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings

Author

Drira, Khalil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334714.1)

Electronic Access

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

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