Search Results for Logic 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:

+

Subject: Software engineering.

Author

SpringerLink (Online service)

(216)

Voronkov, Andrei. editor.

(10)

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

(9)

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

(9)

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

(4)

Artho, Cyrille. editor.

(3)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(3)

Jansen, Nils. editor. (orcid)0000-0003-1318-8973

(3)

Johnsen, Einar Broch. editor.

(3)

Junges, Sebastian. editor. (orcid)0000-0003-0978-8466

(3)

Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324

(3)

Legay, Axel. editor.

(3)

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

(3)

Matheja, Christoph. editor. (orcid)0000-0001-9151-0441

(3)

Noll, Thomas. editor. (orcid)0000-0002-1865-1798

(3)

Quatmann, Tim. editor. (orcid)0000-0002-2843-5511

(3)

Schmidt, Renate A. editor.

(3)

Schoitsch, Erwin. editor.

(3)

Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165

(3)

Volk, Matthias. editor. (orcid)0000-0002-3810-4185

(3)

Ölveczky, Peter Csaba. editor.

(3)

Albert, Elvira. editor.

(2)

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

(2)

Bernardo, Marco. editor.

(2)

Bouajjani, Ahmed. editor.

(2)

Chaudhuri, Swarat. editor.

(2)

De Nicola, Rocco. editor.

(2)

Dimitrova, Rayna. editor.

(2)

Farzan, Azadeh. editor.

(2)

Fränzle, Martin. editor.

(2)

Giannakopoulou, Dimitra. editor.

(2)

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

(2)

Guiochet, Jérémie. editor.

(2)

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

(2)

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

(2)

Kapur, Deepak. editor.

(2)

Kleijn, Jetty. editor.

(2)

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

(2)

Kunčak, Viktor. editor.

(2)

Lahav, Ori. editor. (orcid)0000-0003-4305-6998

(2)

Lecomte, Thierry. editor.

(2)

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

(2)

Liu, Shaoying. editor.

(2)

Majumdar, Rupak. editor.

(2)

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

(2)

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

(2)

Pradella, Matteo. editor. (orcid)0000-0003-3039-1084

(2)

Proença, José. editor.

(2)

Rossi, Matteo. editor. (orcid)0000-0002-9193-9560

(2)

Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828

(2)

Rubin, Julia. editor.

(2)

Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340

(2)

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X

(2)

Skavhaug, Amund. editor.

(2)

Thiemann, Peter. editor.

(2)

Tonetta, Stefano. editor.

(2)

Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126

(2)

Varró, Dániel. editor.

(2)

Wolff, Sebastian. editor.

(2)

Wąsowski, Andrzej. editor.

(2)

Zhang, Zili. editor.

(2)

de Moura, Leonardo. editor.

(2)

Ábrahám, Erika. editor.

(2)

Abate, Alessandro. editor.

(1)

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093

(1)

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

(1)

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

(1)

Ahrendt, Wolfgang. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Aiswarya, C. editor. (orcid)0000-0002-4878-7581

(1)

Alferes, Jose Julio. editor.

(1)

Alkhalaf, Muath. author.

(1)

Antonucci, Alessandro. editor.

(1)

Arbel, Eli. editor.

(1)

Ayala-Rincón, Mauricio. editor.

(1)

Aydin, Abdulbaki. author.

(1)

Baader, Franz. editor.

(1)

Bader, Markus. editor.

(1)

Balduccini, Marcello. editor.

(1)

Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054

(1)

Barbosa, Haniel. editor.

(1)

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

(1)

Barnard, Pepita. editor. (orcid)0000-0003-4518-1207

(1)

Barrett, Clark. editor.

(1)

Batsakis, Sotiris. editor.

(1)

Bautista, John Robert. editor. (orcid)0000-0002-4892-9543

(1)

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

(1)

Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286

(1)

Berger, Christian. editor.

(1)

Bertogna, Marko. editor.

(1)

Bertossi, Leopoldo. editor.

(1)

Best, Eike. editor.

(1)

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

(1)

Biro, Miklos. editor.

(1)

Bjørner, Nikolaj. editor.

(1)

Blanchette, Jasmin Christian. editor.

(1)

Blazy, Sandrine. editor.

(1)

Blieberger, Johann. editor.

(1)

Bloem, Roderick. editor.

(1)

Blume, Matthias. editor.

(1)

Bogomolov, Sergiy. editor.

(1)

Boldo, Sylvie. editor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

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

(1)

Bozzano, Marco. editor. (orcid)0000-0002-4135-103X

(1)

Bošnački, Dragan. editor.

(1)

Braga, Christiano. editor.

(1)

Bruni, Roberto. author.

(1)

Bubel, Richard. editor.

(1)

Bultan, Tevfik. author.

