Search Results for Language

|

|

|

|

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

Author

SpringerLink (Online service)

(62)

Martín-Vide, Carlos. editor.

(4)

Hameurlain, Abdelkader. editor.

(3)

Baratgin, Jean. editor. (orcid)0000-0001-9566-486X

(2)

Baxter, James. editor. (orcid)0000-0001-6083-9607

(2)

Bekki, Daisuke. editor.

(2)

Benslimane, Djamal. editor.

(2)

Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976

(2)

Celino, Irene. editor. (orcid)0000-0001-9962-7193

(2)

Corcho, Oscar. editor. (orcid)0000-0002-9260-0753

(2)

Damiani, Ernesto. editor.

(2)

Grosky, William I. editor.

(2)

Groth, Paul. editor. (orcid)0000-0003-0183-6910

(2)

Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789

(2)

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

(2)

Leroy, Julien. editor.

(2)

Lisena, Pasquale. editor. (orcid)0000-0003-3094-5585

(2)

Meroño Peñuela, Albert. editor. (orcid)0000-0003-4646-5842

(2)

Métais, Elisabeth. editor.

(2)

Nuzzolese, Andrea Giovanni. editor. (orcid)0000-0003-2928-9496

(2)

Otto, Friedrich. author. (orcid)0009-0002-9760-5462

(2)

Pogodalla, Sylvain. editor.

(2)

Poveda-Villalón, Maria. editor. (orcid)0000-0003-3587-0367

(2)

Presutti, Valentina. editor. (orcid)0000-0002-9380-5160

(2)

Raad, Joe. editor. (orcid)0000-0002-7891-7738

(2)

Revenko, Artem. editor. (orcid)0000-0001-6681-3328

(2)

Sabou, Marta. editor. (orcid)0000-0001-9301-8418

(2)

Sartini, Bruno. editor. (orcid)0000-0002-9152-4402

(2)

Satoh, Ken. editor.

(2)

Sheth, Amit. editor.

(2)

Simperl, Elena. editor. (orcid)0000-0003-1722-947X

(2)

Tamma, Valentina. editor. (orcid)0000-0002-1320-610X

(2)

Truthe, Bianca. editor.

(2)

Wagner, Roland R. editor.

(2)

Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550

(2)

Adami, André. editor.

(1)

Adorni, Giovanni. editor.

(1)

Ahrendt, Wolfgang. editor.

(1)

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

(1)

Amblard, Maxime. editor.

(1)

Arai, Sachiyo. editor.

(1)

Baltag, Alexandru. editor.

(1)

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

(1)

Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291

(1)

Bond, Francis. editor.

(1)

Branco, António. editor.

(1)

Brlek, Srečko. editor.

(1)

Brochier, Emmanuel. editor. (orcid)0000-0002-9153-562X

(1)

Bubel, Richard. editor.

(1)

Buitelaar, Paul. editor.

(1)

Cagnoni, Stefano. editor.

(1)

Calì, Andrea. editor.

(1)

Camelin, Nathalie. editor.

(1)

Carayol, Arnaud. editor.

(1)

Charlier, Émilie. editor.

(1)

Chiarcos, Christian. editor.

(1)

Choemprayong, Songphan. editor.

(1)

Ciancarini, Paolo. editor. (orcid)0000-0002-7958-9924

(1)

Cook, Matthew. editor.

(1)

Crestani, Fabio. editor.

(1)

Cunha, Jácome. editor.

(1)

Cunningham, Sally Jo. editor.

(1)

Cámara, Javier. editor.

(1)

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

(1)

Dediu, Adrian-Horia. editor.

(1)

Dong, Minghui. editor.

(1)

Drewes, Frank. editor.

(1)

Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433

(1)

Esposito, Floriana. editor.

(1)

Estève, Yannick. editor.

(1)

Ferilli, Stefano. editor.

(1)

Fernandes, João P. editor.

(1)

Filipe, Joaquim. editor.

(1)

Foret, Annie. editor.

(1)

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

(1)

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

(1)

Gamard, Guilhem. editor.

(1)

Garoufallou, Emmanouel. editor.

(1)

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

(1)

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

(1)

Gorgan, Dorian. editor.

(1)

Gori, Marco. editor.

(1)

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

(1)

Gracia, Jorge. editor.

(1)

Groza, Tudor. editor.

(1)

Hansen, Helle Hvid. editor.

(1)

Hellmann, Sebastian. editor.

(1)

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X

(1)

Hirvonen, Åsa. editor.

(1)

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

(1)

Holmes, John H. editor.

(1)

Horridge, Matthew. editor.

(1)

Hähnle, Reiner. editor.

(1)

Ittoo, Ashwin. editor.

(1)

Janoušek, Jan. editor.

(1)

Jongmans, Sung-Shik. editor.

(1)

Kennedy, Juliette. editor.

(1)

Koutsomiha, Damiana. editor.

(1)

Kozaki, Kouji. editor.

(1)

Král, Pavel. editor.

