Explore: Symbolic And Algebraic Manipulation

“Sets, Logic and Maths for Computing” Metadata:

• Title: ➤  Sets, Logic and Maths for Computing
• Author: David Makinson
• Language: English
• Number of Pages: Median: 362
• Publisher: Springer London - Springer
• Publish Date: 2008 - 2012 - 2020
• Publish Location: London

“Sets, Logic and Maths for Computing” Subjects and Themes:

• Subjects: ➤  Mathematical Logic and Formal Languages - Computational complexity - Discrete Mathematics in Computer Science - Algebra - Symbolic and Algebraic Manipulation - Probability and Statistics in Computer Science - Computer science - Data processing - Mathematics - Computational Mathematics and Numerical Analysis - Computer science, mathematics

Edition Identifiers:

• The Open Library ID: OL28942721M - OL28007374M - OL27087299M - OL28240511M
• All ISBNs: ➤  1447125002 - 9781447125006 - 9781447124993 - 9783030422172 - 9781848822481 - 1848822480 - 3030422178 - 1447124995

“Algebraic Informatics” Metadata:

• Title: Algebraic Informatics
• Author: Franz Winkler
• Language: English
• Number of Pages: Median: 272
• Publisher: ➤  Springer Berlin Heidelberg - Springer
• Publish Date: 2011
• Publish Location: Berlin, Heidelberg

“Algebraic Informatics” Subjects and Themes:

• Subjects: ➤  Logic design - Computational complexity - Computer science - Software engineering - Algebra - Data processing - Informatique - Graph theory - Congresses - Algebra, data processing - Computer science, mathematics - Mathematics of Computing - Discrete Mathematics in Computer Science - Symbolic and Algebraic Manipulation - Mathematical Logic and Formal Languages - Logics and Meanings of Programs

Edition Identifiers:

• The Open Library ID: OL25545449M - OL30374193M
• All ISBNs: ➤  3642214940 - 9783642214943 - 3642214924 - 9783642214929 - 9783642214936 - 3642214932

“Fuzzy Computational Ontologies in Contexts” Metadata:

• Title: ➤  Fuzzy Computational Ontologies in Contexts
• Authors: Yi CaiChing-man Au YeungHo-fung Leung
• Language: English
• Number of Pages: Median: 211
• Publisher: ➤  Springer London, Limited - Higher Education Press - Springer
• Publish Date: 2012 - 2013
• Publish Location: ➤  New York - Beijing - Heidelberg

“Fuzzy Computational Ontologies in Contexts” Subjects and Themes:

• Subjects: ➤  Ontologies (information retrieval) - Fuzzy logic - Semantic web - Information Systems Applications (incl. Internet) - Artificial Intelligence (incl. Robotics) - Computer science - Algebra - Data processing - Artificial intelligence - Symbolic and Algebraic Manipulation - Knowledge representation (Information theory) - Formal methods (Computer science) - Ontologies (Information retrieval) - Fuzzy expert systems

Edition Identifiers:

• The Open Library ID: OL37148418M - OL30606223M - OL30658040M
• Online Computer Library Center (OCLC) ID: 758395321
• Library of Congress Control Number (LCCN): 2011941366
• All ISBNs: ➤  9783642254574 - 7040338890 - 9783642254567 - 3642254551 - 9787040338898 - 364225456X - 9783642254550 - 3642254578

“Computer Algebra in Scientific Computing” Metadata:

• Title: ➤  Computer Algebra in Scientific Computing
• Author: Vladimir P. Gerdt
• Language: English
• Number of Pages: Median: 494
• Publisher: ➤  Springer London, Limited - Springer Berlin Heidelberg - Springer - Springer International Publishing AG - Imprint: Springer
• Publish Date: ➤  2009 - 2010 - 2012 - 2013 - 2014 - 2015 - 2016 - 2017 - 2018
• Publish Location: Berlin, Heidelberg

“Computer Algebra in Scientific Computing” Subjects and Themes:

• Subjects: ➤  Computational complexity - Computer graphics - Discrete Mathematics in Computer Science - Algebra - Electronic data processing - Data processing - Algorithm Analysis and Problem Complexity - Computer science - Arithmetic and Logic Structures - Symbolic and Algebraic Manipulation - Numeric Computing - Computer software - Algebra, data processing - Science, data processing - Computers - Software engineering - Algorithms - Computer science, mathematics - Management information systems - Logic, symbolic and mathematical - Congresses - Mathematics - Science

Edition Identifiers:

• The Open Library ID: ➤  OL35789767M - OL35767155M - OL35761677M - OL34724056M - OL34526541M - OL34520619M - OL29107683M - OL28251159M - OL28110634M - OL28107467M - OL28009645M - OL27996745M - OL27969762M - OL27026052M
• Library of Congress Control Number (LCCN): 2012944896
• All ISBNs: ➤  3319022962 - 331924020X - 3319105159 - 9783642329746 - 9783642152740 - 3319663194 - 3642329721 - 9783319022970 - 3642329748 - 3319022970 - 9783319240213 - 9783319456409 - 9783319996387 - 9783319663197 - 9783642329739 - 3319456407 - 9783319105147 - 3642152740 - 3319240218 - 3642041035 - 9783319105154 - 331999638X - 9783319022963 - 364232973X - 9783642329722 - 3319105140 - 9783319240206 - 9783642041037

“Intelligent Computer Mathematics” Metadata:

• Title: ➤  Intelligent Computer Mathematics
• Author: Jacques Carette
• Language: English
• Number of Pages: Median: 400
• Publisher: ➤  Springer - Imprint: Springer - Springer Berlin Heidelberg
• Publish Date: 2009 - 2013 - 2015

“Intelligent Computer Mathematics” Subjects and Themes:

• Subjects: ➤  Mathematical Logic and Formal Languages - Algebra - Information storage and retrieval systems - Text processing (Computer science) - Information organization - Information retrieval - Math Applications in Computer Science - Symbolic and Algebraic Manipulation - Computer science - Data processing - Document Preparation and Text Processing - Artificial intelligence - Artificial Intelligence (incl. Robotics) - Computer science, mathematics - Mathematics, data processing - Algebra, data processing

Edition Identifiers:

