Search Results for Computer systems

|

|

|

|

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: Machine theory.

Author

SpringerLink (Online service)

(83)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(7)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(5)

Bekki, Daisuke. editor.

(2)

Chaudhuri, Swarat. editor.

(2)

Câmpeanu, Cezar. editor.

(2)

Debruyne, Christophe. editor.

(2)

Farzan, Azadeh. editor.

(2)

Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634

(2)

Hameurlain, Abdelkader. editor.

(2)

Kurahashi, Setsuya. editor. (orcid)0000-0002-3388-109X

(2)

Küng, Josef. editor.

(2)

Martín-Vide, Carlos. editor.

(2)

Ortiz, Magdalena. editor.

(2)

Panetto, Hervé. editor. (orcid)0000-0002-5537-2261

(2)

Roman, Dumitru. editor.

(2)

Satoh, Ken. editor.

(2)

Wagner, Roland. editor.

(2)

Wang, Zhe. editor.

(2)

Adami, André. editor.

(1)

Adorni, Giovanni. editor.

(1)

Aickelin, Uwe. editor.

(1)

Aiswarya, C. editor. (orcid)0000-0002-4878-7581

(1)

Alam, Mehwish. editor. (orcid)0000-0002-7867-6612

(1)

Albert, Elvira. editor.

(1)

Alferes, Jose Julio. editor.

(1)

An, Bo. editor.

(1)

Antoniou, Grigoris. editor.

(1)

Arai, Sachiyo. editor.

(1)

Ardagna, Claudio Agostino. editor. (orcid)0000-0001-7426-4795

(1)

Artemov, Sergei. editor.

(1)

Ayala-Rincón, Mauricio. author.

(1)

Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408

(1)

Basili, Roberto. editor. (orcid)0000-0001-5140-0694

(1)

Bazzan, Ana. editor.

(1)

Bernardo, Marco. editor.

(1)

Bertossi, Leopoldo. editor.

(1)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(1)

Bogomolov, Sergiy. editor.

(1)

Bollen, Peter. editor.

(1)

Bond, Francis. editor.

(1)

Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551

(1)

Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618

(1)

Bouraoui, Zied. editor.

(1)

Bowen, Judy. editor.

(1)

Branco, António. editor.

(1)

Broering, Arne. editor.

(1)

Buitelaar, Paul. editor.

(1)

Bursa, Miroslav. editor.

(1)

Cagnoni, Stefano. editor.

(1)

Camelin, Nathalie. editor.

(1)

Carrascosa, Carlos. editor.

(1)

Chiarcos, Christian. editor.

(1)

Choemprayong, Songphan. editor.

(1)

Chopra, Amit K. editor.

(1)

Ciuciu, Ioana. editor.

(1)

Costantini, Stefania. editor.

(1)

Crestani, Fabio. editor.

(1)

Criado Pacheco, Natalia. editor.

(1)

Cunningham, Sally Jo. editor.

(1)

Cámara, Javier. editor.

(1)

Damigos, Matthew. editor. (orcid)0000-0003-0431-1482

(1)

Dang, Tran Khanh. editor. (orcid)0000-0002-7282-3589

(1)

Darmont, Jérôme. editor.

(1)

De Nicola, Rocco. editor.

(1)

Decker, Hendrik. editor.

(1)

Dix, Alan. editor.

(1)

Dong, Jin Song. editor.

(1)

Dragoni, Mauro. editor. (orcid)0000-0003-0380-6571

(1)

England, Matthew. editor.

(1)

Ernst, Gidon. editor. (orcid)0000-0002-3289-5764

(1)

Esposito, Floriana. editor.

(1)

Estève, Yannick. editor.

(1)

Fensel, Anna. editor.

(1)

Ferilli, Stefano. editor.

(1)

Filipe, Joaquim. editor.

(1)

Fodor, Paul. editor.

(1)

Foster, Simon. editor. (orcid)0000-0002-9889-9514

(1)

Franconi, Enrico. editor.

(1)

Frank, Ulrich. editor.

(1)

Frasincar, Flavius. editor. (orcid)0000-0002-8031-758X

