Search Results for Computer mathematics.

|

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

+

Subject: Software engineering.

Yazar

SpringerLink (Online service)

(143)

Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

(11)

Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395

(11)

Dongarra, Jack. editor.

(8)

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914

(7)

Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X

(7)

Paszynski, Maciej. editor.

(7)

de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453

(7)

Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382

(6)

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052

(6)

Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757

(6)

Abramson, David. editor. (orcid)0000-0003-0441-4596

(4)

Cai, Wentong. editor. (orcid)0000-0002-0183-3835

(4)

Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699

(4)

Karczewski, Konrad. editor.

(4)

Lees, Michael H. editor. (orcid)0000-0002-5457-9180

(4)

Su, Yi. editor.

(4)

Waśniewski, Jerzy. editor.

(4)

Ao, Sio-Iong. editor.

(3)

Coron, Jean-Sébastien. editor.

(3)

Nielsen, Jesper Buus. editor.

(3)

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786

(3)

Castillo, Oscar. editor.

(2)

Chapman, Barbara M. editor.

(2)

Deelman, Ewa. editor. (orcid)0000-0001-5106-503X

(2)

Dimitrova, Rayna. editor.

(2)

Du, Hongwei. editor.

(2)

Engels, Gregor. editor.

(2)

Gao, Xiaofeng. editor.

(2)

Han, Meng. editor.

(2)

Hillston, Jane. editor. (orcid)0000-0003-4914-9255

(2)

Huang, Xu. editor.

(2)

Jónasson, Kristján. editor.

(2)

Keller, Rainer. editor.

(2)

Kim, Haeng Kon. editor.

(2)

Kitowski, Jacek. editor.

(2)

Koepf, Wolfram. editor.

(2)

Kramer, David. editor.

(2)

Lahav, Ori. editor. (orcid)0000-0003-4305-6998

(2)

Li, Minming. editor. (orcid)0000-0002-7370-6237

(2)

Nawrocki, Jerzy. editor.

(2)

O'Regan, Gerard. author.

(2)

Paule, Peter. editor.

(2)

Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340

(2)

Seiler, Werner M. editor. (orcid)0000-0002-0565-1334

(2)

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X

(2)

Supinski, Bronis R. editor.

(2)

Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126

(2)

Vorozhtsov, Evgenii V. editor.

(2)

Weiss, Jan-Philipp. editor.

(2)

Wiatr, Kazimierz. editor.

(2)

Wolff, Sebastian. editor.

(2)

Wyrzykowski, Roman. editor.

(2)

Yang, Laurence T. editor.

(2)

Aiswarya, C. editor. (orcid)0000-0002-4878-7581

(1)

Albert, Elvira. editor.

(1)

Alkhalaf, Muath. author.

(1)

Amouzegar, Mahyar A. editor.

(1)

Amparore, Elvio. editor. (orcid)0000-0003-1147-8985

(1)

Antonucci, Alessandro. editor.

(1)

Athanasopoulos, Elias. editor.

(1)

Aydin, Abdulbaki. author.

(1)

Ayguadé, Eduard. editor.

(1)

Baldoni, Roberto. editor.

(1)

Balduccini, Marcello. editor.

(1)

Barbero, Ángela I. editor.

(1)

Barbosa, Jorge. editor.

(1)

Bartocci, Ezio. editor.

(1)

Baumann, Christoph. author.

(1)

Beecks, Christian. editor.

(1)

Bernardo, Marco. editor.

(1)

Bielova, Nataliia. editor.

(1)

Blaheta, Radim. editor.

(1)

Blömer, Johannes. editor.

(1)

Bodden, Eric. editor.

(1)

Bortolussi, Luca. editor. (orcid)0000-0001-8874-4001

(1)

Borutta, Felix. editor.

(1)

Brisaboa, Nieves R. editor. (orcid)0000-0001-8025-3048

(1)

Bruaset, Are Magnus. editor.

(1)

Buckley, Christopher L. editor.

(1)

Bultan, Tevfik. author.

(1)

Burgeth, Bernhard. editor. (orcid)0000-0001-6602-6201

(1)

Cabalar, Pedro. editor.

(1)

Caballero, Juan. editor.

(1)

Camacho, Rui. editor.

(1)

Carmona, Josep. editor.

(1)

Catania, Barbara. editor.

(1)

