Search Results for 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:

+

Subject: Software engineering.

Author

SpringerLink (Online service)

(104)

Dongarra, Jack. editor.

(10)

Karczewski, Konrad. editor.

(8)

Waśniewski, Jerzy. editor.

(6)

Wyrzykowski, Roman. editor.

(6)

Langtangen, Hans Petter. author.

(4)

Lee, Roger. editor.

(4)

Wasniewski, Jerzy. editor.

(3)

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

(3)

Abts, Dietmar. author.

(2)

Barth, Timothy J. editor.

(2)

Chapman, Barbara M. editor.

(2)

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

(2)

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

(2)

Griebel, Michael. editor.

(2)

Ishii, Naohiro. editor.

(2)

Jónasson, Kristján. editor.

(2)

Keller, Rainer. editor.

(2)

Keyes, David E. editor.

(2)

Kleuker, Stephan. author.

(2)

Koranne, Sandeep. author.

(2)

Kramer, David. editor.

(2)

Nawrocki, Jerzy. editor.

(2)

Nieminen, Risto M. editor.

(2)

Rimscha, Markus. author.

(2)

Roose, Dirk. editor.

(2)

Schlick, Tamar. editor.

(2)

Supinski, Bronis R. editor.

(2)

Weiss, Jan-Philipp. editor.

(2)

Yang, Laurence T. editor.

(2)

Albert, Elvira. editor.

(1)

Ao, Sio-Iong. author.

(1)

Ao, Sio-Iong. editor.

(1)

Apolloni, Bruno. author.

(1)

Audebaud, Philippe. editor.

(1)

Ayguadé, Eduard. editor.

(1)

Baldoni, Roberto. editor.

(1)

Bassis, Simone. author.

(1)

Beliakov, Gleb. author.

(1)

Bielova, Nataliia. editor.

(1)

Bolduc, Claude. editor.

(1)

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

(1)

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

(1)

Broy, Manfred. editor.

(1)

Bruaset, Are Magnus. editor.

(1)

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

(1)

Cabalar, Pedro. editor.

(1)

Calvo, Tomasa. author.

(1)

Cao, Guozhong. editor.

(1)

Cascini, Gaetano. editor.

(1)

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

(1)

Cavallucci, Denis. editor.

(1)

Chapman, Barbara. editor.

(1)

Cotta, Carlos. editor.

(1)

Dada, Joseph O. editor.

(1)

David, Vasantha Kalyani. author.

(1)

Desharnais, Jules. editor.

(1)

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

(1)

Doornbos, Richard. editor.

(1)

Eigenmann, Rudolf. editor.

(1)

Elmroth, Erik. editor.

(1)

Emde Boas, Peter. editor.

(1)

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

(1)

Filiot, Emmanuel. editor.

(1)

Fink, Andreas. editor.

(1)

Fleuriot, Jacques. editor.

(1)

Fu, Yuxi. editor.

(1)

Galmiche, Didier. editor.

(1)

Gao, Guang R. editor.

(1)

Gardner, Henry. author.

(1)

Gavrilova, Marina L. editor.

(1)

Gerndt, Michael. editor.

(1)

Gibbons, Jeremy. editor.

(1)

Giese, Holger. editor.

(1)

Gorski, Janusz. editor.

(1)

Groen, Frans C. A. editor.

(1)

Grünbauer, Johannes. editor.

(1)

Gu, Junzhong. editor.

(1)

Guio, Roland. editor.

(1)

Gupta, Gopal. editor.

(1)

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

(1)

Harel, David. editor.

(1)

Haughton, Howard. author.

(1)

He, Ji-Huan. editor.

(1)

Hemert, Jano. editor.

(1)

Henderson-Sellers, Brian. author.

(1)

Hoare, Tony. editor.

(1)

Holt, Alan. author.

(1)

Hong, Hoon. editor.

(1)

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

(1)

Ida, Tetsuo. editor.

(1)

Italiano, Giuseppe F. editor.

(1)

Joe, Kazuki. editor.

(1)

Jungers, Raphaël. editor.

(1)

Jürjens, Jan. editor.

(1)

Kacsuk, Péter. editor.

(1)

Kang, Byeong-Ho. editor.

(1)

Kanki, Hiroshi. author.

(1)

Keogh, Patrick. author.

(1)

Khan, Md. Aquil. editor.

