Search Results for Open learning.

|

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ış:

+

Library: Online Library

Yazar

SpringerLink (Online service)

(268)

IGI Global, publisher.

(5)

Shah, Nazir. editor. (orcid)0000-0003-0126-9944

(5)

Zhang, Yinjun. editor.

(5)

Auer, Michael E. editor.

(4)

Fortino, Giancarlo. editor.

(4)

Hassanien, Aboul Ella. editor. (orcid)0000-0002-9989-6681

(4)

Kansal, Vineet. editor.

(4)

Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776

(4)

Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162

(4)

Sserwanga, Isaac. editor.

(4)

Swaroop, Abhishek. editor.

(4)

Cheung, Simon K.S. editor.

(3)

De la Prieta, Fernando. editor.

(3)

Duan, Nan. editor.

(3)

Gilliland, Anne J. editor. (orcid)0000-0002-4897-7780

(3)

Hansen, Preben. editor. (orcid)0000-0002-5150-9101

(3)

Hong, Yu. editor.

(3)

Hua, Gang. editor.

(3)

Joho, Hideo. editor. (orcid)0000-0002-6611-652X

(3)

Jégou, Hervé. editor.

(3)

Koizumi, Masanori. editor. (orcid)0000-0002-5534-2919

(3)

Liu, Fei. editor.

(3)

Ma, Jie. editor.

(3)

Mylonas, Phivos. editor.

(3)

Wu, Dan. editor.

(3)

Xie, Haoran. editor.

(3)

Xu, Qingting. editor.

(3)

Angelov, Plamen. editor.

(2)

Caro, Jaime. editor.

(2)

Chatterjee, Jyotir Moy, editor.

(2)

Di Mascio, Tania. editor.

(2)

Foresti, Gian Luca. editor.

(2)

Fusiello, Andrea. editor.

(2)

Garcia Diaz, Vicente. editor.

(2)

Gennari, Rosella. editor.

(2)

Ha, Doan Thanh. editor.

(2)

Hancock, Edwin. editor.

(2)

Hodler, Juerg. editor.

(2)

Iliadis, Lazaros. editor. (orcid)

(2)

Janssen, Marijn. editor.

(2)

Jayne, Chrisina. editor.

(2)

John Wiley & Sons, publisher.

(2)

Joshi, Amit. editor.

(2)

Jung, Insung, 1959-

(2)

Kabassi, Katerina. editor.

(2)

Kravets, Alla. editor.

(2)

Krig, Scott. author.

(2)

Kubik-Huch, Rahel A. editor.

(2)

Kultsova, Marina. editor.

(2)

Kwok, Lam-for. editor.

(2)

Langmann, Reinhard. editor.

(2)

Latchem, C. R. (Colin R.)

(2)

Latifi, Shahram. editor.

(2)

Ley, Tobias. editor.

(2)

Mahmud, Mufti. editor.

(2)

May, Dominik. editor.

(2)

Montano, Luis. editor.

(2)

Moreira, António Paulo. editor.

(2)

Nandan Mohanty, Sachi. editor.

(2)

Ngoc Thach, Nguyen. editor.

(2)

Papaleonidas, Antonios. editor. (orcid)

(2)

Reis, Luís Paulo. editor.

(2)

Rensing, Christoph. editor.

(2)

Roos, Justus E. editor.

(2)

Roos, Kim. editor.

(2)

Satish Kumar, G. A. E. editor.

(2)

Sharma, Harish. editor.

(2)

Shcherbakov, Maxim. editor.

(2)

Taylor and Francis.

(2)

Tiwari, Sanju. editor.

(2)

Trung, Nguyen Duc. editor.

(2)

Vittorini, Pierpaolo. editor. (orcid)0000-0002-6975-8958

(2)

Zaphiris, Panayiotis. editor.

(2)

Abbas, Assad, editor.

(1)

Abbass, Hussein A. editor.

(1)

Abdel-Basset, Mohamed, 1985- author.

(1)

Abduh, Moch., editor.

(1)

Abelló, Alberto. editor.

(1)

Adams, Raymond J., 1959- author.

(1)

Adatto, Laurent, editor.

(1)

Addyman, Simon, editor.

(1)

Agarwal, Sonali. editor.

(1)

Agredo-Delgado, Vanessa. editor.

(1)

Akkari, Nissrine. author.

(1)

Al Marri, Khalid. editor.

