Search Results for Computer mathematics.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Konu: Software engineering.

Author

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)

Language

(144)

Publication Date

-

(30)

(26)

(20)

(19)

(11)

(8)

(8)

(7)

(4)

(4)

(3)

(2)

(1)

(1)

Subject

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)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

144 Results Found

Subscribe to search results

1 2 3 4 5 .. 12

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

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

1.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 12

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11