(1)

Küng, Josef. editor.

(1)

Lange, Christoph. editor.

(1)

Lin, Jingxia. editor.

(1)

Lisi, Francesca A. editor.

(1)

Liu, Shaoying. editor.

(1)

Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071

(1)

Lämmel, Ralf. editor.

(1)

Maratea, Marco. editor.

(1)

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

(1)

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

(1)

Meduna, Alexander, 1957- author.

(1)

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

(1)

Meyer, Bertrand. editor.

(1)

Meziane, Farid. editor. (orcid)0000-0001-9811-6914

(1)

Morazán, Marco T. author.

(1)

Morrill, Glyn. editor.

(1)

Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104

(1)

Murray, Sarah E. editor.

(1)

Muskens, Reinhard. editor.

(1)

Neary, Turlough. editor.

(1)

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

(1)

Nicaud, Cyril. editor.

(1)

O'Regan, Gerard. author.

(1)

Ohta, Yuiko. editor.

(1)

Ortiz, Magdalena. editor.

(1)

Osswald, Rainer. editor.

(1)

Ota, Yuiko. editor.

(1)

Otake, Mihoko. editor.

(1)

Pan, Jeff Z. editor.

(1)

Poggi, Francesco. editor. (orcid)0000-0001-6577-5606

(1)

Popow, Christian. editor. (orcid)0000-0002-0496-1453

(1)

Presutti, Valentina. editor.

(1)

Qi, Guilin. editor.

(1)

Quaresma, Paulo. editor.

(1)

Retoré, Christian. editor.

(1)

Reutenauer, Christophe. editor.

(1)

Ribeiro, Ricardo. editor.

(1)

Rigo, Michel. editor.

(1)

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

(1)

Różewski, Przemysław. editor.

(1)

Sacchi, Lucia. editor. (orcid)0000-0002-1390-9825

(1)

Sadrzadeh, Mehrnoosh. editor.

(1)

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

(1)

Saraee, Mohamad. editor. (orcid)0000-0002-3283-1912

(1)

Saraiva, João. editor.

(1)

Schmitt, Peter H. editor.

(1)

Schockaert, Steven. editor.

(1)

Seligman, Jeremy. editor.

(1)

Senellart, Pierre. editor.

(1)

Siatri, Rania. editor.

(1)

Silva, João. editor.

(1)

Skrzypczak, Michał. author.

(1)

Suarez-Figueroa, Mari Carmen. editor.

(1)

Sugumaran, Vijayan. editor.

(1)

Sun, Meng. editor.

(1)

Tamaddoni-Nezhad, Alireza. editor.

(1)

Tang, Xuri. editor.

(1)

Taylor and Francis.

(1)

Thoai, Nam. editor.

(1)

Torra, Vicenç. author.

(1)

Ugarte, Martín. editor.

(1)

Ulbrich, Mattias. editor.

(1)

Vadera, Sunil. editor.

(1)

Virkus, Sirje. editor.

(1)

Väänänen, Jouko. editor.

(1)

Wagner, Roland. editor.

(1)

Yamada, Tomoyuki. editor.

(1)

Yu, Siwei. editor.

(1)

Zaytsev, Vadim. editor.

(1)

Zeevat, Henk. editor.

(1)

Zeume, Thomas. author.

(1)

Zhao, Jun. editor.

(1)

d'Aquin, Mathieu. editor.

(1)

de Groote, Philippe. editor.

(1)

de Queiroz, Ruy J.G.B. editor.

(1)

de Queiroz, Ruy. editor.

(1)

ten Teije, Annette. editor.

(1)

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

(1)

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

(1)

Ölveczky, Peter Csaba. author.

(1)

Language

(63)

Publication Date

-

(26)

(18)

(10)

(8)

(1)

Subject

Formal Languages and Automata Theory.

(62)

Artificial intelligence.

(38)

Computer science.

(28)

Natural Language Processing (NLP).

(22)

Natural language processing (Computer science).

(22)

Computer Science Logic and Foundations of Programming.

(16)

Application software.

(15)

Computer and Information Systems Applications.

(15)

Data Mining and Knowledge Discovery.

(15)

(15)

Software engineering.

(15)

Information Storage and Retrieval.

(14)

Information storage and retrieval systems.

(14)

Theory of Computation.

(14)

(12)

Compilers (Computer programs).

(11)

Compilers and Interpreters.

(11)

Computer science -- Mathematics.

(11)

Database management.

(11)

Computer programming.

(9)

Programming Techniques.

(9)

Discrete Mathematics in Computer Science.

(7)

Discrete mathematics.

(7)

Computer Application in Administrative Data Processing.

(5)

Computer networks .

(5)

Information technology -- Management.

(5)

Programming Language.

(5)

Programming languages (Electronic computers).

(5)

Symbolic and Algebraic Manipulation.

(5)

Automated Pattern Recognition.

(4)

Data Structures and Information Theory.

(4)

Data structures (Computer science).

(4)

Information theory.

