Search Results for Algebra--Data processing.

188 Results Found

1 2 3 4 5 .. 16

000000000000DEFAULT

Quantum Attacks on Public-Key Cryptosystems

Author

Yan, Song Y. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330828.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-7722-9

Format:

Availability

Online Library~1

Available:
Copies:

Belief-based Stability in Coalition Formation with Uncertainty An Intelligent Agents’ Perspective

Author

Chan, Chi-kong. author. Leung, Ho-fung. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334558.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings

Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings

Author

Carette, Jacques. editor. Aspinall, David. editor. Lange, Christoph. editor. Sojka, Petr. editor. Windsteiger, Wolfgang. editor.

Preferred Shelf Number

ONLINE(334781.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Author

Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334987.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings

Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings

Author

Gupta, Ashutosh. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334992.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Design, Analysis and Test of Logic Circuits Under Uncertainty

Author

Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335669.1)

Electronic Access

http://dx.doi.org/10.1007/978-90-481-9644-9

Format:

Availability

Online Library~1

Available:
Copies:

Polyhedral and Algebraic Methods in Computational Geometry

Author

Joswig, Michael. author. Theobald, Thorsten. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331067.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4817-3

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings

Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings

Author

Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332910.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-02297-0

Format:

Availability

Online Library~1

Available:
Copies:

Graph Drawing 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers

Author

Didimo, Walter. editor. Patrignani, Maurizio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334284.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings

Author

Libkin, Leonid. editor. Kohlenbach, Ulrich. editor. Queiroz, Ruy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334875.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings

Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings

Author

Morrill, Glyn. editor. Nederhof, Mark-Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334877.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings

Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings

Author

Heckel, Reiko. editor. Milius, Stefan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334910.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 16

	{displayName}	{count}
{error}