Search Results for Computer Science Logic and Foundations of Programming.

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:

+

Subject: Artificial intelligence.

Author

SpringerLink (Online service)

(73)

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

(4)

Schmidt, Renate A. editor.

(3)

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

(2)

Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801

(2)

Johnsen, Einar Broch. editor.

(2)

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

(2)

Pogodalla, Sylvain. editor.

(2)

de Moura, Leonardo. editor.

(2)

Abbas, Houssam. editor. (orcid)0000-0002-8096-2618

(1)

Ahrendt, Wolfgang. editor.

(1)

Akama, Seiki. editor.

(1)

Alferes, Jose Julio. editor.

(1)

Amblard, Maxime. editor.

(1)

Amos, Martyn. editor.

(1)

An, Bo. editor.

(1)

Antonucci, Alessandro. editor.

(1)

Arbel, Eli. editor.

(1)

Artho, Cyrille. editor.

(1)

Ayala-Rincón, Mauricio. editor.

(1)

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

(1)

Balduccini, Marcello. editor.

(1)

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

(1)

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

(1)

Batsakis, Sotiris. editor.

(1)

Battiti, Roberto. editor. (orcid)0000-0002-0259-8603

(1)

Bazzan, Ana. editor.

(1)

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

(1)

Berger, Christian. editor.

(1)

Bertossi, Leopoldo. editor.

(1)

Best, Eike. editor.

(1)

Blazy, Sandrine. editor.

(1)

Bloem, Roderick. editor.

(1)

Bogomolov, Sergiy. editor.

(1)

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

(1)

Bouajjani, Ahmed. editor.

(1)

Bubel, Richard. editor.

(1)

Chechik, Marsha. editor.

(1)

Cho, Da-Jung. editor. (orcid)0000-0002-5265-8520

(1)

Cholvy, Laurence. editor.

(1)

Chopra, Amit K. editor.

(1)

Cinquemani, Eugenio. editor.

(1)

Condon, Anne. editor.

(1)

Cussens, James. editor.

(1)

De Nicola, Rocco. editor.

(1)

Di Marco, Antinisca. editor.

(1)

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

(1)

Dixon, Clare. editor.

(1)

Doder, Dragan. editor. (orcid)0000-0003-0067-3654

(1)

Donzé, Alexandre. editor.

(1)

Draheim, Dirk. author.

(1)

Ebert, Achim. editor.

(1)

England, Matthew. editor.

(1)

Esposito, Floriana. editor.

(1)

Fazekas, Szilárd Zsolt. editor. (orcid)0000-0001-5319-0395

(1)

Ferilli, Stefano. editor.

(1)

Festa, Paola. editor.

(1)

Finger, Marcelo. editor.

(1)

Fodor, Paul. editor.

(1)

Foret, Annie. editor.

(1)

Gabmeyer, Sebastian. editor.

(1)

Galitsky, Boris. author.

(1)

Geuvers, Herman. editor.

(1)

Ghosh, Sujata. editor.

(1)

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917

(1)

Gopal, T.V. editor.

(1)

Governatori, Guido. editor.

(1)

Gurfinkel, Arie. editor.

(1)

Hage, Jurriaan. editor.

(1)

Hague, Matthew. editor.

(1)

Hasan, Osman. editor.

(1)

Hasuo, Ichiro. editor.

(1)

Hirayama, Katsutoshi. editor.

(1)

Hirvonen, Åsa. editor.

(1)

Humayoun, Shah Rukh. editor.

(1)

Hung, Dang Van. editor.

(1)

Hähnle, Reiner. editor.

(1)

Höfner, Peter. editor.

(1)

Inoue, Katsumi. editor.

(1)

Janhunen, Tomi. editor.

(1)

Johansson, Moa. editor.

(1)

Jäger, Gerhard. editor.

(1)

Kakas, Antonis. editor.

(1)

Kapur, Deepak. editor.

(1)

Karydis, Ioannis. editor.

(1)

Kim, Jongmin. editor. (orcid)0000-0002-2713-1006

(1)

King, Andy. editor.

(1)

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

(1)

Kohlhase, Michael. editor.

(1)

Kunčak, Viktor. editor.

(1)

Kvasov, Dmitri E. editor.

(1)

Kühn, Eva. editor.

(1)

