Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Abramsky, Samson, 1953-
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Gavoille, Cyril, Kirchner, Claude, Meyer auf der Heide, Friedhelm, Σπυράκης, Παύλος Γ.
Μορφή:	Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Σειρά:	Lecture Notes in Computer Science 6198
Θέματα:	Computer science Computer Communication Networks Computer software Computational complexity Computer Science Algorithm Analysis and Problem Complexity Artificial Intelligence (incl. Robotics) Computation by Abstract Devices Discrete Mathematics in Computer Science Mathematical Logic and Formal Languages Τεχνητή νοημοσύνη
Διαθέσιμο Online:	http://dx.doi.org/10.1007/978-3-642-14165-2

Παρόμοια τεκμήρια

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
ανά: Abramsky, Samson, 1953-
Έκδοση: (2010)

Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
ανά: Frappier, Marc
Έκδοση: (2010)

Computer Science β Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
ανά: Ablayev, Farid
Έκδοση: (2010)

Discrete Mathematics Using a Computer
ανά: OβDonnell, John
Έκδοση: (2006)

Algorithm Theory - SWAT 2010 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings
ανά: Kaplan, Haim
Έκδοση: (2010)

Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings
ανά: HlinΔnΓ½, Petr
Έκδοση: (2010)

Comprehensive Mathematics for Computer Scientists 2 Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus
ανά: Mazzola, Guerino
Έκδοση: (2005)

Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
ανά: Governatori, Guido
Έκδοση: (2010)

Logic and the Foundations of Game and Decision Theory β LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
ανά: Bonanno, Giacomo
Έκδοση: (2010)

Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)
ανά: Mazzola, Guerino
Έκδοση: (2006)

Developments in Language Theory 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings
ανά: Gao, Yuan
Έκδοση: (2010)

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings
ανά: Dawar, Anuj
Έκδοση: (2010)

Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 β July 4, 2010. Proceedings
ανά: Ferreira, Fernando
Έκδοση: (2010)

Advances in Computer Games 12th International Conference, ACG 2009, Pamplona Spain, May 11-13, 2009. Revised Papers
ανά: Herik, H. Jaap
Έκδοση: (2010)

Game of Life Cellular Automata
ανά: Adamatzky, Andrew
Έκδοση: (2010)

Evolutionary Computation in Combinatorial Optimization 7th European Conference, EvoCOP 2007, Valencia, Spain, April 11-13, 2007. Proceedings
ανά: Cotta, Carlos
Έκδοση: (2007)

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
ανά: KratochvΓl, Jan
Έκδοση: (2010)

Evolutionary Computation in Combinatorial Optimization 10th European Conference, EvoCOP 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings
ανά: Cowling, Peter
Έκδοση: (2010)

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Barcelona, Spain, September 1-3, 2010. Proceedings
ανά: Serna, Maria, 1959-
Έκδοση: (2010)

Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings
ανά: Link, Sebastian
Έκδοση: (2010)

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
ανά: Giesl, JΓΌrgen
Έκδοση: (2010)

Computing and Combinatorics 16th Annual International Conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010. Proceedings
ανά: Thai, My T
Έκδοση: (2010)

Parameterized and Exact Computation 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings
ανά: Raman, Venkatesh
Έκδοση: (2010)

Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27βOctober 2, 2010. Proceedings
ανά: Ehrig, Hartmut
Έκδοση: (2010)

Fun with Algorithms 5th International Conference, FUN 2010, Ischia, Italy, June 2-4, 2010. Proceedings
ανά: Boldi, Paolo
Έκδοση: (2010)

Transactions on Computational Science IX Special Issue on Voronoi Diagrams in Science and Engineering
ανά: Gavrilova, Marina L
Έκδοση: (2010)

Internet and Network Economics 6th International Workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010. Proceedings
ανά: Saberi, Amin
Έκδοση: (2010)

Theoretical Aspects of Computing β ICTAC 2010 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings
ανά: Cavalcanti, Ana
Έκδοση: (2010)

Mathematical Approaches to Software Quality
ανά: OβRegan, Gerard
Έκδοση: (2006)

Spatially Structured Evolutionary Algorithms Artificial Evolution in Space and Time
ανά: Tomassini, Marco
Έκδοση: (2005)

Structural Information and Communication Complexity 17th International Colloquium, SIROCCO 2010, Εirince, Turkey, June 7-11, 2010. Proceedings
ανά: Patt-Shamir, Boaz
Έκδοση: (2010)

Learning and Intelligent Optimization 4th International Conference, LION 4, Venice, Italy, January 18-22, 2010. Selected Papers
ανά: Blum, Christian
Έκδοση: (2010)

Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
ανά: Calude, Cristian S
Έκδοση: (2010)

Time for Verification Essays in Memory of Amir Pnueli
ανά: Manna, Zohar
Έκδοση: (2010)

LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010. Proceedings
ανά: LΓ³pez-Ortiz, Alejandro
Έκδοση: (2010)

Language and Automata Theory and Applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings
ανά: Dediu, Adrian-Horia
Έκδοση: (2010)

Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
ανά: Lee, Der-Tsai
Έκδοση: (2010)

Applications of Evolutionary Computation EvoApplicatons 2010: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part I
ανά: Chio, Cecilia
Έκδοση: (2010)

Programming Sudoku
ανά: Lee, Wei-Meng
Έκδοση: (2006)

Structural Information and Communication Complexity 16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, Revised Selected Papers
ανά: Kutten, Shay
Έκδοση: (2010)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών