Search Results for Programming languages (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:

+

Library: Online Library

Author

SpringerLink (Online service)

(125)

Hunt, John. author.

(3)

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

(3)

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

(3)

Badger, Julia M. editor.

(2)

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

(2)

Giannakopoulou, Dimitra. editor.

(2)

Lee, Kent D. author.

(2)

Lissoir, Alain.

(2)

Salaün, Gwen. editor.

(2)

Schaefer, Ina. editor.

(2)

Stephenson, Ben. author.

(2)

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

(2)

Turtschi, Adrian.

(2)

de Supinski, Bronis R. editor.

(2)

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

(2)

Abraham, Erika. editor.

(1)

Abrahao, Silvia. editor.

(1)

Agha, Gul. editor.

(1)

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

(1)

Albert, Elvira. editor.

(1)

Alferes, José Júlio. editor.

(1)

Amyot, Daniel. editor.

(1)

Ardagna, Claudio Agostino. editor.

(1)

Artho, Cyrille. editor.

(1)

Avgeriou, Paris. editor.

(1)

Barais, Olivier. editor.

(1)

Beckerman, Andrew P.

(1)

Bensalem, Saddek. editor.

(1)

Bernardo, Marco. editor.

(1)

Bertels, Koen. editor. (orcid)0000-0001-9310-4885

(1)

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

(1)

Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701

(1)

Bodden, Eric. editor.

(1)

Boehme, David. editor.

(1)

Bojańczyk, Mikołaj. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

Bonfante, Guillaume. editor.

(1)

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

(1)

Brambilla, Marco, 1976- author.

(1)

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

(1)

(1)

Buchanan, William.

(1)

(1)

Cabot, Jordi. editor.

(1)

Caires, Luís. editor. (orcid)0000-0002-3215-6734

(1)

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

(1)

Cassez, Franck. editor.

(1)

Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428

(1)

Chang, Bor-Yuh Evan. editor.

(1)

Chapman, Barbara M. editor.

(1)

Charatan, Quentin. author.

(1)

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

(1)

Cheng, Chih-Hong. editor.

(1)

Chiba, Shigeru. editor.

(1)

Ciardo, Gianfranco. editor.

(1)

Ciobanu, Gabriel. editor.

(1)

Codish, Michael. editor.

(1)

Cohen, Albert. editor.

(1)

Cohen, Ernie. editor.

(1)

Collart-Dutilleul, Simon. editor.

(1)

Combemale, Benoit. editor.

(1)

Cordeiro, José. editor.

(1)

Corradini, Flavio. editor.

(1)

Counsell, Steve. editor.

(1)

(1)

Crespi Reghizzi, Stefano. author.

(1)

Cybenko, George. editor. (orcid)0000-0001-7734-2912

(1)

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

(1)

Damiani, Ferruccio. editor.

(1)

DeRose, Luiz. editor.

(1)

Debbabi, Mourad. editor. (orcid)0000-0003-3015-3043

(1)

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

(1)

Di Ruscio, Davide. editor.

(1)

Dillig, Isil. editor.

(1)

Dingel, Juergen. editor.

(1)

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

(1)

Duan, Zhenhua. editor.

(1)

Dutra, Inês. editor.

(1)

Egges, Arjan. author.

(1)

Esparza, Javier. editor.

(1)

Fan, Xing. editor.

(1)

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

(1)

Fernández, Maribel. author.

(1)

Fila, Barbara. editor. (orcid)0000-0002-1824-7621

(1)

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

(1)

Fischbach, Kai. editor.

(1)

Flammini, Francesco. editor.

(1)

Flatt, Matthew. editor.

(1)

Fokker, Jeroen D. author.

(1)

Foster, James C.

(1)

Franch, Xavier. editor. (orcid)0000-0001-9733-8830

(1)

Fraternali, Piero, author.

(1)

Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393

(1)

Garrigue, Jacques. editor.

(1)

Gay, Gregory. editor. (orcid)0000-0001-6794-9585

(1)

George, Laurent. editor.

(1)

Giacaman, Nasser. editor.

(1)

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

(1)

Goedicke, Michael. editor.

(1)

Goguen, Joseph.

(1)

Graf, Susanne. editor.

(1)

Grueau, Cédric. editor.

(1)

Guerra, Esther. editor. (orcid)0000-0002-2818-2278

(1)

Guo, Hai-Feng. editor.

(1)

Guttman, Joshua D. editor.

(1)

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

(1)

Halfacree, Gareth.

(1)

Hall, Mary. editor. (orcid)0000-0002-3058-7573

(1)

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

(1)

Hepp, Martin. editor.

(1)

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

(1)

Hitzler, Pascal., author.

(1)

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

(1)

(1)

Horváth, Zoltán. editor.

(1)

Hughes, John. editor. (orcid)0000-0001-8042-0969

(1)

Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613

(1)

Igarashi, Atsushi. editor.

(1)

Insfran, Emilio. editor.

(1)

Johansson, Moa. editor. (orcid)0000-0002-1097-8278

(1)

Johnsen, Einar Broch. editor.

(1)

Jones, Richard. editor.

(1)

Juckeland, Guido. editor. (orcid)0000-0002-9935-4428

(1)

Kans, Aaron. author.

(1)

Keller, Chantal. editor.

(1)

(1)

Kienzle, Jörg. editor.

(1)

Kindler, Ekkart. editor.

(1)

Kindratenko, Volodymyr. editor.

(1)

Klein, Gerwin. author.

(1)

Knauss, Eric. editor. (orcid)0000-0002-6631-872X

(1)

Kobayashi, Naoki. editor.

(1)

Kovalev, Mikhail. author.

(1)

Krieger, Udo R. editor.

(1)

Kroening, Daniel. editor.

(1)

Lakhnech, Yassine. editor.

(1)

Lakshman, Bulusu., author.

(1)

Landwehr, Carl E. editor.

(1)

Lang, Frédéric. editor.

(1)

Larsen, Kim G. editor.

(1)

Larsen, Kim Guldstrand. editor.

(1)

Laurini, Robert. editor.

(1)

Lazzarini, Victor. author.

(1)

Le Goues, Claire. editor.

(1)

Lecomte, Thierry. editor.

(1)

Legay, Axel. editor.

(1)

Leone, Nicola. editor.

(1)

Levin, Michael I.

(1)

Levine, Joshua A. editor.

(1)

Lewis, Dave. 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)

