Search Results for

|

|

|

|

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:

+

Language: English

+

Shelf Location: Electronic Library

+

Subject: Mathematical logic.

Author

SpringerLink (Online service)

(149)

Bouchon-Meunier, Bernadette. editor.

(3)

Laurent, Anne. editor.

(3)

Strauss, Olivier. editor.

(3)

Yager, Ronald R. editor.

(3)

Ait Ameur, Yamine. editor.

(2)

Cornelis, Chris. editor.

(2)

Csuhaj-Varjú, Ersébet. editor.

(2)

Dietzfelbinger, Martin. editor.

(2)

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

(2)

Kryszkiewicz, Marzena. editor.

(2)

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

(2)

Lutz, Carsten. editor.

(2)

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

(2)

Moortgat, Michael. editor.

(2)

Ortuño, Francisco. editor.

(2)

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

(2)

Rojas, Fernando. editor.

(2)

Rojas, Ignacio. editor.

(2)

Sattler, Uli. editor.

(2)

Schewe, Klaus-Dieter. editor.

(2)

Sun, Jun. 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)

Ésik, Zoltán. editor.

(2)

Abadi, Martín. editor.

(1)

Abraham, Erika. editor.

(1)

Agrawal, Manindra. editor.

(1)

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

(1)

Andreasen, Troels. editor.

(1)

Ardagna, Claudio Agostino. editor.

(1)

Artho, Cyrille. editor.

(1)

Asher, Nicholas. editor.

(1)

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

(1)

Baptista, Jorge. editor.

(1)

Barais, Olivier. editor.

(1)

Barceló, Pablo. editor.

(1)

Barkatou, Moulay. editor.

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

Beierle, Christoph. editor.

(1)

Bekki, Daisuke. editor.

(1)

Bello, Rafael. 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)

Biere, Armin. editor. (orcid)0000-0001-7170-9242

(1)

Blackburn, Patrick. editor.

(1)

Bloem, Roderick. editor.

(1)

Bobillo, Fernando. editor.

(1)

Boiten, Eerke A. author.

(1)

Bojańczyk, Mikołaj. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

Boniol, Frederic. editor.

(1)

Bonsangue, Marcello M. 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)

Bulling, Nils. editor.

(1)

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

(1)

Cai, Zhipeng. editor.

(1)

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

(1)

Calude, Cristian S. editor.

(1)

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

(1)

Candeias, Sara. editor.

(1)

Cariani, Fabrizio. editor.

(1)

Carvalho, Rommel N. editor.

(1)

Casadio, Claudia. editor.

(1)

Cassez, Franck. editor.

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

Ciucci, Davide. editor.

(1)

Cleaveland, Rance. editor.

(1)

Cluzeau, Thomas. editor.

(1)

Coecke, Bob. editor.

(1)

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

(1)

Cohen, Ernie. editor.

(1)

Colinet, Margot. editor.

(1)

Collart-Dutilleul, Simon. editor.

(1)

Combemale, Benoit. editor.

(1)

Cooper, S. Barry. editor.

(1)

Corchado, Juan Manuel. editor.

(1)

Costa, Paulo C.G. editor.

(1)

Crespi Reghizzi, Stefano. author.

(1)

Croitoru, Madalina. editor.

(1)

Cuzzocrea, Alfredo. editor.

(1)

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

(1)

Dasgupta, Sudeb. editor.

(1)

Davenport, James H. editor.

(1)

Davis, Brian. editor.

(1)

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

(1)

Dediu, Adrian-Horia. editor.

(1)

Demri, Stéphane. editor.

(1)

Deng, Yuxin. author.

(1)

Derrick, John. author.

(1)

Diaz, Josep. editor.

(1)

Dietz, Jan L. G. editor.

(1)

Dillig, Isil. editor.

(1)

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

(1)

Dowek, Gilles. editor.

(1)

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

(1)

Ekštein, Kamil. editor.

(1)

Escobar, Santiago. editor. (orcid)0000-0002-3550-4781

(1)

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

(1)

Fanizzi, Nicola. editor.

