Search Results for Application software

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

11

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Machine theory.

Author

SpringerLink (Online service)

(59)

Bekki, Daisuke. editor.

(2)

Debruyne, Christophe. editor.

(2)

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

(2)

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

(2)

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

(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)

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

(2)

Wang, Zhe. editor.

(2)

Adami, André. 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)

Ayala-Rincón, Mauricio. author.

(1)

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

(1)

Barrett, Clark. editor.

(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)

Bouraoui, Zied. editor.

(1)

Branco, António. editor.

(1)

Broering, Arne. editor.

(1)

Buitelaar, Paul. editor.

(1)

Bursa, Miroslav. 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)

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)

Davies, Misty. editor.

(1)

De Nicola, Rocco. editor.

(1)

Dong, Jin Song. editor.

(1)

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

(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)

Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960

(1)

Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080

(1)

Governatori, Guido. editor.

(1)

Gracia, Jorge. editor.

(1)

Guiochet, Jérémie. editor.

(1)

Gyssens, Marc. editor.

(1)

Hameurlain, Abdelkader. editor.

(1)

Hankin, Chris. editor.

(1)

Hansen, René Rydhof. editor.

(1)

Hellmann, Sebastian. editor.

(1)

Helmert, Malte. editor.

(1)

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

(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)

Julian, Vicente. editor.

(1)

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

(1)

Kahsai, Temesghen. editor.

(1)

Kakas, Antonis. editor.

(1)

Ketcham, Mahasak. editor.

(1)

Khuri, Sami. editor.

(1)

Kirikova, Mārīte. editor.

(1)

Klimenko, Stanislav. editor.

(1)

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

(1)

Kontchakov, Roman. editor.

(1)

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

(1)

Kozaki, Kouji. editor.

(1)

Král, Pavel. editor.

(1)

Küng, Josef. 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)

Markey, Nicolas. editor.

(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)

Michael, Loizos. editor.

(1)

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

(1)

Métais, Elisabeth. 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)

Osman, Nardine. editor.

(1)

Ota, Yuiko. editor.

(1)

Otake, Mihoko. editor.

(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)

Peters, James F. editor.

(1)

Podnar Žarko, Ivana. editor.

(1)

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

(1)

Prabhakar, Pavithra. editor.

(1)

Pramkeaw, Patiyuth. editor.

(1)

Probst, Christian W. editor.

(1)

Qi, Guilin. editor.

(1)

Quaresma, Paulo. 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)

Schlobach, Stefan. editor.

(1)

Schockaert, Steven. editor.

(1)

Schoitsch, Erwin. editor.

(1)

Sen, Prabal Kumar. editor.

(1)

Senellart, Pierre. editor.

(1)

Serrano, Martin. editor.

(1)

Sfakakis, Michalis. editor. (orcid)0000-0003-2973-7455

(1)

Silva, João. editor.

(1)

Simari, Guillermo. editor.

(1)

Siuly, Siuly. editor. (orcid)0000-0003-2491-0546

(1)

Skavhaug, Amund. editor.

(1)

Skowron, Andrzej. editor.

(1)

Son, Tran Cao. editor.

(1)

Soursos, Sergios. editor.

(1)

Srivastava, Shashi Mohan. editor.

(1)

Sun, Jun. editor.

(1)

Supnithi, Thepchai. editor.

(1)

Theeramunkong, Thanaruk. editor.

(1)

Thimm, Matthias. editor. (orcid)0000-0002-8157-1053

(1)

Thoai, Nam. editor.

(1)

Torroni, Paolo. editor.

(1)

Turhan, Anni-Yasmin. editor. (orcid)0000-0001-6336-335X

(1)

Van Woensel, William. editor.

(1)

Varró, Dániel. editor.

(1)

Vesic, Srdjan. editor.

(1)

Vidal, Maria-Esther. editor.

(1)

Villata, Serena. editor.

(1)

Vouros, George. editor.

(1)

Wagner, Roland. editor.

(1)

Wang, Hua. editor. (orcid)0000-0002-8465-0996

(1)

Wang, Kewen. editor.

(1)

Weichhart, Georg. editor.

(1)

Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098

(1)

Wotawa, Franz. editor.

(1)

Wrembel, Robert. editor. (orcid)0000-0001-6037-5718

(1)

Yu, Siwei. editor.

(1)

Zhang, Xiaowang. editor.

(1)

Zhang, Yanchun. editor.

(1)

Zhou, Rui. editor.

(1)

de Cesare, Sergio. editor.

