Search Results for

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:

+

Language: English

+

Publication Date: 2019

+

Subject: Mathematical logic.

Author

SpringerLink (Online service)

(73)

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

(2)

Ortuño, Francisco. editor.

(2)

Popescu, Andrei. editor. (orcid)0000-0001-8747-0619

(2)

Rojas, Fernando. editor.

(2)

Rojas, Ignacio. editor.

(2)

Tang, Jie. editor.

(2)

Valenzuela, Olga. editor.

(2)

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792

(2)

Zhang, Lijun. editor. (orcid)0000-0002-3692-2088

(2)

Alviano, Mario. editor. (orcid)0000-0002-2052-2063

(1)

Andreasen, Troels. editor.

(1)

Ardagna, Claudio Agostino. editor.

(1)

Artho, Cyrille. editor.

(1)

Aveiro, David. editor. (orcid)0000-0001-6453-3648

(1)

Barla, Annalisa. editor. (orcid)0000-0002-3436-035X

(1)

Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601

(1)

Bartoletti, Massimo. editor. (orcid)0000-0003-3796-9774

(1)

Batyrshin, Ildar. editor.

(1)

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093

(1)

Bernardi, Raffaella. editor.

(1)

Bernardino, Jorge. editor.

(1)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(1)

Blackburn, Patrick. editor.

(1)

Bojańczyk, Mikołaj. editor.

(1)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(1)

Bracciali, Andrea. editor. (orcid)0000-0003-1451-9260

(1)

Breveglieri, Luca. author. (orcid)0000-0001-5294-6840

(1)

Cagnoni, Stefano. editor. (orcid)0000-0003-4669-512X

(1)

Cai, Zhipeng. editor.

(1)

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834

(1)

Calvanese, Diego. editor. (orcid)0000-0001-5174-9693

(1)

Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699

(1)

Cerrito, Serenella. editor.

(1)

Chaves, Madalena. editor.

(1)

Chen, Xiaoyun. editor.

(1)

Christiansen, Henning. editor.

(1)

Cleaveland, Rance. editor.

(1)

Coecke, Bob. editor. (orcid)0000-0002-5310-8723

(1)

Collart-Dutilleul, Simon. editor.

(1)

Corchado, Juan Manuel. editor.

(1)

Crespi Reghizzi, Stefano. author.

(1)

Cuzzocrea, Alfredo. editor.

(1)

Darmont, Jérôme. editor. (orcid)0000-0003-1491-384X

(1)

Dasgupta, Sudeb. editor.

(1)

Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847

(1)

Dietz, Jan L. G. editor.

(1)

Dillig, Isil. editor.

(1)

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507

(1)

Eder, Johann. editor. (orcid)0000-0001-6050-468X

(1)

Ekštein, Kamil. editor.

(1)

Fallucchi, Francesca. editor. (orcid)0000-0002-3288-044X

(1)

Fernández, Miriam. editor. (orcid)0000-0001-5939-4321

(1)

Filipe, Joaquim. editor.

(1)

Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441

(1)

Fodor, Paul. editor. (orcid)0000-0002-2978-676X

(1)

Fred, Ana. editor.

(1)

Fullér, Robert. editor.

(1)

Gailly, Frederik. editor.

(1)

Gamper, Johann. editor. (orcid)0000-0002-7128-507X

(1)

Giove, Silvio. editor.

(1)

Glocker, Ben. editor.

(1)

Gopal, T.V. editor.

(1)

Graf, Susanne. editor.

(1)

Gray, Alasdair J.G. editor. (orcid)0000-0002-5711-4872

(1)

Greco, Gianluigi. editor. (orcid)0000-0002-5799-6828

(1)

Greco, Sergio. editor.

(1)

Greenspan, Hayit. editor.

(1)

Grosu, Radu. editor. (orcid)0000-0001-5715-2142

(1)

Guan, Nan. editor.

(1)

Guizzardi, Giancarlo. editor.

(1)

Guo, Meiyun. editor.

(1)

Gur, Yaniv. editor.

(1)

Haller, Armin. editor. (orcid)0000-0003-3425-0780

(1)

Hammar, Karl. editor. (orcid)0000-0001-8767-4136

(1)

Han, Xianpei. editor.

(1)

Harmelen, Frank van. editor.

(1)

He, Kun. editor.

(1)

Hepp, Martin. editor.

(1)

Herzig, Andreas. editor. (orcid)0000-0003-0833-2782

(1)

Hierons, Robert Mark. editor. (orcid)0000-0002-4771-1446

(1)

Hitzler, Pascal. editor. (orcid)0000-0001-6192-3472

(1)

Hofman, Piotrek. editor.

(1)

Hospodár, Michal. editor.

(1)

Huisman, Marieke. editor.

(1)

Hutton, Graham. editor. (orcid)0000-0001-9584-5150

(1)

Huynh, Van-Nam. editor.

(1)

Iemhoff, Rosalie. editor.

