Search Results for Computer Science Logic and Foundations of Programming.

|

|

|

|

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:

+

Publication Date: 2016

Author

SpringerLink (Online service)

(101)

Artho, Cyrille. editor.

(2)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(2)

Chaudhuri, Swarat. editor.

(2)

De Nicola, Rocco. editor.

(2)

Farzan, Azadeh. editor.

(2)

Fränzle, Martin. editor.

(2)

Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421

(2)

Guiochet, Jérémie. editor.

(2)

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

(2)

Lecomte, Thierry. editor.

(2)

Liu, Shaoying. editor.

(2)

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

(2)

Pogodalla, Sylvain. editor.

(2)

Skavhaug, Amund. editor.

(2)

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

(2)

Wąsowski, Andrzej. editor.

(2)

Ábrahám, Erika. editor.

(2)

Ölveczky, Peter Csaba. editor.

(2)

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611

(1)

Agha, Gul. editor.

(1)

Ahrendt, Wolfgang. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Akama, Seiki. editor.

(1)

Albert, Elvira. editor.

(1)

Alferes, Jose Julio. editor.

(1)

Amblard, Maxime. editor.

(1)

Amos, Martyn. editor.

(1)

Arbel, Eli. editor.

(1)

Artemov, Sergei. editor.

(1)

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

(1)

Barbosa, Simone D.J. editor. (orcid)0000-0002-0044-503X

(1)

Batsakis, Sotiris. editor.

(1)

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

(1)

Bernardo, Marco. editor.

(1)

Bertogna, Marko. editor.

(1)

Bertossi, Leopoldo. editor.

(1)

Biro, Miklos. editor.

(1)

Blanchette, Jasmin Christian. editor.

(1)

Blazy, Sandrine. editor.

(1)

Bloem, Roderick. editor.

(1)

Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618

(1)

Bošnački, Dragan. editor.

(1)

Braga, Christiano. editor.

(1)

Brlek, Srečko. editor.

(1)

Bubel, Richard. editor.

(1)

Butler, Michael. editor.

(1)

Castor, Fernando. editor.

(1)

Chechik, Marsha. editor.

(1)

Chechik, Marsha. editor. (orcid)0000-0002-6301-3517

(1)

Chopra, Amit K. editor.

(1)

Cinquemani, Eugenio. editor.

(1)

Comyn-Wattiau, Isabelle. editor.

(1)

Condon, Anne. editor.

(1)

Cornélio, Márcio. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Câmpeanu, Cezar. editor.

(1)

Dal Lago, Ugo. editor.

(1)

Daneva, Maya. editor.

(1)

Delporte-Gallet, Carole. editor.

(1)

Desel, Jörg. editor.

(1)

Devitt, Simon. editor.

(1)

Dignum, Virginia. editor. (orcid)0000-0001-7409-5813

(1)

Donzé, Alexandre. editor.

(1)

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

(1)

Ebert, Achim. editor.

(1)

Echahed, Rachid. editor.

(1)

Falcone, Yliès. editor.

(1)

Festa, Paola. editor.

(1)

Fiems, Dieter. editor.

(1)

Filipe, Joaquim. editor.

(1)

Fitzgerald, John. editor.

(1)

Fodor, Paul. editor.

(1)

Foret, Annie. editor.

(1)

Furia, Carlo A. editor.

(1)

Galitsky, Boris. author.

(1)

Gavanelli, Marco. editor.

(1)

Governatori, Guido. editor.

(1)

Grabowski, Jens. editor.

(1)

Gurfinkel, Arie. editor.

(1)

Göbel, Susanne. author.

(1)

Hage, Jurriaan. editor.

(1)

Han, Yo-Sub. editor.

(1)

Hankin, Chris. editor.

(1)

Hansen, René Rydhof. editor.

(1)

Hasuo, Ichiro. editor.

(1)

Heitmeyer, Constance. editor.

(1)

Herbold, Steffen. editor.

(1)

Hildebrandt, Thomas. editor.

(1)

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

(1)

Hirayama, Katsutoshi. editor.

(1)

Hirvonen, Åsa. editor.

(1)

Huisman, Marieke. editor. (orcid)0000-0003-4467-072X

(1)

Humayoun, Shah Rukh. editor.

(1)