• The Open Library ID: ➤  OL37387635M - OL34886391M - OL34385391M - OL30408108M - OL27997624M - OL27975576M - OL27046108M
• All ISBNs: ➤  3642393209 - 364202615X - 9783642026157 - 9783642393204 - 9783642393211 - 3319206141 - 3642026141 - 9783642393198 - 9783642026140 - 331920615X - 3642393195 - 9783319206158 - 3642393217 - 9783319206141

“Computer Graphics and Geometric Modelling” Metadata:

• Title: ➤  Computer Graphics and Geometric Modelling
• Author: Max K. Agoston
• Language: English
• Number of Pages: Median: 933
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2005

“Computer Graphics and Geometric Modelling” Subjects and Themes:

• Subjects: ➤  Geometry - Mathematical models - Computer graphics - CAD/CAM systems - Data processing - Cell aggregation - Algebra - Mathematics - Algebraic Geometry - Geometry, data processing - Manifolds and cell complexes (incl. diff.topology) - Geometry, algebraic - Computer science - Algebra--data processing - Computer vision - Cell aggregation--mathematics - Computer imaging, vision, pattern recognition and graphics - Symbolic and algebraic manipulation - T385 - Ta1637-1638 - Tk7882.p3 - 006.6

Edition Identifiers:

• The Open Library ID: OL37121534M - OL37117989M - OL8974429M - OL8974430M
• Online Computer Library Center (OCLC) ID: 55286537
• Library of Congress Control Number (LCCN): 2004049155
• All ISBNs: ➤  1852338172 - 9781852338183 - 1846281229 - 1846281083 - 9781846281082 - 9781852338176 - 1852338180 - 9781846281228

“Symbolic integration I” Metadata:

• Title: Symbolic integration I
• Author: Manuel Bronstein
• Language: English
• Number of Pages: Median: 303
• Publisher: ➤  Springer Berlin / Heidelberg - Springer - Springer London, Limited
• Publish Date: ➤  1996 - 1997 - 2004 - 2005 - 2006 - 2010 - 2013
• Publish Location: New York - Berlin

“Symbolic integration I” Subjects and Themes:

• Subjects: ➤  Integrals - Data processing - Global analysis (Mathematics) - Algorithms - Algebra - Mathematics - Analysis - Symbolic and Algebraic Manipulation

Edition Identifiers:

• The Open Library ID: ➤  OL37234598M - OL37118707M - OL36700141M - OL3315793M - OL9061685M - OL9054663M - OL1002627M
• Online Computer Library Center (OCLC) ID: 58604561 - 35593861 - 56539160
• Library of Congress Control Number (LCCN): 96041956 - 2004110974
• All ISBNs: ➤  9783540214939 - 3642059961 - 3540605215 - 9783540268420 - 3540214933 - 9783540605218 - 3662033860 - 3540268421 - 9783642059964 - 9783662033869

“Formal Grammar” Metadata:

• Title: Formal Grammar
• Authors: Glyn MorrillMark-Jan Nederhof
• Language: English
• Number of Pages: Median: 312
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2012 - 2013 - 2014 - 2016

“Formal Grammar” Subjects and Themes:

• Subjects: ➤  Computational linguistics - Mathematical linguistics - Natural language processing (computer science) - Formal languages - System design - Computer science - Artificial Intelligence (incl. Robotics) - Algebra - Data processing - Artificial intelligence - Mathematical Logic and Formal Languages - Symbolic and Algebraic Manipulation - Computer Science, general

Edition Identifiers:

• The Open Library ID: ➤  OL28051903M - OL28117843M - OL27974311M - OL29421796M - OL37228961M - OL37229008M
• All ISBNs: ➤  9783662530412 - 3642399975 - 3662441217 - 9783642399985 - 9783662441206 - 3662441209 - 9783642399978 - 3642320252 - 3662530414 - 9783642320255 - 3642399983 - 9783662441213

“Cellular automata” Metadata:

• Title: Cellular automata
• Author: M. Delorme
• Language: English
• Number of Pages: Median: 384
• Publisher: ➤  Kluwer Academic Publishers - Springer
• Publish Date: 1998 - 1999 - 2010 - 2013
• Publish Location: Boston - Dordrecht

“Cellular automata” Subjects and Themes:

• Subjects: ➤  Cellular automata - Combinatorial analysis - Computer science - System theory - Algebra - Data processing - Information theory - Symbolic and Algebraic Manipulation - Control Systems Theory - Theory of Computation

Edition Identifiers:

• The Open Library ID: OL385861M - OL35943272M - OL7808833M - OL30627967M
• Library of Congress Control Number (LCCN): 98048550
• All ISBNs: ➤  9048151430 - 9789048151431 - 9401591539 - 0792354931 - 9789401591539 - 9780792354932

“Relational and Algebraic Methods in Computer Science” Metadata:

• Title: ➤  Relational and Algebraic Methods in Computer Science
• Authors: Uli FahrenbergPeter JipsenMichael Winter
• Language: English
• Number of Pages: Median: 414
• Publisher: ➤  Springer London, Limited - Springer - Springer International Publishing AG
• Publish Date: 2014 - 2020 - 2021 - 2024

“Relational and Algebraic Methods in Computer Science” Subjects and Themes:

• Subjects: ➤  Computer science, mathematics - Artificial Intelligence (incl. Robotics) - Software engineering - Computer science - Logic design - Computational complexity - Algebra - Data processing - Artificial intelligence - Mathematical Logic and Formal Languages - Symbolic and Algebraic Manipulation - Logics and Meanings of Programs - Discrete Mathematics in Computer Science

Edition Identifiers:

• The Open Library ID: OL29772482M - OL28254460M - OL53269817M - OL34807131M - OL37229249M
• All ISBNs: ➤  3319062506 - 3031682785 - 3319062514 - 9783319062501 - 9783030435196 - 9783031682780 - 9783030887001 - 3030435199 - 3030887006 - 9783319062518

“Symbolic C++” Metadata:

• Title: Symbolic C++
• Authors: Tan, Kiat ShiWilli-Hans SteebYorick Hardy
• Language: English
• Number of Pages: Median: 671
• Publisher: Springer
• Publish Date: 1997 - 1998 - 2000
• Publish Location: London - New York - Singapore

“Symbolic C++” Subjects and Themes:

• Subjects: ➤  Algebra - C (Computer program language) - C++ (Computer program language) - C[plus plus] (Computer program language) - Data processing - Object-oriented programming (Computer science) - C & Visual C - Object-oriented programming (OOP) - Science/Mathematics - Object-Oriented Programming - Computer Mathematics - Computers - Mathematics - Computer Science - Algebra - General - Programming - Object Oriented Programming - Programming Languages - C++ - C++ - Computer Algebra - Computers / Programming / Algorithms - Computers-Programming - Object Oriented Programming - Computers-Programming Languages - C++ - Mathematics / Algebra / General - Object-Oriented Computing - Object-oriented programming (C - C++ (Computer program language - C plus plus (computer program language) - Algorithms - Information theory - Programming Techniques - Theory of Computation - Symbolic and Algebraic Manipulation

Edition Identifiers:

• The Open Library ID: OL22127122M - OL8974081M - OL60106M - OL682470M - OL22319565M
• Online Computer Library Center (OCLC) ID: 43036917
• Library of Congress Control Number (LCCN): 99089474 - 97029158
• All ISBNs: 1852332603 - 9781852332600 - 9789813083554 - 9813083557

“Problems in set theory, mathematical logic, and the theory of algorithms” Metadata:

• Title: ➤  Problems in set theory, mathematical logic, and the theory of algorithms
• Authors: I. A. LavrovIgor LavrovLarisa Maksimova
• Language: English
• Number of Pages: Median: 282
• Publisher: ➤  Springer - Kluwer Academic/Plenum Publishers - Springer London, Limited
• Publish Date: 2003 - 2012
• Publish Location: New York

“Problems in set theory, mathematical logic, and the theory of algorithms” Subjects and Themes:

• Subjects: ➤  Algorithms - Logic, Symbolic and mathematical - Problems, exercises - Problems, exercises, etc - Set theory - Symbolic and mathematical Logic - Mathematical logic - Mathematics - Science/Mathematics - Computer Science - Logic - Mathematics / Logic - Logic, Symbolic and mathematic - Algebra - Data processing - Mathematical Logic and Foundations - Symbolic and Algebraic Manipulation

Edition Identifiers:

• The Open Library ID: OL37236482M - OL34380010M - OL9649106M - OL19289124M
• Online Computer Library Center (OCLC) ID: 51289722
• Library of Congress Control Number (LCCN): 2002043456
• All ISBNs: ➤  0306477122 - 1461501857 - 1461349575 - 9781461501855 - 9780306477126 - 9781461349570

“Principles of Distributed Systems” Metadata:

• Title: ➤  Principles of Distributed Systems
• Author: Roberto Baldoni
• Language: English
• Number of Pages: Median: 361
• Publisher: ➤  Springer London, Limited - Springer Berlin / Heidelberg - Springer Berlin Heidelberg - Springer - Imprint: Springer
• Publish Date: 2012 - 2013
• Publish Location: Berlin, Heidelberg

“Principles of Distributed Systems” Subjects and Themes:

• Subjects: ➤  Computational complexity - Discrete Mathematics in Computer Science - Software engineering - Algebra - Symbolic and Algebraic Manipulation - Algorithm Analysis and Problem Complexity - Computer Communication Networks - Artificial Intelligence (incl. Robotics) - Data processing - Computer software - Artificial intelligence - Computer science - Electronic data processing - Congresses - Distributed processing - Computer networks - Electronic data processing, distributed processing - Computation by Abstract Devices

Edition Identifiers:

• The Open Library ID: OL35792946M - OL34481915M - OL28014801M - OL28012924M - OL27082589M
• Library of Congress Control Number (LCCN): 2012953317
• All ISBNs: ➤  3642354777 - 9783319038490 - 3319038494 - 9783319038506 - 9783642354762 - 3319038508 - 9783642354755 - 9783642354779 - 3642354769 - 3642354750

“A Singular Introduction to Commutative Algebra” Metadata:

• Title: ➤  A Singular Introduction to Commutative Algebra
• Authors: Gert-Martin GreuelGerhard Pfister
• Language: English
• Number of Pages: Median: 699
• Publisher: ➤  Springer London, Limited - Island Press - Springer
• Publish Date: 2002 - 2007 - 2012 - 2014

“A Singular Introduction to Commutative Algebra” Subjects and Themes:

• Subjects: ➤  Commutative algebra - Algorithms - Algebraic Geometry - Algebra - Mathematics - Data processing - Geometry, algebraic - Computer science - Computational Mathematics and Numerical Analysis - Symbolic and Algebraic Manipulation

Edition Identifiers:

• The Open Library ID: OL26740839M - OL28026457M - OL50683846M - OL37213038M
• All ISBNs: ➤  9783540735427 - 9783662049648 - 3662049643 - 3662049635 - 9783642442544 - 3540735429 - 3642442544 - 9783662049631

“Artificial intelligence and symbolic computation” Metadata:

• Title: ➤  Artificial intelligence and symbolic computation
• Author: Jacques Calmet
• Language: English
• Number of Pages: Median: 269
• Publisher: Springer
• Publish Date: 2006 - 2014 - 2018

“Artificial intelligence and symbolic computation” Subjects and Themes:

• Subjects: ➤  Logique symbolique et mathématique - Symbolic and mathematical Logic - Congresses - Intelligence artificielle - Artificial intelligence - Congrès - Computational complexity - Computer science - Data processing - Algebra - Electronic data processing - Logic, symbolic and mathematical - Automatic theorem proving - Information storage and retrieval systems - Symbolic and Algebraic Manipulation - Artificial Intelligence (incl. Robotics) - Math Applications in Computer Science - Information Storage and Retrieval - Mathematical Logic and Formal Languages - Information Systems Applications (incl. Internet)

Edition Identifiers:

• The Open Library ID: OL28654816M - OL28346543M - OL34882566M - OL9056871M
• Online Computer Library Center (OCLC) ID: 71747766
• Library of Congress Control Number (LCCN): 2006932044
• All ISBNs: ➤  3319137700 - 9783540397281 - 3540397280 - 3319999567 - 9783319137698 - 3319137697 - 9783319999562 - 9783319137704

“Relational and Algebraic Methods in Computer Science” Metadata:

• Title: ➤  Relational and Algebraic Methods in Computer Science
• Author: Wolfram Kahl
• Language: English
• Number of Pages: Median: 395
• Publisher: ➤  Springer London, Limited - Springer Berlin / Heidelberg - Springer Berlin Heidelberg - Springer - Imprint: Springer
• Publish Date: 2012 - 2015
• Publish Location: Berlin, Heidelberg

“Relational and Algebraic Methods in Computer Science” Subjects and Themes:

• Subjects: ➤  Mathematical Logic and Formal Languages - Computational complexity - Discrete Mathematics in Computer Science - Software engineering - Algebra - Symbolic and Algebraic Manipulation - Logic design - Logics and Meanings of Programs - Computer science - Data processing - Artificial intelligence - Artificial Intelligence (incl. Robotics) - Congresses - Mathematics - Computer science, mathematics

Edition Identifiers:

• The Open Library ID: OL34526401M - OL34478487M - OL30626444M - OL27085119M
• Library of Congress Control Number (LCCN): 2012946209
• All ISBNs: ➤  9783319247045 - 3319247042 - 3642333141 - 9783319247038 - 9783642333149 - 3319247034 - 9783642333132 - 3642333133

“Frontiers of Combining Systems” Metadata:

• Title: Frontiers of Combining Systems
• Authors: F. BaaderK.U. Schulz
• Language: English
• Number of Pages: Median: 399
• Publisher: ➤  Springer Netherlands - Springer
• Publish Date: 2013 - 2014

“Frontiers of Combining Systems” Subjects and Themes:

• Subjects: ➤  Computational linguistics - Logic - Artificial Intelligence (incl. Robotics) - Computer science - Software engineering - Algebra - Data processing - Artificial intelligence - Software Engineering/Programming and Operating Systems - Symbolic and Algebraic Manipulation

Edition Identifiers:

• The Open Library ID: OL37426824M - OL37181196M - OL30679489M
• All ISBNs: ➤  9401066434 - 9400903499 - 9400903502 - 9789400903500 - 9789401066433 - 9789400903494

“Computational Methods in Systems Biology” Metadata:

• Title: ➤  Computational Methods in Systems Biology
• Authors: Ashutosh GuptaThomas A. Henzinger
• Language: English
• Number of Pages: Median: 295
• Publisher: ➤  Springer Berlin / Heidelberg - Springer
• Publish Date: 2013 - 2014

“Computational Methods in Systems Biology” Subjects and Themes:

• Subjects: ➤  Software engineering - Computer science - Algebra - Data processing - Computer simulation - Bioinformatics - Biology - Computational Biology/Bioinformatics - Computation by Abstract Devices - Simulation and Modeling - Computer Appl. in Life Sciences - Symbolic and Algebraic Manipulation

Edition Identifiers:

• The Open Library ID: OL37422938M - OL37165308M - OL30553860M
• All ISBNs: ➤  3642407072 - 9783642407086 - 3642407099 - 9783642407093 - 9783642407079 - 3642407080

“Combinatorial Algorithms” Metadata:

• Title: Combinatorial Algorithms
• Author: Costas S. Iliopoulos
• Language: English
• Number of Pages: Median: 400
• Publisher: ➤  Springer London, Limited - Springer Berlin Heidelberg - Springer
• Publish Date: 2011 - 2012
• Publish Location: Berlin, Heidelberg

“Combinatorial Algorithms” Subjects and Themes:

• Subjects: ➤  Computational complexity - Algebra - Data structures (Computer science) - Coding theory - Computer science - Data processing - Algorithms - Computer software - Combinatorial analysis - Coding and Information Theory - Data Structures - Algorithm Analysis and Problem Complexity - Symbolic and Algebraic Manipulation - Discrete Mathematics in Computer Science - Mathematical Logic and Formal Languages

Edition Identifiers:

• The Open Library ID: OL25564326M - OL35785399M - OL30555823M
• All ISBNs: ➤  9783642250118 - 364219222X - 9783642192227 - 9783642250125 - 3642250114 - 3642192211 - 9783642192210 - 3642250122

“Modeling languages in mathematical optimization” Metadata:

• Title: ➤  Modeling languages in mathematical optimization
• Author: Josef Kallrath
• Language: English
• Number of Pages: Median: 408
• Publisher: ➤  Springer - Springer US - Springer London, Limited - Kluwer Academic Publishers
• Publish Date: 2004 - 2011 - 2013
• Publish Location: Boston

“Modeling languages in mathematical optimization” Subjects and Themes:

• Subjects: ➤  Mathematical optimization - Computer simulation - Programming languages (Electronic computers) - Modeling languages (Computer science) - Mathematics - Algebra - Data processing - Computer science - Electronic data processing - Mathematical Modeling and Industrial Mathematics - Numeric Computing - Optimization - Programming Languages, Compilers, Interpreters - Symbolic and Algebraic Manipulation

Edition Identifiers:

• The Open Library ID: OL19291304M - OL34520974M - OL28000213M
• Online Computer Library Center (OCLC) ID: 54460942
• Library of Congress Control Number (LCCN): 2004040493
• All ISBNs: ➤  1461379458 - 9781402075476 - 1402075472 - 1461302153 - 9781461379454 - 9781461302155

“Mathematica®” Metadata:

• Title: Mathematica®
• Author: Roozbeh Hazrat
• Language: English
• Number of Pages: Median: 344
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2010 - 2016

“Mathematica®” Subjects and Themes:

• Subjects: ➤  Mathematica (computer program) - Mathematics, data processing - Mathematics - Computer science - Algebra - Data processing - Computer software - Mathematics, general - Mathematics of Computing - Mathematical Software - Programming Languages, Compilers, Interpreters - Symbolic and Algebraic Manipulation

Edition Identifiers:

• The Open Library ID: OL37250983M - OL27955919M - OL37123973M
• All ISBNs: ➤  1849962510 - 3319275852 - 3319275844 - 9781849962513 - 9783319275840 - 9783319275857

“Computer Algebra Handbook” Metadata:

• Title: Computer Algebra Handbook
• Author: Johannes Grabmeier
• Language: English
• Number of Pages: Median: 657
• Publisher: ➤  Springer London, Limited - Springer - Island Press
• Publish Date: 2002 - 2012

“Computer Algebra Handbook” Subjects and Themes:

• Subjects: ➤  Algebra, data processing - Algorithms - Algebra - Mathematics - Data processing - Computer software - Mathematical Software - Symbolic and Algebraic Manipulation

Edition Identifiers:

• The Open Library ID: OL37241053M - OL50699021M - OL27989354M
• All ISBNs: ➤  9783642629884 - 9783642558269 - 3642558267 - 3642629881 - 3642558275 - 9783642558276

“Automated Deduction in Geometry” Metadata:

• Title: ➤  Automated Deduction in Geometry
• Authors: Tetsuo IdaJacques Fleuriot
• Language: English
• Number of Pages: Median: 204
• Publisher: Springer
• Publish Date: 2013

“Automated Deduction in Geometry” Subjects and Themes:

• Subjects: ➤  Geometry, data processing - Automatic theorem proving - Software engineering - Computer graphics - Artificial Intelligence (incl. Robotics) - Computer science - Computational complexity - Algebra - Data processing - Artificial intelligence - Mathematical Logic and Formal Languages - Symbolic and Algebraic Manipulation - Discrete Mathematics in Computer Science

Edition Identifiers:

• The Open Library ID: OL28150785M - OL30370177M - OL34882553M
• All ISBNs: ➤  3642406734 - 3642406726 - 9783642406720 - 9783642406737 - 9783642406713 - 3642406718

“Formal methods in programming and their applications” Metadata:

• Title: ➤  Formal methods in programming and their applications
• Authors: D. BjørnerM. Broy
• Language: English
• Number of Pages: Median: 433
• Publisher: Springer - Springer-Verlag
• Publish Date: 1993
• Publish Location: Berlin - New York

“Formal methods in programming and their applications” Subjects and Themes:

• Subjects: ➤  Formal methods (Computer science) - Computer programming - Mathematical Logic and Formal Languages - Software engineering - Algebra - Symbolic and Algebraic Manipulation - Computer Science - Logic design - Logics and Meanings of Programs - Artificial Intelligence (incl. Robotics) - Data processing - Programming Languages, Compilers, Interpreters - Artificial intelligence - System design

Edition Identifiers:

• The Open Library ID: OL1412398M - OL9061114M - OL7447401M
• Online Computer Library Center (OCLC) ID: 28851396
• Library of Congress Control Number (LCCN): 93021317
• All ISBNs: 9780387573168 - 9783540573166 - 354057316X - 038757316X

“Logic, Language, Information, and Computation” Metadata:

• Title: ➤  Logic, Language, Information, and Computation
• Authors: Ulrich KohlenbachPablo BarcelóRuy J G B de Queiroz
• Language: English
• Number of Pages: Median: 257
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2013 - 2014

“Logic, Language, Information, and Computation” Subjects and Themes:

• Subjects: ➤  Logic - Mathematics - Logic, symbolic and mathematical - Artificial intelligence - Computer science - Artificial Intelligence (incl. Robotics) - Computer software - Algebra - Data processing - Mathematical Logic and Formal Languages - Symbolic and Algebraic Manipulation - Algorithm Analysis and Problem Complexity

Edition Identifiers:

• The Open Library ID: OL28679599M - OL30535603M - OL34520470M
• All ISBNs: ➤  3662441454 - 3642399932 - 9783662441459 - 9783642399930 - 9783662441442 - 3662441446

“Logic, Rationality, and Interaction” Metadata:

• Title: ➤  Logic, Rationality, and Interaction
• Authors: Davide GrossiOlivier RoyHuaxin Huang
• Language: English
• Number of Pages: Median: 376
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2013

“Logic, Rationality, and Interaction” Subjects and Themes:

• Subjects: ➤  Logic, symbolic and mathematical - Logic machines - Electronic apparatus and appliances - Computer science - Information theory - Logic design - Computational complexity - Algebra - Data processing - Symbolic and mathematical Logic - Mathematical Logic and Formal Languages - Mathematical Logic and Foundations - Discrete Mathematics in Computer Science - Symbolic and Algebraic Manipulation - Logics and Meanings of Programs - Theory of Computation

Edition Identifiers:

• The Open Library ID: OL37228608M - OL30432332M - OL28049340M
• All ISBNs: ➤  9783642409493 - 9783642409479 - 3642409474 - 3642409482 - 3642409490 - 9783642409486

“Algebraic Informatics” Metadata:

• Title: Algebraic Informatics
• Authors: Traian MunteanRobert RollandDimitrios Poulakis
• Language: English
• Number of Pages: Median: 280
• Publisher: ➤  Springer - Springer London, Limited - Springer International Publishing AG
• Publish Date: 2013 - 2022

“Algebraic Informatics” Subjects and Themes:

• Subjects: ➤  Programming languages (electronic computers) - Algebra, data processing - Software engineering - Computer science - Logic design - Computational complexity - Algebra - Data processing - Logics and Meanings of Programs - Mathematical Logic and Formal Languages - Symbolic and Algebraic Manipulation - Discrete Mathematics in Computer Science - Mathematics of Computing

Edition Identifiers:

• The Open Library ID: OL39952314M - OL28145724M - OL34520478M
• All ISBNs: ➤  9783642406621 - 3642406637 - 3031196848 - 9783642406638 - 3642406629 - 9783031196843

“Computational Commutative Algebra 2” Metadata:

• Title: ➤  Computational Commutative Algebra 2
• Authors: Martin KreuzerLorenzo Robbiano
• Language: English
• Number of Pages: Median: 591
• Publisher: Springer
• Publish Date: 2005 - 2010

“Computational Commutative Algebra 2” Subjects and Themes:

• Subjects: ➤  Algebraic Geometry - Algorithms - Data processing - Algebra - Commutative algebra - Gröbner bases - Bases de Gröbner - Algèbre commutative - Informatique - Álgebra computacional - Anéis e álgebras comutativos - Base de Groebner - Traitement des données - Calcul formel - Polynôme - Fonction caractéristique - Mathematics - Geometry, algebraic - Symbolic and Algebraic Manipulation

Edition Identifiers:

• The Open Library ID: OL28143263M - OL36186747M - OL9055499M
• Online Computer Library Center (OCLC) ID: 262680765 - 45542685
• Library of Congress Control Number (LCCN): 00046340
• All ISBNs: ➤  9783540282969 - 9783540255277 - 3642064914 - 9783642064913 - 3540282963 - 3540255273

“Computational Excursions in Analysis and Number Theory” Metadata:

• Title: ➤  Computational Excursions in Analysis and Number Theory
• Author: Peter B. Borwein
• Language: English
• Number of Pages: Median: 232
• Publisher: ➤  Springer London, Limited - Springer - Springer New York
• Publish Date: 2002 - 2010 - 2012

“Computational Excursions in Analysis and Number Theory” Subjects and Themes:

• Subjects: ➤  Number theory - Diophantine analysis - Mathematics - Global analysis (Mathematics) - Algebra - Data processing - Analysis - Symbolic and Algebraic Manipulation

Edition Identifiers:

• The Open Library ID: OL27965181M - OL37150286M - OL7448940M
• Online Computer Library Center (OCLC) ID: 48892598
• Library of Congress Control Number (LCCN): 2002019558
• All ISBNs: ➤  9781441930002 - 9780387216522 - 9780387954448 - 0387954449 - 0387216529 - 1441930000

“Global optimization” Metadata:

• Title: Global optimization
• Author: Nelson Maculan
• Language: English
• Number of Pages: Median: 435
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2006 - 2010

“Global optimization” Subjects and Themes:

• Subjects: ➤  Mathematical optimization - Nonlinear programming - Algorithms - Mathematics - Algebra - Data processing - Computer software - Operations research - Mathematical Programming Operations Research - Optimization - Mathematical Software - Symbolic and Algebraic Manipulation - Mathematical Modeling and Industrial Mathematics

Edition Identifiers:

• The Open Library ID: OL37105040M - OL30546881M - OL7445055M
• Library of Congress Control Number (LCCN): 2005936166
• All ISBNs: ➤  144193930X - 9780387282602 - 9780387305288 - 9781441939302 - 0387282602 - 0387305289

“Loewy Decomposition of Linear Differential Equations” Metadata:

• Title: ➤  Loewy Decomposition of Linear Differential Equations
• Author: Fritz Schwarz
• Language: English
• Number of Pages: Median: 248
• Publisher: ➤  Springer - Springer Vienna - Imprint: Springer
• Publish Date: 2012 - 2014
• Publish Location: Vienna

“Loewy Decomposition of Linear Differential Equations” Subjects and Themes:

• Subjects: ➤  Appl.Mathematics/Computational Methods of Engineering - Partial Differential equations - Computer science - Engineering mathematics - Algebra - Symbolic and Algebraic Manipulation - Data processing - Differential equations, linear, numerical solutions - Decomposition (mathematics)

Edition Identifiers:

• The Open Library ID: OL30599260M - OL28019166M - OL27071585M
• All ISBNs: ➤  3709112869 - 9783709112878 - 9783709116876 - 3709112877 - 3709116872 - 9783709112861

“Logic, Language, Information and Computation” Metadata:

• Title: ➤  Logic, Language, Information and Computation
• Author: Luke Ong
• Language: English
• Number of Pages: Median: 351
• Publisher: ➤  Springer - Imprint: Springer - Springer Berlin Heidelberg
• Publish Date: 2012
• Publish Location: Berlin, Heidelberg

“Logic, Language, Information and Computation” Subjects and Themes:

• Subjects: ➤  Mathematical Logic and Formal Languages - Computational complexity - Discrete Mathematics in Computer Science - Algebra - Symbolic and Algebraic Manipulation - Algorithm Analysis and Problem Complexity - Logic design - Logics and Meanings of Programs - Computation by Abstract Devices - Computer science - Data processing - Computer software - Logic, symbolic and mathematical

Edition Identifiers:

• The Open Library ID: OL28107277M - OL28054086M - OL27071626M
• All ISBNs: ➤  9783642326202 - 364232620X - 3642326226 - 9783642326226 - 3642326218 - 9783642326219

“Design, Analysis and Test of Logic Circuits Under Uncertainty” Metadata:

• Title: ➤  Design, Analysis and Test of Logic Circuits Under Uncertainty
• Author: Smita Krishnaswamy
• Language: English
• Number of Pages: Median: 136
• Publisher: ➤  Springer - Imprint: Springer - Springer Netherlands
• Publish Date: 2012 - 2013 - 2014
• Publish Location: Dordrecht

“Design, Analysis and Test of Logic Circuits Under Uncertainty” Subjects and Themes:

• Subjects: ➤  Systems engineering - Circuits and Systems - Performance and Reliability - Algebra - Computer input-output equipment - Symbolic and Algebraic Manipulation - Computers - Logic design - Engineering - Computer science - Data processing - Arithmetic and Logic Structures - Operating systems (Computers) - Logic circuits - Uncertainty

Edition Identifiers:

• The Open Library ID: OL30542919M - OL28008741M - OL27030573M
• All ISBNs: ➤  9048196450 - 9789400797987 - 9789048196456 - 9048196442 - 9400797982 - 9789048196449

“Quantum Attacks on Public-Key Cryptosystems” Metadata:

• Title: ➤  Quantum Attacks on Public-Key Cryptosystems
• Author: Song Y. Yan
• Language: English
• Number of Pages: Median: 215
• Publisher: ➤  Springer - Springer US - Imprint: Springer
• Publish Date: 2013 - 2015
• Publish Location: Boston, MA

“Quantum Attacks on Public-Key Cryptosystems” Subjects and Themes:

• Subjects: ➤  Cryptology and Information Theory Data Structures - Algebra - Computer software - Symbolic and Algebraic Manipulation - Data structures (Computer science) - Algorithm Analysis and Problem Complexity - Computer Communication Networks - Data Encryption - Data encryption (Computer science) - Data processing - Mathematics of Computing - Computer science - Quantum computers - Computer security - Data structures (computer science)

Edition Identifiers:

• The Open Library ID: OL30560214M - OL29047513M - OL27084027M
• All ISBNs: ➤  1489997792 - 1441977236 - 9781441977236 - 1441977228 - 9781441977229 - 9781489997791

“Computational commutative algebra 1” Metadata:

• Title: ➤  Computational commutative algebra 1
• Author: Martin Kreuzer
• Language: English
• Number of Pages: Median: 322
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2000 - 2008 - 2010

“Computational commutative algebra 1” Subjects and Themes:

• Subjects: ➤  Gröbner bases - Data processing - Commutative algebra - Mathematics, data processing - Algorithms - Algebraic Geometry - Mathematics - Algebra - Geometry, algebraic - Symbolic and Algebraic Manipulation

Edition Identifiers:

• The Open Library ID: OL37112128M - OL34370843M - OL9063417M
• Library of Congress Control Number (LCCN): 00046340
• All ISBNs: ➤  354067733X - 364208723X - 9783642087233 - 9783540706281 - 9783540677338 - 3540706283

“Advanced relational programming” Metadata:

• Title: ➤  Advanced relational programming
• Authors: Filippo CacaceF. CacaceG. Lamperti
• Language: English
• Number of Pages: Median: 394
• Publisher: ➤  Kluwer Academic Publishers - Springer - Springer Netherlands
• Publish Date: 1899 - 1996
• Publish Location: Boston - Dordrecht

“Advanced relational programming” Subjects and Themes:

• Subjects: ➤  Relational databases - Database management - Database software - Databases & data structures - Desktop Publishing - General - Computers - Computers - Data Base Management - Computer Books: General - Programming - Software Development - Database Management - General - Computers / Desktop Publishing / General - Computer science - Software engineering - Algebra - Text processing (Computer science - Data processing - Data structures (Computer science) - Text processing (Computer science) - Document Preparation and Text Processing - Programming Languages, Compilers, Interpreters - Cryptology and Information Theory Data Structures - Software Engineering/Programming and Operating Systems - Symbolic and Algebraic Manipulation

Edition Identifiers:

• The Open Library ID: OL27014666M - OL7808133M - OL982044M
• Online Computer Library Center (OCLC) ID: 851393151 - 34658777
• Library of Congress Control Number (LCCN): 96019663
• All ISBNs: ➤  9400708580 - 0792340817 - 9789400708587 - 9401037426 - 9780792340812 - 9789401037426

“Typed Lambda Calculi and Applications” Metadata:

• Title: ➤  Typed Lambda Calculi and Applications
• Author: Masahito Hasegawa
• Language: English
• Number of Pages: Median: 263
• Publisher: ➤  Imprint: Springer - Springer - Springer Berlin Heidelberg
• Publish Date: 2013
• Publish Location: Berlin, Heidelberg

“Typed Lambda Calculi and Applications” Subjects and Themes:

• Subjects: ➤  Mathematical Logic and Formal Languages - Symbolic and mathematical Logic - Algebra - Electronic data processing - Logic design - Logics and Meanings of Programs - Computer science - Data processing - Symbolic and Algebraic Manipulation - Mathematics of Computing - Computing Methodologies - Mathematical Logic and Foundations - Lambda calculus - Congresses - Mathematics - Logic, symbolic and mathematical

Edition Identifiers:

• The Open Library ID: OL28161199M - OL28025278M - OL27093175M
• Library of Congress Control Number (LCCN): 2013940266
• All ISBNs: ➤  9783642389467 - 3642389473 - 3642389457 - 3642389465 - 9783642389474 - 9783642389450

“Applied algebra, algebraic algorithms, and error-correcting codes” Metadata:

• Title: ➤  Applied algebra, algebraic algorithms, and error-correcting codes
• Author: AAECC-11 (1995 Paris, France)
• Language: English
• Number of Pages: Median: 485
• Publisher: Springer-Verlag - Springer
• Publish Date: 1995
• Publish Location: Berlin - New York

“Applied algebra, algebraic algorithms, and error-correcting codes” Subjects and Themes:

• Subjects: ➤  Congresses - Error-correcting codes (Information theory) - Algorithms - Data processing - Algebra - Computer software - Symbolic and Algebraic Manipulation - Computer science - Algorithm Analysis and Problem Complexity - Coding theory - Data Encryption - Coding and Information Theory - Combinatorial analysis - Data encryption (Computer science) - Algebra, data processing

Edition Identifiers:

• The Open Library ID: OL789152M - OL9061579M
• Online Computer Library Center (OCLC) ID: 32821164
• Library of Congress Control Number (LCCN): 95021560
• All ISBNs: 3540601147 - 9783540601142

“Combinatorial Algorithms” Metadata:

• Title: Combinatorial Algorithms
• Authors: W. F. SymthSubramanian Arumugam
• Language: English
• Number of Pages: Median: 315
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2012

“Combinatorial Algorithms” Subjects and Themes:

• Subjects: ➤  Combinatorial analysis - Congresses - Algorithms - Environmental management - Computer science - Data structures (Computer science) - Computer software - Computational complexity - Algebra - Data processing - Discrete Mathematics in Computer Science - Algorithm Analysis and Problem Complexity - Mathematical Logic and Formal Languages - Data Structures - Symbolic and Algebraic Manipulation

Edition Identifiers:

• The Open Library ID: OL35796161M - OL27959229M
• Library of Congress Control Number (LCCN): 2012954779
• All ISBNs: 9783642359262 - 3642359264 - 3642359256 - 9783642359255

“Polyhedral and Algebraic Methods in Computational Geometry” Metadata:

• Title: ➤  Polyhedral and Algebraic Methods in Computational Geometry
• Author: Michael Joswig
• Language: English
• Number of Pages: Median: 250
• Publisher: ➤  Springer London - Imprint: Springer - Springer London, Limited
• Publish Date: 2013
• Publish Location: London

“Polyhedral and Algebraic Methods in Computational Geometry” Subjects and Themes:

• Subjects: ➤  Mathematical Applications in Computer Science - Algebra - Geometry - Symbolic and Algebraic Manipulation - Mathematics - Discrete groups - Computer science - Data processing - Convex and Discrete Geometry - Algorithms - Mathematics of Computing - Algebraic Geometry - Polyhedral functions - Polyhedra

Edition Identifiers:

• The Open Library ID: OL27081770M - OL37156470M
• Online Computer Library Center (OCLC) ID: 813946900
• Library of Congress Control Number (LCCN): 2012955474
• All ISBNs: 1447148169 - 9781447148173 - 1447148177 - 9781447148166

“Algorithms and Computation” Metadata:

• Title: Algorithms and Computation
• Authors: Sudebkumar Prasant PalKunihiko Sadakane
• Language: English
• Number of Pages: Median: 376
• Publisher: ➤  Springer London, Limited - Springer
• Publish Date: 2014

“Algorithms and Computation” Subjects and Themes:

• Subjects: ➤  Computer algorithms - Algorithms - Computer graphics - Computer science - Computer software - Computational complexity - Algebra - Data processing - Algorithm Analysis and Problem Complexity - Discrete Mathematics in Computer Science - Math Applications in Computer Science - Symbolic and Algebraic Manipulation - Data structures (Computer science)

Edition Identifiers:

• The Open Library ID: OL28130239M - OL35805692M
• All ISBNs: 3319046578 - 9783319046570 - 9783319046563 - 331904656X

“Combinatorial Algorithms” Metadata:

• Title: Combinatorial Algorithms
• Authors: Thierry LecroqLaurent Mouchard
• Language: English
• Number of Pages: Median: 485
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2013

“Combinatorial Algorithms” Subjects and Themes:

• Subjects: ➤  Combinatorial analysis - Congresses - Algorithms - Computer science - Data structures (Computer science) - Computer software - Computational complexity - Algebra - Data processing - Discrete Mathematics in Computer Science - Algorithm Analysis and Problem Complexity - Mathematical Logic and Formal Languages - Data Structures - Symbolic and Algebraic Manipulation

Edition Identifiers:

• The Open Library ID: OL34520368M - OL29089651M
• Library of Congress Control Number (LCCN): 2013955008
• All ISBNs: 9783642452772 - 3642452779 - 9783642452789 - 3642452787

“Intelligent Computer Mathematics : CICM 2014 Joint Events” Metadata:

• Title: ➤  Intelligent Computer Mathematics : CICM 2014 Joint Events
• Authors: Stephen M. WattAlan SextonJames H. DavenportPetr SojkaJosef Urban
• Language: English
• Number of Pages: Median: 460
• Publisher: Springer
• Publish Date: 2014

“Intelligent Computer Mathematics : CICM 2014 Joint Events” Subjects and Themes:

• Subjects: ➤  Knowledge management - Mathematics - Information retrieval - Information organization - Artificial Intelligence (incl. Robotics) - Computer science - Text processing (Computer science) - Algebra - Data processing - Information storage and retrieval systems - Artificial intelligence - Symbolic and Algebraic Manipulation - Math Applications in Computer Science - Mathematical Logic and Formal Languages - Document Preparation and Text Processing

Edition Identifiers:

• The Open Library ID: OL34382754M - OL34882516M
• All ISBNs: 3319084348 - 9783319084343 - 331908433X - 9783319084336

“Cognitive engineering” Metadata:

• Title: Cognitive engineering
• Authors: Amit KonarLakhmi C. Jain
• Language: English
• Number of Pages: Median: 353
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2005 - 2007

“Cognitive engineering” Subjects and Themes:

• Subjects: ➤  Mathematical models - Neural networks (Neurobiology) - Fuzzy Petri nets - Distributed artificial intelligence - Cognitive psychology - Human-machine systems - Cognitive science - Computer science - Computer software - Algebra - Data processing - Artificial intelligence - Computer simulation - Consciousness - Artificial Intelligence (incl. Robotics) - Simulation and Modeling - Symbolic and Algebraic Manipulation - Algorithm Analysis and Problem Complexity - Models and Principles

Edition Identifiers:

• The Open Library ID: OL35755982M - OL8974518M
• Library of Congress Control Number (LCCN): 2005923524
• All ISBNs: 9781846282348 - 1846282349 - 9781852339753 - 1852339756

“Getting Started with MuPAD” Metadata:

• Title: Getting Started with MuPAD
• Author: Miroslaw Majewski
• Number of Pages: Median: 263
• Publisher: ➤  Springer Berlin Heidelberg - Springer
• Publish Date: 2006 - 2008

“Getting Started with MuPAD” Subjects and Themes:

• Subjects: ➤  Algebra - Mathematics - Data processing - Computer software - Statistics - Mathematical Software - Symbolic and Algebraic Manipulation - Real Functions - Statistics, general

Edition Identifiers:

• The Open Library ID: OL27983401M - OL26739008M
• All ISBNs: 9783540815037 - 9783540286752 - 3540286756 - 3540815031

“Algebraic Foundations in Computer Science” Metadata:

• Title: ➤  Algebraic Foundations in Computer Science
• Author: Werner Kuich
• Language: English
• Number of Pages: Median: 375
• Publisher: ➤  Springer - Springer-Verlag GmbH Berlin Heidelberg
• Publish Date: 2011 - 2012
• Publish Location: Berlin, Heidelberg

“Algebraic Foundations in Computer Science” Subjects and Themes:

• Subjects: ➤  Mathematical Logic and Formal Languages - Software engineering - Algebra - Symbolic and Algebraic Manipulation - Logic design - Logics and Meanings of Programs - Computer science - Data processing - Programming Languages, Compilers, Interpreters - Artificial intelligence - Artificial Intelligence (incl. Robotics) - Congresses - Computer science, mathematics - Algebra, data processing

Edition Identifiers:

• The Open Library ID: OL25558195M - OL27965211M
• Library of Congress Control Number (LCCN): 2011938838
• All ISBNs: ➤  3642248977 - 3642248969 - 9783642248979 - 9783642248986 - 9783642248962 - 3642248985

“Applications of Computer Technology to Dynamical Astronomy” Metadata:

• Title: ➤  Applications of Computer Technology to Dynamical Astronomy
• Author: P. Kenneth Seidelmann
• Language: English
• Number of Pages: Median: 354
• Publisher: ➤  Ingramcontent - Springer Netherlands
• Publish Date: 1989 - 2012
• Publish Location: Dordrecht

“Applications of Computer Technology to Dynamical Astronomy” Subjects and Themes:

• Subjects: ➤  Physics - Algebra - Data processing - Observations and Techniques Astronomy - Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences - Symbolic and Algebraic Manipulation

Edition Identifiers:

• The Open Library ID: OL27017452M - OL27990862M
• Online Computer Library Center (OCLC) ID: 840304338
• All ISBNs: 9400909853 - 9401069328 - 9789401069328 - 9789400909854

“A Course in Computational Algebraic Number Theory” Metadata:

• Title: ➤  A Course in Computational Algebraic Number Theory
• Author: Henri Cohen
• Language: English
• Number of Pages: Median: 557
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2010 - 2013