Search Results for Formal languages.

1.

Cover image for Systems and Frameworks for Computational Morphology Fourth International Workshop, SFCM 2015, Stuttgart, Germany, September 17-18, 2015. Proceedings

Systems and Frameworks for Computational Morphology Fourth International Workshop, SFCM 2015, Stuttgart, Germany, September 17-18, 2015. Proceedings

Author

Mahlow, Cerstin. editor. Piotrowski, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518502.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

Author

Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518522.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering

Author

Jureta, Ivan. author. SpringerLink (Online service)

Preferred Shelf Number

XX(518651.1)

Electronic Access

https://doi.org/10.1007/978-3-319-18821-8

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings

Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings

Author

Shallit, Jeffrey. editor. Okhotin, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519199.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

Author

Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519139.1)

Electronic Access

https://doi.org/10.1007/978-3-319-28114-8

Format:

Availability

Online Library~1

Available:
Copies:

6.

Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.

Author

Potapov, Igor. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519049.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Author

Franke, Björn. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519059.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46663-6

Format:

Availability

Online Library~1

Available:
Copies:

8.

Models of Strategic Reasoning Logics, Games, and Communities

Author

van Benthem, Johan. editor. Ghosh, Sujata. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519080.1)

Electronic Access

https://doi.org/10.1007/978-3-662-48540-8

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

Author

Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519293.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers

Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers

Author

Baldoni, Matteo. editor. Baresi, Luciano. editor. Dastani, Mehdi. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519297.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}