Search Results for Computer Science.

|

|

|

|

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: Mathematical logic.

Author

SpringerLink (Online service)

(104)

Bouchon-Meunier, Bernadette. editor.

(3)

Laurent, Anne. editor.

(3)

Strauss, Olivier. editor.

(3)

Yager, Ronald R. editor.

(3)

Ait Ameur, Yamine. editor.

(2)

Csuhaj-Varjú, Ersébet. editor.

(2)

Dietzfelbinger, Martin. editor.

(2)

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

(2)

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

(2)

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

(2)

Moortgat, Michael. editor.

(2)

Ortuño, Francisco. editor.

(2)

Rojas, Fernando. editor.

(2)

Rojas, Ignacio. editor.

(2)

Schewe, Klaus-Dieter. 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)

Ardagna, Claudio Agostino. editor.

(1)

Artho, Cyrille. editor.

(1)

Asher, Nicholas. editor.

(1)

Atif, Muhammad. author.

(1)

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

(1)

Barais, Olivier. editor.

(1)

Barceló, Pablo. editor.

(1)

Barkatou, Moulay. editor.

(1)

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

(1)

Beierle, Christoph. editor.

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

Bojańczyk, Mikołaj. editor.

(1)

Boniol, Frederic. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

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

(1)

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

(1)

Cai, Zhipeng. editor.

(1)

Calude, Cristian S. editor.

(1)

Cariani, Fabrizio. editor.

(1)

Casadio, Claudia. editor.

(1)

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

(1)

Cerrito, Serenella. editor.

(1)

Chaves, Madalena. editor.

(1)

Chen, Xiaoyun. editor.

(1)

Cleaveland, Rance. editor.

(1)

Cluzeau, Thomas. editor.

(1)

Coecke, Bob. editor.

(1)

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

(1)

Colinet, Margot. editor.

(1)

Combemale, Benoit. editor.

(1)

Cooper, S. Barry. editor.

(1)

Corchado, Juan Manuel. editor.

(1)

Crespi Reghizzi, Stefano. author.

(1)

Croitoru, Madalina. 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)

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)

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

(1)

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

(1)

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

(1)

Fiadeiro, José Luiz. editor.

(1)

Filipe, Joaquim. editor.

(1)

Fred, Ana. editor.

(1)

Freivalds, Rūsiņš. editor.

(1)

Gamboa, Ruben. editor.

(1)

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

(1)

Giese, Holger. 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)

Groote, Jan Friso. author.

(1)

Grossi, Davide. editor.

(1)

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

(1)

Guo, Meiyun. editor.

(1)

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

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)

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)

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)

Jipsen, Peter. editor.

(1)

Jirásková, Galina. editor.

(1)

Jones, Cliff. 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)

Kapur, Deepak. editor.

(1)

Karhumäki, Juhani. editor.

(1)

Kashefi, Elham. editor.

(1)

Katrenko, Sophia. editor.

(1)

Kazuo, Iwama. editor.

(1)

Khan, Md. Aquil. editor.

(1)

Klein, Gerwin. editor.

(1)

Kobele, Greg. editor.

(1)

Kohlenbach, Ulrich. editor.

(1)

Konstantinidis, Stavros. editor.

(1)

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

(1)

Kotzinos, Dimitris. editor.

(1)

Kuhn, Tobias. editor.

(1)

Kumar Vishvakarma, Santosh. editor.

(1)

Kutrib, Martin. editor.

(1)

König, Barbara. editor.

(1)

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

(1)

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

(1)

Larsen, Kim G. editor.

(1)

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

(1)

Lewis, Dave. editor.

(1)

Li, Angsheng. editor.

(1)

Li, Ge. editor.

(1)

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

(1)

Li, Ming. editor.

(1)

Li, Xianyong. editor.

(1)

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

(1)

Liu, Kecheng. editor.

(1)

Liu, Zhiming. editor.

(1)

Lluch Lafuente, Alberto. editor.

(1)

Lopez, Vanessa. editor.

(1)

Lorini, Emiliano. editor.

(1)

Lutz, Carsten. editor.

(1)

Maffei, Matteo. editor.

(1)

Manea, Florin. editor.

(1)

Manuel, Amaldev. editor.

(1)

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

(1)

Martin, Barnaby. editor.

(1)

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

(1)

Meduna, Alexander. author.

(1)

Meersman, Robert. editor.

(1)

Meghini, Carlo. editor.

(1)

Meheus, Joke. editor.

(1)

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

(1)

Meseguer, José. editor.

(1)

Mesnard, Fred. editor.

(1)

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

(1)