Lecomte, Thierry. editor.

(1)

Legay, Axel. editor.

(1)

Leite, João. editor.

(1)

Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X

(1)

Lisi, Francesca A. editor.

(1)

Majumdar, Rupak. editor.

(1)

Malcher, Andreas. editor. (orcid)0000-0002-9589-5833

(1)

Martel, Matthieu. editor.

(1)

Marín, Nicolás. editor.

(1)

Mayr, Heinrich C. editor.

(1)

Michael, Loizos. editor.

(1)

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

(1)

Miller, Bruce. editor.

(1)

Miller, Dale. editor. (orcid)0000-0003-0274-4954

(1)

Moral, Serafín. editor.

(1)

Morrill, Glyn. editor.

(1)

Mousavi, Mohammad Reza. editor.

(1)

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

(1)

Muskens, Reinhard. editor.

(1)

Muñoz, César A. editor.

(1)

Nalon, Cláudia. editor.

(1)

Nikitchenko, Mykola. editor.

(1)

Noriega, Pablo. editor.

(1)

Ohwada, Hayato. editor.

(1)

Olivetti, Nicola. editor.

(1)

Osswald, Rainer. editor.

(1)

Papini, Odile. editor.

(1)

Patitz, Matthew J. editor.

(1)

Peled, Doron. editor.

(1)

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

(1)

Pinger, Ralf. editor.

(1)

Pivert, Olivier. editor.

(1)

Polkowski, Lech T. author.

(1)

Potapov, Igor. editor.

(1)

Pous, Damien. editor.

(1)

Prabhakar, Pavithra. editor.

(1)

Prasad, Sanjiva. editor.

(1)

Prigioniero, Luca. editor. (orcid)0000-0001-7163-4965

(1)

Rabe, Florian. editor.

(1)

Reinecke, Philipp. editor.

(1)

Retoré, Christian. editor.

(1)

Roman, Dumitru. editor.

(1)

Romanovsky, Alexander. editor.

(1)

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

(1)

Russo, Alessandra. editor.

(1)

Schmitt, Peter H. editor.

(1)

Sellmann, Meinolf. editor.

(1)

Sensoy, Murat. editor.

(1)

Sergeyev, Yaroslav D. editor.

(1)

Serrano, Manuel. editor.

(1)

Seshia, Sanjit A. editor.

(1)

Seyff, Norbert. editor.

(1)

Sichman, Jaime Simão. editor.

(1)

Silva, Alexandra. editor.

(1)

Sioutas, Spyros. editor.

(1)

Son, Tran Cao. editor.

(1)

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

(1)

Stannett, Mike. editor.

(1)

Steila, Silvia. editor.

(1)

Strichman, Ofer. editor.

(1)

Struth, Georg. editor.

(1)

Sánchez, Daniel. editor.

(1)

Taha, Walid. editor.

(1)

Tamaddoni-Nezhad, Alireza. editor.

(1)

Teschke, Olaf. editor.

(1)

Tiwari, Ashish. editor.

(1)

Tompa, Frank. editor.

(1)

Torroni, Paolo. editor.

(1)

Triantafillou, Peter. editor.

(1)

Troubitsyna, Elena A. editor.

(1)

Tsoumakos, Dimitrios. editor.

(1)

Tzoref-Brill, Rachel. editor.

(1)

Ulbrich, Mattias. editor.

(1)

Vanschoren, Joaquin. editor.

(1)

Varró, Dániel. editor.

(1)

Villata, Serena. editor.

(1)

Väänänen, Jouko. editor.

(1)

Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098

(1)

Wisniewski, Rafael. editor.

(1)

Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591

(1)

Yamamoto, Akihiro. editor.

(1)

Zholtkevych, Grygoriy. editor.

(1)

de Groote, Philippe. editor.

(1)

de Queiroz, Ruy. editor.

(1)

van der Aalst, Wil. editor.

(1)

van der Torre, Leendert. editor.

(1)

Ábrahám, Erika. editor.

(1)

Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134

(1)

Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028

(1)

Language

(73)

Publication Date

-

(32)

(29)

(7)

(4)

(1)

Subject

Computer Science Logic and Foundations of Programming.

(73)

Computer science.

(73)

Formal Languages and Automata Theory.

(51)

Machine theory.

(51)

Software engineering.

(51)

