Search Results for Compilers (Computer programs).

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

217 Results Found

1 .. 3 4 5 6 7 .. 19

000000000000DEFAULT

49.

Cover image for Coordination, Organizations, Institutions, and Norms in Agent Systems XII COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers

Coordination, Organizations, Institutions, and Norms in Agent Systems XII COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers

Author

Cranefield, Stephen. editor. Mahmoud, Samhar. editor. Padget, Julian. editor. Rocha, Ana Paula. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

Author

Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Taha, Walid. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Agents and Artificial Intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers

Agents and Artificial Intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers

Author

van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X Filipe, Joaquim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

Author

Guerra, Esther. editor. van den Brand, Mark. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings

Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings

Author

Botterweck, Goetz. editor. Werner, Claudia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings

Author

Schmidt, Renate A. editor. Nalon, Cláudia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Advances in Data Mining. Applications and Theoretical Aspects 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings

Advances in Data Mining. Applications and Theoretical Aspects 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings

Author

Perner, Petra. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

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:

57.

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

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:

58.

Cover image for Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings

Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings

Author

Dou, Yong. editor. Lin, Haixiang. editor. Sun, Guangyu. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 Heras, Dora. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Hybrid Artificial Intelligent Systems 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings

Author

Martínez de Pisón, Francisco Javier. editor. Urraca, Rubén. editor. Quintián, Héctor. editor. Corchado, Emilio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings

Author

Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66197-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

	{displayName}	{count}
{error}