Search Results for Systems Theory.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

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

Daraltılmış:

+

Yayın Yılı: 2023

Yazar

SpringerLink (Online service)

(206)

Huang, De-Shuang. editor.

(5)

Hussain, Abir. editor.

(5)

Jin, Baohua. editor.

(5)

Jo, Kang-Hyun. editor.

(5)

Premaratne, Prashan. editor.

(5)

Qu, Boyang. editor.

(5)

Kacprzyk, Janusz. editor.

(4)

Kapralos, Bill. editor.

(4)

Kreinovich, Vladik. editor.

(4)

Rousseau, Jean-Jacques. editor. (orcid)

(4)

Chibilev, Alexander A. editor.

(3)

Maximova, Svetlana G. editor.

(3)

Pardalos, Panos. editor.

(3)

Raikin, Roman I. editor.

(3)

Silantyeva, Marina M. editor.

(3)

Bismor, Dariusz. editor.

(2)

(2)

Castillo, Oscar. editor.

(2)

Ceberio, Martine. editor.

(2)

Corke, Peter. author.

(2)

Di Fatta, Giuseppe. editor.

(2)

Fujita, Hamido. editor. (orcid)

(2)

Giuffrida, Giovanni. editor.

(2)

Guda, Alexander. editor.

(2)

Hamdan, Allam. editor.

(2)

Ionescu-Bujor, Mihaela.

(2)

La Malfa, Emanuele. editor.

(2)

La Malfa, Gabriele. editor.

(2)

Moonis, Ali. editor.

(2)

Navon, Ionel Michael.

(2)

Nicosia, Giuseppe. editor.

(2)

Nijmeijer, Henk. editor.

(2)

Ogonowski, Szymon. editor.

(2)

Ojha, Varun. editor.

(2)

Pawelczyk, Marek. editor.

(2)

Qi, Wenhai. author.

(2)

Sankaranarayanan, Sriram. editor.

(2)

Selvaraj, Henry. editor.

(2)

Sharygina, Natasha. editor.

(2)

Umeton, Renato. editor.

(2)

Wang, Yinglin. editor.

(2)

Xiao, Yanghua. editor.

(2)

Zong, Guangdeng. author.

(2)

Abe, Jair M. editor.

(1)

Akashe, Shyam. editor.

(1)

Alareeni, Bahaaeddin. editor.

(1)

Alfnes, Erlend. editor.

(1)

Ali, Mohammed. author.

(1)

Alirezaie, Marjan. editor.

(1)

Allen, Matthew. editor.

(1)

Allen, R. L., contributor.

(1)

Alsabatin, Hala. editor.

(1)

Amine, Abdelmalek. editor.

(1)

Andreyev, N. D., contributor.

(1)

Antonyuk, Artem. editor.

(1)

Aouf, Nabil. editor.

(1)

Arena, Phillip C. editor.

(1)

Arora, Pallvi. editor.

(1)

Arseniev, Dmitry G. editor.

(1)

Augustine, Norman. editor.

(1)

Aurich, Jan C. editor.

(1)

Awan, Irfan. editor.

(1)

Ayoub, M. R., contributor.

(1)

Bach, E., contributor.

(1)

Badia-Margarit, A. M., contributor.

(1)

Bajd, Tadej. author.

(1)

Bako, E., contributor.

(1)

Balog, Michal. editor.

(1)

Bao, Tiffany. editor.

(1)

Bar-Adon, A., contributor.

(1)

Barai, Ranjit Kumar. author.

(1)

Baranyi, Péter. author.

(1)

Baskerville, Richard. editor.

(1)

Basov, Nikita. editor.

(1)

Bathe, Klaus-Jürgen. editor.

(1)

Bels, Vincent L. editor.

(1)

Ben Makhlouf, Abdellatif. editor.

(1)

Benveniste, E., contributor.

(1)

Bergsland, K., contributor.

(1)

Bessmertny, Igor. editor.

(1)

Bianchi, Reinaldo A. C. editor.

