Comprehensive Mathematics for Computer Scientists 2 Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus /

Comprehensive Mathematics for Computer Scientists 2 Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus /

Εμφάνιση άλλων εκδόσεων (1)

This second volume of a comprehensive tour through mathematical core subjects for computer scientists completes the ?rst volume in two - gards: Part III ?rst adds topology, di?erential, and integral calculus to the t- ics of sets, graphs, algebra, formal logic, machines, and linear geometry, of volu...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Mazzola, Guerino (Συγγραφέας), Milmeister, Gérard (Συγγραφέας), Weissmann, Jody (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Σειρά:	Universitext
Θέματα:	Computer science. Mathematical logic. Computer science > Mathematics. Applied mathematics. Engineering mathematics. Computer Science. Discrete Mathematics in Computer Science. Applications of Mathematics. Mathematical Logic and Formal Languages.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

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)

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

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

Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings /
Έκδοση: (2009)

Algorithmic Decision Theory First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings /
Έκδοση: (2009)

Modeling Decisions for Artificial Intelligence 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30–December 2, 2009. Proceedings /
Έκδοση: (2009)

Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedings /
Έκδοση: (2005)

Teoria degli Automi Finiti
ανά: Luca, Aldo de, κ.ά.
Έκδοση: (2013)

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /
Έκδοση: (2015)

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings /
Έκδοση: (2017)

Semantics of Probabilistic Processes An Operational Approach /
ανά: Deng, Yuxin
Έκδοση: (2014)

Modelling Computing Systems Mathematics for Computer Science /
ανά: Moller, Faron, κ.ά.
Έκδοση: (2013)

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /
Έκδοση: (2013)

Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings /
Έκδοση: (2009)

Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings /
Έκδοση: (2011)

Developments in Language Theory 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedings /
Έκδοση: (2005)

Logic for Computer Scientists
ανά: Schöning, Uwe
Έκδοση: (2008)

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications /
ανά: O'Regan, Gerard
Έκδοση: (2016)

Computation, Cooperation, and Life Essays Dedicated to Gheorghe Păun on the Occasion of His 60th Birthday /
Έκδοση: (2011)

Logic Functions and Equations Examples and Exercises /
ανά: Steinbach, Bernd, κ.ά.
Έκδοση: (2009)

Combinatorial Algorithms 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers /
Έκδοση: (2015)

Regulated Grammars and Automata
ανά: Meduna, Alexander, κ.ά.
Έκδοση: (2014)

Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings /
Έκδοση: (2009)

Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings /
Έκδοση: (2011)

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

Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings /
Έκδοση: (2009)

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings /
Έκδοση: (2013)

Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings /
Έκδοση: (2011)

A Beginner's Guide to Discrete Mathematics
ανά: Wallis, W.D
Έκδοση: (2012)

Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings /
Έκδοση: (2006)

Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings /
Έκδοση: (2007)

Computer Science – Theory and Applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings /
Έκδοση: (2011)

Fundamentals of Computation Theory 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings /
Έκδοση: (2011)

Computer Science – Theory and Applications 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings /
Έκδοση: (2012)

Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers /
Έκδοση: (2011)

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

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs /
ανά: Ayala-Rincón, Mauricio, κ.ά.
Έκδοση: (2017)

Sets, Logic and Maths for Computing
ανά: Makinson, David
Έκδοση: (2012)

Sparsity Graphs, Structures, and Algorithms /
ανά: Nešetřil, Jaroslav, κ.ά.
Έκδοση: (2012)

Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings /
Έκδοση: (2009)

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