(1)

Butler, Michael. editor.

(1)

C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029

(1)

Cabalar, Pedro. editor.

(1)

Cabot, Jordi. editor.

(1)

Carayol, Arnaud. editor.

(1)

Carmona, Josep. editor.

(1)

Castor, Fernando. editor.

(1)

Cavalcanti, Ana. editor.

(1)

Cavalli, Ana Rosa. editor.

(1)

Cervesato, Iliano. editor.

(1)

Chechik, Marsha. editor.

(1)

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

(1)

Cholvy, Laurence. editor.

(1)

Cimiano, Philipp. editor. (orcid)0000-0002-4771-441X

(1)

Cinquemani, Eugenio. editor.

(1)

Clarke, Edmund M. editor.

(1)

Codish, Michael. editor.

(1)

Cohen, Ernie. editor.

(1)

Comyn-Wattiau, Isabelle. editor.

(1)

Cornélio, Márcio. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Csöndes, Tibor. editor.

(1)

Cunha, Jácome. editor.

(1)

Câmpeanu, Cezar. editor.

(1)

Dal Lago, Ugo. editor.

(1)

Damiani, Ferruccio. editor.

(1)

Daneva, Maya. editor.

(1)

Dash, Santanu. editor. (orcid)0000-0002-5674-8531

(1)

Dastani, Mehdi. editor.

(1)

Davies, Misty. editor.

(1)

Delgrande, James P. editor.

(1)

Delporte-Gallet, Carole. editor.

(1)

Dershowitz, Nachum. editor.

(1)

Desel, Jörg. editor.

(1)

Di Marco, Antinisca. editor.

(1)

Di Ruscio, Davide. editor.

(1)

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

(1)

Dixon, Clare. editor.

(1)

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

(1)

Donzé, Alexandre. editor.

(1)

Dorf, Richard C., author.

(1)

Duan, Zhenhua. editor.

(1)

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

(1)

Ebert, Achim. editor.

(1)

Echahed, Rachid. editor.

(1)

El Abbadi, Amr. editor. (orcid)0000-0003-4692-3268

(1)

Engels, Gregor. editor.

(1)

England, Matthew. editor.

(1)

Erdem, Esra. editor.

(1)

Escobar, Santiago. editor.

(1)

Esparza, Javier. editor. (orcid)0000-0001-9862-4919

(1)

Faber, Wolfgang. editor.

(1)

Falcone, Yliès. editor.

(1)

Farahi, Arya. editor. (orcid)0000-0003-0777-4618

(1)

Fermüller, Christian G. editor.

(1)

Fernandes, João P. editor.

(1)

Ferragina, Paolo. author.

(1)

Fiems, Dieter. editor.

(1)

Filipe, Joaquim. editor.

(1)

Finger, Marcelo. editor.

(1)

Fitzgerald, John. editor.

(1)

Fodor, Paul. editor.

(1)

Fortz, Sophie. editor. (orcid)0000-0001-9687-8587

(1)

Frank, Anette. editor. (orcid)0000-0003-4706-9817

(1)

Furia, Carlo A. editor.

(1)

Gabmeyer, Sebastian. editor.

(1)

Gallagher, John P. editor. (orcid)0000-0001-6984-7419

(1)

Garbinato, Benoît. editor.

(1)

Gavanelli, Marco. editor.

(1)

Geeraerts, Gilles. editor.

(1)

Gerdt, Vladimir P. editor.

(1)

Geuvers, Herman. editor.

(1)

Ghosh, Sujata. editor.

(1)

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

(1)

Gibson-Robinson, Thomas. editor.

(1)

Gierasimczuk, Nina. editor.

(1)

Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742

(1)

Governatori, Guido. editor.

(1)

Grabowski, Jens. editor.

(1)

Grünbacher, Paul. editor.

(1)

Gurfinkel, Arie. editor.

(1)

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

(1)

Hage, Jurriaan. editor.

(1)

Hague, Matthew. editor.

(1)

Han, DongGyun. editor. (orcid)0000-0002-8599-2197

(1)

Hankin, Chris. editor.

(1)

Hansen, René Rydhof. editor.

(1)

Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674

(1)

Hasan, Osman. editor.

(1)

Heitmeyer, Constance. editor.

(1)

Language

(217)

Publication Date

-

(81)

(67)

(22)

(14)

(13)

(4)

(3)

(3)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Computer science.

(196)

Computer Science Logic and Foundations of Programming.

(170)

Formal Languages and Automata Theory.

(112)

Machine theory.

(112)

Compilers (Computer programs).

(90)

Compilers and Interpreters.

(90)

Artificial intelligence.

(72)

Computer networks .

(43)

(40)

Computer programming.

(40)