(1)

Blinov, Ihor. editor.

(1)

Bodhi, Priyantha. editor.

(1)

Bodman, N. C., contributor.

(1)

Bolinger, D. L., contributor.

(1)

Bolshakov, Alexander A. editor.

(1)

Bonfante, G., contributor.

(1)

Brad, Stelian. editor.

(1)

Bravo, José. editor.

(1)

Breda, Dimitri. editor.

(1)

Bright, W., contributor.

(1)

Brosnahan, F., contributor.

(1)

Brovko, Alexander. editor.

(1)

Bu, Xuhui. author.

(1)

Buallay, Amina. editor.

(1)

Buckley, Christopher L. editor.

(1)

Burattin, Andrea. editor.

(1)

Burgard, Wolfram. editor.

(1)

Burghardt, Gordon M. editor.

(1)

Buyssens, E., contributor.

(1)

Cao, Jinde. author.

(1)

Carelli, Ricardo. author.

(1)

Carpentieri, Bruno. author.

(1)

Carrillo Herrera, G., contributor.

(1)

Carter, Jenny. editor.

(1)

Cascalho, José. editor.

(1)

Castillo, Oscar. author.

(1)

Cavallucci, Denis. editor.

(1)

Cecilia, Andreu. author.

(1)

Chai, Runqi. author.

(1)

Chai, Senchun. author.

(1)

Chang, Kuo-Chi. editor.

(1)

Chang, Xiao-Heng. author.

(1)

Chao, Y. R., contributor.

(1)

Chaoui, Allaoua. editor.

(1)

Chasalevris, Athanasios. editor.

(1)

Chatterji, S. K., contributor.

(1)

Chen, Badong. author.

(1)

Chen, Fang. author.

(1)

Chen, Kaiyuan. author.

(1)

Chen, Shanben. editor.

(1)

Cheng, Bin. author.

(1)

Chikhi, Salim. editor.

(1)

Chikrii, Arkadii. editor.

(1)

Chmaj, Grzegorz. editor.

(1)

Choi, Soomin. author.

(1)

Chomsky, N., contributor.

(1)

Chou, Fa-Kao, contributor.

(1)

Chung, Tai M. editor.

(1)

Cialfi, Daniela. editor.

(1)

Cifra, Michal. editor.

(1)

Coates, W. A., contributor.

(1)

Cohen, David, contributor.

(1)

Cohen, Marcel, contributor.

(1)

Colin, A. J. T., contributor.

(1)

Count, E. W., contributor.

(1)

Creissac Campos, Jose. editor.

(1)

Cross, E., contributor.

(1)

Crowley, C. J., contributor.

(1)

Cui, Lingguo. author.

(1)

D'Ambrogio, Walter. editor.

(1)

Dang, Tran Khanh. editor.

(1)

Das, Swagatam. editor.

(1)

De Groot, A. W., contributor.

(1)

De Santis, Elena. author.

(1)

Deng, Lvxiang. editor.

(1)

Deng, Zhidong. editor.

(1)

Denysiuk, Serhii. editor.

(1)

Derevianko, Denys. editor.

(1)

Di Benedetto, Maria Domenica. author.

(1)

Di Francescomarino, Chiara. editor.

(1)

Di Nino, Simona. author.

(1)

Di Pietro, R. J., contributor.

(1)

Diaz-Descalzo, Gregorio. editor.

(1)

Dietrich, Dietmar. author.

(1)

Dimitrova, Vania. editor.

(1)

Ding, Steven X. author.

(1)

Dolinina, Olga. editor.

(1)

Dong, Daoyi. author.

(1)

Drechsler, Rolf. editor.

(1)

Duckworth, A. P., contributor.

(1)

Dunin-Barkowski, Witali. editor. (orcid)0000-0003-2716-7786

(1)

Dutta, Hemen. editor.

(1)

Dyen, I., contributor.

(1)

Dzitac, Domnica. editor.

(1)

Dzitac, Simona. editor.