(1)

Kim, Haeng Kon. editor.

(1)

Kim, Tai-hoon. editor.

(1)

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

(1)

Kobayashi, Masao. author.

(1)

Koepf, Wolfram. editor.

(1)

Kowalik, Janusz S. editor.

(1)

Kranzlmüller, Dieter. editor.

(1)

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

(1)

Ktari, Béchir. editor.

(1)

Kureichik, Viktor M. author.

(1)

Kureichik, Vladimir V. author.

(1)

Kuroda, Hideo. editor.

(1)

Kämper, Sabine. author.

(1)

Kågström, Bo. editor.

(1)

König, Barbara. editor.

(1)

Labarta, Jesús. editor.

(1)

Langtangen, Hans Petter. editor.

(1)

Lano, Kevin. author.

(1)

Larchey-Wendling, Dominique. editor.

(1)

León, Noel. editor.

(1)

Liu, Baoding. author.

(1)

Liu, Yan. editor.

(1)

Logofătu, Doina. author.

(1)

Lysne, Olav. editor.

(1)

Ma, Feifei. author.

(1)

Madsen, Kaj. editor.

(1)

Malchiodi, Dario. author.

(1)

Malioukov, Alexander S. author.

(1)

Malioukov, Sergey P. author.

(1)

Malony, Allen D. editor.

(1)

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

(1)

Manduchi, Gabriele. author.

(1)

Manuel, Amaldev. editor.

(1)

Martino, Beniamino. editor.

(1)

Matsushita, Osami. author.

(1)

Matthäus, Wolf-Gert. author.

(1)

Mello, Rodrigo Fernandes. editor.

(1)

Mendes, Pedro. editor.

(1)

Meyer, Norbert. editor.

(1)

Mueller, Matthias S. editor.

(1)

Muntean, Traian. editor.

(1)

Munthe-Kaas, Hans. editor.

(1)

Naegel, Benoît. editor. (orcid)0000-0002-7695-1473

(1)

Nguyen, Duc Thai. author.

(1)

Nisse, Nicolas. editor.

(1)

Nogueira, Pablo. editor.

(1)

Owren, Brynjulf. editor.

(1)

Pal, Sankar K. editor.

(1)

Papajorgji, Petraq J. editor.

(1)

Pardalos, Panos M. author.

(1)

Pardalos, Panos M. editor.

(1)

Passat, Nicolas. editor. (orcid)0000-0002-0320-4581

(1)

Paule, Peter. editor.

(1)

Paulin-Mohring, Christine. editor.

(1)

Pedrycz, Witold. author.

(1)

Pereira, Francisco Babtista. editor.

(1)

Perret, Benjamin. editor. (orcid)0000-0003-0933-8342

(1)

Perrott, Ronald. editor.

(1)

Peña, Ricardo. editor.

(1)

Phan, Cong-Vinh. editor.

(1)

Piessens, Frank. editor.

(1)

Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842

(1)

Potapov, Igor. editor.

(1)

Potton, Alois. author.

(1)

Poulakis, Dimitrios. editor.

(1)

Pradera, Ana. author.

(1)

Puglisi, Simon J. editor. (orcid)0000-0001-7668-7636

(1)

Rajasekaran, Sundaramoorthy. author.

(1)

Rana, Omer F. editor.

(1)

Rieger, Burghard B. editor.

(1)

Rolland, Robert. editor.

(1)

Rothlauf, Franz. editor.

(1)

Sachenko, Anatoly. editor.

(1)

Sack, Harald. editor.

(1)

Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318

(1)

Sanguinetti, Guido. editor.

(1)

Sato, Mitsuhisa. editor.

(1)

Sato, Toshinori. editor.

(1)

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

(1)

Smallbone, Kieran. editor.

(1)

Son, Tran Cao. editor.

(1)

Steen, Maarten. editor.

(1)

Subhlok, Jaspal. editor.

(1)

Subramanian, Venkat R. author.

(1)

Tan, C. J. Kenneth. editor.

(1)

Tan, Runhua. editor.

(1)

Tanaka, Masato. author.

(1)

Tavares, Jorge. editor.

(1)

Thachuk, Chris. editor.

(1)

Toselli, Andrea. author.

(1)

Trafalis, Theodore B. author.

(1)

Tveito, Aslak. editor.

(1)

Uustalu, Tarmo. editor.