Programming Techniques.

(39)

Theory of Computation.

(37)

Computer Communication Networks.

(31)

Application software.

(28)

Computer simulation.

(28)

Computer Modelling.

(27)

Computer and Information Systems Applications.

(27)

Computer science -- Mathematics.

(26)

Computers, Special purpose.

(26)

Special Purpose and Application-Based Systems.

(26)

Programming languages (Electronic computers).

(18)

Electronic data processing -- Management.

(17)

(17)

Computer logic.

(16)

(15)

(14)

Logic programming.

(14)

Computer System Implementation.

(13)

Computer engineering.

(13)

Computer systems.

(13)

Computer Engineering and Networks.

(12)

Control Structures and Microprogramming.

(11)

Microprogramming .

(11)

Discrete Mathematics in Computer Science.

(10)

Electronic digital computers -- Evaluation.

(10)

Mathematical logic.

(10)

System Performance and Evaluation.

(10)

(9)

Discrete mathematics.

(9)

Mathematics of Computing.

(9)

Information Storage and Retrieval.

(8)

Information storage and retrieval systems.

(8)

Natural Language Processing (NLP).

(7)

Natural language processing (Computer science).

(7)

Data and Information Security.

(6)

Data protection.

(6)

Mathematical statistics.

(6)

Probability and Statistics in Computer Science.

(6)

Mathematical Logic and Foundations.

(5)

(5)

The Computing Profession.

(5)

Computer Application in Administrative Data Processing.

(4)

Database management.

(4)

Information technology -- Management.

(4)

Artificial intelligence -- Data processing.

(3)

Computational complexity.

(3)

Computer communication systems.

(3)

(3)

Programming Language.

(3)

User interfaces (Computer systems).

(3)

Artificial Intelligence (incl. Robotics).

(2)

Business information services.

(2)

Computer Hardware.

(2)

Design and Analysis of Algorithms.

(2)

Human-computer interaction.

(2)

IT in Business.

(2)

Information theory.

(2)

Logics and Meanings of Programs.

(2)

Management information systems.

(2)

Mathematical Logic and Formal Languages.

(2)

Operating Systems.

(2)

Operating systems (Computers).

(2)

Symbolic and Algebraic Manipulation.

(2)

User Interfaces and Human Computer Interaction.

(2)

Automated Pattern Recognition.

(1)

Bioinformatics.

(1)

COMPUTERS -- Computer Engineering.

(1)

COMPUTERS -- Hardware -- General.

(1)

COMPUTERS -- Machine Theory.

(1)

COMPUTERS / Software Development & Engineering / General.

(1)

Coding and Information Theory.

(1)

(1)

Computational Science and Engineering.

(1)

Computational and Systems Biology.

(1)

Computer Application in Social and Behavioral Sciences.

(1)

Computer industry.

(1)

Computer organization.

(1)

Computer system performance.

(1)

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

(1)

Computer-aided engineering.

(1)

Computers and Education.

(1)

Computing Milieux.

(1)

Data Mining and Knowledge Discovery.

(1)

Data Structures and Information Theory.

(1)

(1)

Data structures (Computer science).

(1)

Digital electronics.

(1)

Education -- Data processing.

(1)

Electronic books.

(1)

Génie logiciel.

(1)

Hardware Performance and Reliability.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematics -- Data processing.

(1)

Models of Computation.

(1)

Ordinateurs -- Conception et construction.

(1)

Pattern recognition systems.

(1)

Programming Languages, Compilers, Interpreters.

(1)

Python (Computer program language).

(1)

(1)

Social sciences -- Data processing.

(1)

Électronique numérique.

(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

217 Results Found

Subscribe to search results

1 .. 3 4 5 6 7 .. 19

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 Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Author

Barbosa, Haniel. editor. Zohar, Yoni. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-49342-3

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-46002-9

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I

Author

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-63498-7

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Author

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-63501-4

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings

Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings

Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings

Author

Cimiano, Philipp. editor. (orcid)0000-0002-4771-441X Frank, Anette. editor. (orcid)0000-0003-4706-9817 Kohlhase, Michael. editor. (orcid)0000-0002-9859-6337 Stein, Benno. editor. (orcid)0000-0001-9033-2217 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-63536-6

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Author

Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-66064-1

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

Author

Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-72621-7

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Computational Thinking First Algorithms, Then Code

Computational Thinking First Algorithms, Then Code

Computational Thinking First Algorithms, Then Code

Author

Ferragina, Paolo. author. Luccio, Fabrizio. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-59922-4

Format:

Availability

Online Library~1

Available:
Copies:

57.

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:

58.

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:

59.

Cover image for Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Author

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Zhu, Huibiao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Author

Yang, Hongseok. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-54434-1

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

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11