(1)

Iliadis, Lazaros. editor.

(1)

Inuiguchi, Masahiro. editor.

(1)

Ivanović, Mirjana. editor. (orcid)0000-0003-1946-0384

(1)

Janowicz, Krzysztof. editor.

(1)

Jiang, He. editor. (orcid)0000-0001-8674-4948

(1)

Jirásková, Galina. editor.

(1)

Kamišalić Latifić, Aida. editor. (orcid)0000-0002-8574-8506

(1)

Kan, Min-Yen. editor.

(1)

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926

(1)

Khan, Md. Aquil. editor.

(1)

Klau, Gunnar W. editor. (orcid)0000-0002-6340-0090

(1)

Kobele, Greg. editor.

(1)

Konstantinidis, Stavros. editor.

(1)

Konukoglu, Ender. editor.

(1)

Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X

(1)

Kotzinos, Dimitris. editor.

(1)

Krötzsch, Markus. editor. (orcid)0000-0002-9172-2601

(1)

Kumar Vishvakarma, Santosh. editor.

(1)

Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001

(1)

Lambert-Mogiliansky, Ariane. editor. (orcid)0000-0003-4065-2049

(1)

Larsen, Henrik Legind. editor.

(1)

Larsen, Kim G. editor.

(1)

Laurent, Dominique. editor. (orcid)0000-0002-7264-9576

(1)

Lecomte, Thierry. editor.

(1)

Leone, Nicola. editor.

(1)

Lewis, Dave. editor.

(1)

Li, Ge. editor.

(1)

Li, Min. editor. (orcid)0000-0002-0188-1394

(1)

Li, Ming. editor.

(1)

Li, Sujian. editor.

(1)

Li, Xianyong. editor.

(1)

Li, Zheng. editor. (orcid)0000-0002-3938-7033

(1)

Liu, Kecheng. editor.

(1)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(1)

Lopez, Vanessa. editor.

(1)

Lorini, Emiliano. editor.

(1)

Lutz, Carsten. editor.

(1)

MacIntyre, John. editor.

(1)

Madabhushi, Anant. editor.

(1)

Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X

(1)

Manea, Florin. editor.

(1)

Manna, Marco. editor. (orcid)0000-0003-3323-9328

(1)

Manuel, Amaldev. editor.

(1)

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

(1)

Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042

(1)

Martin, Barnaby. editor.

(1)

Martins, Manuel A. editor. (orcid)0000-0002-5109-8066

(1)

Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000

(1)

Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821

(1)

Marín-Hernández, Antonio. editor.

(1)

Masulli, Francesco. editor.

(1)

Meersman, Robert. editor.

(1)

Mercaş, Robert. editor. (orcid)0000-0001-6034-433X

(1)

Mesnard, Fred. editor.

(1)

Montali, Marco. editor. (orcid)0000-0002-8021-3430

(1)

Moortgat, Michael. editor.

(1)

Mordonini, Monica. editor. (orcid)0000-0002-5916-9770

(1)

Morzenti, Angelo. author.

(1)

Morzy, Mikoƚaj. editor. (orcid)0000-0002-2905-9538

(1)

Mosbah, Mohamed. editor. (orcid)0000-0001-6031-4237

(1)

Narukawa, Yasuo. editor.

(1)

Nguyen, Canh Hao. editor.

(1)

Okhotin, Alexander. editor. (orcid)0000-0002-1615-2725

(1)

Pacuit, Eric. editor.

(1)

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

(1)

Panov, Aleksandr I. editor. (orcid)0000-0002-9747-3837

(1)

Parker, David. editor. (orcid)0000-0003-4137-8862

(1)

Pasi, Gabriella. editor. (orcid)0000-0002-6080-8170

(1)

Paulusma, Daniël. editor.

(1)

Pecori, Riccardo. editor. (orcid)0000-0002-5948-5845

(1)

Peterson, Leif. editor. (orcid)0000-0002-1187-0883

(1)

Petre, Luigia. editor.

(1)

Pimenidis, Elias. editor.

(1)

Podgorelec, Vili. editor. (orcid)0000-0001-6955-7868

(1)

Pogodalla, Sylvain. editor.

(1)

Policriti, Alberto. editor. (orcid)0000-0001-8502-5896

(1)

Posthoff, Christian. author.

(1)

Primiero, Giuseppe. editor.

(1)

Reidenbach, Daniel. editor. (orcid)0000-0001-7996-5291

(1)

Reyes, Mauricio. editor.

(1)

Roli, Andrea. editor. (orcid)0000-0001-9891-5441

(1)

Roman, Dumitru. editor.

(1)

Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331

(1)

Saccà, Domenico. editor.

(1)

Salgado, Ana. editor.

(1)

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

(1)

Sattler, Uli. editor.

(1)

Scarcello, Francesco. editor. (orcid)0000-0001-7765-1563

(1)

Schiex, Thomas. editor. (orcid)0000-0001-6049-3415

