Mathematical Software β€“ ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings

Mathematical Software β ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Fukuda, Komei
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Hoeven, Joris van der, Joswig, Michael, Takayama, Nobuki
Μορφή:	Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Σειρά:	Lecture Notes in Computer Science 6327
Θέματα:	Computer science Software engineering Information theory Computer software Electronic data processing Computational complexity Computer Science Discrete Mathematics in Computer Science Επιστήμη των υπολογιστών > Μαθηματικά Υπολογισμός Software Engineering/Programming and Operating Systems Algorithm Analysis and Problem Complexity Theory of Computation
Διαθέσιμο Online:	http://dx.doi.org/10.1007/978-3-642-15582-6

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

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

Validated Designs for Object-oriented Systems
ανά: Fitzgerald, John
Έκδοση: (2005)

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

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

Super-Recursive Algorithms
ανά: Burgin, Mark
Έκδοση: (2005)

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

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

Information Computing and Applications First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings
ανά: Zhu, Rongbo
Έκδοση: (2010)

Information Computing and Applications International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II
ανά: Zhu, Rongbo
Έκδοση: (2010)

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings
ανά: Lodi, Andrea
Έκδοση: (2010)

Algorithms and Complexity 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010. Proceedings
ανά: Calamoneri, Tiziana
Έκδοση: (2010)

Integer Programming and Combinatorial Optimization 14th International Conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010. Proceedings
ανά: Eisenbrand, Friedrich
Έκδοση: (2010)

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju, Korea, December 15-17, 2010, Proceedings, Part II
ανά: Cheong, Otfried
Έκδοση: (2010)

Algorithms β ESA 2010 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010. Proceedings, Part I
ανά: Berg, Mark de Mark Theodor, 1966-
Έκδοση: (2010)

Algorithms β ESA 2010 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010. Proceedings, Part II
ανά: Berg, Mark de Mark Theodor, 1966-
Έκδοση: (2010)

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I
ανά: Cheong, Otfried
Έκδοση: (2010)

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

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

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

Coordination of Large-Scale Multiagent Systems
ανά: Scerri, Paul
Έκδοση: (2006)

Approximation and Online Algorithms 7th International Workshop,WAOA 2009, Copenhagen Denmark, September 10-11, 2009. Revised Papers
ανά: Bampis, Evripidis
Έκδοση: (2010)

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

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

Formal Models of Operating System Kernels
ανά: Craig, Iain D.
Έκδοση: (2007)

Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006 IFIP 19th Worm Computer Congress, TC-1, Foundations of Computer Science, August 23β24, 2006, Santiago, Chile
ανά: Navarro, Gonzalo
Έκδοση: (2006)

Transactions on Petri Nets and Other Models of Concurrency IV
ανά: Jensen, K. (Kurt), 1950-
Έκδοση: (2010)

Computer Algebra in Scientific Computing 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings
ανά: Gerdt, Vladimir P
Έκδοση: (2010)

Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3β15 August 2004
ανά: Broy, M., 1949-
Έκδοση: (2005)

Modelling Autonomic Communication Environments 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedings
ανά: Brennan, Rob
Έκδοση: (2010)

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

Theory of Computation
ανά: Kozen, Dexter 1951-
Έκδοση: (2006)

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

Principles of Distributed Systems 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings
ανά: Lu, Chenyang
Έκδοση: (2010)

Algorithmic Randomness and Complexity
ανά: Downey, Rodney G
Έκδοση: (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)

Advanced Software Engineering: Expanding the Frontiers of Software Technology IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile
ανά: Ochoa, Sergio F.
Έκδοση: (2006)

Dissemination of Information in Communication Networks Broadcasting, Gossiping, Leader Election, and Fault-Tolerance
ανά: Hromkovic, Juraj
Έκδοση: (2005)

Contemporary Cryptology
ανά: Catalano, Dario
Έκδοση: (2005)

Innovations in Computing Sciences and Software Engineering
ανά: Sobh, Tarek
Έκδοση: (2010)

Complexity Theory and Cryptology An Introduction to Cryptocomplexity
ανά: Rothe, JΓΆrg
Έκδοση: (2005)

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