Search Results for Circuits and Systems.

5 sonuç bulundu

Arama sonuçlarına abone ol

Tümünü Seç

1

Liste görünümüne geç

Küçük resim görünümüne geç

00000DEFAULTTR

Yazdır

1.

From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday için kapak resmi

From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

Yazar

Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601

https://doi.org/10.1007/978-3-030-31514-6

Format:

Electronic Resources

Alıntı:

From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion

2.

Petri Net Synthesis için kapak resmi

Petri Net Synthesis

Petri Net Synthesis

Yazar

Badouel, Eric. author.

http://dx.doi.org/10.1007/978-3-662-47967-4

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems.

3.

Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings için kapak resmi

Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings

Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings

Yazar

Beklemishev, Lev D. editor.

http://dx.doi.org/10.1007/978-3-319-20297-6

Format:

Electronic Resources

Alıntı:

Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia

4.

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings için kapak resmi

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

Yazar

Rayadurgam, Sanjai. editor.

http://dx.doi.org/10.1007/978-3-319-40648-0

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

5.

Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday için kapak resmi

Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday

Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday

Yazar

Calude, Cristian S. editor.

http://dx.doi.org/10.1007/978-3-319-13350-8

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity.

Tümünü Seç

1

5 sonuç bulundu

Arama sonuçlarına abone ol

Arama Sonuçlarını Sınırlandır

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope

Copyright 2023 Sirsi Corporation - Enterprise Version 5.2.1.2