(1)

de Moura, Flávio L. C. author.

(1)

van Erp, Marieke. editor. (orcid)0000-0001-9195-8203

(1)

van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X

(1)

van der Torre, Leendert. editor.

(1)

Language

(59)

Publication Date

-

(25)

(23)

(6)

(5)

Subject

Formal Languages and Automata Theory.

(59)

Application software.

(53)

Computer and Information Systems Applications.

(53)

Artificial intelligence.

(45)

Software engineering.

(24)

Computer science.

(20)

Data Mining and Knowledge Discovery.

(20)

(20)

Computer Science Logic and Foundations of Programming.

(17)

Information Storage and Retrieval.

(15)

Information storage and retrieval systems.

(15)

Database management.

(14)

Compilers (Computer programs).

(12)

Compilers and Interpreters.

(12)

Computer networks .

(9)

Theory of Computation.

(8)

(6)

Computer Communication Networks.

(6)

Natural Language Processing (NLP).

(6)

Natural language processing (Computer science).

(6)

Computer Application in Administrative Data Processing.

(5)

Information technology -- Management.

(5)

Computer programming.

(4)

Programming Techniques.

(4)

Automated Pattern Recognition.

(3)

Computer Engineering and Networks.

(3)

Computer Modelling.

(3)

Computer engineering.

(3)

Computer science -- Mathematics.

(3)

Computer simulation.

(3)

(3)

Logic programming.

(3)

Pattern recognition systems.

(3)

Computer Application in Social and Behavioral Sciences.

(2)

Computers, Special purpose.

(2)

Data and Information Security.

(2)

Data protection.

(2)

Health Informatics.

(2)

Mathematical statistics.

(2)

Medical informatics.

(2)

Probability and Statistics in Computer Science.

(2)

Programming Language.

(2)

Programming languages (Electronic computers).

(2)

Social sciences -- Data processing.

(2)

Special Purpose and Application-Based Systems.

(2)

Bioinformatics.

(1)

Computational and Systems Biology.

(1)

Computational intelligence.

(1)

Computer System Implementation.

(1)

Computer systems.

(1)

Computer vision.

(1)

Computers and Education.

(1)

Design and Analysis of Algorithms.

(1)

Education -- Data processing.

(1)

Electronic digital computers -- Evaluation.

(1)

Expert systems (Computer science).

(1)

Human-computer interaction.

(1)

Knowledge Based Systems.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical logic.

(1)

Numerical analysis.

(1)

System Performance and Evaluation.

(1)

User Interfaces and Human Computer Interaction.

(1)

User interfaces (Computer systems).

(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

59 Results Found

Subscribe to search results

1 2 3 4 5

00000000000DEFAULT

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.

49.

Cover image for PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

Author

Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Chopra, Amit K. editor. Son, Tran Cao. editor. Hirayama, Katsutoshi. editor. Torroni, Paolo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

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:

51.

Cover image for Computational Processing of the Portuguese Language 12th International Conference, PROPOR 2016, Tomar, Portugal, July 13-15, 2016, Proceedings

Computational Processing of the Portuguese Language 12th International Conference, PROPOR 2016, Tomar, Portugal, July 13-15, 2016, Proceedings

Computational Processing of the Portuguese Language 12th International Conference, PROPOR 2016, Tomar, Portugal, July 13-15, 2016, Proceedings

Author

Silva, João. editor. Ribeiro, Ricardo. editor. Quaresma, Paulo. editor. Adami, André. editor. Branco, António. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

Author

Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 Varró, Dániel. editor. Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-50230-4

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers

Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers

Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers

Author

Rovatsos, Michael. editor. Vouros, George. editor. Julian, Vicente. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-33509-4

Format:

Availability

Online Library~1

Available:
Copies:

54.

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:

55.

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:

56.

Cover image for Transactions on Rough Sets XX

Transactions on Rough Sets XX

Transactions on Rough Sets XX

Author

Peters, James F. editor. Skowron, Andrzej. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-53611-7

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Statistical Language and Speech Processing 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings

Statistical Language and Speech Processing 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings

Statistical Language and Speech Processing 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings

Author

Král, Pavel. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII Selected Papers from FDSE 2014

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII Selected Papers from FDSE 2014

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII Selected Papers from FDSE 2014

Author

Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Dang, Tran Khanh. editor. (orcid)0000-0002-7282-3589 Thoai, Nam. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-49175-1

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Author

Probst, Christian W. editor. Hankin, Chris. editor. Hansen, René Rydhof. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11