(1)

Friedrich, Gerhard. editor.

(1)

Fränzle, Martin. editor.

(1)

Gaaloul, Walid. editor.

(1)

Gamper, Johann. editor. (orcid)0000-0002-2162-4918

(1)

Ganty, Pierre. editor. (orcid)0000-0002-3625-6003

(1)

Gargantini, Angelo. editor. (orcid)0000-0002-4035-0131

(1)

Gesese, Genet Asefa. editor. (orcid)0000-0003-3807-7145

(1)

Geuvers, Herman. editor.

(1)

Ghosh, Sujata. editor.

(1)

Gopal, T.V. editor.

(1)

Gori, Marco. editor.

(1)

Governatori, Guido. editor.

(1)

Gracia, Jorge. editor.

(1)

Graf, Susanne. editor. (orcid)0000-0003-4354-6807

(1)

Guiochet, Jérémie. editor.

(1)

Gyssens, Marc. editor.

(1)

Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023

(1)

Hankin, Chris. editor.

(1)

Hansen, René Rydhof. editor.

(1)

Hasan, Osman. editor.

(1)

Hellmann, Sebastian. editor.

(1)

Helmert, Malte. editor.

(1)

Hillston, Jane. editor. (orcid)0000-0003-4914-9255

(1)

Hinchey, Mike. editor.

(1)

Hirayama, Katsutoshi. editor.

(1)

Hnoohom, Narit. editor.

(1)

Hollink, Laura. editor. (orcid)0000-0002-6865-0021

(1)

Holzinger, Andreas. editor.

(1)

Hu, Wei. editor.

(1)

Huang, Zhisheng. editor.

(1)

Hudec, Miroslav. author.

(1)

Ittoo, Ashwin. editor.

(1)

Jimenez-Ruiz, Ernesto. editor.

(1)

Johansson, Moa. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Jongmans, Sung-Shik. editor.

(1)

Julian, Vicente. editor.

(1)

Julián Inglada, Vicente. editor. (orcid)0000-0002-2743-6037

(1)

Jäger, Gerhard. editor.

(1)

Kakas, Antonis. editor.

(1)

Ketcham, Mahasak. editor.

(1)

Khuri, Sami. editor.

(1)

Kirikova, Mārīte. editor.

(1)

Klimenko, Stanislav. editor.

(1)

Knapp, Alexander. editor. (orcid)0000-0002-4050-3249

(1)

Kohlhase, Andrea. editor. (orcid)0000-0001-5384-6702

(1)

Kohlhase, Michael. editor.

(1)

Kontchakov, Roman. editor.

(1)

Kovács, Laura. editor. (orcid)0000-0002-8299-2714

(1)

Kozaki, Kouji. editor.

(1)

Král, Pavel. editor.

(1)

Kulikov, Alexander S. editor.

(1)

Kunčak, Viktor. editor.

(1)

Lanese, Ivan. editor. (orcid)0000-0003-2527-9995

(1)

Leite, João. editor.

(1)

Leuschel, Michael. editor. (orcid)0000-0002-4595-1518

(1)

Li, Yuan-Fang. editor.

(1)

Lisi, Francesca A. editor.

(1)

Liu, Yang. editor.

(1)

Loreti, Michele. editor.

(1)

Majumdar, Rupak. editor.

(1)

Manea, Florin. editor.

(1)

Maratea, Marco. editor.

(1)

Markey, Nicolas. editor.

(1)

Marmsoler, Diego. editor. (orcid)0000-0003-2859-7673

(1)

Martel, Matthieu. editor.

(1)

McCrae, John P. editor. (orcid)0000-0002-7227-1331

(1)

Meersman, Robert. editor.

(1)

Meier, Arne. editor. (orcid)0000-0002-8061-5376

(1)

Meyer, Bertrand. editor.

(1)

Michael, Loizos. editor.

(1)

Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424

(1)

Miller, Bruce. editor.

(1)

Mohammed, Mohssen, 1982, author.

(1)

Métais, Elisabeth. editor.

(1)