Hähnle, Reiner. editor.

(1)

Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764

(1)

Inoue, Katsumi. editor.

(1)

Jacobs, Bart. editor.

(1)

Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X

(1)

Jobstmann, Barbara. editor.

(1)

Johansson, Moa. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Kakas, Antonis. editor.

(1)

Kapitsaki, Georgia M. editor.

(1)

Kapur, Deepak. editor.

(1)

Karydis, Ioannis. editor.

(1)

King, Andy. editor.

(1)

Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186

(1)

Kleijn, Jetty. editor.

(1)

Knapp, Alexander. editor.

(1)

Kohlhase, Michael. editor.

(1)

Kordy, Barbara. editor.

(1)

Koutny, Maciej. editor. (orcid)0000-0003-4563-1378

(1)

Kulikov, Alexander S. editor.

(1)

Kushik, Natalia. editor.

(1)

Kühn, Eva. editor.

(1)

Lamprecht, Anna-Lena. editor.

(1)

Larsen, Kim Guldstrand. editor.

(1)

Lawford, Mark. editor.

(1)

Legay, Axel. editor.

(1)

Leino, K. Rustan M. editor.

(1)

Lindley, Sam. editor.

(1)

Liu, Yu David. editor.

(1)

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

(1)

Lluch Lafuente, Alberto. editor.

(1)

Lucanu, Dorel. editor.

(1)

Löding, Christof. editor.

(1)

Lönn, Henrik. editor.

(1)

Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545

(1)

Manea, Florin. editor.

(1)

Markey, Nicolas. editor.

(1)

Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953

(1)

Mauw, Sjouke. editor.

(1)

Mayr, Heinrich C. editor.

(1)

Mazzara, Manuel. editor.

(1)

McBride, Conor. editor.

(1)

Merz, Stephan. editor.

(1)

Michael, Loizos. editor.

(1)

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

(1)

Miller, Bruce. editor.

(1)

Minas, Mark. editor.

(1)

Morrill, Glyn. editor.

(1)

Muskens, Reinhard. editor.

(1)

Nerode, Anil. editor.

(1)

Nica, Mihai. editor.

(1)

Nikitchenko, Mykola. editor.

(1)

Noriega, Pablo. editor.

(1)

O'Regan, Gerard. author.

(1)

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259

(1)

Ohwada, Hayato. editor.

(1)

Olivetti, Nicola. editor.

(1)

Osswald, Rainer. editor.

(1)

Paolieri, Marco. editor.

(1)

Pastor, Oscar. editor.

(1)

Peled, Doron. editor.

(1)

Perini, Anna. editor. (orcid)0000-0001-8818-6476

(1)

Philippou, Anna. editor.

(1)

Pinger, Ralf. editor.

(1)

Pinho, Luís Miguel. editor.

(1)

Platis, Agapios N. editor.

(1)

Potapov, Igor. editor.

(1)

Probst, Christian W. editor.

(1)

Proença, José. editor.

(1)

Quiñones, Eduardo. editor.

(1)

Raskin, Jean-François. editor.

(1)

Ravara, António. editor.

(1)

Rayadurgam, Sanjai. editor.

(1)

Reppy, John. editor.

(1)

Retoré, Christian. editor.

(1)

Reutenauer, Christophe. editor.

(1)

Ribeiro, Leila. editor.

(1)

Rival, Xavier. editor.

(1)

Roman, Dumitru. editor.

(1)

Romanovsky, Alexander. editor.

(1)

Roscoe, Bill. editor.

(1)

Saeki, Motoshi. editor.

(1)

Salomaa, Kai. editor.

(1)

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

(1)

Sannella, Don. editor. (orcid)0000-0003-4520-8924

(1)

Santana de Almeida, Eduardo. editor.

(1)

Schewe, Klaus-Dieter. editor.

(1)

Schmitt, Peter H. editor.

(1)

Schoitsch, Erwin. editor.

(1)

Sellmann, Meinolf. editor.

(1)

Sensoy, Murat. editor.

(1)

Serrano, Manuel. editor.

(1)

Seshia, Sanjit A. editor.

(1)

Seyff, Norbert. editor.

(1)

Shallit, Jeffrey. editor.

(1)

Sichman, Jaime Simão. editor.

(1)

Sioutas, Spyros. editor.