Catania, Barbara. editor. (orcid)0000-0002-6443-169X

(1)

Chapman, Barbara. editor.

(1)

Chau, Vincent. editor. (orcid)0000-0002-3362-2063

(1)

Cholvy, Laurence. editor.

(1)

Cialfi, Daniela. editor. (orcid)0000-0001-8953-062X

(1)

Creignou, Nadia. editor.

(1)

Czachórski, Tadeusz. editor.

(1)

Dada, Joseph O. editor.

(1)

Dal Lago, Ugo. editor.

(1)

De Nicola, Rocco. editor.

(1)

Deng, Lizhen. author.

(1)

Di Marco, Antinisca. editor.

(1)

Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457

(1)

Dorf, Richard C., author.

(1)

Du, Ke-Lin. editor. (orcid)0000-0002-9136-3952

(1)

Dutra, Inês. editor.

(1)

Dürr, Christoph. editor. (orcid)0000-0001-8103-5333

(1)

Dąbrowski, Andrzej. editor. (orcid)0000-0002-1524-4871

(1)

Echahed, Rachid. editor.

(1)

Eigenmann, Rudolf. editor.

(1)

Ekstedt, Mathias. editor.

(1)

Elmroth, Erik. editor.

(1)

Emde Boas, Peter. editor.

(1)

Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270

(1)

England, Matthew. editor.

(1)

England, Matthew. editor. (orcid)0000-0001-5729-3420

(1)

Faerman, Vladimir A. editor.

(1)

Ferragina, Paolo. author.

(1)

Ferri, Massimo. editor.

(1)

Fiems, Dieter. editor.

(1)

Filimonov, Nikolay. editor.

(1)

Filiot, Emmanuel. editor.

(1)

Fleuriot, Jacques. editor.

(1)

Freivalds, Rūsiņš Mārtiņš. editor.

(1)

Fränzle, Martin. editor.

(1)

Fu, Yuxi. editor.

(1)

Furht, Borko. author.

(1)

Galmiche, Didier. editor.

(1)

Gao, Guang R. editor.

(1)

Gavrilova, Marina L. editor.

(1)

Gelenbe, Erol. editor.

(1)

Gerdt, Vladimir P. editor.

(1)

Gerndt, Michael. editor.

(1)

Geuvers, Herman. editor.

(1)

Ghosh, Sujata. editor.

(1)

Giese, Holger. editor.

(1)

Goebel, Randy. editor. (orcid)0000-0002-0739-2946

(1)

Greuel, Gert-Martin. editor.

(1)

Grochla, Krzysztof. editor.

(1)

Groen, Frans C. A. editor.

(1)

Gupta, Gopal. editor.

(1)

Haar, Stefan. editor. (orcid)0000-0002-1892-2703

(1)

Harmer, Russ. editor. (orcid)0000-0002-0817-1029

(1)

Hasan, Osman. editor.

(1)

He, Ji-Huan. editor.

(1)

Herdt, Vladimir. author.

(1)

Holt, Alan. author.

(1)

Holzinger, Andreas. editor.

(1)

Hong, Hoon. editor.

(1)

Hutton, Graham. editor. (orcid)0000-0001-9584-5150

(1)

Höfner, Peter. editor.

(1)

Ida, Tetsuo. editor.

(1)

Italiano, Giuseppe F. editor.

(1)

Janhunen, Tomi. editor.

(1)

Jiang, Zhiyu. editor. (orcid)0000-0002-6360-8262

(1)

Joe, Kazuki. editor.

(1)

Johansson, Moa. editor.

(1)

Jordan, Vladimir. editor.

(1)

Jungers, Raphaël. editor.

(1)

Jürjens, Jan. editor.

(1)

Kacsuk, Péter. editor.

(1)

Kapur, Deepak. editor.

(1)

Karydis, Ioannis. editor.

(1)

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926

(1)

Khan, Md. Aquil. editor.

(1)

Kim, Dong Seong. editor.

(1)

Klasing, Ralf. editor.

(1)

Kleefeld, Andreas. editor. (orcid)0000-0001-8324-821X

(1)

Koch, Thorsten. editor.

(1)

Kohlhase, Michael. editor.

(1)

Kordy, Barbara. editor.

(1)

Kosiol, Jens. editor. (orcid)0000-0003-4733-2777

(1)