(1)

Dürrschnabel, Dominik. editor.

(1)

El-Sousy, Fayez F. M. author.

(1)

Eremeev, Anton. editor. (orcid)

(1)

Estacio, C. I. C., contributor.

(1)

Fan, Jialu. author.

(1)

Fan, Junyan. author.

(1)

Fatriasari, Widya. author.

(1)

Faure, G., contributor.

(1)

Feng, Zhili. editor.

(1)

Ferguson, C. A., contributor.

(1)

Ferretti, Manuel. author.

(1)

Filev, Dimitar. editor.

(1)

Filip, Florin Gheorghe. editor.

(1)

Flydal, L., contributor.

(1)

Fourquet, J., contributor.

(1)

Fraenkel, G., contributor.

(1)

Francescato, G., contributor.

(1)

Frasson, Claude. editor.

(1)

Frid, Anna. editor.

(1)

Fridman, Leonid. editor.

(1)

Fu, Jun. author.

(1)

Fu, Yongling. editor.

(1)

Fujimoto, Takayuki. editor.

(1)

Fukuda, Toshio. author.

(1)

Funabashi, Motohisa. editor.

(1)

Galanakis, Charis M. editor.

(1)

Galinsky, H., contributor.

(1)

Gammon, E. F., contributor.

(1)

Gandolfo, A., contributor.

(1)

Gao, Jiuan. author.

(1)

Garth, Christoph. editor.

(1)

Garvin, P. L., contributor.

(1)

Gasiyarov, Vadim R. editor.

(1)

Tümünü genişlet

Dil

(209)

Konu

Control engineering.

(108)

Control and Systems Theory.

(102)

Computational intelligence.

(51)

(35)

(34)

Control, Robotics, Automation.

(31)

(25)

Artificial intelligence.

(23)

Control theory.

(22)

Systems Theory, Control.

(22)

Engineering mathematics.

(14)

Engineering -- Data processing.

(13)

Telecommunication.

(13)

Applied Dynamical Systems.

(12)

(12)

Industrial engineering.

(12)

Nonlinear theories.

(12)

Communications Engineering, Networks.

(11)

Industrial and Production Engineering.

(11)

Production engineering.

(11)

Mechanics, Applied.

(10)

Mathematical and Computational Engineering Applications.

(9)

Automotive engineering.

(7)

Cooperating objects (Computer systems).

(5)

Cyber-Physical Systems.

(5)

Electric power production.

(5)

Electrical Power Engineering.

(5)

Engineering Mechanics.

(5)

Machine learning.

(5)

Mathematical optimization.

(5)

(5)

Signal processing.

(5)

Solid Mechanics.

(5)

(5)

Building Construction and Design.

(4)

Buildings -- Design and construction.

(4)

Complex Systems.

(4)

Data Engineering.

(4)

Digital and Analog Signal Processing.

(4)

Electrical and Electronic Engineering.

(4)

Electrical engineering.

(4)

Engineering design.

(4)

Environmental Social Sciences.

(4)

Environmental sciences -- Social aspects.

(4)

(4)

Robotic Engineering.

(4)

Aerospace Technology and Astronautics.

(3)

Aerospace engineering.

(3)

Application software.

(3)

(3)

Computer and Information Systems Applications.

(3)

Computer science.

(3)

Development Studies.

(3)

Economic development.

(3)

Electronic Circuits and Systems.

(3)

Electronic circuits.

(3)

Mechanical Statics and Structures.

(3)

(3)

Traffic engineering.

(3)

Transportation Technology and Traffic Engineering.

(3)

Transportation engineering.

(3)

Animal Physiology.

(2)

Bioinformatics.

(2)

Biology -- Research.

(2)

Biomathematics.

(2)

Biomedical Research.

(2)

Building construction.

(2)

Building materials.

(2)

Buildings -- Protection.

(2)

Civil engineering.

(2)

Cognitive psychology.

(2)

Computational and Systems Biology.

(2)

Computer Modelling.

(2)

Computer simulation.

(2)

Computer vision.

(2)

Data Analysis and Big Data.

(2)

Electric power distribution.

(2)

Electronic circuit design.

(2)

Electronics Design and Verification.

(2)

Embedded Systems.

(2)

Embedded computer systems.

(2)

Energy Grids and Networks.

(2)

Engineering geology.

(2)

Evolution (Biology).

(2)

Evolutionary Biology.

(2)

Fire Science, Hazard Control, Building Safety.

(2)

Fire prevention.

(2)

Geoengineering.

(2)

Internet of things.

(2)

Machinery and Machine Elements.

(2)

(2)

Machines, Tools, Processes.

(2)

(2)

(2)

Mathematical Modeling and Industrial Mathematics.

(2)

Mathematical and Computational Biology.

(2)

Mathematical models -- Evaluation.

(2)

Mathematical models.

(2)

Mathematics -- Data processing.

(2)

Mechanical engineering.

(2)

Medicine -- Research.

(2)

Microwaves, RF Engineering and Optical Communications.

(2)

Multibody Systems and Mechanical Vibrations.

(2)

Multibody systems.

(2)

(2)

Process Engineering.

(2)

Quantitative research.

(2)

Sensitivity theory (Mathematics)

(2)

Solid Construction.

(2)

Stochastic Systems and Control.

(2)

Stochastic processes.

(2)

Technology -- Sociological aspects.

(2)

Uncertainty (Information theory)

(2)

(2)

(2)

(2)

(2)

(1)

Anatomy, Comparative.

(1)

(1)

Animal Anatomy.

(1)

(1)

Animal welfare -- Moral and ethical aspects.

(1)

(1)

Artificial intelligence -- Data processing.

(1)

Atomic, Molecular and Chemical Physics.

(1)

(1)

Augmented reality.

(1)

Behavioral Sciences and Psychology.

(1)

(1)

(1)

Bioinspired Materials.

(1)

Biological models.

(1)

Biology -- Technique.

(1)

Biomedical Engineering and Bioengineering.

(1)

Biomedical engineering.

(1)

(1)

Biophysical Methods.

(1)

(1)

(1)

Biotic communities.

(1)

Calculus of Variations and Optimization.

(1)

Calculus of variations.

(1)

Chemical engineering.

(1)

Cities, Countries, Regions.

(1)

Classical Mechanics.

(1)

Cloud Computing.

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computational Science and Engineering.

(1)

Computational neuroscience.

(1)

Computer Communication Networks.

(1)

Computer Networks.

(1)

Computer networks -- Security measures.

(1)

Computer networks .

(1)

Computer science -- Mathematics.

(1)

Computers, Special purpose.

(1)

(1)

Data and Information Security.

(1)

Data protection.

(1)

Database Management System.

(1)

Database management.

(1)

Design and Analysis of Algorithms.

(1)

Differential equations.

(1)

Dynamical systems.

(1)

(1)

(1)

(1)

(1)

Electronics and Microelectronics, Instrumentation.

(1)

(1)

Energy Policy, Economics and Management.

(1)

Energy and state.

(1)

(1)

Evolutionary Theory.

(1)

(1)

(1)

Functional analysis.

(1)

Geotechnical Engineering and Applied Earth Sciences.

(1)

Geotechnical engineering.

(1)

Health Informatics.

(1)

Human-Machine Interfaces.

(1)

Human-machine systems.

(1)

(1)

Hydrogen Energy.

(1)

Hydrogen as fuel.

(1)

(1)

Image processing.

(1)

Industrial Automation.

(1)

(1)

Information and Communication Technologies (ICT).

(1)

Information technology.

(1)

Intelligence Infrastructure.

(1)

LANGUAGE ARTS & DISCIPLINES / Linguistics / General.

(1)

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical Models of Cognitive Processes and Neural Networks.

(1)

(1)

Medical education.

(1)

Medical informatics.

(1)

Mobile and Network Security.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik Kütüphane

Kütüphane

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

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

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

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

209 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 18

000000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

One or more items could not be added because you are not logged in.

1.

Intelligent Transportation Systems: Theory and Practice için kapak resmi

Intelligent Transportation Systems: Theory and Practice

Intelligent Transportation Systems: Theory and Practice

Yazar

Tyagi, Amit Kumar. author. Sreenath, Niladhuri. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-7622-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Multidimensional Signals and Systems Theory and Foundations için kapak resmi

Multidimensional Signals and Systems Theory and Foundations

Multidimensional Signals and Systems Theory and Foundations

Yazar

Rabenstein, Rudolf. author. Schäfer, Maximilian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-26514-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Information Systems Research Foundations, Design and Theory için kapak resmi

Information Systems Research Foundations, Design and Theory

Information Systems Research Foundations, Design and Theory

Yazar

Ali, Mohammed. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-25470-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Geographical Information Systems Theory, Applications and Management 7th International Conference, GISTAM 2021, Virtual Event, April 23-25, 2021, and 8th International Conference, GISTAM 2022, Virtual Event, April 27-29, 2022, Revised Selected Papers için kapak resmi

Geographical Information Systems Theory, Applications and Management 7th International Conference, GISTAM 2021, Virtual Event, April 23-25, 2021, and 8th International Conference, GISTAM 2022, Virtual Event, April 27-29, 2022, Revised Selected Papers

Geographical Information Systems Theory, Applications and Management 7th International Conference, GISTAM 2021, Virtual Event, April 23-25, 2021, and 8th International Conference, GISTAM 2022, Virtual Event, April 27-29, 2022, Revised Selected Papers

Yazar

Grueau, Cédric. editor. Laurini, Robert. editor. Ragia, Lemonia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-44112-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I

Yazar

Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-30823-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings için kapak resmi

Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Yazar

Wies, Thomas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Advances and Trends in Artificial Intelligence. Theory and Applications 36th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2023, Shanghai, China, July 19-22, 2023, Proceedings, Part II için kapak resmi

Advances and Trends in Artificial Intelligence. Theory and Applications 36th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2023, Shanghai, China, July 19-22, 2023, Proceedings, Part II

Advances and Trends in Artificial Intelligence. Theory and Applications 36th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2023, Shanghai, China, July 19-22, 2023, Proceedings, Part II

Yazar

Fujita, Hamido. editor. (orcid) Wang, Yinglin. editor. Xiao, Yanghua. editor. Moonis, Ali. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-36822-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Recent Trends on Type-2 Fuzzy Logic Systems: Theory, Methodology and Applications için kapak resmi

Recent Trends on Type-2 Fuzzy Logic Systems: Theory, Methodology and Applications

Recent Trends on Type-2 Fuzzy Logic Systems: Theory, Methodology and Applications

Yazar

Castillo, Oscar. editor. Kumar, Anupam. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-26332-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Intelligent Systems in Digital Transformation Theory and Applications için kapak resmi

Intelligent Systems in Digital Transformation Theory and Applications

Intelligent Systems in Digital Transformation Theory and Applications

Yazar

Kahraman, Cengiz. editor. Haktanır, Elif. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-16598-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

State Estimation and Stabilization of Nonlinear Systems Theory and Applications için kapak resmi

State Estimation and Stabilization of Nonlinear Systems Theory and Applications

State Estimation and Stabilization of Nonlinear Systems Theory and Applications

Yazar

Ben Makhlouf, Abdellatif. editor. Hammami, Mohamed Ali. editor. Naifar, Omar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-37970-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Analysis and Design of Control Laws for Advanced Driver-Assistance Systems Theory and Applications için kapak resmi

Analysis and Design of Control Laws for Advanced Driver-Assistance Systems Theory and Applications

Analysis and Design of Control Laws for Advanced Driver-Assistance Systems Theory and Applications

Yazar

Mimmo, Nicola. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II için kapak resmi

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II

Yazar

Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 18

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11