(1)

Fermé, Eduardo. editor.

(1)

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

(1)

Fiadeiro, José Luiz. editor.

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

Freivalds, Rūsiņš. editor.

(1)

Fullér, Robert. editor.

(1)

Gailly, Frederik. editor.

(1)

Gamboa, Ruben. editor.

(1)

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

(1)

George, Laurent. editor.

(1)

Giannakopoulou, Dimitra. editor.

(1)

Giese, Holger. editor.

(1)

Giove, Silvio. editor.

(1)

Glocker, Ben. editor.

(1)

Glodeanu, Cynthia Vera. editor.

(1)

Goertzel, Ben. editor.

(1)

Gonzales, Christophe. editor.

(1)

Gopal, T V. 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)

Grossi, Davide. editor.

(1)

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

(1)

Guan, Nan. editor.

(1)

Guizzardi, Giancarlo. editor.

(1)

Guo, Meiyun. editor.

(1)

Gupta, Gopal. 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)

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472

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

Hirsch, Edward. editor.

(1)

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

(1)

Hofman, Piotrek. editor.

(1)

Holzer, Markus. editor.

(1)

Horrocks, Ian. 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)

Höfner, Peter. editor.

(1)

Iemhoff, Rosalie. editor.

(1)

Iida, Hiroyuki. editor.

(1)

Iida, Shusaku. editor.

(1)

Iliadis, Lazaros. editor.

(1)

Inuiguchi, Masahiro. editor.

(1)

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

(1)

Jamroga, Wojtek. editor.

(1)

Janowicz, Krzysztof. editor.

(1)

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

(1)

Jipsen, Peter. editor.

(1)

Jirásková, Galina. editor.

(1)

Jones, Cliff. editor.

(1)

Jones, Richard. editor.

(1)

Jürgensen, Helmut. editor.

(1)

Kahl, Wolfram. editor.

(1)

Kaljurand, Kaarel. editor.

(1)

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

(1)

Kan, Min-Yen. editor.

(1)

Kapur, Deepak. editor.

(1)

Karhumäki, Juhani. editor.

(1)

Kashefi, Elham. editor.

(1)

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

(1)

Katrenko, Sophia. editor.

(1)

Kaytoue, Mehdi. editor.

(1)

Kazuo, Iwama. editor.

(1)

Khan, Md. Aquil. editor.

(1)

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

(1)

Klein, Gerwin. author.

(1)

Klein, Gerwin. editor.

(1)

Kobele, Greg. editor.

(1)

Kohlenbach, Ulrich. editor.

(1)

Kolaitis, Phokion. editor.

(1)

Konstantinidis, Stavros. editor.

(1)

Konukoglu, Ender. editor.

(1)

Publication Date

-

(76)

(73)

Subject

Artificial intelligence.

(76)

Computer logic.

(64)

Software engineering.

(48)

(33)

Computer science—Mathematics.

(33)

(30)

Programming languages (Electronic computers).

(24)

Information storage and retrieval.

(21)

Application software.

(19)

Database management.

(15)

(13)

Natural language processing (Computer science).

(12)

Computer programming.

(11)

Computer communication systems.

(7)

Computer system failures.

(7)

Computer science.

(6)

Data structures (Computer science).

(6)

Numerical analysis.

(6)

Computer simulation.

(5)

Mathematical statistics.

(5)

Bioinformatics.

(4)

Knowledge representation (Information theory) .

(4)

Optical data processing.

(4)

Computer organization.

(3)

Computer security.

(3)

Management information systems.

(3)

Pattern recognition.

(3)

Special purpose computers.

(3)

Information theory.

(2)

(2)

Machine learning.

(2)

Arithmetic and logic units, Computer.

(1)

(1)

Computational linguistics.

(1)

Computer hardware.

(1)

Electrical engineering.

(1)

Health informatics.

(1)

Microprogramming .

(1)

Partial differential equations.

(1)

Quantum computers.

(1)

(1)

Material Type

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

149 Results Found

Subscribe to search results

1 2 3 4 5 .. 13

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:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 13

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11