Kosters, Walter A. editor.

(1)

Kotsireas, Ilias S. editor.

(1)

Kovács, Laura. editor. (orcid)0000-0002-8299-2714

(1)

Kozubek, Tomáš. editor.

(1)

Kranzlmüller, Dieter. editor.

(1)

Kristensen, Lars Michael. editor.

(1)

Královič, Rastislav. editor. (orcid)0000-0003-1121-1009

(1)

Kröger, Peer. editor.

(1)

Kumar, Akhil. editor.

(1)

Kutsia, Temur. editor. (orcid)0000-0003-4084-7380

(1)

Kågström, Bo. editor.

(1)

König, Barbara. editor.

(1)

Labarta, Jesús. editor.

(1)

Langerak, Rom. editor.

(1)

Lanillos, Pablo. editor. (orcid)0000-0001-9154-0798

(1)

Larchey-Wendling, Dominique. editor.

(1)

Larsen, Kim Guldstrand. editor.

(1)

Le Berre, Daniel. editor.

(1)

Lent, Ricardo. editor. (orcid)0000-0003-4884-3456

(1)

Li, Bo. editor. (orcid)0000-0001-7500-8355

(1)

Lio, Pietro. editor. (orcid)0000-0002-0540-5053

(1)

Liu, Yan. editor.

(1)

Lu, Pinyan. editor. (orcid)0009-0005-0569-4122

(1)

Luccio, Fabrizio. author.

(1)

Lutsyk, Petro. author.

(1)

Lysne, Olav. editor.

(1)

Ma, Feifei. author.

(1)

Madsen, Kaj. editor.

(1)

Malony, Allen D. editor.

(1)

Malyshkin, Victor. editor. (orcid)0000-0002-7874-3686

(1)

Manuel, Amaldev. editor.

(1)

Tümünü genişlet

Dil

(144)

Yayın Yılı

-

(30)

(26)

(20)

(19)

(11)

(8)

(8)

(7)

(4)

(4)

(3)

(2)

(1)

(1)

Tümünü genişlet

Konu

Computer science -- Mathematics.

(104)

Computer science.

(83)

Artificial intelligence.

(56)

Computer networks .

(44)

Mathematics of Computing.

(41)

(33)

Computer Communication Networks.

(31)

Discrete Mathematics in Computer Science.

(31)

Theory of Computation.

(31)

Computer Science Logic and Foundations of Programming.

(26)

Computer engineering.

(24)

Discrete mathematics.

(24)

Computer Engineering and Networks.

(23)

Formal Languages and Automata Theory.

(23)

Machine theory.

(23)

Computer science—Mathematics.

(18)

Computer software.

(18)

Computer simulation.

(17)

Mathematical statistics.

(13)

Probability and Statistics in Computer Science.

(13)

Computer Modelling.

(12)

Application software.

(10)

Compilers (Computer programs).

(10)

Compilers and Interpreters.

(10)

Computer vision.

(10)

(10)

Programming Techniques.

(10)

Data structures (Computer science).

(9)

Information theory.

(9)

Computer and Information Systems Applications.

(8)

Computer programming.

(8)

Numerical analysis.

(8)

Computational complexity.

(7)

Computers, Special purpose.

(7)

Data and Information Security.

(7)

Data encryption (Computer science).

(7)

Data protection.

(7)

Special Purpose and Application-Based Systems.

(7)

Artificial Intelligence (incl. Robotics).

(6)

Computer logic.

(6)

(6)

(6)

Design and Analysis of Algorithms.

(6)

(6)

(6)

Logic programming.

(6)

(6)

Symbolic and Algebraic Manipulation.

(6)

Data Structures and Information Theory.

(5)

Electronic digital computers -- Evaluation.

(5)

Mathematical Applications in Computer Science.

(5)

Mathematical Logic and Formal Languages.

(5)

Mathematical logic.

(5)

System Performance and Evaluation.

(5)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(4)

Electronic data processing -- Management.

(4)

(4)

Image processing -- Digital techniques.

(4)

Information Storage and Retrieval.

(4)

Information storage and retrieval systems.

(4)

Information systems.

(4)

(4)

Logics and Meanings of Programs.

(4)

(4)

Artificial intelligence -- Data processing.

(3)

Bioinformatics.

(3)

(3)

Algebra -- Data processing.

(2)

