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)

(49)

Dongarra, Jack. editor.

(6)

Waśniewski, Jerzy. editor.

(4)

Chapman, Barbara M. editor.

(2)

Jónasson, Kristján. editor.

(2)

Karczewski, Konrad. editor.

(2)

Keller, Rainer. editor.

(2)

Kramer, David. editor.

(2)

Nawrocki, Jerzy. editor.

(2)

Supinski, Bronis R. editor.

(2)

Weiss, Jan-Philipp. editor.

(2)

Wyrzykowski, Roman. editor.

(2)

Yang, Laurence T. editor.

(2)

Albert, Elvira. editor.

(1)

Ayguadé, Eduard. editor.

(1)

Baldoni, Roberto. editor.

(1)

Bielova, Nataliia. 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)

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

(1)

Chapman, Barbara. editor.

(1)

Dada, Joseph O. editor.

(1)

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

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

Fleuriot, Jacques. editor.

(1)

Fu, Yuxi. editor.

(1)

Galmiche, Didier. editor.

(1)

Gao, Guang R. editor.

(1)

Gerndt, Michael. editor.

(1)

Giese, Holger. editor.

(1)

Gorski, Janusz. 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)

He, Ji-Huan. editor.

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

Khan, Md. Aquil. editor.

(1)

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

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

Kågström, Bo. editor.

(1)

König, Barbara. editor.

(1)

Labarta, Jesús. editor.

(1)

Larchey-Wendling, Dominique. editor.

(1)

Liu, Yan. editor.

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

Martino, Beniamino. editor.

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

Owren, Brynjulf. editor.

(1)

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

(1)

Paule, Peter. editor.

(1)

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

(1)

Perrott, Ronald. editor.

(1)

Peña, Ricardo. editor.

(1)

Piessens, Frank. editor.

(1)

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

(1)

Potapov, Igor. editor.

(1)

Poulakis, Dimitrios. editor.

(1)

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

(1)

Rana, Omer F. editor.

(1)

Rolland, Robert. 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)

Thachuk, Chris. editor.

(1)

Toselli, Andrea. author.

(1)

Tveito, Aslak. editor.

(1)

Vorozhtsov, Evgenii V. editor.

(1)

Voss, Michael. editor.

(1)

Wang, Dongsheng. editor.

(1)

Wasniewski, Jerzy. editor.

(1)

Widlund, Olof B. author.

(1)

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

(1)

Yap, Chee. editor.

(1)

Zhang, Jian. author.

(1)

Zhang, Jun. editor.

(1)

Zhang, Zhiqiang. author.

(1)

Zheng, Weiming. editor.

(1)

Language

(49)

Publication Date

-

(11)

(8)

(7)

(7)

(5)

(4)

(3)

(2)

(1)

(1)

Subject

Computer science.

(30)

Computer science -- Mathematics.

(21)

Computer science—Mathematics.

(18)

Computer software.

(18)

Artificial intelligence.

(14)

Computer Communication Networks.

(9)

(7)

Computational complexity.

(7)

Discrete Mathematics in Computer Science.

(7)

Artificial Intelligence (incl. Robotics).

(6)

Computer logic.

(6)

(6)

(6)

Computer simulation.

(5)

Data structures (Computer science).

(5)

Information systems.

(5)

Mathematical Logic and Formal Languages.

(5)

(4)

(4)

Logics and Meanings of Programs.

(4)

Mathematical logic.

(4)

(4)

Information theory.

(3)

Programming Techniques.

(3)

Algebra -- Data processing.

(2)

Algorithm Analysis and Problem Complexity.

(2)

Bioinformatics.

(2)

Computer communication systems.

(2)

Computer vision.

(2)

Data encryption (Computer science).

(2)

Electronic data processing.

(2)

Management information systems.

(2)

Memory management (Computer science).

(2)

Natural language processing (Computer science).

(2)

Optical data processing.

(2)

Symbolic and Algebraic Manipulation.

(2)

Application software.

(1)

Computation by Abstract Devices.

(1)

Computational biology .

(1)

Computer graphics.

(1)

Computer hardware.

(1)

Computer network architectures.

(1)

Computer organization.

(1)

Computer programming.

(1)

Computer system performance.

(1)

Data Structures.

(1)

Information Storage and Retrieval.

(1)

Information storage and retrieval systems.

(1)

Information storage and retrieval.

(1)

Logic, Symbolic and mathematical.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical Software.

(1)

Mathematics of Computing.

(1)

Mechanics, applied.

(1)

Numerical analysis.

(1)

Physiology -- Mathematics.

(1)

Software Engineering/Programming and Operating Systems.

(1)

Theory of Computation.

(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

49 Results Found

Subscribe to search results

1 2 3 4 5

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.

13.

Cover image for Mathematical Morphology and Its Applications to Signal and Image Processing 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings

Mathematical Morphology and Its Applications to Signal and Image Processing 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings

Mathematical Morphology and Its Applications to Signal and Image Processing 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings

Author

Burgeth, Bernhard. editor. (orcid)0000-0001-6602-6201 Kleefeld, Andreas. editor. (orcid)0000-0001-8324-821X Naegel, Benoît. editor. (orcid)0000-0002-7695-1473 Passat, Nicolas. editor. (orcid)0000-0002-0320-4581 Perret, Benjamin. editor. (orcid)0000-0003-0933-8342

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

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:

15.

Cover image for Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings

Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings

Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings

Author

Jürjens, Jan. editor. Piessens, Frank. editor. Bielova, Nataliia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-04897-0

Format:

Availability

Online Library~1

Available:
Copies:

16.

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:

17.

Cover image for Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings

Author

Hong, Hoon. editor. Yap, Chee. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-44199-2

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Automatic Generation of Combinatorial Test Data

Automatic Generation of Combinatorial Test Data

Automatic Generation of Combinatorial Test Data

Author

Zhang, Jian. author. Zhang, Zhiqiang. author. Ma, Feifei. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-43429-1

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Author

Gupta, Gopal. editor. Peña, Ricardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-14125-1

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings

Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings

Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings

Author

Mendes, Pedro. editor. Dada, Joseph O. editor. Smallbone, Kieran. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

Author

Giese, Holger. editor. König, Barbara. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings

SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings

SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings

Author

Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.

Preferred Shelf Number

ONLINE(334064.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Author

Albert, Elvira. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334552.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings

Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings

Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings

Author

Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332999.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03850-6

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11