Search Results for Algorithm Analysis and Problem Complexity.

223 Results Found

1 .. 6 7 8 9 10 .. 19

000000000000DEFAULT

85.

Cover image for Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I

Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I

Author

Kołodziej, Joanna. editor. Martino, Beniamino. editor. Talia, Domenico. editor. Xiong, Kaiqi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333000.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03859-9

Format:

Availability

Online Library~1

Available:
Copies:

86.

Cover image for Biomedical Engineering Systems and Technologies 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers

Biomedical Engineering Systems and Technologies 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers

Author

Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333263.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

87.

Cover image for Agents and Artificial Intelligence Third International Conference, ICAART 2011, Rome, Italy, January, 28-30, 2011. Revised Selected Papers

Agents and Artificial Intelligence Third International Conference, ICAART 2011, Rome, Italy, January, 28-30, 2011. Revised Selected Papers

Author

Filipe, Joaquim. editor. Fred, Ana. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333280.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

88.

Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics

Author

Mogavero, Fabio. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336496.1)

Electronic Access

http://dx.doi.org/10.2991/978-94-91216-95-4

Format:

Availability

Online Library~1

Available:
Copies:

89.

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Author

Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334014.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

90.

Cover image for Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers

Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers

Author

Iwama, Kazuo. editor. Kawano, Yasuhito. editor. Murao, Mio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334022.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

91.

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

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:

92.

Cover image for Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers

Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers

Author

Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334071.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

93.

Cover image for Selected Areas in Cryptography 19th International Conference, SAC 2012, Windsor, ON, Canada, August 15-16, 2012, Revised Selected Papers

Selected Areas in Cryptography 19th International Conference, SAC 2012, Windsor, ON, Canada, August 15-16, 2012, Revised Selected Papers

Author

Knudsen, Lars R. editor. Wu, Huapeng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334097.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

94.

Information Theory, Combinatorics, and Search Theory In Memory of Rudolf Ahlswede

Author

Aydinian, Harout. editor. Cicalese, Ferdinando. editor. Deppe, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334319.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

95.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Author

Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334278.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

96.

Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers

Author

Csuhaj-Varjú, Erzsébet. editor. Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Vaszil, György. editor.

Preferred Shelf Number

ONLINE(334280.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 6 7 8 9 10 .. 19

	{displayName}	{count}
{error}