(1)

Skrzypczak, Michał. author.

(1)

Son, Tran Cao. editor.

(1)

Song, Il-Yeol. editor.

(1)

Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133

(1)

Srba, Jiří. editor.

(1)

Steffen, Bernhard. editor.

(1)

Stevens, Perdita. editor.

(1)

Sánchez, César. editor.

(1)

Tanaka, Katsumi. editor.

(1)

Language

(101)

Subject

Computer Science Logic and Foundations of Programming.

(100)

Computer science.

(100)

Software engineering.

(81)

Formal Languages and Automata Theory.

(69)

Machine theory.

(69)

Compilers (Computer programs).

(54)

Compilers and Interpreters.

(54)

Artificial intelligence.

(32)

Theory of Computation.

(25)

(21)

Computer programming.

(21)

Programming Techniques.

(21)

Application software.

(20)

Computer and Information Systems Applications.

(20)

Computer networks .

(20)

Computer science -- Mathematics.

(18)

Computer Modelling.

(17)

Computer simulation.

(17)

Computer Communication Networks.

(15)

Electronic data processing -- Management.

(12)

(12)

Discrete Mathematics in Computer Science.

(10)

Discrete mathematics.

(10)

Electronic digital computers -- Evaluation.

(6)

System Performance and Evaluation.

(6)

Computer Engineering and Networks.

(5)

Computer engineering.

(5)

Computers, Special purpose.

(5)

Information Storage and Retrieval.

(5)

Information storage and retrieval systems.

(5)

Mathematical statistics.

(5)

Probability and Statistics in Computer Science.

(5)

Special Purpose and Application-Based Systems.

(5)

Data and Information Security.

(3)

Data protection.

(3)

Database management.

(3)

Human-computer interaction.

(3)

User Interfaces and Human Computer Interaction.

(3)

User interfaces (Computer systems).

(3)

Arithmetic and Logic Structures.

(2)

Artificial intelligence -- Data processing.

(2)

Business information services.

(2)

Computer arithmetic and logic units.

(2)

Data Mining and Knowledge Discovery.

(2)

(2)

(2)

IT in Business.

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

Symbolic and Algebraic Manipulation.

(2)

Bioinformatics.

(1)

Computational and Systems Biology.

(1)

Computational intelligence.

(1)

Computational linguistics.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer Application in Social and Behavioral Sciences.

(1)

Computers -- History.

(1)

Computers and Education.

(1)

Education -- Data processing.

(1)

History of Computing.

(1)

Information technology -- Management.

(1)

(1)

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical logic.

(1)

Mathematics of Computing.

(1)

Models of Computation.

(1)

(1)

(1)

Numerical analysis.

(1)

Operating Systems.

(1)

Operating systems (Computers).

(1)

Quantum Computing.

(1)

Quantum computers.

(1)

Social sciences -- Data processing.

(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

101 Results Found

Subscribe to search results

1 2 3 4 5 .. 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 Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers

Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers

Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers

Author

Inoue, Katsumi. editor. Ohwada, Hayato. editor. Yamamoto, Akihiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

Author

Fitzgerald, John. editor. Heitmeyer, Constance. editor. Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Philippou, Anna. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Coordination, Organizations, Institutions, and Norms in Agent Systems XI COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers

Coordination, Organizations, Institutions, and Norms in Agent Systems XI COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers

Coordination, Organizations, Institutions, and Norms in Agent Systems XI COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers

Author

Dignum, Virginia. editor. (orcid)0000-0001-7409-5813 Noriega, Pablo. editor. Sensoy, Murat. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

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:

5.

Cover image for Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Author

Olivetti, Nicola. editor. Tiwari, Ashish. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

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:

7.

Cover image for Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings

Author

Amblard, Maxime. editor. de Groote, Philippe. editor. Pogodalla, Sylvain. editor. Retoré, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-53826-5

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

Author

Devitt, Simon. 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-40578-0

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers

Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers

Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers

Author

Festa, Paola. editor. Sellmann, Meinolf. editor. Vanschoren, Joaquin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-50349-3

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Author

Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

Author

Skrzypczak, Michał. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Author

Artho, Cyrille. editor. Legay, Axel. editor. Peled, Doron. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-46520-3

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 9

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11