Search Results for Formal languages.

1.

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

Yazar

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

Yer Numarası

XX(518522.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

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

Yazar

Jureta, Ivan. author. SpringerLink (Online service)

Yer Numarası

XX(518651.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

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

Yazar

Potapov, Igor. editor. SpringerLink (Online service)

Yer Numarası

XX(519049.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

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

Yazar

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

Yer Numarası

XX(519059.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

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

Yazar

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

Yer Numarası

XX(519139.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

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

Yazar

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

Yer Numarası

XX(519199.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

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

Yazar

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

Yer Numarası

XX(519293.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

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

Yazar

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

Yer Numarası

XX(519297.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

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

Yazar

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

Yer Numarası

XX(518502.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Models of Strategic Reasoning Logics, Games, and Communities

Yazar

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

Yer Numarası

XX(519080.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}