Morrill, Glyn. editor.

(1)

Morzenti, Angelo. author.

(1)

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

(1)

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

(1)

Muscholl, Anca. editor.

(1)

Muskens, Reinhard. editor.

(1)

Müller, Martin Eric. editor.

(1)

Nguyen, Canh Hao. editor.

(1)

O'Sullivan, Barry. editor.

(1)

Ogata, Kazuhiro. editor.

(1)

Okhotin, Alexander. editor.

(1)

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

(1)

Osswald, Rainer. editor.

(1)

Ouaknine, Joel. editor.

(1)

O’Regan, Gerard. author.

(1)

Pacuit, Eric. editor.

(1)

Palamidessi, Catuscia. editor.

(1)

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

(1)

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

(1)

Parent, Xavier. editor.

(1)

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

(1)

Paulusma, Daniël. editor.

(1)

Pearce, David. editor.

(1)

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

(1)

Petre, Luigia. editor.

(1)

Peña, Ricardo. editor.

(1)

Language

(104)

Publication Date

-

(52)

(51)

(1)

Subject

Computer logic.

(49)

Artificial intelligence.

(43)

Computer science—Mathematics.

(33)

Software engineering.

(29)

(26)

(25)

Application software.

(12)

Information storage and retrieval.

(12)

Natural language processing (Computer science).

(12)

Programming languages (Electronic computers).

(11)

Database management.

(7)

Computer programming.

(6)

Computer science.

(6)

Computer system failures.

(6)

Data structures (Computer science).

(6)

Numerical analysis.

(6)

(4)

Knowledge representation (Information theory) .

(4)

Bioinformatics.

(3)

Computer security.

(3)

Computer simulation.

(3)

Management information systems.

(3)

Optical data processing.

(3)

Computer communication systems.

(2)

(2)

Machine learning.

(2)

Mathematical statistics.

(2)

Arithmetic and logic units, Computer.

(1)

Biomathematics.

(1)

(1)

Computational linguistics.

(1)

Computer Modelling.

(1)

Computer hardware.

(1)

Computer organization.

(1)

Computer science -- Mathematics.

(1)

Electrical engineering.

(1)

Information theory.

(1)

Markov Process.

(1)

Markov processes.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical and Computational Biology.

(1)

Partial differential equations.

(1)

Quantum computers.

(1)

(1)

Special purpose computers.

(1)

Material Type

Shelf Location

Electronic Library

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

104 Results Found

Subscribe to search results

1 .. 3 4 5 6 7 .. 9

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 VLSI Design and Test 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papers

VLSI Design and Test 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papers

VLSI Design and Test 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papers

Author

Sengupta, Anirban. editor. Dasgupta, Sudeb. editor. Singh, Virendra. editor. Sharma, Rohit. editor. Kumar Vishvakarma, Santosh. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-32-9767-8

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Information Search, Integration, and Personalization 12th International Workshop, ISIP 2018, Fukuoka, Japan, May 14–15, 2018, Revised Selected Papers

Information Search, Integration, and Personalization 12th International Workshop, ISIP 2018, Fukuoka, Japan, May 14–15, 2018, Revised Selected Papers

Information Search, Integration, and Personalization 12th International Workshop, ISIP 2018, Fukuoka, Japan, May 14–15, 2018, Revised Selected Papers

Author

Kotzinos, Dimitris. editor. Laurent, Dominique. editor. (orcid)0000-0002-7264-9576 Spyratos, Nicolas. editor. Tanaka, Yuzuru. editor. Taniguchi, Rin-ichiro. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings

Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings

Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings

Author

Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Sierra-Rodríguez, José-Luis. editor. Truthe, Bianca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers

Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers

Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers

Author

van den Herik, H. Jaap. editor. Iida, Hiroyuki. editor. Plaat, Aske. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-09165-5

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Author

Muscholl, Anca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54830-7

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

Author

Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-43652-3

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

Author

van Breugel, Franck. editor. Kashefi, Elham. editor. Palamidessi, Catuscia. editor. Rutten, Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Author

Biere, Armin. editor. (orcid)0000-0001-7170-9242 Bloem, Roderick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings

Author

Ouaknine, Joel. editor. Potapov, Igor. editor. Worrell, James. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings

Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings

Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings

Author

Jürgensen, Helmut. editor. Karhumäki, Juhani. editor. Okhotin, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part I

Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part I

Information Processing and Management of Uncertainty 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part I

Author

Laurent, Anne. editor. Strauss, Olivier. editor. Bouchon-Meunier, Bernadette. editor. Yager, Ronald R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-08795-5

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 .. 9

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11