(1)

Seki, Hirosato. editor.

(1)

Sengupta, Anirban. editor.

(1)

Shapira, Dana. editor. (orcid)0000-0002-2320-9064

(1)

Sharma, Rohit. editor.

(1)

Siatri, Rania. editor.

(1)

Sikos, Jennifer. editor.

(1)

Silva, Alexandra. editor.

(1)

Simpson, Alex. editor.

(1)

Singh, Virendra. editor.

(1)

Skrzypczak, Michał. editor.

(1)

Skums, Pavel. editor.

(1)

Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623

(1)

Smith, Graeme. editor.

(1)

Sokolsky, Oleg. editor. (orcid)0000-0001-5282-0658

(1)

Spyratos, Nicolas. editor.

(1)

Staton, Sam. editor.

(1)

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

(1)

Steinbach, Bernd. author.

(1)

Stepanova, Daria. editor. (orcid)0000-0001-8654-5121

(1)

Stuckenschmidt, Heiner. editor. (orcid)0000-0002-0209-3859

(1)

Stuckey, Peter J. editor.

(1)

Sun, Jun. editor.

(1)

Sun, Xiaoming. editor.

(1)

Subject

Artificial intelligence.

(42)

Computer logic.

(29)

Software engineering.

(24)

(19)

(12)

Database management.

(11)

Programming languages (Electronic computers).

(11)

Computer science—Mathematics.

(10)

Natural language processing (Computer science).

(10)

Information storage and retrieval.

(9)

Application software.

(8)

Computer system failures.

(6)

(5)

Bioinformatics.

(4)

Knowledge representation (Information theory) .

(4)

Optical data processing.

(4)

Computer organization.

(3)

Computer simulation.

(3)

Data structures (Computer science).

(3)

Mathematical statistics.

(3)

Computer communication systems.

(2)

Computer programming.

(2)

(2)

Machine learning.

(2)

Numerical analysis.

(2)

Special purpose computers.

(2)

Arithmetic and logic units, Computer.

(1)

Computer hardware.

(1)

Computer science.

(1)

Electrical engineering.

(1)

Health informatics.

(1)

Information theory.

(1)

Management information systems.

(1)

Microprogramming .

(1)

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

73 Results Found

Subscribe to search results

1 2 3 4 5 .. 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 The Semantic Web 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2–6, 2019, Proceedings

The Semantic Web 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2–6, 2019, Proceedings

The Semantic Web 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2–6, 2019, Proceedings

Author

Hitzler, Pascal. editor. (orcid)0000-0001-6192-3472 Fernández, Miriam. editor. (orcid)0000-0001-5939-4321 Janowicz, Krzysztof. editor. Zaveri, Amrapali. editor. Gray, Alasdair J.G. editor. (orcid)0000-0002-5711-4872

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-21348-0

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-22348-9

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for AI*IA 2019 – Advances in Artificial Intelligence XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings

AI*IA 2019 – Advances in Artificial Intelligence XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings

AI*IA 2019 – Advances in Artificial Intelligence XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings

Author

Alviano, Mario. editor. (orcid)0000-0002-2052-2063 Greco, Gianluigi. editor. (orcid)0000-0002-5799-6828 Scarcello, Francesco. editor. (orcid)0000-0001-7765-1563 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Artificial Life and Evolutionary Computation 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers

Artificial Life and Evolutionary Computation 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers

Artificial Life and Evolutionary Computation 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers

Author

Cagnoni, Stefano. editor. (orcid)0000-0003-4669-512X Mordonini, Monica. editor. (orcid)0000-0002-5916-9770 Pecori, Riccardo. editor. (orcid)0000-0002-5948-5845 Roli, Andrea. editor. (orcid)0000-0001-9891-5441 Villani, Marco. editor. (orcid)0000-0002-5991-5470

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-21733-4

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings

Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings

Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings

Author

Bernardi, Raffaella. editor. Kobele, Greg. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Author

Guan, Nan. editor. Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Sun, Jun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-35540-1

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers

Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers

Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers

Author

Coecke, Bob. editor. (orcid)0000-0002-5310-8723 Lambert-Mogiliansky, Ariane. editor. (orcid)0000-0003-4065-2049 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-35895-2

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

Author

Herzig, Andreas. editor. (orcid)0000-0003-0833-2782 Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

Author

Parker, David. editor. (orcid)0000-0003-4137-8862 Wolf, Verena. editor. (orcid)0000-0001-8460-6007 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Author

Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-32079-9

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings

Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings

Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings

Author

Manea, Florin. editor. Martin, Barnaby. editor. Paulusma, Daniël. editor. Primiero, Giuseppe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-22996-2

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Theory and Applications of Models of Computation 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings

Theory and Applications of Models of Computation 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings

Theory and Applications of Models of Computation 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings

Author

Gopal, T.V. editor. Watada, Junzo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-14812-6

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 7

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11