Search Results for Science -- Software.

|

|

|

|

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:

+

Konu: Artificial intelligence.

Author

SpringerLink (Online service)

(311)

Winckler, Marco. editor.

(10)

Voronkov, Andrei. editor.

(9)

Palanque, Philippe. editor.

(8)

Deng, Hepu. editor.

(6)

Kotzé, Paula. editor.

(6)

Lei, Jingsheng. editor.

(6)

Wang, Fu Lee. editor.

(6)

Liu, Honghai. editor.

(5)

Mokhtari, Mounir. editor.

(5)

Rijmen, Vincent. editor.

(5)

Ali, Moonis. editor.

(4)

Boldyreva, Alexandra. editor.

(4)

Campos, Pedro. editor.

(4)

Dastani, Mehdi. editor.

(4)

Graham, Nicholas. editor.

(4)

Jorge, Joaquim. editor.

(4)

Lindgaard, Gitte. editor.

(4)

Marsden, Gary. editor.

(4)

Nunes, Nuno. editor.

(4)

Shumaker, Randall. editor.

(4)

Wesson, Janet. editor.

(4)

Abdulrazak, Bessam. editor.

(3)

Beliczynski, Bartlomiej. editor.

(3)

Delcambre, Lois. editor.

(3)

Dillon, Tharam. editor.

(3)

Fensel, Dieter. author.

(3)

Ganter, Bernhard. editor.

(3)

Kurosu, Masaaki. editor.

(3)

Margaria, Tiziana. editor.

(3)

Meersman, Robert. editor.

(3)

Miao, Duoqian. editor.

(3)

Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985

(3)

Nguyen, Ngoc Thanh. editor.

(3)

Nielsen, Jesper Buus. editor.

(3)

Panetto, Hervé. editor.

(3)

Rakheja, Subhash. editor.

(3)

Steffen, Bernhard. editor.

(3)

Su, Chun-Yi. editor.

(3)

Woodcock, Jim. editor.

(3)

Abascal, Julio. editor.

(2)

Adamatzky, Andrew. editor.

(2)

Baranauskas, Cécilia. editor.

(2)

Barbosa, Simone Diniz Junqueira. editor.

(2)

Beckert, Bernhard. editor.

(2)

Bergamaschi, Sonia. editor.

(2)

Bergmann Tiest, Wouter M. editor.

(2)

Bernstein, Abraham. editor.

(2)

Bjørner, Nikolaj. editor.

(2)

Blomqvist, Eva. editor.

(2)

Bordini, Rafael H. editor.

(2)

Bruijn, Jos. author.

(2)

Bräunl, Thomas. author.

(2)

Coghill, George. editor.

(2)

Cordeiro, José. editor.

(2)

Cossentino, Massimo. editor.

(2)

Cruz, Isabel F. editor.

(2)

Cudré-Mauroux, Philippe. editor.

(2)

Dadam, Peter. editor.

(2)

Dennis, Louise. editor.

(2)

Dobnikar, Andrej. editor.

(2)

Dzielinski, Andrzej. editor.

(2)

Eder, Johann. editor.

(2)

Erdem, Esra. editor.

(2)

Erp, Jan B. F. editor.

(2)

Euzenat, Jérôme. editor.

(2)

Fallah Seghrouchni, Amal. editor.

(2)

Ferscha, Alois. editor.

(2)

Franch, Xavier. editor.

(2)

Gao, Yang. editor.

(2)

Giese, Holger. editor.

(2)

Goertzel, Ben. editor.

(2)

Gramlich, Bernhard. editor.

(2)

Gross, Tom. editor.

(2)

Gulliksen, Jan. editor.

(2)

Hauswirth, Manfred. editor.

(2)

Heflin, Jeff. editor.

(2)

Helm, Frans C. T. editor.

(2)

Hendler, Jim. editor.

(2)

Hsu, Ching-Hsien. editor.

(2)

Hähnle, Reiner. editor.

(2)

Iklé, Matthew. editor.

(2)

Ishai, Yuval. editor.

(2)

Iwanowski, Marcin. editor.

(2)

Johnson, Michael. editor.

(2)

Kappers, Astrid M. L. editor.

(2)

Kasabov, Nikola. editor.

(2)

Komosinski, Maciej. editor.

(2)

