Search Results for Programming (Electronic computers)

|

|

|

|

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

Author

SpringerLink (Online service)

(58)

Giannakopoulou, Dimitra. editor.

(2)

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

(2)

Schaefer, Ina. editor.

(2)

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

(2)

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367

(2)

Abraham, Erika. editor.

(1)

Abrahao, Silvia. editor.

(1)

Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555

(1)

Albert, Elvira. editor.

(1)

Amyot, Daniel. editor.

(1)

Artho, Cyrille. editor.

(1)

Avgeriou, Paris. editor.

(1)

Bensalem, Saddek. editor.

(1)

Bernardo, Marco. editor.

(1)

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

(1)

Bonakdarpour, Borzoo. editor.

(1)

Boreale, Michele. editor. (orcid)0000-0002-1972-7491

(1)

Cabot, Jordi. editor.

(1)

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

(1)

Chang, Bor-Yuh Evan. editor.

(1)

Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336

(1)

Cheng, Chih-Hong. editor.

(1)

Ciardo, Gianfranco. editor.

(1)

Ciobanu, Gabriel. editor.

(1)

Codish, Michael. editor.

(1)

Cohen, Ernie. editor.

(1)

Corradini, Flavio. editor.

(1)

Counsell, Steve. editor.

(1)

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X

(1)

Damiani, Ferruccio. editor.

(1)

Di Ruscio, Davide. editor.

(1)

Dingel, Juergen. editor.

(1)

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

(1)

Duan, Zhenhua. editor.

(1)

Esparza, Javier. editor.

(1)

Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667

(1)

Fernández, Maribel. author.

(1)

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

(1)

Fischbach, Kai. editor.

(1)

Flammini, Francesco. editor.

(1)

Flatt, Matthew. editor.

(1)

Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736

(1)

Garrigue, Jacques. editor.

(1)

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

(1)

Guo, Hai-Feng. editor.

(1)

Guttman, Joshua D. editor.

(1)

Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613

(1)

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

(1)

Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951

(1)

Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750

(1)

Insfran, Emilio. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Keller, Chantal. editor.

(1)

Kindler, Ekkart. editor.

(1)

Klein, Gerwin. author.

(1)

Krieger, Udo R. editor.

(1)

Kroening, Daniel. editor.

(1)

Lakhnech, Yassine. editor.

(1)

Landwehr, Carl E. editor.

(1)

Lang, Frédéric. editor.

(1)

Legay, Axel. editor.

(1)

Leone, Nicola. editor.

(1)

Lifschitz, Vladimir. author.

(1)

Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096

(1)

Liu, Shaoying. editor.

(1)

Loreti, Michele. editor. (orcid)0000-0003-3061-863X

(1)

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

(1)

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

(1)

Massink, Mieke. editor. (orcid)0000-0001-5089-002X

(1)

McCarthy, Jay. editor.

(1)

McIver, Annabelle. editor. (orcid)0000-0002-2405-9838

(1)

Merayo, Mercedes G. editor.

(1)

Meseguer, José. editor.

(1)

Mesnard, Fred. editor.

(1)

Montes de Oca, Edgardo. editor.

(1)

Muscholl, Anca. editor.

(1)

Mussbacher, Gunter. editor.

(1)

Méry, Dominique. editor. (orcid)0000-0001-5231-6611

(1)

Müller-Olm, Markus. editor.

(1)

Nipkow, Tobias. author.

(1)

Núñez, Manuel. editor.

(1)

Oliveira, José N. editor. (orcid)0000-0002-0196-4229

(1)

Ouyang, Chun. editor.

(1)

Pavlovic, Dusko. editor.

(1)

Petre, Luigia. editor.

(1)

Peña, Ricardo. editor.

(1)

Poole, Stephen. editor.

(1)

Pugliese, Rosario. editor. (orcid)0000-0002-1419-1405

(1)

Ramos, Isidro. editor.

(1)

Remke, Anne. editor.

(1)

Rensink, Arend. editor.

(1)

Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872

(1)

Rubin, Julia. editor.

(1)

Rybalchenko, Andrey. editor.

(1)

Salaün, Gwen. editor.

(1)

Sampaio, Augusto. editor.

(1)

Schulte, Wolfram. editor.

(1)

Seidl, Helmut. editor.

(1)

Seidl, Martina. editor.

(1)

Sekerinski, Emil. editor.

(1)

Semini, Laura. editor. (orcid)0000-0001-8774-2346

(1)

Shamis, Pavel. editor.

(1)

Shao, Zhong. editor.

(1)

Silva, Josep. editor.

(1)

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

(1)

Smith, Graeme. editor.

(1)

Smolka, Scott A. editor.

(1)

Stamelos, Ioannis. editor.

(1)

Stoelinga, Mariëlle. editor.

(1)

Stuckey, Peter J. editor.

(1)

Sumii, Eijiro. editor.

(1)

Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748

(1)

Tillmann, Nikolai. editor.

(1)

Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281

(1)

Varró, Dániel. editor.

(1)

Yahav, Eran. editor.

(1)

Zdun, Uwe. editor. (orcid)0000-0002-6233-2591

(1)

Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721

(1)

Language

(58)

Publication Date

-

(39)

(19)

Subject

Programming languages (Electronic computers).

(58)

Software engineering.

(47)

Artificial intelligence.

(14)

Mathematical logic.

(14)

Computer programming.

(12)

(10)

Computer communication systems.

(8)

(8)

Computer science.

(6)

Computer organization.

(3)

Computer simulation.

(3)

Computer system failures.

(3)

Management information systems.

(3)

Application software.

(2)

Architecture, Computer.

(1)

Computer science—Mathematics.

(1)

Computers and civilization.

(1)

Data protection.

(1)

Mathematical statistics.

(1)

User interfaces (Computer systems).

(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

58 Results Found

Subscribe to search results

1 2 3 4 5

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.

13.

Cover image for Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

Author

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Leone, Nicola. editor. Manna, Marco. editor. (orcid)0000-0003-3323-9328 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Author

Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Author

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Answer Set Programming

Answer Set Programming

Answer Set Programming

Author

Lifschitz, Vladimir. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-24658-7

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Author

Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-13838-7

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Author

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Author

Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings

Author

Flatt, Matthew. editor. Guo, Hai-Feng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings

Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings

Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings

Author

Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings

Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings

Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings

Author

Seidl, Martina. editor. Tillmann, Nikolai. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings

Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings

Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings

Author

Avgeriou, Paris. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Author

Müller-Olm, Markus. editor. Seidl, Helmut. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11