(4)

Pattern recognition systems.

(4)

Computational linguistics.

(3)

Computer Application in Social and Behavioral Sciences.

(3)

Computer Communication Networks.

(3)

Data and Information Security.

(3)

Data protection.

(3)

(3)

Logic programming.

(3)

Mathematical Logic and Foundations.

(3)

Mathematical logic.

(3)

Social sciences -- Data processing.

(3)

Computer Engineering and Networks.

(2)

Computer Modelling.

(2)

Computer System Implementation.

(2)

Computer engineering.

(2)

Computer simulation.

(2)

Computer systems.

(2)

Artificial intelligence -- Data processing.

(1)

Asia -- Languages.

(1)

Asian Languages.

(1)

COMPUTERS / Programming Languages / General.

(1)

Computer programs -- Testing.

(1)

(1)

(1)

Expert systems (Computer science).

(1)

Formal languages.

(1)

Hardware Performance and Reliability.

(1)

Human-computer interaction.

(1)

Knowledge Based Systems.

(1)

(1)

MATHEMATICS / General.

(1)

Mathematical Applications in Computer Science.

(1)

Models of Computation.

(1)

(1)

Programmiersprache.

(1)

Programmierung.

(1)

Software Testing.

(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

63 Results Found

Subscribe to search results

1 2 3 4 5 6

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.

37.

Cover image for Artificial Intelligence in Medicine 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings

Artificial Intelligence in Medicine 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings

Artificial Intelligence in Medicine 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings

Author

ten Teije, Annette. editor. Popow, Christian. editor. (orcid)0000-0002-0496-1453 Holmes, John H. editor. Sacchi, Lucia. editor. (orcid)0000-0002-1390-9825 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

Author

Baltag, Alexandru. editor. Seligman, Jeremy. editor. Yamada, Tomoyuki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-55665-8

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings

AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings

AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings

Author

Esposito, Floriana. editor. Basili, Roberto. editor. (orcid)0000-0001-5140-0694 Ferilli, Stefano. editor. Lisi, Francesca A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for Digital Libraries: Data, Information, and Knowledge for Digital Lives 19th International Conference on Asia-Pacific Digital Libraries, ICADL 2017, Bangkok, Thailand, November 13-15, 2017, Proceedings

Digital Libraries: Data, Information, and Knowledge for Digital Lives 19th International Conference on Asia-Pacific Digital Libraries, ICADL 2017, Bangkok, Thailand, November 13-15, 2017, Proceedings

Digital Libraries: Data, Information, and Knowledge for Digital Lives 19th International Conference on Asia-Pacific Digital Libraries, ICADL 2017, Bangkok, Thailand, November 13-15, 2017, Proceedings

Author

Choemprayong, Songphan. editor. Crestani, Fabio. editor. Cunningham, Sally Jo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings

Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings

Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings

Author

Carayol, Arnaud. editor. Nicaud, Cyril. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Semantic Keyword-Based Search on Structured Data Sources COST Action IC1302 Second International KEYSTONE Conference, IKC 2016, Cluj-Napoca, Romania, September 8-9, 2016, Revised Selected Papers

Semantic Keyword-Based Search on Structured Data Sources COST Action IC1302 Second International KEYSTONE Conference, IKC 2016, Cluj-Napoca, Romania, September 8-9, 2016, Revised Selected Papers

Semantic Keyword-Based Search on Structured Data Sources COST Action IC1302 Second International KEYSTONE Conference, IKC 2016, Cluj-Napoca, Romania, September 8-9, 2016, Revised Selected Papers

Author

Calì, Andrea. editor. Gorgan, Dorian. editor. Ugarte, Martín. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for Agents and Artificial Intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers

Agents and Artificial Intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers

Agents and Artificial Intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers

Author

van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X Filipe, Joaquim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

Author

Cunha, Jácome. editor. Fernandes, João P. editor. Lämmel, Ralf. editor. Saraiva, João. editor. Zaytsev, Vadim. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

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:

46.

Cover image for Metadata and Semantic Research 11th International Conference, MTSR 2017, Tallinn, Estonia, November 28 - December 1, 2017, Proceedings

Metadata and Semantic Research 11th International Conference, MTSR 2017, Tallinn, Estonia, November 28 - December 1, 2017, Proceedings

Metadata and Semantic Research 11th International Conference, MTSR 2017, Tallinn, Estonia, November 28 - December 1, 2017, Proceedings

Author

Garoufallou, Emmanouel. editor. Virkus, Sirje. editor. Siatri, Rania. editor. Koutsomiha, Damiana. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for Database and Expert Systems Applications 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part I

Database and Expert Systems Applications 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part I

Database and Expert Systems Applications 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part I

Author

Benslimane, Djamal. editor. Damiani, Ernesto. editor. Grosky, William I. editor. Hameurlain, Abdelkader. editor. Sheth, Amit. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

Author

Zeume, Thomas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-54314-6

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 6

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11