(1)

Al-Emran, Mostafa. editor.

(1)

Alajlan, Naif. editor.

(1)

Alatrista-Salas, Hugo. editor.

(1)

Alexopoulos, Kosmas. editor. (orcid)0000-0002-3658-6838

(1)

Alfaro, Icíar. author.

(1)

Aliferis, Constantin. editor.

(1)

Alonso, Omar. editor.

(1)

Alonso-Betanzos, Amparo. editor. (orcid)0000-0003-0950-0012

(1)

Alpe, Yves, editor.

(1)

Ammar, Amine. author. (orcid)0000-0002-1541-1115

(1)

Anand, Sameer. editor.

(1)

Anderson, Martin, editor.

(1)

Andonie, Răzvan. editor.

(1)

Andreasen, Troels. editor.

(1)

Andrews, James E. editor.

(1)

Angarita Lezama, Agustín Ricardo. editor.

(1)

Anido, Luis. editor.

(1)

Anwar, Waqar, author.

(1)

Araújo, João. editor.

(1)

Area-Moreira, Manuel. editor.

(1)

(1)

Arthur, Rangel. editor.

(1)

Asahi, Yumi. editor.

(1)

Awasthi, Shashank. editor.

(1)

Azamathulla, Hazi. editor.

(1)

Azambuja Silveira, Ricardo. editor.

(1)

Baboulin, Marc. editor.

(1)

Badica, Costin. editor.

(1)

Baillargeat, Dominique. author.

(1)

Baker, Robert E., 1957- author.

(1)

Balachandran, K. editor.

(1)

Balamurugan, S., Prof., editor.

(1)

Balogh, Richard. editor.

(1)

Balusamy, Balamurugan, editor.

(1)

Banissi, Ebad. editor.

(1)

Bansal, Jagdish Chand. editor.

(1)

Barak, Moshe. editor.

(1)

Barara, Inderjit Singh. editor.

(1)

Barthes, Angela, editor.

(1)

Bartocci, Ezio. editor.

(1)

Bartoletti, Ivana, 1979- editor.

(1)

Basta, Alfred, author.

(1)

Basta, Nadine, author.

(1)

Battaglia, Demian. editor.

(1)

Baungarten Leon, Emilio Isaac. author. (orcid)0000-0001-6243-219X

(1)

Baxter, John S. H. editor. (orcid)0000-0003-3548-4343

(1)

Bebis, George. editor.

(1)

Behnke, Sven. editor.

(1)

Bel-Enguix, Gemma. editor.

(1)

Beltrán Dussán, Eduardo Humberto. editor. (orcid)0000-0002-7245-2634

(1)

Benatallah, Boualem. editor.

(1)

Benavides, David. author.

(1)

Bender, Andreas, 1976-

(1)

Benkeblia, Noureddine, editor.

(1)

Bertin, Emmanuel, editor.

(1)

Bessiere, Christian. editor.

(1)

Bestavros, Azer. editor.

(1)

Beyerer, Jürgen. editor.

(1)

Bharti, Kusum Kumari. editor.

(1)

Bhatnagar, Nitu, editor.

(1)

Bhatnagar, Roheet, editor.

(1)

Bhattacharya, Abhishek. editor.

(1)

Bhattacharyya, Dhruba K., author.

(1)

Bhattacharyya, Siddhartha. editor.

(1)

Bianchi, Reinaldo A. C. editor.

(1)

Bienz, Amanda. editor.

(1)

Bihanic, David. editor.

(1)

Bihlmaier, Andreas. author.

(1)

Blomqvist, Eva. editor. (orcid)0000-0003-0036-6662

(1)

Bobed, Carlos. editor.

(1)

Bolón-Canedo, Verónica. editor. (orcid)0000-0002-0524-6427

(1)

Boobier, Tony, 1956- author.

(1)

Borbinha, José. editor.

(1)

Bordogna, Gloria. editor.

(1)

Bortolini, Marco. editor.

(1)

Bosse, Stefan, author.

(1)

Botto-Tobar, Miguel. editor. (orcid)

(1)

Braubach, Lars. editor.

(1)

Bravo, José. editor.

(1)

Broadhead, Pat, 1951-

(1)

Brown, Tom H. editor.

(1)

Bruckstein, Alfred M. editor.

(1)

Bucaram-Leverone, Martha. editor.

(1)

Bugiotti, Francesca. editor.

(1)

Buranarach, Marut. editor.

(1)

Burghardt, Dirk. editor. (orcid)0000-0003-2949-4887

(1)

(1)

Busse, Matthias (Materials scientist), author.

(1)

Buyya, Rajkumar. editor.

(1)

Bylieva, Daria. editor.

(1)

Cai, Jun. editor.

(1)

Calimeri, Francesco. editor.

(1)

Camacho, David. editor.

(1)

Camacho, David. editor. (orcid)

(1)

Camacho, David. editor. (orcid)0000-0002-0535-7450

(1)

Camarinha-Matos, Luis M. editor. (orcid)

(1)

Cao, Longbing. editor.

(1)

Cao, Yiwei. editor.

(1)

Caporuscio, Mauro. editor.

(1)

Caputo, Annalina. editor.

(1)

Caramia, Giovanni. author. (orcid)0000-0002-9298-4785

(1)

Cardoso, Amílcar. editor.

(1)

Casenave, Fabien. author.

(1)

Catania, Barbara. editor.

(1)

Ceconello, Mauro. author.

(1)

Centanaro-Quiroz, Pablo Humberto. editor.

(1)

Chakrabarti, Satyajit. editor.

(1)

Champaney, Victor. author.

(1)

Champollion, Pierre, editor.

(1)

Chaudhuri, Swarat. editor.

(1)

Chawla, Nitesh. editor.

(1)

Chen, Enhong. editor.

(1)

Chen, Hao. editor. (orcid)

(1)

Chen, Minshan. editor.

(1)

Tümünü genişlet

Dil

(354)

Yayın Yılı

-

(129)

(54)

(38)

(26)

(26)

(20)

(9)

(8)

(7)

(7)

(6)

(6)

(6)

(5)

(5)

(4)

(1)

Tümünü genişlet

Konu

Artificial intelligence.

(92)

Computational intelligence.

(46)

Electronic books.

(35)

Application software.

(25)

Computer and Information Systems Applications.

(24)

Machine learning.

(19)

(18)

Computer networks .

(16)

(16)

Computer vision.

(15)

Computers and Education.

(15)

Data Mining and Knowledge Discovery.

(15)

(15)

Software engineering.

(15)

Computer Communication Networks.

(14)

Engineering -- Data processing.

(14)

(13)

Control engineering.

(13)

Control, Robotics, Automation.

(13)

Education -- Data processing.

(13)

(12)

Cooperating objects (Computer systems).

(12)

Cyber-Physical Systems.

(12)

User interfaces (Computer systems).

(12)

Human-computer interaction.

(11)

Intelligence (AI) & Semantics.

(11)

(11)

TECHNOLOGY & ENGINEERING.

(11)

User Interfaces and Human Computer Interaction.

(11)

Communications Engineering, Networks.

(10)

Data Engineering.

(10)

Internet of things.

(10)

Telecommunication.

(10)

Information Storage and Retrieval.

(9)

Information storage and retrieval systems.

(9)

Computer science.

(8)

Production engineering.

(8)

Apprentissage automatique.

(7)

Industrial and Production Engineering.

(7)

Industrial engineering.

(7)

Signal processing.

(7)

Social sciences -- Data processing.

(7)

Automated Pattern Recognition.

(6)

(6)

Computer Application in Social and Behavioral Sciences.

(6)

Computer graphics.

(6)

Design and Analysis of Algorithms.

(6)

(6)

Open source software.

(6)

Pattern recognition systems.

(6)

BUSINESS & ECONOMICS.

(5)

Computers and Society.

(5)

Geographic information systems.

(5)

Image processing.

(5)

Information theory.

(5)

Intelligence artificielle.

(5)

Internet des objets.

(5)

Internet of things

(5)

Mathematics -- Data processing.

(5)

Mobile & Wireless Communications.

(5)

Signal, Speech and Image Processing.

(5)

Telecommunications.

(5)

Artificial intelligence -- Medical applications.

(4)

Cloud computing

(4)

Cloud computing.

(4)

Data Structures and Information Theory.

(4)

Data structures (Computer science).

(4)

Database management.

(4)

Distance education.

(4)

Educational technology.

(4)

Engineering mathematics.

(4)

Geographical Information System.

(4)

Image processing -- Digital techniques.

(4)

(4)

Mathematical and Computational Engineering Applications.

(4)

Medical informatics.

(4)

Artificial Intelligence

(3)

Artificial intelligence

(3)

Artificial intelligence -- Data processing.

(3)

(3)

Computational Mathematics and Numerical Analysis.

(3)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(3)

Computer architecture.

(3)

Computer networks -- Security measures.

(3)

Computers and civilization.

(3)

Data Analysis and Big Data.

(3)

(3)

Digital Education and Educational Technology.

(3)

Electric power production.

(3)

Endoscopic surgery.

(3)

Health Informatics.

(3)

Machine learning

(3)

Mathematical optimization.

(3)

Minimally Invasive Surgery.

(3)

(3)

Neural networks (Computer science)

(3)

(3)

(3)

(3)

Quantitative research.

(3)

(3)

Signals & Signal Processing.

(3)

Technology -- Sociological aspects.

(3)

Theory of Computation.

(3)

5G mobile communication systems.

(2)

Aerospace Technology and Astronautics.

(2)

Aerospace engineering.

(2)

Anesthesiology.

(2)

Applications of Mathematics.

(2)

Artificial intelligence -- Industrial applications

(2)

Artificial intelligence -- Industrial applications.

(2)

Artificial intelligence -- Medical applications

(2)

(2)

BUSINESS & ECONOMICS -- Industrial Management.

(2)

BUSINESS & ECONOMICS -- Management Science.

(2)

BUSINESS & ECONOMICS -- Management.

(2)

BUSINESS & ECONOMICS -- Organizational Behavior.

(2)

Biology -- Research.

(2)

Biomedical Research.

(2)

COMPUTERS -- General.

(2)

Chemistry -- Data processing.

(2)

Communications mobiles 5G.

(2)

Computational Chemistry.

(2)

Computational Science and Engineering.

(2)

Computer Application in Administrative Data Processing.

(2)

Computer Engineering and Networks.

(2)

Computer engineering.

(2)

Computer science -- Mathematics.

(2)

Computers, Special purpose.

(2)

(2)

Data Storage Representation.

(2)

Data and Information Security.

(2)

Data protection.

(2)

EDUCATION -- Administration -- General.

(2)

Early childhood education -- Parent participation.

(2)

Early childhood education.

(2)

(2)

Education, Higher -- Computer-assisted instruction.

(2)

Education, Higher -- Effect of technological innovations on.

(2)

Education, Higher.

(2)

Educational Technology.

(2)

Educational tests and measurements.

(2)

Electrical Power Engineering.

(2)

Electronic Circuits and Systems.

(2)

Electronic circuits.

(2)

Engineering Mechanics.

(2)

Engineering design.

(2)

Health Sciences.

(2)

Industrial design.

(2)

Information retrieval.

(2)

Information technology -- Management.

(2)

Innovation and Technology Management.

(2)

Innovations -- Gestion.

(2)

Intelligence artificielle -- Applications en médecine.

(2)

Intelligence artificielle -- Applications industrielles.

(2)

Internal medicine.

(2)

Internet in higher education.

(2)

(2)

(2)

Machine Learning

(2)

Materials Science.

(2)

Mathematical statistics.

(2)

(2)

Mechanics, Applied.

(2)

Medical sciences.

(2)

Medicine -- Research.

(2)

(2)

Mobile computing.

(2)

Nervous system -- Surgery.

(2)

Neural Networks, Computer

(2)

(2)

Open Radio Access Network.

(2)

(2)

Production management.

(2)

Programming Language.

(2)

Programming languages (Electronic computers).

(2)

Project Management.

(2)

Python (Computer program language)

(2)

Python (Computer program language).

(2)

(2)

R (Computer program language)

(2)

R (Langage de programmation)

(2)

(2)

Reproducible research.

(2)

Réseaux neuronaux (Informatique)

(2)

Software Development & Engineering.

(2)

Special Purpose and Application-Based Systems.

(2)

Statistical Learning.

(2)

(2)

(2)

(2)

TECHNOLOGY / Remote Sensing

(2)

Technical education.

(2)

Technological innovations -- Management

(2)

Technological innovations -- Management.

(2)

Technological innovations.

(2)

Transmission sans fil.

(2)

Web-based instruction.

(2)

Wireless communication systems

(2)

Wireless communication systems.

(2)

Tümünü genişlet

Materyal Türü

Shelf Location

CRC Ekitapları

Elektronik Kütüphane

