Search Results for SCIENCE / Time

4 sonuç bulundu

0000DEFAULT_TR

Computer Science - CACIC 2023 29th Argentine Congress of Computer Science, Lujan, Argentina, October 9-12, 2023, Revised Selected Papers

Yazar

Pesado, Patricia. editor. Panessi, Walter. editor. (orcid)0009-0006-6299-1462 Fernández, Juan Manuel. editor. (orcid)0000-0001-9291-3066 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Yazar

Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Concise Guide to Software Engineering From Fundamentals to Application Methods

Yazar

O'Regan, Gerard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains

Yazar

Göbel, Susanne. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-658-11765-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}