Search Results for Mathematics & science.

|

|

|

|

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:

+

Subject: Software engineering.

Author

SpringerLink (Online service)

(142)

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)

Coron, Jean-Sébastien. editor.

(3)

Nielsen, Jesper Buus. editor.

(3)

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

(3)

Ao, Sio-Iong. 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)

Jónasson, Kristján. editor.

(2)

Keller, Rainer. 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)

Brooks, David R. author.

(1)

Broy, Manfred. editor.

(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)

Castillo, Oscar. 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)

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. (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)

Ghosh, Sujata. editor.

(1)

Giese, Holger. editor.

(1)

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

(1)

Gorski, Janusz. editor.

(1)

Greuel, Gert-Martin. editor.

(1)

Grochla, Krzysztof. editor.

(1)

Groen, Frans C. A. editor.

(1)

Grünbauer, Johannes. editor.

(1)

Gupta, Gopal. editor.

(1)

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

(1)

Harel, David. editor.

(1)

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

(1)

He, Ji-Huan. editor.

(1)

Herdt, Vladimir. author.

(1)

Hoare, Tony. editor.

(1)

Holt, Alan. author.

(1)

Holzinger, Andreas. editor.

(1)

Hong, Hoon. editor.

(1)

Huang, Xu. 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)

Jordan, Vladimir. editor.

(1)

Jungers, Raphaël. editor.

(1)

Jürjens, Jan. 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)

Kim, Haeng Kon. editor.

(1)

Klasing, Ralf. editor.

(1)

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

(1)

Koch, Thorsten. 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)

Kowalik, Janusz S. editor.

(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

(142)

Publication Date

-

(29)

(25)

(20)

(19)

(11)

(8)

(7)

(7)

(5)

(4)

(3)

(2)

(1)

(1)

Subject

Computer science -- Mathematics.

(104)

Computer science.

(83)

Artificial intelligence.

(54)

Computer networks .

(43)

Mathematics of Computing.

(41)

(33)

Discrete Mathematics in Computer Science.

(31)

Theory of Computation.

(31)

Computer Communication Networks.

(30)

Computer Science Logic and Foundations of Programming.

(24)

Discrete mathematics.

(24)

Computer Engineering and Networks.

(23)

Computer engineering.

(23)

Formal Languages and Automata Theory.

(21)

Machine theory.

(21)

Computer science—Mathematics.

(18)

Computer software.

(18)

Computer simulation.

(15)

Mathematical statistics.

(13)

Probability and Statistics in Computer Science.

(13)

Computer Modelling.

(10)

Data structures (Computer science).

(10)

Information theory.

(10)

Programming Techniques.

(10)

Application software.

(9)

Computer vision.

(9)

(9)

Compilers (Computer programs).

(8)

Compilers and Interpreters.

(8)

Computer and Information Systems Applications.

(8)

Computer programming.

(8)

Data encryption (Computer science).

(8)

Numerical analysis.

(8)

Computational complexity.

(7)

Computers, Special purpose.

(7)

Data and Information Security.

(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)

Information systems.

(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)

(4)

Logics and Meanings of Programs.

(4)

(4)

Artificial intelligence -- Data processing.

(3)

Bioinformatics.

(3)

Control Structures and Microprogramming.

(3)

(3)

Microprogramming .

(3)

Algebra -- Data processing.

(2)

Algorithm Analysis and Problem Complexity.

(2)

Coding and Information Theory.

(2)

(2)

Computer Hardware.

(2)

Computer communication systems.

(2)

Computer graphics.

(2)

Electronic data processing.

(2)

Management information systems.

(2)

Mathematical Logic and Foundations.

(2)

Mathematics -- Data processing.

(2)

Memory management (Computer science).

(2)

Natural language processing (Computer science).

(2)

Optical data processing.

(2)

Programming Language.

(2)

Programming languages (Electronic computers).

(2)

Applied Dynamical Systems.

(1)

Arithmetic and Logic Structures.

(1)

Automated Pattern Recognition.

(1)

(1)

Business ethics.

(1)

Client/server computing -- Equipment and supplies.

(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 hardware.

(1)

Computer network architectures.

(1)

Computer organization.

(1)

Computer system performance.

(1)

Computer systems.

(1)

Computers -- Law and legislation.

(1)

Computing Milieux.

(1)

Control engineering.

(1)

Control, Robotics, Automation.

(1)

Data Structures.

(1)

Database Management System.

(1)

Database management.

(1)

(1)

Electrical and Electronic Engineering.

(1)

Electrical engineering.

(1)

Engineering -- Data processing.

(1)

Engineering mathematics.

(1)

Ethics of Technology.

(1)

Hardware Performance and Reliability.

(1)

Industrial and Production Engineering.

(1)

Industrial engineering.

(1)

Information storage and retrieval.

(1)

Information technology -- Law and legislation.

(1)

Information technology -- Management.

(1)

Legal Aspects of Computing.

(1)

Logic, Symbolic and mathematical.

(1)

Mathematical Modeling and Industrial Mathematics.

(1)

Mathematical Software.

(1)

Mathematical and Computational Engineering Applications.

(1)

Mathematical models.

(1)

Mathematical physics.

(1)

Mechanics, applied.

(1)

Models of Computation.

(1)

Nonlinear theories.

(1)

(1)

Operating Systems.

(1)

Operating systems (Computers).

(1)

Pattern recognition systems.

(1)

Physiology -- Mathematics.

(1)

Production engineering.

(1)

(1)

Python (Computer program language).

(1)

(1)

(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)

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

142 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.

25.

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:

26.

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:

27.

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:

28.

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:

29.

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:

30.

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:

31.

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:

32.

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:

33.

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:

34.

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:

35.

Cover image for Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

Author

Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Computational Thinking First Algorithms, Then Code

Computational Thinking First Algorithms, Then Code

Computational Thinking First Algorithms, Then Code

Author

Ferragina, Paolo. author. Luccio, Fabrizio. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

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