Compilers (Computer programs).

(27)

Compilers and Interpreters.

(27)

Computer networks .

(15)

(14)

Computer programming.

(14)

Programming Techniques.

(14)

Computer science -- Mathematics.

(13)

Application software.

(10)

Computer Communication Networks.

(10)

Computer and Information Systems Applications.

(10)

Computer Modelling.

(9)

Computer simulation.

(9)

Theory of Computation.

(9)

Computer Engineering and Networks.

(5)

Computer engineering.

(5)

Discrete Mathematics in Computer Science.

(5)

Discrete mathematics.

(5)

Computers, Special purpose.

(4)

Electronic digital computers -- Evaluation.

(4)

Mathematics of Computing.

(4)

Special Purpose and Application-Based Systems.

(4)

System Performance and Evaluation.

(4)

Computer Application in Administrative Data Processing.

(3)

Computer System Implementation.

(3)

Computer systems.

(3)

Data Mining and Knowledge Discovery.

(3)

(3)

Human-computer interaction.

(3)

Information technology -- Management.

(3)

Symbolic and Algebraic Manipulation.

(3)

User Interfaces and Human Computer Interaction.

(3)

User interfaces (Computer systems).

(3)

Computational intelligence.

(2)

(2)

Information Storage and Retrieval.

(2)

Information storage and retrieval systems.

(2)

Mathematical statistics.

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

Probability and Statistics in Computer Science.

(2)

(2)

The Computing Profession.

(2)

Arithmetic and Logic Structures.

(1)

Bioinformatics.

(1)

Computational and Systems Biology.

(1)

Computational linguistics.

(1)

Computer Application in Social and Behavioral Sciences.

(1)

Computer arithmetic and logic units.

(1)

Computer-Aided Engineering (CAD, CAE) and Design.

(1)

Computer-aided engineering.

(1)

Computers and Education.

(1)

Data Engineering.

(1)

Data Structures and Information Theory.

(1)

Data and Information Security.

(1)

Data protection.

(1)

Data structures (Computer science).

(1)

Database management.

(1)

Design and Analysis of Algorithms.

(1)

Education -- Data processing.

(1)

Electronic data processing -- Management.

(1)

Engineering -- Data processing.

(1)

(1)

Information theory.

(1)

(1)

Mathematical Logic and Foundations.

(1)

Mathematical logic.

(1)

(1)

(1)

Numerical analysis.

(1)

Operations Research and Decision Theory.

(1)

Operations research.

(1)

Programming Language.

(1)

Programming languages (Electronic computers).

(1)

Social sciences -- Data processing.

(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 .. 3 4 5 6 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.

49.

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:

50.

Cover image for Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers

Author

Karydis, Ioannis. editor. Sioutas, Spyros. editor. Triantafillou, Peter. editor. Tsoumakos, Dimitrios. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

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:

52.

Cover image for Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Author

De Nicola, Rocco. editor. Kühn, Eva. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Usability- and Accessibility-Focused Requirements Engineering First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014, Revised Selected Papers

Usability- and Accessibility-Focused Requirements Engineering First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014, Revised Selected Papers

Usability- and Accessibility-Focused Requirements Engineering First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014, Revised Selected Papers

Author

Ebert, Achim. editor. Humayoun, Shah Rukh. editor. Seyff, Norbert. editor. Perini, Anna. editor. (orcid)0000-0001-8818-6476 Barbosa, Simone D.J. editor. (orcid)0000-0002-0044-503X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

Author

Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 Varró, Dániel. editor. Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings

Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings

Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings

Author

Amos, Martyn. editor. Condon, Anne. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Author

Lecomte, Thierry. editor. Pinger, Ralf. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Author

Hasuo, Ichiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

Author

Foret, Annie. editor. Morrill, Glyn. editor. Muskens, Reinhard. editor. Osswald, Rainer. editor. Pogodalla, Sylvain. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-53042-9

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

Author

Kohlhase, Michael. editor. Johansson, Moa. editor. Miller, Bruce. editor. de Moura, Leonardo. editor. Tompa, Frank. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Deductive Software Verification - The KeY Book From Theory to Practice

Deductive Software Verification - The KeY Book From Theory to Practice

Deductive Software Verification - The KeY Book From Theory to Practice

Author

Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 3 4 5 6 7

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11