Search Results for Compilers (Computer programs).

|

|

|

|

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: Compilers and Interpreters.

Author

SpringerLink (Online service)

(217)

Lopez, Cesar. author.

(11)

Legay, Axel. editor.

(4)

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

(4)

Artho, Cyrille. editor.

(3)

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

(3)

Ölveczky, Peter Csaba. editor.

(3)

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

(2)

Cardoso, Jorge. editor.

(2)

De Nicola, Rocco. editor.

(2)

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

(2)

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

(2)

Liu, Shaoying. editor.

(2)

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

(2)

Mazzara, Manuel. editor.

(2)

Mogensen, Torben Ægidius. author.

(2)

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

(2)

Perner, Petra. editor.

(2)

Proença, José. editor.

(2)

Schoitsch, Erwin. editor.

(2)

Sirjani, Marjan. editor.

(2)

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

(2)

Sutherland, Bruce. author.

(2)

Tonetta, Stefano. editor.

(2)

Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334

(2)

Weirich, Stephanie. editor.

(2)

Wąsowski, Andrzej. editor.

(2)

Zhang, Zili. editor.

(2)

de Supinski, Bronis R. editor.

(2)

van Sinderen, Marten. editor.

(2)

Ábrahám, Erika. editor.

(2)

Abate, Alessandro. editor.

(1)

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

(1)

Abelló, Alberto. editor.

(1)

Aceto, Luca. editor.

(1)

Ahrendt, Wolfgang. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Aiken, Alex. author.

(1)

Alagić, Suad. author.

(1)

Alkhalaf, Muath. author.

(1)

Altmann, Jörn. editor.

(1)

Amer-Yahia, Sihem. editor. (orcid)0000-0002-6194-4502

(1)

Ammeraal, Leen. author.

(1)

An, Bo. editor.

(1)

Anjorin, Anthony. editor.

(1)

Apduhan, Bernady O. editor.

(1)

Arbel, Eli. editor.

(1)

Artale, Alessandro. editor. (orcid)0000-0002-3852-9351

(1)

Ayala-Rincón, Mauricio. editor.

(1)

Aydin, Abdulbaki. author.

(1)

Aydogan, Reyhan. editor. (orcid)0000-0002-5260-9999

(1)

Babar, Ali. editor.

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

Bader, Markus. editor.

(1)

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

(1)

Ballmann, Bastian. author.

(1)

Banerjee, Utpal. author.

(1)

Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448

(1)

Barrett, Clark. editor.

(1)

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

(1)

Batsakis, Sotiris. editor.

(1)

Bazzan, Ana. editor.

(1)

Bañares, José Ángel. editor.

(1)

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

(1)

Beckner, Mark. author.

(1)

Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066

(1)

Bernardo, Marco. editor.

(1)

Bernhaupt, Regina. editor.

(1)

Bertogna, Marko. editor.

(1)

Bhardwaj, Vikas. author.

(1)

Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973

(1)

Bhiri, Sami. editor.

(1)

Biro, Miklos. editor.

(1)

Blazy, Sandrine. editor.

(1)

Blieberger, Johann. editor.

(1)

Bloem, Roderick. editor.

(1)

Bogdan, Cristian. editor.

(1)

Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551

(1)

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

(1)

Borruso, Giuseppe. editor.

(1)

Botterweck, Goetz. editor.

(1)

Bouajjani, Ahmed. editor.

(1)

Boucheneb, Hanifa. editor.

(1)

Bougé, Luc. editor.

(1)

Bošnački, Dragan. editor.

(1)

Braga, Christiano. editor.

(1)

Bubel, Richard. editor.

(1)

Buhr, Peter A. author.

(1)

Bultan, Tevfik. author.

(1)

Burns, Richard. editor. (orcid)0000-0002-3961-438X

(1)

Butler, Michael. editor.

(1)

Cabaleiro, José C. editor.

(1)

Cabello, Enrique. editor.

(1)

Calvaresi, Davide. editor. (orcid)0000-0001-9816-7439

(1)

Carli, Rachele. editor. (orcid)0000-0002-8689-285X

(1)

Castor, Fernando. editor.

(1)

Cavalcanti, Ana. editor.

(1)

Cavalli, Ana Rosa. editor.

(1)

Chang, Bor-Yuh Evan. editor.

(1)

Chapman, Barbara M. editor.

(1)

Charoy, François. editor.

(1)

Chechik, Marsha. editor.

(1)

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

(1)

Chekanov, Sergei V. author.

(1)

Chiba, Shigeru. editor.

(1)

Chopra, Amit K. editor.

(1)

Chu, Zhufei. author. (orcid)0000-0001-5718-4822

(1)

Ciatto, Giovanni. editor. (orcid)0000-0002-1841-8996

(1)

Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990

(1)

Corchado, Emilio. editor.

(1)

Cornélio, Márcio. editor.

(1)

Cortellessa, Gabriella. editor. (orcid)0000-0002-9835-1575

(1)

Costantini, Stefania. editor.

(1)

Coughlan, Michael. author.

(1)

Cranefield, Stephen. editor.

(1)

Criswell, John. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Csöndes, Tibor. editor.