Kop, Christian. editor.

(2)

Kronland-Martinet, Richard. editor.

(2)

Köppen, Mario. editor.

(2)

Lausen, Holger. author.

(2)

Lee, Jangmyung. editor.

(2)

Lee, Min Cheol. editor.

(2)

Lemos, Rogério. editor.

(2)

Liu, Zhiming. editor.

(2)

Lotrič, Uroš. editor.

(2)

Mayr, Heinrich C. editor.

(2)

Meseguer, José. editor.

(2)

Miller, Dale. editor.

(2)

Oestreicher, Lars. editor.

(2)

Pan, Jeff Z. editor.

(2)

Park, Jong Hyuk. editor.

(2)

Parreira, Josiane Xavier. editor.

(2)

Pastor, Oscar. editor.

(2)

Pearson, Siani. editor.

(2)

Piattini, Mario. editor.

(2)

Picard, Gauthier. editor.

(2)

Prates, Raquel Oliveira. editor.

(2)

Ribeiro, Bernardete. editor.

(2)

Rinderle-Ma, Stefanie. editor.

(2)

Rudolph, Sebastian. editor.

(2)

Ryu, Jee-Hwan. editor.

(2)

Salinesi, Camille. editor.

(2)

Schewe, Klaus-Dieter. editor.

(2)

Schmidt, Renate A. editor.

(2)

Scholz, Sven-Bodo. editor.

(2)

Schreiber, Guus. editor.

(2)

Shehory, Onn. editor.

(2)

Sirin, Evren. editor.

(2)

Sofronie-Stokkermans, Viorica. editor.

(2)

Son, Tran Cao. editor.

(2)

Staab, Steffen. editor.

(2)

Torre, Leon. editor.

(2)

Tudorache, Tania. editor.

(2)

Veith, Helmut. editor.

(2)

Vidal, Germán. editor.

(2)

Voß, Stefan. editor.

(2)

Wiedijk, Freek. editor.

(2)

Wiil, Uffe Kock. editor.

(2)

Yang, Laurence T. editor.

(2)

Yeo, Sang-Soo. editor.

(2)

Ystad, Sølvi. editor.

(2)

Zhou, Xiaofang. editor.

(2)

Zhu, Huibiao. editor.

(2)

Šter, Branko. editor.

(2)

Abelló, Alberto. editor.

(1)

Aboutajdine, Driss. editor.

(1)

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

(1)

Aiello, Marco. editor.

(1)

Albert, Elvira. editor.

(1)

Aldewereld, Huib. editor.

(1)

Alferes, Jóse Júlio. editor.

(1)

Aloni, Maria. editor.

(1)

Aloulou, Hamdi. editor.

(1)

Alpuente, María. editor.

(1)

Antunes, Luis. editor. (orcid)0000-0002-8237-6524

(1)

Armando, Alessandro. editor.

(1)

Arnellos, Argyris. editor.

(1)

Artikis, Alexander. editor.

(1)

Avigad, Jeremy. editor.

(1)

Aßmann, Uwe. editor.

(1)

Baader, Franz. editor.

(1)

Bach, Joscha. editor.

(1)

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

(1)

Bailey, James. editor.

(1)

Bajec, Marko. editor.

(1)

Balas, Valentina Emilia. editor.

(1)

Baldoni, Matteo. editor.

(1)

Bartneck, Christoph. editor.

(1)

Bastiaanse, Harald. editor.

(1)

Baumgartner, Peter. editor.

(1)

Begum, Shahina. editor. (orcid)0000-0002-1212-7637

(1)

Bellahsene, Zohra. editor.

(1)

Bellatreche, Ladjel. editor.

(1)

Benatallah, Boualem. editor.

(1)

Berghammer, Rudolf. editor.

(1)

Beringer, Lennart. editor.

(1)

Beume, Nicola. editor.

(1)

Beyer, Hans-Georg. editor.

(1)

Bien, Z. Zenn. editor.

(1)

Biere, Armin. editor.

(1)

Birkedal, Lars. editor.

(1)

Biswas, Jit. editor.

(1)

Blankertz, Benjamin. editor.

(1)

Blazy, Sandrine. editor.

(1)

Blume, Matthias. editor.

(1)

Bodik, Rastislav. editor.

(1)

Boella, Guido. editor.