Lujak, Marin. editor.

(1)

Malcolm, Grant.

(1)

Malizia, Alessio. editor.

(1)

Malony, Allen D. editor.

(1)

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

(1)

Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329

(1)

Maoz, Shahar. editor.

(1)

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

(1)

Martin Vide, Carlos.

(1)

Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X

(1)

Massachusetts Institute of Technology. Computation Center.

(1)

Massachusetts Institute of Technology. Research Laboratory of Electronics.

(1)

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

(1)

Masuhara, Hidehiko. editor.

(1)

Matsuoka, Satoshi. editor.

(1)

McCarthy, Jay. editor.

(1)

McCarthy, John, 1927-2011.

(1)

McClure, Stuart.

(1)

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

(1)

McLean, Alex (Christopher Alex), 1975-

(1)

Meersman, Robert. editor.

(1)

Merayo, Mercedes G. editor.

(1)

Merz, Stephan. editor.

(1)

Meseguer, José. editor.

(1)

Mesnard, Fred. editor.

(1)

Mitrana, Victor.

(1)

Montes de Oca, Edgardo. editor.

(1)

Morch, Anders. editor.

(1)

(1)

Morzenti, Angelo. author.

(1)

Muscholl, Anca. editor.

(1)

Mussbacher, Gunter. editor.

(1)

Myreen, Magnus. editor.

(1)

Männistö, Tomi. editor. (orcid)0000-0001-7470-5183

(1)

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

(1)

Müller, Matthias S. editor.

(1)

Müller, Silvia M. author.

(1)

Müller-Olm, Markus. editor.

(1)

Nejati, Shiva. editor.

(1)

Nipkow, Tobias. author.

(1)

Núñez, Manuel. editor.

(1)

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

(1)

Olivier, Stephen L. editor.

(1)

Orejas, Fernando. editor.

(1)

Ouyang, Chun. editor.

(1)

Language

(155)

(1)

Publication Date

-

(64)

(62)

(5)

(5)

(3)

(3)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Programming languages (Electronic computers).

(127)

Software engineering.

(81)

Computer logic.

(58)

Computer programming.

(38)

Artificial intelligence.

(26)

Mathematical logic.

(24)

(21)

(19)

Programming languages (Electronic computers)

(17)

Computer communication systems.

(13)

Computer simulation.

(11)

Application software.

(9)

Computer organization.

(9)

Computer science.

(9)

Computer system failures.

(9)

Operating systems (Computers).

(8)

(7)

Architecture, Computer.

(6)

Electronic books.

(5)

Management information systems.

(5)

Programming languages (Electronic computers) -- Semantics.

(5)

Python (Computer program language).

(5)

Database management.

(4)

Computer science—Mathematics.

(3)

Computer software -- Development.

(3)

Microprocessors.

(3)

Special purpose computers.

(3)

Computational intelligence.

(2)

Computer hardware.

(2)

Computer security.

(2)

(2)

Data protection.

(2)

Data structures (Computer science).

(2)

Digital computer simulation.

(2)

Java (Computer program language).

(2)

Microprogramming .

(2)

Microsoft .NET Framework.

(2)

