Search Results for Theory of Computation. - Narrowed by: 2013

Introduction to the theory of computation

2025-12-13T12:49:24Z

Author Sipser, Michael.
Preferred Shelf Number QA267 S56 2013
Format: Books
Availability Beytepe Library~1

In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman

2025-12-13T12:49:24Z

Author Tannen, Val. editor. Wong, Limsoon. editor. Libkin, Leonid. editor. Fan, Wenfei. editor. Tan, Wang-Chiew. editor.
Preferred Shelf Number ONLINE(335138.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41660-6
Format: Electronic Resources
Availability Online Library~1

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

2025-12-13T12:49:24Z

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: Electronic Resources
Availability Online Library~1

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

2025-12-13T12:49:24Z

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: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2025-12-13T12:49:24Z

Author Pfenning, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334358.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37075-5
Format: Electronic Resources
Availability Online Library~1

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

2025-12-13T12:49:24Z

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: Electronic Resources
Availability Online Library~1

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

2025-12-13T12:49:24Z

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: Electronic Resources
Availability Online Library~1

Decentralized Spatial Computing Foundations of Geosensor Networks

2025-12-13T12:49:24Z

Author Duckham, Matt. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333364.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-30853-6
Format: Electronic Resources
Availability Online Library~1

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

2025-12-13T12:49:24Z

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: Electronic Resources
Availability Online Library~1

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

2025-12-13T12:49:24Z

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: Electronic Resources
Availability Online Library~1

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

2025-12-13T12:49:24Z

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: Electronic Resources
Availability Online Library~1

Combinatorial Search: From Algorithms to Systems

2025-12-13T12:49:24Z

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: Electronic Resources
Availability Online Library~1

Teoria degli Automi Finiti

2025-12-13T12:49:24Z

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: Electronic Resources
Availability Online Library~1

Quantum Walks and Search Algorithms

2025-12-13T12:49:24Z

Author Portugal, Renato. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332008.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6336-8
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice X

2025-12-13T12:49:24Z

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: Electronic Resources
Availability Online Library~1

Massively Parallel Evolutionary Computation on GPGPUs

2025-12-13T12:49:24Z

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: Electronic Resources
Availability Online Library~1

Distributed Algorithms for Message-Passing Systems

2025-12-13T12:49:24Z

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: Electronic Resources
Availability Online Library~1

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

2025-12-13T12:49:24Z

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: Electronic Resources
Availability Online Library~1

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

2025-12-13T12:49:24Z

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: Electronic Resources
Availability Online Library~1

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

2025-12-13T12:49:24Z

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: Electronic Resources
Availability Online Library~1

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies

2025-12-13T12:49:24Z

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: Electronic Resources
Availability Online Library~1

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

2025-12-13T12:49:24Z

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: Electronic Resources
Availability Online Library~1

Limits of computation : an introduction to the undecidable and the intractable

2025-12-13T12:49:24Z

Author Reiter, Edna E. (Edna Elizabeth), author. Johnson, Clayton Matthew.
Preferred Shelf Number QA267.7 .R445 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Optimal supervisory control of automated manufacturing systems

2025-12-13T12:49:24Z

Author Chen, Yufeng, author. Li, ZhiWu, 1967- author.
Preferred Shelf Number TS183 .C483 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Distributed sensor networks

2025-12-13T12:49:24Z

Author Iyengar, S. S. (Sundararaja S.) Brooks, R. R. (Richard R.)
Preferred Shelf Number TK7872 .D48 D5734 2013
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429165818 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Computing Nature Turing Centenary Perspective

2025-12-13T12:49:24Z

Author Dodig-Crnkovic, Gordana. editor. Giovagnoli, Raffaela. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334387.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37225-4
Format: Electronic Resources
Availability Online Library~1

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

2025-12-13T12:49:24Z

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: Electronic Resources
Availability Online Library~1

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

2025-12-13T12:49:24Z

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: Electronic Resources
Availability Online Library~1

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

2025-12-13T12:49:24Z

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: Electronic Resources
Availability Online Library~1

Discrete dynamical systems and chaotic machines : theory and applications

2025-12-13T12:49:24Z

Author Bahi, Jacques Mohcine., author. Guyeux, Christophe.
Preferred Shelf Number QA76.9 .A25 B344 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

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

2025-12-13T12:49:24Z

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: Electronic Resources
Availability Online Library~1

Advances in Applied Self-Organizing Systems

2025-12-13T12:49:24Z

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: Electronic Resources
Availability Online Library~1

Modeling and Optimization in Space Engineering

2025-12-13T12:49:24Z

Author Fasano, Giorgio. editor. Pintér, János D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331514.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4469-5
Format: Electronic Resources
Availability Online Library~1

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

2025-12-13T12:49:24Z

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: Electronic Resources
Availability Online Library~1

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

2025-12-13T12:49:24Z

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: Electronic Resources
Availability Online Library~1

Fault-Tolerant Search Algorithms Reliable Computation with Unreliable Information

2025-12-13T12:49:24Z

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: Electronic Resources
Availability Online Library~1

Analyzing Evolutionary Algorithms The Computer Science Perspective

2025-12-13T12:49:24Z

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: Electronic Resources
Availability Online Library~1

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

2025-12-13T12:49:24Z

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: Electronic Resources
Availability Online Library~1

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

2025-12-13T12:49:24Z

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: Electronic Resources
Availability Online Library~1