Algorithm Analysis and Problem Complexity.

(2)

(2)

Coding and Information Theory.

(2)

(2)

Computer Hardware.

(2)

Computer communication systems.

(2)

Control Structures and Microprogramming.

(2)

Control engineering.

(2)

Control, Robotics, Automation.

(2)

Electronic data processing.

(2)

Industrial and Production Engineering.

(2)

Industrial engineering.

(2)

Management information systems.

(2)

Mathematical Logic and Foundations.

(2)

Mathematical Modeling and Industrial Mathematics.

(2)

Mathematical models.

(2)

Mathematics -- Data processing.

(2)

Memory management (Computer science).

(2)

Microprogramming .

(2)

Natural language processing (Computer science).

(2)

Optical data processing.

(2)

Production engineering.

(2)

Programming Language.

(2)

Programming languages (Electronic computers).

(2)

(2)

Applied Dynamical Systems.

(1)

Arithmetic and Logic Structures.

(1)

Automated Pattern Recognition.

(1)

Business ethics.

(1)

COMPUTERS -- Computer Engineering.

(1)

COMPUTERS -- Hardware -- General.

(1)

COMPUTERS -- Machine Theory.

(1)

COMPUTERS / Software Development & Engineering / General.

(1)

Communications Engineering, Networks.

(1)

Computation by Abstract Devices.

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computational Science and Engineering.

(1)

Computational and Systems Biology.

(1)

Computational biology .

(1)

Computer Application in Administrative Data Processing.

(1)

Computer System Implementation.

(1)

Computer arithmetic and logic units.

(1)

Computer graphics.

(1)

Computer hardware.

(1)

Computer mathematics.

(1)

Computer network architectures.

(1)

Computer organization.

(1)

Computer system performance.

(1)

Computer systems.

(1)

Computers -- Law and legislation.

(1)

Computing Milieux.

(1)

Data Structures.

(1)

Database Management System.

(1)

Database management.

(1)

Digital electronics.

(1)

(1)

Electrical and Electronic Engineering.

(1)

Electrical engineering.

(1)

Electronic books.

(1)

Engineering -- Data processing.

(1)

Engineering mathematics.

(1)

Ethics of Technology.

(1)

Génie logiciel.

(1)

Hardware Performance and Reliability.

(1)

Information storage and retrieval.

(1)

Information technology -- Law and legislation.

(1)

Information technology -- Management.

(1)

Information technology.

(1)

Legal Aspects of Computing.

(1)

Logic, Symbolic and mathematical.

(1)

Mathematical Software.

(1)

Mathematical and Computational Engineering Applications.

(1)

Mathematical physics.

(1)

Mechanics, applied.

(1)

Models of Computation.

(1)

Nonlinear theories.

(1)

(1)

Operating Systems.

(1)

Operating systems (Computers).

(1)

Ordinateurs -- Conception et construction.

(1)

Pattern recognition systems.

(1)

Physiology -- Mathematics.

(1)

(1)

Python (Computer program language).

(1)

(1)

Software Engineering/Programming and Operating Systems.

(1)

Technology -- Moral and ethical aspects.

(1)

Telecommunication.

(1)

The Computing Profession.

(1)

Theoretical, Mathematical and Computational Physics.

(1)

Électronique numérique.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

CRC Ekitapları

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

144 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 12

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.

25.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II için kapak resmi

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II

Yazar

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV için kapak resmi

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV

Yazar

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V için kapak resmi

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V

Yazar

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I için kapak resmi

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I

Yazar

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III için kapak resmi

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III

Yazar

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII için kapak resmi

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII

Yazar

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-63783-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI için kapak resmi

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI

Yazar

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers için kapak resmi

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

Yazar

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Martí-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II için kapak resmi

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Yazar

Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I için kapak resmi

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

Yazar

Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Application and Theory of Petri Nets and Concurrency 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings için kapak resmi

Application and Theory of Petri Nets and Concurrency 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings

Application and Theory of Petri Nets and Concurrency 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings

Yazar

Kristensen, Lars Michael. editor. van der Werf, Jan Martijn. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings için kapak resmi

Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings

Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings

Yazar

Harmer, Russ. editor. (orcid)0000-0002-0817-1029 Kosiol, Jens. editor. (orcid)0000-0003-4733-2777 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 12

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11