(1)

Vorozhtsov, Evgenii V. editor.

(1)

Voss, Michael. editor.

(1)

Wang, Dongsheng. editor.

(1)

White, Ralph E. author.

(1)

Widlund, Olof B. author.

(1)

Xanthopoulos, Petros. author.

(1)

Yap, Chee. editor.

(1)

Language

(94)

(10)

Publication Date

-

(14)

(13)

(13)

(12)

(11)

(10)

(8)

(6)

(6)

(5)

(4)

(2)

Subject

Computer science.

(61)

Engineering mathematics.

(30)

(27)

Artificial intelligence.

(25)

Computer software.

(25)

Computer science -- Mathematics.

(21)

Computer science—Mathematics.

(18)

(17)

Computer Communication Networks.

(12)

(11)

(9)

(8)

Computational complexity.

(8)

Computer simulation.

(8)

Information systems.

(8)

Discrete Mathematics in Computer Science.

(7)

Artificial Intelligence (incl. Robotics).

(6)

Computer logic.

(6)

Data structures (Computer science).

(6)

(5)

Mathematical Logic and Formal Languages.

(5)

Computer network architectures.

(4)

Information theory.

(4)

Logics and Meanings of Programs.

(4)

Mathematical logic.

(4)

Management information systems.

(3)

Programming Techniques.

(3)

Software Engineering/Programming and Operating Systems.

(3)

Algebra -- Data processing.

(2)

Algorithm Analysis and Problem Complexity.

(2)

Application software.

(2)

Bioinformatics.

(2)

Computer aided design.

(2)

Computer communication systems.

(2)

Computer system performance.

(2)

Computer vision.

(2)

Data encryption (Computer science).

(2)

Electronic data processing.

(2)

Fourier analysis.

(2)

Mathematical optimization.

(2)

Memory management (Computer science).

(2)

Natural language processing (Computer science).

(2)

Optical data processing.

(2)

Symbolic and Algebraic Manipulation.

(2)

Telecommunication.

(2)

(1)

Appl.Mathematics/Computational Methods of Engineering.

(1)

(1)

Communications Engineering, Networks.

(1)

Computation by Abstract Devices.

(1)

Computational biology .

(1)

Computer graphics.

(1)

Computer hardware.

(1)

Computer mathematics.

(1)

Computer organization.

(1)

Computer programming.

(1)

Data Mining and Knowledge Discovery.

(1)

Data Structures.

(1)

(1)

Database management.

(1)

Distribution (Probability theory).

(1)

Dynamical systems.

(1)

(1)

Electronic Circuits and Devices.

(1)

(1)

Engineering design.

(1)

Engineering economy.

(1)

Finance—Mathematics.

(1)

Financial engineering.

(1)

Information Storage and Retrieval.

(1)

Information Systems.

(1)

Information storage and retrieval systems.

(1)

Information storage and retrieval.

(1)

Information technology.

(1)

Logic, Symbolic and mathematical.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical Software.

(1)

Mathematics of Computing.

(1)

Mechanical engineering.

(1)

Mechanics, applied.

(1)

Monoclonal antibodies.

(1)

Numerical analysis.

(1)

Operations research.

(1)

(1)

Physiology -- Mathematics.

(1)

Plasma (Ionized gases).

(1)

Theory of Computation.

(1)

(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

104 Results Found

Subscribe to search results

1 2 3 4 5 .. 9

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 Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-33636-3

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

Author

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

Author

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

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

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:

5.

Cover image for Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

Author

Paule, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332822.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-00966-7

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages

On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages

On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages

Author

Henderson-Sellers, Brian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-29825-7

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I

Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I

Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I

Author

Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-31464-3

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II

Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II

Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II

Author

Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-31500-8

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

Author

Gibbons, Jeremy. editor. Nogueira, Pablo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-31113-0

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009. Revised Selected Papers, Part I

Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009. Revised Selected Papers, Part I

Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009. Revised Selected Papers, Part I

Author

Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Wasniewski, Jerzy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-14390-8

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Revised Selected Papers, Part II

Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Revised Selected Papers, Part II

Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Revised Selected Papers, Part II

Author

Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Wasniewski, Jerzy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-14403-5

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings

Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings

Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings

Author

Bolduc, Claude. editor. Desharnais, Jules. editor. Ktari, Béchir. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-13321-3

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 9

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11