Microsoft Windows (Computer file)

(2)

Numerical analysis.

(2)

Operating systems (Computers)

(2)

Pattern recognition.

(2)

Programmeertalen.

(2)

Programming languages (Electronic computers) -- Syntax.

(2)

(2)

UML (Computer science).

(2)

User interfaces (Computer systems).

(2)

Active server pages.

(1)

(1)

Algebraïsche taalkunde.

(1)

Arithmetic and logic units, Computer.

(1)

Bioinformatics.

(1)

Biometric identification.

(1)

COMPUTERS / Programming Languages / General.

(1)

COMPUTERS / Software Development & Engineering / General.

(1)

Cognitive grammar.

(1)

Computational linguistics.

(1)

(1)

Computer crimes.

(1)

Computer games -- Programming.

(1)

Computer networks -- Testing -- Data processing.

(1)

Computer networks--Access control.

(1)

Computer networks--Security measures.

(1)

Computer programming -- Textbooks.

(1)

Computer prose.

(1)

Computer security -- Handbooks, manuals, etc.

(1)

Computers -- History.

(1)

Computers and civilization.

(1)

C♯ (Computer program language)

(1)

Datenverarbeitung

(1)

Embedded computer systems -- Programming.

(1)

Engineering -- Data processing.

(1)

Engineering mathematics.

(1)

Formal languages.

(1)

Formale Semantik.

(1)

Funktionale Semantik.

(1)

Geschichte (1937-1963)

(1)

(1)

Grammar, Comparative and general -- Data processing.

(1)

Human-computer interaction.

(1)

(1)

Information retrieval.

(1)

Input-output equipment (Computers).

(1)

Interactive computer systems.

(1)

Internet programming.

(1)

Java (Computer program language)

(1)

Knowledge representation (Information theory) .

(1)

Kognitionswissenschaft.

(1)

LANGUAGE ARTS & DISCIPLINES / Linguistics / General.

(1)

LISP (Computer program language)

(1)

Law and legislation.

(1)

Logic programming.

(1)

Managementinformationssystem.

(1)

Mathematical linguistics.

(1)

Mathematical statistics.

(1)

Mobile computing.

(1)

(1)

Natural language processing (Computer science).

(1)

(1)

Object-oriented programming (Computer science)

(1)

Oracle (Computer file)

(1)

Parsing (Computer grammar)

(1)

Personal computers.

(1)

Programmeren (computers)

(1)

Programmiersprache

(1)

Programming languages (Electronic computers) -- Handbooks, manuals, etc.

(1)

Programming languages (Electronic computers) -- History.

(1)

Programming languages (Electronic computers) -- Mathematics.

(1)

Programming languages (Electronic computers) -- Textbooks.

(1)

Public key cryptography.

(1)

Python (Computer program language)

(1)

Quantum computers.

(1)

R (Computer program language)

(1)

Raspberry Pi (Computer)

(1)

Semantics -- Mathematical models.

(1)

(1)

(1)

Signal processing.

(1)

Source code (Computer science) -- Philosophy.

(1)

Speech processing systems.

(1)

Systems engineering.

(1)

Telecommunication systems -- Testing -- Data processing.

(1)

Telecommunication--Security measures.

(1)

Text editors (Computer programs)

(1)

User interfaces (Computer systems) -- Design.

(1)

Virtual computer systems.

(1)

Virtual reality.

(1)

XML (Document markup language).

(1)

(1)

(1)

langage programmation.

(1)

programmation parallèle.

(1)

programme impératif.

(1)

(1)

sémantique algébrique.

(1)

sémantique dénotationnelle.

(1)

sémantique formelle.

(1)

sémantique langage programmation.

(1)

sémantique opérationnelle.

(1)

théorie domaine.

(1)

théorème Gödel.

(1)

équation récursive.

(1)

Material Type

Shelf Location

Electronic 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

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

25.

Cover image for From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Author

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30985-5

Format:

Availability

Online Library~1

Available:
Copies:

26.

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:

27.

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:

28.

Cover image for On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings

On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings

On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings

Author

Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847 Hepp, Martin. editor. Lewis, Dave. editor. Ardagna, Claudio Agostino. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Author

Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings

Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings

Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings

Author

Knauss, Eric. editor. (orcid)0000-0002-6631-872X Goedicke, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers

Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers

Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers

Author

Pałka, Michał. editor. Myreen, Magnus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers

Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers

Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers

Author

Van Horn, David. editor. Hughes, John. editor. (orcid)0000-0001-8042-0969 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

Author

Guerra, Esther. editor. (orcid)0000-0002-2818-2278 Orejas, Fernando. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

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:

35.

Cover image for Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Author

Silva, Josep. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

Author

Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872 Sampaio, Augusto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-31038-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 .. 13

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11