(1)

Cunha, Jácome. editor.

(1)

Cuzzocrea, Alfredo. editor.

(1)

Cytowski, Maciej. editor. (orcid)0000-0002-0007-0979

(1)

D'Souza, Deepak. editor.

(1)

Dahnken, Christopher. author.

(1)

Dang, Tran Khanh. editor.

(1)

Dastani, Mehdi. editor.

(1)

Davies, Misty. editor.

(1)

Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939

(1)

Desfray, Philippe. editor.

(1)

Devitt, Simon. editor.

(1)

Ding, Chen. editor.

(1)

Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286

(1)

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

(1)

Dori, Dov. author.

(1)

Dou, Yong. editor.

(1)

Draheim, Dirk. author.

(1)

Drira, Khalil. editor. (orcid)0000-0002-4770-1563

(1)

Duan, Zhenhua. editor.

(1)

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

(1)

Dutot, Pierre-François. editor.

(1)

Edidin, Howard. author.

(1)

Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270

(1)

England, Matthew. editor.

(1)

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

(1)

Espinosa, Alexis. editor. (orcid)0000-0002-8869-3985

(1)

Espinoza, Huáscar. editor.

(1)

Esposito, Floriana. editor.

(1)

Eugster, Patrick. editor.

(1)

Falcone, Yliès. editor.

(1)

Fenton, Steve. author.

(1)

Ferilli, Stefano. editor.

(1)

Fernandes, João P. editor.

(1)

Filipe, Joaquim. editor.

(1)

Forbrig, Peter. editor.

(1)

Franconi, Enrico. editor.

(1)

Främling, Kary. editor. (orcid)0000-0002-8078-5172

(1)

Furia, Carlo A. editor.

(1)

Gardner, Scott. author.

(1)

Gargantini, Angelo. editor. (orcid)0000-0002-4035-0131

(1)

Gavanelli, Marco. editor.

(1)

Gaál, Bence. editor. (orcid)0000-0001-8771-7140

(1)

Geeraerts, Gilles. editor.

(1)

Gervasi, Osvaldo. editor.

(1)

Geuvers, Herman. editor.

(1)

Ghatak, Abhijit. author.

(1)

Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960

(1)

Gibson-Robinson, Thomas. editor.

(1)

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

(1)

Gorentla Venkata, Manjunath. editor.

(1)

Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080

(1)

Grabowski, Jens. editor.

(1)

Grätzer, George. author. (orcid)0000-0002-5149-3883

(1)

Guerra, Esther. editor.

(1)

Guiochet, Jérémie. editor.

(1)

Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X

(1)

Gulliksen, Jan. editor.

(1)

Gupta, Abhishek. author.

(1)

Gupta, Gopal. editor. (orcid)0000-0001-9727-0362

(1)

Gurfinkel, Arie. editor.

(1)

Hage, Jurriaan. editor.

(1)

Hammoudi, Slimane. editor.

(1)

Hankin, Chris. editor.

(1)

Hansen, René Rydhof. editor.

(1)

Harmer, Russ. editor. (orcid)0000-0002-0817-1029

(1)

Hasan, Osman. editor.

(1)

Haverkort, Boudewijn R. editor.

(1)

Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872

(1)

Heras, Dora. editor.

(1)

Herbold, Steffen. editor.

(1)

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X

(1)

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

(1)

Hirayama, Katsutoshi. editor.

(1)

Holmes, John H. editor.

(1)

Hopcroft, Philippa. editor.

(1)

Horton, Ivor. author.

(1)

Hulstijn, Joris. editor. (orcid)0000-0002-5476-1062

(1)

Hung, Dang Van. editor.

(1)

Hähnle, Reiner. editor.

(1)

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

(1)

Imam, Neena. editor.

(1)

Language

(217)

Publication Date

-

(89)

(72)

(28)

(13)

(13)

(2)

Subject

Compilers (Computer programs).

(217)

Software engineering.

(149)

Computer science.

(115)

Computer Science Logic and Foundations of Programming.

(98)

Formal Languages and Automata Theory.

(79)

Machine theory.

(79)

Computer programming.

(78)

Programming Techniques.

(78)

Artificial intelligence.

(53)

Application software.

(34)

Computer and Information Systems Applications.

(34)

(33)

Computer networks .

(33)

Theory of Computation.

(31)

Computer Modelling.

(20)

Computer simulation.

(20)

Computer Communication Networks.

(19)

Computers, Special purpose.

(18)

Special Purpose and Application-Based Systems.

(18)

Electronic data processing -- Management.

(16)

Electronic digital computers -- Evaluation.

(16)

(16)

System Performance and Evaluation.

(16)

Computer Engineering and Networks.

(15)

Computer engineering.

(15)

(15)

Computer science -- Mathematics.

(11)

Computer software.

(11)

Mathematical Software.

(11)

Operating Systems.

(11)

Operating systems (Computers).

(11)

(9)

The Computing Profession.

(9)

Computer System Implementation.

(8)

Computer systems.

(8)

Data and Information Security.

(8)

Data protection.

(8)

Information theory.

(7)

Computer architecture.

(6)

(6)

Programming Language.