(1)

Boissier, Olivier. editor.

(1)

Bojańczyk, Mikołaj. editor.

(1)

Bonacina, Maria Paola. editor.

(1)

Bongard, Josh. editor.

(1)

Borzemski, Leszek. editor.

(1)

Bosse, Tibor. editor.

(1)

Bouchard, Bruno. editor.

(1)

Bouras, Abdelaziz. editor.

(1)

Brambilla, Marco. editor.

(1)

Brinkkemper, Sjaak. editor.

(1)

Brünnler, Kai. editor.

(1)

Burke, Edmund. editor.

(1)

Butkiene, Rita. editor.

(1)

Butleris, Rimantas. editor.

(1)

Butterfield, Andrew. editor.

(1)

Cabalar, Pedro. editor.

(1)

Cabibihan, John-John. editor.

(1)

Calero, Coral. editor.

(1)

Camp, Olivier. editor.

(1)

Cascini, Gaetano. editor.

(1)

Castano, Silvana. editor.

(1)

Language

(310)

(1)

Publication Date

-

(46)

(42)

(40)

(27)

(27)

(27)

(27)

(25)

(20)

(19)

(9)

(1)

(1)

Subject

Software engineering.

(307)

Computer science.

(296)

(91)

Information systems.

(75)

Artificial Intelligence (incl. Robotics).

(46)

Information storage and retrieval systems.

(38)

Computer software.

(35)

Computer simulation.

(32)

(26)

Computer vision.

(25)

Optical pattern recognition.

(23)

Computational complexity.

(22)

Database management.

(17)

Information Systems Applications (incl. Internet).

(17)

Algebra -- Data processing.

(16)

Mathematical Logic and Formal Languages.

(16)

(15)

Multimedia systems.

(14)

Logics and Meanings of Programs.

(13)

Management information systems.

(13)

Data encryption (Computer science).

(12)

Computer graphics.

(10)

Information theory.

(10)

Computer Communication Networks.

(9)

Electronic data processing.

(9)

(8)

Information Storage and Retrieval.

(8)

Programming Languages, Compilers, Interpreters.

(8)

Programming Techniques.

(8)

User Interfaces and Human Computer Interaction.

(8)

(7)

Algorithm Analysis and Problem Complexity.

(7)

Computer security.

(6)

Computers and Society.

(6)

Social sciences -- Data processing.

(6)

Computer Appl. in Administrative Data Processing.

(5)

Computers and Education.

(5)

Computers and civilization.

(5)

Data protection.

(5)

Discrete Mathematics in Computer Science.

(5)

Information Systems.

(5)

(4)

Pattern Recognition.

(4)

Simulation and Modeling.

(4)

Special Purpose and Application-Based Systems.

(4)

(3)

Bioinformatics.

(3)

Computer Applications.

(3)

Computer Science, general.

(3)

Computer system performance.

(3)

Data structures (Computer science).

(3)

Electronic commerce.

(3)

Image Processing and Computer Vision.

(3)

Management of Computing and Information Systems.

(3)

Natural language processing (Computer science).

(3)

Operating systems (Computers).

(3)

