Search Results for Computer mathematics.

18 Results Found

000000000000000000DEFAULT

Cover image for Stabilization, Safety, and Security of Distributed Systems 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings

Stabilization, Safety, and Security of Distributed Systems 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings

Author

Ghaffari, Mohsen. editor. Nesterenko, Mikhail. editor. Tixeuil, Sébastien. editor. (orcid)0000-0002-0948-7172 Tucci, Sara. editor. (orcid)0000-0001-9738-9021 Yamauchi, Yukiko. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-34992-9

Format:

Availability

Online Library~1

Available:
Copies:

Business Process Management 17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings

Author

Hildebrandt, Thomas. editor. (orcid)0000-0002-7435-5563 van Dongen, Boudewijn F. editor. (orcid)0000-0002-3978-6464 Röglinger, Maximilian. editor. (orcid)0000-0003-4743-4511 Mendling, Jan. editor. (orcid)0000-0002-7260-524X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-26619-6

Format:

Availability

Online Library~1

Available:
Copies:

Transactions on Petri Nets and Other Models of Concurrency XIV

Author

Koutny, Maciej. editor. Pomello, Lucia. editor. Kristensen, Lars Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-60651-3

Format:

Availability

Online Library~1

Available:
Copies:

Algorithmic Decision Theory 6th International Conference, ADT 2019, Durham, NC, USA, October 25–27, 2019, Proceedings

Author

Pekeč, Saša. editor. Venable, Kristen Brent. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-31489-7

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Combinatorial Optimization and Applications 13th International Conference, COCOA 2019, Xiamen, China, December 13–15, 2019, Proceedings

Combinatorial Optimization and Applications 13th International Conference, COCOA 2019, Xiamen, China, December 13–15, 2019, Proceedings

Author

Li, Yingshu. editor. Cardei, Mihaela. editor. Huang, Yan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-36412-0

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Smart Cities, Green Technologies, and Intelligent Transport Systems 6th International Conference, SMARTGREENS 2017, and Third International Conference, VEHITS 2017, Porto, Portugal, April 22-24, 2017, Revised Selected Papers

Smart Cities, Green Technologies, and Intelligent Transport Systems 6th International Conference, SMARTGREENS 2017, and Third International Conference, VEHITS 2017, Porto, Portugal, April 22-24, 2017, Revised Selected Papers

Author

Donnellan, Brian. editor. Klein, Cornel. editor. Helfert, Markus. editor. Gusikhin, Oleg. editor. Pascoal, António. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-02907-4

Format:

Availability

Online Library~1

Available:
Copies:

Algorithms and Models for the Web Graph 11th International Workshop, WAW 2014, Beijing, China, December 17-18, 2014, Proceedings

Author

Bonato, Anthony. editor. Graham, Fan Chung. editor. Prałat, Paweł. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-13123-8

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I

Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I

Author

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-55224-3

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

Author

Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-43951-7

Format:

Availability

Online Library~1

Available:
Copies:

10.

Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics

Author

Majkić, Zoran. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-04156-8

Format:

Availability

Online Library~1

Available:
Copies:

11.

Discrete Event Systems Diagnosis and Diagnosability

Author

Sayed-Mouchaweh, Moamar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4614-0031-8

Format:

Availability

Online Library~1

Available:
Copies:

12.

Simulated Evolution and Learning 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, Proceedings

Author

Dick, Grant. editor. Browne, Will N. editor. Whigham, Peter. editor. Zhang, Mengjie. editor. Bui, Lam Thu. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-13563-2

Format:

Availability

Online Library~1

Available:
Copies:

13.

Cover image for Artificial Intelligence and Symbolic Computation 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings

Artificial Intelligence and Symbolic Computation 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings

Author

Aranda-Corral, Gonzalo A. editor. Calmet, Jacques. editor. Martín-Mateos, Francisco J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-13770-4

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Science Gateways for Distributed Computing Infrastructures Development Framework and Exploitation by Scientific User Communities

Science Gateways for Distributed Computing Infrastructures Development Framework and Exploitation by Scientific User Communities

Author

Kacsuk, Péter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-11268-8

Format:

Availability

Online Library~1

Available:
Copies:

15.

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I

Author

Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-43948-7

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Diagrammatic Representation and Inference 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014, Proceedings

Diagrammatic Representation and Inference 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014, Proceedings

Author

Dwyer, Tim. editor. Purchase, Helen. editor. Delaney, Aidan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-44043-8

Format:

Availability

Online Library~1

Available:
Copies:

17.

Multivariate Network Visualization Dagstuhl Seminar # 13201, Dagstuhl Castle, Germany, May 12-17, 2013, Revised Discussions

Author

Kerren, Andreas. editor. Purchase, Helen. editor. Ward, Matthew O. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-06793-3

Format:

Availability

Online Library~1

Available:
Copies:

18.

Information Visualization An Introduction

Author

Spence, Robert. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-07341-5

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}