Nafz, Florian. editor. (orcid)0000-0001-5725-4827

(1)

Nerode, Anil. editor.

(1)

Nguyen, Le Minh. editor. (orcid)0000-0002-2265-1010

(1)

Numao, Masayuki. editor.

(1)

Nørvåg, Kjetil. editor. (orcid)0000-0002-4250-9329

(1)

Ohta, Yuiko. editor.

(1)

Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142

(1)

Osman, Nardine. editor.

(1)

Ota, Yuiko. editor.

(1)

Otake, Mihoko. editor.

(1)

Palanque, Philippe. editor. (orcid)0000-0002-5381-971X

(1)

Pan, Jeff Z. editor.

(1)

Papadopoulos, George A. editor.

(1)

Papatheodorou, Christos. editor. (orcid)0000-0002-9025-6469

(1)

Papazoglou, Mike. editor.

(1)

Paschke, Adrian. editor. (orcid)0000-0003-3156-9040

(1)

Pathan, Al-Sakib Khan.

(1)

Peters, James F. editor.

(1)

Pettersson, Paul. editor. (orcid)0000-0003-4040-3480

(1)

Pighizzini, Giovanni. editor.

(1)

Podnar Žarko, Ivana. editor.

(1)

Ponsar, Hella. editor. (orcid)0000-0001-6376-9683

(1)

Poveda-Villalón, María. editor.

(1)

Prabhakar, Pavithra. editor.

(1)

Pramkeaw, Patiyuth. editor.

(1)

Prasad, Sanjiva. editor.

(1)

Probst, Christian W. editor.

(1)

Qi, Guilin. editor.

(1)

Quaresma, Paulo. editor.

(1)

Rabe, Florian. editor.

(1)

Renda, M. Elena. editor.

(1)

Ribeiro, Ricardo. editor.

(1)

Riccobene, Elvinia. editor. (orcid)0000-0002-1400-1026

(1)

Rizzi, Stefano. editor.

(1)

Rospocher, Marco. editor. (orcid)0000-0001-9391-3201

(1)

Rovatsos, Michael. editor.

(1)

Sadri, Fariba. editor.

(1)

Salaba, Athena. editor. (orcid)0000-0002-1694-4052

(1)

Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X

(1)

Sartori, Fabio. editor. (orcid)0000-0002-5038-9785

(1)

Sauerwald, Kai. editor. (orcid)0000-0002-1551-7016

(1)

Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624

(1)

Schellhorn, Gerhard. editor. (orcid)0000-0001-6712-7178

(1)

Schiendorfer, Alexander. editor. (orcid)0000-0002-5283-5304

(1)

Language

(84)

Publication Date

-

(31)

(31)

(12)

(9)

(1)

Subject

Formal Languages and Automata Theory.

(83)

Application software.

(53)

Computer and Information Systems Applications.

(53)

Artificial intelligence.

(49)

Software engineering.

(42)

Computer science.

(36)

Computer Science Logic and Foundations of Programming.

(31)

Data Mining and Knowledge Discovery.

(21)

(21)

Information Storage and Retrieval.

(15)

Information storage and retrieval systems.

(15)

Database management.

(14)

(12)

Compilers (Computer programs).

(12)

Compilers and Interpreters.

(12)

Computer networks .

(11)

Theory of Computation.

(11)

Computer System Implementation.

(8)

Computer systems.

(8)

Computer Communication Networks.

(7)

Computer Modelling.

(7)

Computer science -- Mathematics.

(7)

Computer simulation.

(7)

Computers, Special purpose.

(7)

Natural Language Processing (NLP).

(7)

Natural language processing (Computer science).

(7)

Special Purpose and Application-Based Systems.

(7)

Computer Application in Administrative Data Processing.

(5)

Computer programming.

(5)

Control Structures and Microprogramming.

(5)

Information technology -- Management.

(5)

Microprogramming .

(5)

Programming Techniques.

(5)

Automated Pattern Recognition.

(4)

Computer Engineering and Networks.

(4)

Computer engineering.

(4)

Pattern recognition systems.

(4)

Data Structures and Information Theory.