(6)

Programming languages (Electronic computers).

(6)

Data Mining and Knowledge Discovery.

(5)

(5)

Discrete Mathematics in Computer Science.

(5)

Discrete mathematics.

(5)

Microprocessors.

(5)

Natural Language Processing (NLP).

(5)

Natural language processing (Computer science).

(5)

Processor Architectures.

(5)

Coding and Information Theory.

(4)

(4)

Computer Application in Administrative Data Processing.

(3)

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

(3)

Computer-aided engineering.

(3)

Computing Milieux.

(3)

Control Structures and Microprogramming.

(3)

Data Structures and Information Theory.

(3)

Data structures (Computer science).

(3)

Database management.

(3)

Design and Analysis of Algorithms.

(3)

Information technology -- Management.

(3)

Microprogramming .

(3)

Models of Computation.

(3)

Artificial intelligence -- Data processing.

(2)

Automated Pattern Recognition.

(2)

Communications Engineering, Networks.

(2)

Computer Hardware.

(2)

Computer graphics.

(2)

Computer input-output equipment.

(2)

Computers and Education.

(2)

(2)

(2)

(2)

Data encryption (Computer science).

(2)

Education -- Data processing.

(2)

Engineering -- Data processing.

(2)

Engineering mathematics.

(2)

Hardware Performance and Reliability.

(2)

Human-computer interaction.

(2)

Information Storage and Retrieval.

(2)

Information storage and retrieval systems.

(2)

Input/Output and Data Communications.

(2)

Mathematical Applications in Computer Science.

(2)

Mathematical and Computational Engineering Applications.

(2)

Mathematical statistics.

(2)

Microsoft .NET Framework.

(2)

Microsoft software.

(2)

(2)

Numerical analysis.

(2)

Pattern recognition systems.

(2)

Probability and Statistics in Computer Science.

(2)

Telecommunication.

(2)

User Interfaces and Human Computer Interaction.

(2)

User interfaces (Computer systems).

(2)

(1)

Apple computer.

(1)

(1)

C++ (Computer program language).

(1)

(1)

Computer Memory Structure.

(1)

Computer games -- Programming.

(1)

Computer hardware description languages.

(1)

Computer industry.

(1)

Computer storage devices.

(1)

Control engineering.

(1)

Control, Robotics, Automation.

(1)

Data Storage Representation.

(1)

Digital Education and Educational Technology.

(1)

Educational technology.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Electronic commerce.

(1)

Game Development.

(1)

Information retrieval.

(1)

Interactive multimedia.

(1)

(1)

Logic programming.

(1)

Machine learning.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical logic.

(1)

Mathematics of Computing.

(1)

Mechanics, Applied.

(1)

(1)

Memory management (Computer science).

(1)

Multiagent systems.

(1)

Multimedia systems.

(1)

(1)

Open source software.

(1)

Quantum Computing.

(1)

Quantum computers.

(1)

Register-Transfer-Level Implementation.

(1)

(1)

Software Management.

(1)

Software engineering -- Management.

(1)

Solid Mechanics.

(1)

(1)

Symbolic and Algebraic Manipulation.

(1)

The Computer Industry.

(1)

Theory and Algorithms for Application Domains.

(1)

e-Commerce and e-Business.

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

25.

Cover image for Programming Languages and Systems 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Programming Languages and Systems 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Programming Languages and Systems 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Author

Weirich, Stephanie. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Advancing OpenMP for Future Accelerators 20th International Workshop on OpenMP, IWOMP 2024, Perth, WA, Australia, September 23-25, 2024, Proceedings

Advancing OpenMP for Future Accelerators 20th International Workshop on OpenMP, IWOMP 2024, Perth, WA, Australia, September 23-25, 2024, Proceedings

Advancing OpenMP for Future Accelerators 20th International Workshop on OpenMP, IWOMP 2024, Perth, WA, Australia, September 23-25, 2024, Proceedings

Author

Espinosa, Alexis. editor. (orcid)0000-0002-8869-3985 Klemm, Michael. editor. (orcid)0000-0002-8634-4634 de Supinski, Bronis R. editor. (orcid)0000-0002-0339-1006 Cytowski, Maciej. editor. (orcid)0000-0002-0007-0979 Klinkenberg, Jannis. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-72567-8

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Author

Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V

Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V

Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V

Author

Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

Author

Menzies, Tim. editor. Petke, Justyna. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings

Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings

Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings

Author

Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Advanced Finite Element Simulation with MSC Marc Application of User Subroutines

Advanced Finite Element Simulation with MSC Marc Application of User Subroutines

Advanced Finite Element Simulation with MSC Marc Application of User Subroutines

Author

Javanbakht, Zia. author. Öchsner, Andreas. author. (orcid)0000-0002-8844-3206 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings

Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings

Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings

Author

Petrucci, Laure. editor. (orcid)0000-0003-3154-5268 Seceleanu, Cristina. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

Author

Bouajjani, Ahmed. editor. Monniaux, David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Guide to Scientific Computing in C++

Guide to Scientific Computing in C++

Guide to Scientific Computing in C++

Author

Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Author

Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

Author

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 19

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11