Computer Mathematics 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers /

Computer Mathematics 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers /

This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ASCM 2007, held in Singapore in December 2007. The 22 revised full papers and 5 revised poster papers presented together with 3 invited lectures were carefully selected during tw...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Kapur, Deepak (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Σειρά:	Lecture Notes in Computer Science, 5081
Θέματα:	Computer science. Computer communication systems. Computers. Numerical analysis. Computer science > Mathematics. Artificial intelligence. Computer Science. Artificial Intelligence (incl. Robotics). Computer Communication Networks. Theory of Computation. Symbolic and Algebraic Manipulation. Numeric Computing. Math Applications in Computer Science.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings /
Έκδοση: (2006)

Intelligent Computer Mathematics 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings /
Έκδοση: (2009)

Intelligent Computer Mathematics 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings /
Έκδοση: (2008)

Continuous System Simulation
ανά: Cellier, François E., κ.ά.
Έκδοση: (2006)

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

Principles of Distributed Systems 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings /
Έκδοση: (2011)

Combinatorics on Words 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings /
Έκδοση: (2017)

Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings /
Έκδοση: (2012)

Implicit Curves and Surfaces: Mathematics, Data Structures and Algorithms
Έκδοση: (2009)

Principles of Distributed Systems 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings /
Έκδοση: (2012)

Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. /
Έκδοση: (2015)

Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings /
Έκδοση: (2013)

Dynamic Brain - from Neural Spikes to Behaviors 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007, Revised Lectures /
Έκδοση: (2008)

Intelligent Computer Mathematics International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings /
Έκδοση: (2014)

Guide to Geometric Algebra in Practice
Έκδοση: (2011)

Guide to Computational Geometry Processing Foundations, Algorithms, and Methods /
ανά: Bærentzen, Jakob Andreas, κ.ά.
Έκδοση: (2012)

Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings /
Έκδοση: (2013)

Artificial Intelligence and Symbolic Computation 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings /
Έκδοση: (2014)

Fuzzy Computational Ontologies in Contexts Formal Models of Knowledge Representation with Membership Degree and Typicality of Objects, and Their Applications /
ανά: Cai, Yi, κ.ά.
Έκδοση: (2012)

Formal Grammar 19th International Conference, FG 2014, Tübingen, Germany, August 16-17, 2014. Proceedings /
Έκδοση: (2014)

Cognitive Engineering A Distributed Approach to Machine Intelligence /
ανά: Konar, Amit, κ.ά.
Έκδοση: (2005)

Algorithms for Sensor Systems 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers /
Έκδοση: (2013)

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings /
Έκδοση: (2013)

Game Theory for Networks 7th International EAI Conference, GameNets 2017 Knoxville, TN, USA, May 9, 2017, Proceedings /
Έκδοση: (2017)

Computer Algebra and Polynomials Applications of Algebra and Number Theory /
Έκδοση: (2015)

Theory and Applications of Relational Structures as Knowledge Instruments II International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers /
Έκδοση: (2006)

Formal Grammar 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers /
Έκδοση: (2011)

Coding Theory and Applications 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings /
Έκδοση: (2017)

Advances in Computer Games 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers /
Έκδοση: (2012)

Evolutionary Multi-Criterion Optimization 9th International Conference, EMO 2017, Münster, Germany, March 19-22, 2017, Proceedings /
Έκδοση: (2017)

Mathematical Modeling of Technological Processes 8th International Conference, CITech 2015, Almaty, Kazakhstan, September 24-27, 2015, Proceedings /
Έκδοση: (2015)

Integer Programming and Combinatorial Optimization 19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017, Proceedings /
Έκδοση: (2017)

Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions /
ανά: Kaiser, Łukasz
Έκδοση: (2011)

Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings /
Έκδοση: (2016)

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers /
Έκδοση: (2013)

Algorithms in Invariant Theory
ανά: Sturmfels, Bernd
Έκδοση: (2008)

Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers /
Έκδοση: (2011)

Theory and Applications of Relational Structures as Knowledge Instruments COST Action 274, TARSKI. Revised Papers /
Έκδοση: (2003)

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31-June 1, 2005. Proceedings /
Έκδοση: (2005)

Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings /
Έκδοση: (2006)

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