Taylor Francis E-Kitap Koleksiyonu

Wiley E-Kitap Koleksiyonu

{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

354 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 3 4 5 6 7 .. 30

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.

Scalable Data Management for Future Hardware için kapak resmi

Scalable Data Management for Future Hardware

Scalable Data Management for Future Hardware

Yazar

Sattler, Kai-Uwe. editor. (orcid)0000-0003-1608-7721 Kemper, Alfons. editor. Neumann, Thomas. editor. (orcid)0000-0001-5787-142X Teubner, Jens. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Low Field Pediatric Brain Magnetic Resonance Image Segmentation and Quality Assurance First MICCAI Challenge, LISA 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings için kapak resmi

Low Field Pediatric Brain Magnetic Resonance Image Segmentation and Quality Assurance First MICCAI Challenge, LISA 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings

Low Field Pediatric Brain Magnetic Resonance Image Segmentation and Quality Assurance First MICCAI Challenge, LISA 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings

Yazar

Lepore, Natasha. editor. (orcid)0000-0002-8379-674X Linguraru, Marius George. editor. (orcid)0000-0001-6175-8665 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-83008-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Diseases of the Chest, Heart and Vascular System 2025-2028 Diagnostic Imaging için kapak resmi

Diseases of the Chest, Heart and Vascular System 2025-2028 Diagnostic Imaging

Diseases of the Chest, Heart and Vascular System 2025-2028 Diagnostic Imaging

Yazar

Hodler, Juerg. editor. Kubik-Huch, Rahel A. editor. Roos, Justus E. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Managing Software Supply Chains Theory and Practice için kapak resmi

Managing Software Supply Chains Theory and Practice

Managing Software Supply Chains Theory and Practice

Yazar

Wang, Ying. author. Cheung, Shing-Chi. author. (orcid)0000-0002-3508-7172 Yu, Hai. author. (orcid)0000-0002-8024-1781 Zhu, Zhiliang. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-1797-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Computational Mechanics and Applied Mathematics: Perspectives from Young Scholars GIMC SIMAI Young 2024 için kapak resmi

Computational Mechanics and Applied Mathematics: Perspectives from Young Scholars GIMC SIMAI Young 2024

Computational Mechanics and Applied Mathematics: Perspectives from Young Scholars GIMC SIMAI Young 2024

Yazar

Marmo, Francesco. editor. Cuomo, Salvatore. editor. Cutolo, Arsenio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

$Treatment of Refractory Renal Anemia Case Collection için kapak resmi$

Treatment of Refractory Renal Anemia Case Collection

Treatment of Refractory Renal Anemia Case Collection

Yazar

Liu, Bi-Cheng. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-7636-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Futureproofing Engineering Education for Global Responsibility Proceedings of the 27th International Conference on Interactive Collaborative Learning (ICL2024), Volume 3 için kapak resmi

Futureproofing Engineering Education for Global Responsibility Proceedings of the 27th International Conference on Interactive Collaborative Learning (ICL2024), Volume 3

Futureproofing Engineering Education for Global Responsibility Proceedings of the 27th International Conference on Interactive Collaborative Learning (ICL2024), Volume 3

Yazar

Auer, Michael E. editor. Rüütmann, Tiia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-83523-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Computer Vision Metrics Survey, Taxonomy, and Analysis of Computer Vision, Visual Neuroscience, and Visual AI için kapak resmi

Computer Vision Metrics Survey, Taxonomy, and Analysis of Computer Vision, Visual Neuroscience, and Visual AI

Computer Vision Metrics Survey, Taxonomy, and Analysis of Computer Vision, Visual Neuroscience, and Visual AI

Yazar

Krig, Scott. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-3393-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Robotics Goes MOOC Impact için kapak resmi

Robotics Goes MOOC Impact

Robotics Goes MOOC Impact

Yazar

Siciliano, Bruno. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-77267-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

A Practical Approach to Computational Fluid Dynamics Using OpenFOAM® için kapak resmi

A Practical Approach to Computational Fluid Dynamics Using OpenFOAM®

A Practical Approach to Computational Fluid Dynamics Using OpenFOAM®

Yazar

Caramia, Giovanni. author. (orcid)0000-0002-9298-4785 Distaso, Elia. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II için kapak resmi

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II

Yazar

Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I için kapak resmi

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I

Yazar

Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-98668-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 3 4 5 6 7 .. 30

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11