Search Results for Computer science.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

28 Results Found

0000000000000000000000000000DEFAULT

Analyzing Evolutionary Algorithms The Computer Science Perspective

Author

Jansen, Thomas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333075.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Author

Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334038.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

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:

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:

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:

Cover image for Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Author

Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334465.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

Author

Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334564.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Optical Supercomputing 4th International Workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised Selected Papers

Optical Supercomputing 4th International Workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised Selected Papers

Author

Dolev, Shlomi. editor. Oltean, Mihai. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334567.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Author

Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334837.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Author

Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334841.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings

Author

Gąsieniec, Leszek. editor. Wolter, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334901.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Transactions on Computational Science XXI Special Issue on Innovations in Nature-Inspired Computing and Applications

Author

Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Abraham, Ajith. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335208.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

13.

Cover image for Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings

Author

Fellows, Michael. editor. Tan, Xuehou. editor. Zhu, Binhai. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334663.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings

Author

Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334973.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

Author

Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335032.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Fault-Tolerant Search Algorithms Reliable Computation with Unreliable Information

Author

Cicalese, Ferdinando. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333074.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010

Author

Lipton, Richard J. author. Regan, Kenneth W. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335104.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Combinatorial Search: From Algorithms to Systems

Author

Hamadi, Youssef. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335109.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Teoria degli Automi Finiti

Author

Luca, Aldo. author. D’Alessandro, Flavio. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335644.1)

Electronic Access

http://dx.doi.org/10.1007/978-88-470-5474-5

Format:

Availability

Online Library~1

Available:
Copies:

20.

Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers

Author

Glass, Kristin. editor. Colbaugh, Richard. editor. Ormerod, Paul. editor. Tsao, Jeffrey. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332975.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies

Author

Reisig, Wolfgang. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333688.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Massively Parallel Evolutionary Computation on GPGPUs

Author

Tsutsui, Shigeyoshi. editor. Collet, Pierre. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334507.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Distributed Algorithms for Message-Passing Systems

Author

Raynal, Michel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334542.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

The Courant–Friedrichs–Lewy (CFL) Condition 80 Years After Its Discovery

Author

de Moura, Carlos A. editor. Kubrusly, Carlos S. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330567.1)

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-8394-8

Format:

Availability

Online Library~1

Available:
Copies:

25.

Advances in Applied Self-Organizing Systems

Author

Prokopenko, Mikhail. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331148.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-5113-5

Format:

Availability

Online Library~1

Available:
Copies:

26.

Genetic Programming Theory and Practice X

Author

Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Ritchie, Marylyn D. editor. Moore, Jason H. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332135.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-6846-2

Format:

Availability

Online Library~1

Available:
Copies:

27.

Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations

Author

Raynal, Michel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333514.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings

Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings

Author

Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335433.1)

Electronic Access

http://dx.doi.org/10.1007/978-4-431-54436-4

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

	{displayName}	{count}
{error}