Text processing (Computer science.

(3)

(2)

Business Information Systems.

(2)

Computational intelligence.

(2)

Computer aided design.

(2)

Computer network architectures.

(2)

Programming languages (Electronic computers).

(2)

Software Engineering/Programming and Operating Systems.

(2)

Systems and Data Security.

(2)

Theory of Computation.

(2)

Translators (Computer programs).

(2)

Application software.

(1)

(1)

Computation by Abstract Devices.

(1)

Computational Biology/Bioinformatics.

(1)

Computer communication systems.

(1)

Computer industry.

(1)

Computer programming.

(1)

Computer science—Mathematics.

(1)

Data Mining and Knowledge Discovery.

(1)

Data Structures.

(1)

Data transmission systems.

(1)

Differentiable dynamical systems.

(1)

(1)

Engineering design.

(1)

Engineering mathematics.

(1)

Industrial engineering.

(1)

Innovation/Technology Management.

(1)

Logic, Symbolic and mathematical.

(1)

Mathematical logic.

(1)

Medical records -- Data processing.

(1)

Multimedia Information Systems.

(1)

Order, Lattices, Ordered Algebraic Structures.

(1)

Quantum computing.

(1)

Robotics and Automation.

(1)

Special purpose computers.

(1)

Sustainable Architecture/Green Buildings.

(1)

Sustainable architecture.

(1)

Symbolic and Algebraic Manipulation.

(1)

Systems engineering.

(1)

e-Commerce/e-business.

(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

311 Results Found

Subscribe to search results

1 2 3 4 5 .. 26

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 Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part II

Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part II

Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part II

Author

Ishai, Yuval. editor. Rijmen, Vincent. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Cryptology and Network Security 18th International Conference, CANS 2019, Fuzhou, China, October 25–27, 2019, Proceedings

Cryptology and Network Security 18th International Conference, CANS 2019, Fuzhou, China, October 25–27, 2019, Proceedings

Cryptology and Network Security 18th International Conference, CANS 2019, Fuzhou, China, October 25–27, 2019, Proceedings

Author

Mu, Yi. editor. (orcid)0000-0002-1637-845X Deng, Robert H. editor. (orcid)0000-0003-3491-8146 Huang, Xinyi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-31578-8

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Author

Avigad, Jeremy. editor. Mahboubi, Assia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management 9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings

Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management 9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings

Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management 9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings

Author

Duffy, Vincent G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Information and Software Technologies 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4–6, 2018, Proceedings

Information and Software Technologies 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4–6, 2018, Proceedings

Information and Software Technologies 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4–6, 2018, Proceedings

Author

Damaševičius, Robertas. editor. Vasiljevienė, Giedrė. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Cooperative Design, Visualization, and Engineering 15th International Conference, CDVE 2018, Hangzhou, China, October 21–24, 2018, Proceedings

Cooperative Design, Visualization, and Engineering 15th International Conference, CDVE 2018, Hangzhou, China, October 21–24, 2018, Proceedings

Cooperative Design, Visualization, and Engineering 15th International Conference, CDVE 2018, Hangzhou, China, October 21–24, 2018, Proceedings

Author

Luo, Yuhua. editor. (orcid)0000-0003-3057-4753 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Human-Computer Interaction. Theories, Methods, and Human Issues 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I

Human-Computer Interaction. Theories, Methods, and Human Issues 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I

Human-Computer Interaction. Theories, Methods, and Human Issues 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I

Author

Kurosu, Masaaki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part II

Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part II

Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part II

Author

Shacham, Hovav. editor. Boldyreva, Alexandra. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Symbiotic Interaction 6th International Workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18–19, 2017, Revised Selected Papers

Symbiotic Interaction 6th International Workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18–19, 2017, Revised Selected Papers

Symbiotic Interaction 6th International Workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18–19, 2017, Revised Selected Papers

Author

Ham, Jaap. editor. (orcid)0000-0003-1703-5165 Spagnolli, Anna. editor. Blankertz, Benjamin. editor. Gamberini, Luciano. editor. Jacucci, Giulio. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Web Engineering 18th International Conference, ICWE 2018, Cáceres, Spain, June 5-8, 2018, Proceedings

Web Engineering 18th International Conference, ICWE 2018, Cáceres, Spain, June 5-8, 2018, Proceedings

Web Engineering 18th International Conference, ICWE 2018, Cáceres, Spain, June 5-8, 2018, Proceedings

Author

Mikkonen, Tommi. editor. (orcid)0000-0002-8540-9918 Klamma, Ralf. editor. (orcid)0000-0002-2296-3401 Hernández, Juan. editor. (orcid)0000-0002-6343-7395 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Artificial Intelligence and Mobile Services – AIMS 2018 7th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

Artificial Intelligence and Mobile Services – AIMS 2018 7th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

Artificial Intelligence and Mobile Services – AIMS 2018 7th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

Author

Aiello, Marco. editor. Yang, Yujiu. editor. Zou, Yuexian. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living 16th International Conference, ICOST 2018, Singapore, Singapore, July 10-12, 2018, Proceedings

Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living 16th International Conference, ICOST 2018, Singapore, Singapore, July 10-12, 2018, Proceedings

Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living 16th International Conference, ICOST 2018, Singapore, Singapore, July 10-12, 2018, Proceedings

Author

Mokhtari, Mounir. editor. Abdulrazak, Bessam. editor. Aloulou, Hamdi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 26

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11