(3)

Data and Information Security.

(3)

Data protection.

(3)

Data structures (Computer science).

(3)

Discrete Mathematics in Computer Science.

(3)

Discrete mathematics.

(3)

Human-computer interaction.

(3)

Information theory.

(3)

(3)

Logic programming.

(3)

Programming Language.

(3)

Programming languages (Electronic computers).

(3)

User Interfaces and Human Computer Interaction.

(3)

User interfaces (Computer systems).

(3)

Computer Application in Social and Behavioral Sciences.

(2)

Health Informatics.

(2)

Mathematical statistics.

(2)

Medical informatics.

(2)

Numerical analysis.

(2)

Probability and Statistics in Computer Science.

(2)

Social sciences -- Data processing.

(2)

Artificial intelligence -- Data processing.

(1)

Bioinformatics.

(1)

Computational and Systems Biology.

(1)

Computational intelligence.

(1)

Computer algorithms.

(1)

Computer architecture.

(1)

Computer networks -- Security measures.

(1)

Computer programs -- Testing.

(1)

Computer viruses.

(1)

Computer vision.

(1)

Computers and Education.

(1)

(1)

Computing Milieux.

(1)

(1)

Design and Analysis of Algorithms.

(1)

Education -- Data processing.

(1)

Electronic digital computers -- Evaluation.

(1)

Expert systems (Computer science).

(1)

Knowledge Based Systems.

(1)

(1)

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical logic.

(1)

Mathematics of Computing.

(1)

Microprocessors.

(1)

Operating Systems.

(1)

Operating systems (Computers).

(1)

(1)

Processor Architectures.

(1)

Robotic Engineering.

(1)

(1)

Software Testing.

(1)

System Performance and Evaluation.

(1)

Material Type

Shelf Location

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

84 Results Found

Subscribe to search results

1 .. 3 4 5 6 7

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 Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Author

Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-54069-5

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

Author

Ölveczky, Peter Csaba. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4471-6687-0

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Applied Logic for Computer Scientists Computational Deduction and Formal Proofs

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs

Author

Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Language, Data, and Knowledge First International Conference, LDK 2017, Galway, Ireland, June 19-20, 2017, Proceedings

Language, Data, and Knowledge First International Conference, LDK 2017, Galway, Ireland, June 19-20, 2017, Proceedings

Language, Data, and Knowledge First International Conference, LDK 2017, Galway, Ireland, June 19-20, 2017, Proceedings

Author

Gracia, Jorge. editor. Bond, Francis. editor. McCrae, John P. editor. (orcid)0000-0002-7227-1331 Buitelaar, Paul. editor. Chiarcos, Christian. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for The Handbook of Formal Methods in Human-Computer Interaction

The Handbook of Formal Methods in Human-Computer Interaction

The Handbook of Formal Methods in Human-Computer Interaction

Author

Weyers, Benjamin. editor. (orcid)0000-0003-4785-708X Bowen, Judy. editor. Dix, Alan. editor. Palanque, Philippe. editor. (orcid)0000-0002-5381-971X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Author

Albert, Elvira. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Trustworthy Global Computing 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers

Trustworthy Global Computing 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers

Trustworthy Global Computing 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers

Author

Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Loreti, Michele. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Semantic Technology 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers

Semantic Technology 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers

Semantic Technology 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers

Author

Li, Yuan-Fang. editor. Hu, Wei. editor. Dong, Jin Song. editor. Antoniou, Grigoris. editor. Wang, Zhe. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Web Reasoning and Rule Systems 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings

Web Reasoning and Rule Systems 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings

Web Reasoning and Rule Systems 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings

Author

Ortiz, Magdalena. editor. Schlobach, Stefan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Author

Fränzle, Martin. editor. Markey, Nicolas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings

Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings

Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings

Author

Michael, Loizos. editor. Kakas, Antonis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

Author

Alferes, Jose Julio. editor. Bertossi, Leopoldo. editor. Governatori, Guido. editor. Fodor, Paul. editor. Roman, Dumitru. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

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

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11