Explore: Logics And Meanings Of Programs

“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

“Information and Communication Technologies in Education, Research, and Industrial Applications” Metadata:

• Title: ➤  Information and Communication Technologies in Education, Research, and Industrial Applications
• Authors: Vadim ErmolayevHeinrich C. MayrMykola Nikitchenko
• Language: English
• Number of Pages: Median: 358
• Publisher: ➤  Springer London, Limited - Springer International Publishing AG - MOXIC - Springer
• Publish Date: ➤  2013 - 2014 - 2015 - 2016 - 2017 - 2018 - 2019 - 2020 - 2021 - 2022 - 2023 - 2025

“Information and Communication Technologies in Education, Research, and Industrial Applications” Subjects and Themes:

• Subjects: ➤  Information technology - Educational technology - Communication and technology - Education - Congresses - Data processing - Computer science - Software engineering - Logic design - Artificial intelligence - Computing Methodologies - Teaching - Knowledge Management - Artificial Intelligence (incl. Robotics) - Computers and Education - Logics and Meanings of Programs

Edition Identifiers:

• The Open Library ID: ➤  OL28171280M - OL34533705M - OL28029394M - OL37236456M - OL50648547M - OL28072537M - OL57558917M - OL28331164M - OL34521821M - OL28271324M - OL36264322M - OL28166504M - OL28000191M - OL34551783M - OL28335349M - OL40322398M
• All ISBNs: ➤  3319761676 - 9783319039985 - 3031208331 - 9783319132075 - 3031813715 - 9783319132051 - 3030394581 - 9783319039978 - 9783030139285 - 3319039997 - 9783319699646 - 9783030394585 - 3031483243 - 9783030775919 - 3319132067 - 3319132075 - 9783319761671 - 9783031483240 - 3319132059 - 9783031813719 - 3030775917 - 3319302469 - 9783031208331 - 3319302450 - 303013928X - 3319039970 - 9783319132068 - 9783319039992 - 9783319302454 - 3319039989 - 9783319302461 - 3319699644

“Evaluation of Novel Approaches to Software Engineering” Metadata:

• Title: ➤  Evaluation of Novel Approaches to Software Engineering
• Author: Leszek A. Maciaszek
• Language: English
• Number of Pages: Median: 214
• Publisher: ➤  Brand: Springer - Springer London, Limited - Springer Berlin Heidelberg - Springer - Springer International Publishing AG - Imprint: Springer
• Publish Date: ➤  2011 - 2012 - 2013 - 2015 - 2016 - 2017 - 2020 - 2021 - 2022 - 2023 - 2024
• Publish Location: Berlin, Heidelberg

“Evaluation of Novel Approaches to Software Engineering” Subjects and Themes:

• Subjects: ➤  Information Systems - Software engineering - Computer Communication Networks - Logic design - Logics and Meanings of Programs - Information Systems Applications (incl. Internet) - Computer science - Management of Computing and Information Systems - Programming Languages, Compilers, Interpreters - Computer software

Edition Identifiers:

• The Open Library ID: ➤  OL51800289M - OL48205305M - OL37334886M - OL37322948M - OL37150945M - OL34527027M - OL34521792M - OL34521787M - OL28256336M - OL28189471M - OL28115029M - OL28113735M - OL28018925M - OL28012607M - OL27964244M - OL27959453M - OL27037466M
• All ISBNs: ➤  3319302426 - 3642233910 - 9783642454233 - 9783642323416 - 9783031641817 - 9783642454226 - 3642454224 - 3319272179 - 3642323413 - 3642233929 - 3031641817 - 303096647X - 9783642233913 - 9783030402228 - 3642323405 - 9783031365966 - 9783642323409 - 3031365968 - 9783319272184 - 9783030700058 - 3642454216 - 3319563890 - 9783642540929 - 9783319302423 - 3030700054 - 9783319563893 - 9783319272177 - 9783642454219 - 3030402223 - 3642540929 - 3319272187 - 9783030966478 - 3642454232 - 9783642233920

“Reachability Problems” Metadata:

• Title: Reachability Problems
• Authors: Parosh Aziz AbdullaIgor Potapov
• Language: English
• Number of Pages: Median: 223
• Publisher: ➤  Springer International Publishing AG - Springer London, Limited - Springer
• Publish Date: ➤  2010 - 2013 - 2014 - 2015 - 2016 - 2017 - 2018 - 2019 - 2020 - 2021 - 2022

“Reachability Problems” Subjects and Themes:

• Subjects: ➤  Computer simulation - Computers - Decidability (mathematical logic) - Configurations - System theory - Operating systems (computers) - Computer science, mathematics - Computer systems - Congresses - Verification - Computer science - Mathematics - Engineering & Applied Sciences - Software engineering - Coding theory - Logic design - Computation by Abstract Devices - Logics and Meanings of Programs - Programming Languages, Compilers, Interpreters - Mathematical Logic and Formal Languages - Coding and Information Theory - Computer software - Algorithm Analysis and Problem Complexity

Edition Identifiers:

• The Open Library ID: ➤  OL36254594M - OL28233759M - OL34526611M - OL37140741M - OL28095689M - OL35587160M - OL30525375M - OL28324903M - OL28172216M - OL34520371M - OL28121189M - OL39956254M - OL28117141M - OL34520714M - OL28266329M
• All ISBNs: ➤  9783319114385 - 9783031191343 - 303119134X - 9783319459936 - 3642153496 - 9783319114392 - 9783030002497 - 9783642153495 - 3642410367 - 9783030308056 - 9783642410376 - 9783642410352 - 9783642410369 - 3319245368 - 3642410359 - 3030308057 - 3319459937 - 3319114387 - 3319670883 - 9783319670881 - 3319114395 - 3030002497 - 3030617386 - 9783030897154 - 9783319245362 - 9783319245379 - 3319245376 - 9783030617387 - 3642410375 - 303089715X

“Membrane Computing” Metadata:

• Title: Membrane Computing
• Authors: Marian GheorgheGrzegorz RozenbergArto SalomaaPetr SosíkClaudio Zandron
• Language: English
• Number of Pages: Median: 372
• Publisher: ➤  Springer London, Limited - Springer International Publishing AG - Springer
• Publish Date: ➤  2012 - 2013 - 2014 - 2015 - 2016 - 2017 - 2018 - 2019 - 2021

“Membrane Computing” Subjects and Themes:

• Subjects: ➤  Biocomputers - Software engineering - Optical pattern recognition - Molecular computers - Logic design - Congresses - Computer science - Computer software - Conscious automata - Computers - Computation by Abstract Devices - Algorithm Analysis and Problem Complexity - Logics and Meanings of Programs - Pattern Recognition - Pattern perception

Edition Identifiers:

• The Open Library ID: ➤  OL28121958M - OL28224479M - OL36264319M - OL34544824M - OL28030258M - OL28360334M - OL30678617M - OL51600309M - OL27983378M - OL28741350M - OL34520424M - OL34528910M - OL34520624M - OL28043059M
• Library of Congress Control Number (LCCN): 2014930331
• All ISBNs: ➤  3642542409 - 9783319143705 - 3319540718 - 9783319733586 - 3319143719 - 9783030127961 - 9783642542398 - 3319143697 - 9783642367502 - 3319733583 - 9783319143699 - 9783642280252 - 3030771016 - 9783642542404 - 9783319284743 - 3319143700 - 3642542395 - 3319284754 - 9783642542381 - 9783030771010 - 3319284746 - 3642542387 - 9783319143712 - 364236750X - 3030127966 - 9783319284750 - 9783319540719 - 3642280250

“Language and Automata Theory and Applications” Metadata:

• Title: ➤  Language and Automata Theory and Applications
• Author: Adrian-Horia Dediu
• Language: English
• Number of Pages: Median: 607
• Publisher: ➤  Springer Berlin / Heidelberg - Springer London, Limited - Springer Berlin Heidelberg - Springer - Imprint: Springer
• Publish Date: 2012 - 2013 - 2015 - 2016
• Publish Location: Berlin, Heidelberg

“Language and Automata Theory and Applications” Subjects and Themes:

• Subjects: ➤  Mathematical Logic and Formal Languages - Algorithm Analysis and Problem Complexity - Logic design - Logics and Meanings of Programs - Computation by Abstract Devices - Artificial Intelligence (incl. Robotics) - Data processing - Computer Appl. in Social and Behavioral Sciences - Computer software - Social sciences - Artificial intelligence - Computer science - Machine theory - Formal languages - Mathematical linguistics - Nonfiction

Edition Identifiers:

• The Open Library ID: ➤  OL35783947M - OL34533462M - OL34520876M - OL28165152M - OL28145394M - OL28052102M - OL28024030M - OL27964149M - OL27068645M
• All ISBNs: ➤  3642370632 - 9783319300009 - 9783642370632 - 3642283330 - 9783319299990 - 3319300008 - 3642370659 - 3319155784 - 9783319155784 - 3319155792 - 9783642370656 - 3642283314 - 9783642283338 - 9783642283314 - 3319299999 - 3642370640 - 9783319155791 - 9783642370649

“Logical Foundations of Computer Science” Metadata:

• Title: ➤  Logical Foundations of Computer Science
• Author: Sergei Artemov
• Language: English
• Number of Pages: Median: 407
• Publisher: ➤  Springer Berlin / Heidelberg - Springer London, Limited - Springer Berlin Heidelberg - Springer - Springer International Publishing AG - Imprint: Springer
• Publish Date: ➤  2007 - 2009 - 2012 - 2013 - 2015 - 2017 - 2019 - 2022
• Publish Location: Berlin, Heidelberg

“Logical Foundations of Computer Science” Subjects and Themes:

• Subjects: ➤  Mathematical Logic and Formal Languages - Symbolic and mathematical Logic - Information theory - Logic design - Logics and Meanings of Programs - Computer science - Arithmetic and Logic Structures - Programming Languages, Compilers, Interpreters - Theory of Computation - Mathematical Logic and Foundations - Congresses - Computer logic - Logic

Edition Identifiers:

• The Open Library ID: ➤  OL37158097M - OL37099626M - OL36280172M - OL35768891M - OL34529595M - OL30618973M - OL28344246M - OL28233813M - OL27071592M
• Library of Congress Control Number (LCCN): 2012954010
• All ISBNs: ➤  9783319276823 - 3642357229 - 9783540727347 - 3540727345 - 3030930998 - 3319276832 - 9783642357220 - 3642357210 - 9783030930998 - 9783642357213 - 9783540926870 - 9783319276830 - 3030367541 - 3319276824 - 3540926879 - 3319720554 - 9783319720555 - 9783030367541

“Process Mining” Metadata:

• Title: Process Mining
• Author: Wil M. P. van der Aalst
• Language: English
• Number of Pages: Median: 486
• Publisher: ➤  Springer London, Limited - Springer-Verlag Berlin Heidelberg - Springer International Publishing AG - Springer
• Publish Date: ➤  2011 - 2014 - 2016 - 2018 - 2022
• Publish Location: Berlin, Heidelberg

“Process Mining” Subjects and Themes:

• Subjects: ➤  Logic design - Information systems - Computer science - Software engineering - Management information systems - Information storage and retrieval systems - Process control - Strategic planning - Performance - Data mining - Big data - Business, data processing - Computer Appl. in Administrative Data Processing - Logics and Meanings of Programs - Business Information Systems - Information retrieval - Information organization - Information Systems Applications (incl.Internet) - Information technology - General - Storage & retrieval - Information management - Data processing - Professional, career & trade -> computer science -> information technology - Professional, career & trade -> computer science -> programming languages (jr/sr) - Professional, career & trade -> computer science -> system administration - Business & economics -> mis -> management information systems - Professional, career & trade -> computer science -> data processing - Professional, career & trade -> engineering -> software engineering - Sci2301x - Sci1603x - Sc522000 - Sci18040 - Sci18032 - Sci14029 - Suco11645 - 3206 - 5864 - 3205 - 5758 - 2981 - 3121 - 5482 - 2980 - 3204

Edition Identifiers:

• The Open Library ID: ➤  OL25541926M - OL37259694M - OL38333018M - OL30039139M - OL27973826M - OL39795712M
• All ISBNs: ➤  9783642434952 - 9783642193446 - 9783642193460 - 3662498510 - 9783662498514 - 3642193455 - 3642193447 - 3642434959 - 9783642193453 - 9783662570418 - 3031088476 - 3642193463 - 3662570416 - 9783031088476

“Formal Techniques for Safety-Critical Systems” Metadata:

• Title: ➤  Formal Techniques for Safety-Critical Systems
• Authors: Cyrille ArthoPeter Csaba Ölveczky
• Language: English
• Number of Pages: Median: 268
• Publisher: ➤  Springer - Springer London, Limited - Springer International Publishing AG
• Publish Date: ➤  2014 - 2015 - 2016 - 2017 - 2019

“Formal Techniques for Safety-Critical Systems” Subjects and Themes:

• Subjects: ➤  System failures (engineering) - Systems engineering - Formal languages - Software engineering - Computer science - Logic design - Logics and Meanings of Programs - Computation by Abstract Devices

Edition Identifiers:

• The Open Library ID: ➤  OL34529863M - OL29710645M - OL34521586M - OL28032409M - OL34888747M - OL28050512M - OL34521612M - OL28236035M
• All ISBNs: ➤  3319175815 - 3319295101 - 9783319539454 - 9783319295091 - 3319539450 - 3319054163 - 9783319054155 - 3319175807 - 9783030129873 - 9783319295107 - 9783319054162 - 3319295098 - 3319054155 - 9783319175805 - 303012987X - 9783319175812

“Trends in Functional Programming” Metadata:

• Title: ➤  Trends in Functional Programming
• Authors: Jurriaan HageJay McCarthy
• Language: English
• Number of Pages: Median: 161
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2013 - 2014 - 2015 - 2016

“Trends in Functional Programming” Subjects and Themes:

• Subjects: ➤  Functional programming (computer science) - Logic design - Data structures (computer science) - Computer science - Artificial intelligence - Programming Techniques - Programming Languages, Compilers, Interpreters - Logics and Meanings of Programs - Artificial Intelligence (incl. Robotics)

Edition Identifiers:

• The Open Library ID: ➤  OL34520403M - OL34520713M - OL27993004M - OL28042455M - OL27967621M - OL28679785M - OL27992966M - OL34534555M
• All ISBNs: ➤  3319146750 - 9783642453397 - 9783319146768 - 3319391097 - 3319146769 - 3642453392 - 3642453414 - 9783642453410 - 9783319391106 - 9783642453403 - 9783319146744 - 9783319146751 - 3642453406 - 9783319391090 - 3319146742 - 3319391100

“Formal methods for components and objects” Metadata:

• Title: ➤  Formal methods for components and objects
• Authors: Frank S. de BoerMarcello M. BonsangueSusanne GrafWillem-Paul de Roever
• Language: English
• Number of Pages: Median: 283
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: ➤  2004 - 2005 - 2006 - 2008 - 2011 - 2013

“Formal methods for components and objects” Subjects and Themes:

• Subjects: ➤  Formal methods (Computer science) - Congresses - Component software - Object-oriented programming (Computer science) - Software engineering - Computer science - Operating systems (Computers) - Logic design - Programming Languages, Compilers, Interpreters - Operating Systems - Logics and Meanings of Programs - Software Engineering/Programming and Operating Systems - Programming Techniques

Edition Identifiers:

• The Open Library ID: ➤  OL37152072M - OL37140536M - OL37121843M - OL37118243M - OL37102383M - OL34520541M - OL9680079M
• Online Computer Library Center (OCLC) ID: 61766573
• Library of Congress Control Number (LCCN): 2005932547
• All ISBNs: ➤  9783642252716 - 9783540291312 - 3540291318 - 3540319395 - 3540367500 - 9783540367505 - 9783540319399 - 9783642406157 - 9783540747925 - 3642406157 - 9783540301011 - 3642252710 - 3540301011 - 3540747923

“Fundamentals of Software Engineering” Metadata:

• Title: ➤  Fundamentals of Software Engineering
• Author: Farhad Arbab
• Language: English
• Number of Pages: Median: 392
• Publisher: ➤  Springer - Springer London, Limited - Springer Berlin Heidelberg - Springer Berlin / Heidelberg
• Publish Date: 2010 - 2012 - 2013
• Publish Location: Berlin, Heidelberg

“Fundamentals of Software Engineering” Subjects and Themes:

• Subjects: ➤  Mathematical Logic and Formal Languages - Models and Principles - Software Engineering/Programming and Operating Systems - Software engineering - Programming Techniques - Logic design - Logics and Meanings of Programs - Computer science - Programming Languages, Compilers, Interpreters

Edition Identifiers:

• The Open Library ID: ➤  OL28150819M - OL27040366M - OL37140560M - OL30516225M - OL37165307M - OL37229456M
• All ISBNs: ➤  9783642402128 - 3642293204 - 9783642116230 - 9783642293207 - 9783642116247 - 9783642402135 - 3642402135 - 3642402127 - 3642116248 - 9783642293214 - 3642293212 - 364211623X

“Programming Logics” Metadata:

• Title: Programming Logics
• Author: Andrei Voronkov
• Language: English
• Number of Pages: Median: 456
• Publisher: ➤  Springer - Imprint: Springer - Springer Berlin Heidelberg
• Publish Date: 2013
• Publish Location: Berlin, Heidelberg

“Programming Logics” Subjects and Themes:

• Subjects: ➤  Mathematical Logic and Formal Languages - Computer Imaging, Vision, Pattern Recognition and Graphics - Programming Techniques - Logic design - Computer vision - Logics and Meanings of Programs - Computer science - Artificial intelligence - Artificial Intelligence (incl. Robotics) - Logic programming

Edition Identifiers:

• The Open Library ID: OL30536650M - OL28026127M - OL27083203M
• All ISBNs: ➤  9783642376511 - 3642376517 - 3642376509 - 9783642376504 - 9783642376528 - 3642376525

“Graph Structures for Knowledge Representation and Reasoning” Metadata:

• Title: ➤  Graph Structures for Knowledge Representation and Reasoning
• Author: Madalina Croitoru
• Language: English
• Number of Pages: Median: 154
• Publisher: ➤  Springer - Springer London, Limited - Springer International Publishing AG - Springer Berlin Heidelberg
• Publish Date: ➤  2012 - 2014 - 2016 - 2018 - 2021
• Publish Location: Berlin, Heidelberg

“Graph Structures for Knowledge Representation and Reasoning” Subjects and Themes:

• Subjects: ➤  Mathematical Logic and Formal Languages - Programming Techniques - Computer science - Algorithm Analysis and Problem Complexity - Logic design - Logics and Meanings of Programs - Computation by Abstract Devices - Artificial Intelligence (incl. Robotics) - Artificial intelligence - Computer software - Knowledge representation (information theory) - Data structures (computer science) - Computer networks - Information storage and retrieval systems - Mathematical statistics

Edition Identifiers:

• The Open Library ID: ➤  OL37252133M - OL37228909M - OL36262579M - OL28244280M - OL27980080M - OL27041753M
• All ISBNs: ➤  9783319287010 - 3319045342 - 9783642294495 - 3642294499 - 9783319287027 - 9783319781013 - 3319287028 - 3319781014 - 331928701X - 9783319045344 - 3030723070 - 9783030723071

“Theory and Practice of Computation” Metadata:

• Title: ➤  Theory and Practice of Computation
• Author: Shin-ya Nishizaki
• Language: English
• Number of Pages: Median: 295
• Publisher: ➤  Imprint: Springer - Taylor & Francis Group - World Scientific Publishing Co Pte Ltd - Springer Japan
• Publish Date: ➤  2013 - 2014 - 2015 - 2019 - 2020 - 2021
• Publish Location: Tokyo

“Theory and Practice of Computation” Subjects and Themes:

• Subjects: ➤  Bioinformatics - Computational Biology/Bioinformatics - Data Mining and Knowledge Discovery - Information theory - User Interfaces and Human Computer Interaction - Logic design - Logics and Meanings of Programs - Computer science - Data mining - Theory of Computation - Artificial intelligence - Artificial Intelligence (incl. Robotics)

Edition Identifiers:

• The Open Library ID: ➤  OL49258086M - OL49257186M - OL34704397M - OL34692030M - OL34664227M - OL27091772M
• All ISBNs: ➤  9789814730464 - 9781322224244 - 9780367204174 - 4431544364 - 1322224242 - 9814730467 - 9784431544364 - 0367414732 - 0367204177 - 9780367414733 - 0367776634 - 9780367776633

“NASA Formal Methods” Metadata:

• Title: NASA Formal Methods
• Authors: Julia M. BadgerKristin Yvonne Rozier
• Language: English
• Number of Pages: Median: 400
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2014 - 2019 - 2023

“NASA Formal Methods” Subjects and Themes:

• Subjects: ➤  Computer science - Formal methods (Computer science) - Congresses - Méthodes formelles (Informatique) - Congrès - Software engineering - Operating systems (Computers) - Logic design - Programming Languages, Compilers, Interpreters - Operating Systems - Logics and Meanings of Programs - Software Engineering/Programming and Operating Systems - Programming Techniques

Edition Identifiers:

• The Open Library ID: OL28009880M - OL28185780M - OL48186067M - OL37229135M
• Online Computer Library Center (OCLC) ID: 879173217
• All ISBNs: ➤  3030206513 - 3319061992 - 9783031331695 - 9783319062006 - 9783319061993 - 9783030206512 - 3031331699 - 331906200X

“Logic and Its Applications” Metadata:

• Title: Logic and Its Applications
• Authors: Mohua BanerjeeKrishna S.
• Language: English
• Number of Pages: Median: 245
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2010 - 2014 - 2015 - 2023

“Logic and Its Applications” Subjects and Themes:

• Subjects: ➤  Language and logic - Computer science, mathematics - Cognitive science - Computational linguistics - Computer science - Logic design - Computational complexity - Artificial intelligence - Mathematical Logic and Formal Languages - Logics and Meanings of Programs - Artificial Intelligence (incl. Robotics) - Computation by Abstract Devices - Discrete Mathematics in Computer Science

Edition Identifiers:

• The Open Library ID: OL28027869M - OL30581783M - OL34840268M - OL46567065M - OL37229288M
• All ISBNs: ➤  366245825X - 9783031266881 - 9783662458235 - 3662458233 - 3031266889 - 3662458241 - 9783662458242 - 9783642180262 - 3642180264 - 9783662458259

“Software Architecture” Metadata:

• Title: Software Architecture
• Authors: Bedir TekinerdoganUwe ZdunAli Babar
• Language: English
• Number of Pages: Median: 408
• Publisher: ➤  Springer - Springer London, Limited - Springer International Publishing AG
• Publish Date: 2014 - 2016 - 2023

“Software Architecture” Subjects and Themes:

• Subjects: ➤  Computer software - Information Systems Applications (incl. Internet) - Software engineering - Computer science - Computer Communication Networks - Logic design - Information Systems - Logics and Meanings of Programs - Management of Computing and Information Systems - Programming Languages, Compilers, Interpreters

Edition Identifiers:

• The Open Library ID: OL49267142M - OL34520823M - OL28131480M - OL34505564M
• All ISBNs: ➤  3319099701 - 3319099698 - 9783031425912 - 9783319489919 - 3319489917 - 303142591X - 9783319099699 - 9783319099705

“Descriptional Complexity of Formal Systems” Metadata:

• Title: ➤  Descriptional Complexity of Formal Systems
• Authors: Jeffrey ShallitAlexander Okhotin
• Language: English
• Number of Pages: Median: 336
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2014 - 2015

“Descriptional Complexity of Formal Systems” Subjects and Themes:

• Subjects: ➤  Formal methods (Computer science) - Congresses - Formal languages - Machine theory - System design - Computer science - Computer software - Logic design - Computational complexity - Computation by Abstract Devices - Mathematical Logic and Formal Languages - Logics and Meanings of Programs - Algorithm Analysis and Problem Complexity - Discrete Mathematics in Computer Science

Edition Identifiers:

• The Open Library ID: OL34520359M - OL28813257M - OL27953823M - OL34520819M
• All ISBNs: ➤  9783319192246 - 9783319192253 - 3319192256 - 3319097032 - 9783319097046 - 3319097040 - 3319192248 - 9783319097039

“Logic for Programming, Artificial Intelligence, and Reasoning” Metadata:

• Title: ➤  Logic for Programming, Artificial Intelligence, and Reasoning
• Authors: Ken McMillanAart MiddeldorpAndrei Voronkov
• Language: English
• Number of Pages: Median: 732
• Publisher: ➤  Springer London, Limited - Springer
• Publish Date: 2012 - 2013 - 2015

“Logic for Programming, Artificial Intelligence, and Reasoning” Subjects and Themes:

• Subjects: ➤  Logic programming - Artificial intelligence - Automatic theorem proving - Reasoning - Artificial Intelligence (incl. Robotics) - Software engineering - Computer science - Logic design - Logics and Meanings of Programs - Mathematical Logic and Formal Languages - Programming Techniques - Programming Languages, Compilers, Interpreters

Edition Identifiers:

• The Open Library ID: OL28129291M - OL28157946M - OL37229354M - OL28047598M - OL28286629M
• All ISBNs: ➤  3642452221 - 3642452213 - 9783642287183 - 3662488981 - 9783642452222 - 3642287182 - 9783662488980 - 9783642452215 - 9783642452208 - 3642452205

“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

“Mathematics in Computing” Metadata:

• Title: Mathematics in Computing
• Author: Gerard O'Regan
• Language: English
• Number of Pages: Median: 297
• Publisher: ➤  Springer - Imprint: Springer - Springer London
• Publish Date: 2012 - 2013
• Publish Location: London

“Mathematics in Computing” Subjects and Themes:

• Subjects: ➤  Mathematical Logic and Formal Languages - Logic design - History of Mathematical Sciences - Mathematical Applications in Computer Science - Math Applications in Computer Science - Logics and Meanings of Programs - Coding theory - Computer science - Coding and Information Theory - Computer science, mathematics - Mathematics

Edition Identifiers:

• The Open Library ID: OL27952410M - OL27073371M
• Online Computer Library Center (OCLC) ID: 819587854
• Library of Congress Control Number (LCCN): 2012951294
• All ISBNs: 9781447145349 - 1447145348 - 1447145356 - 9781447145356

“Automated Reasoning with Analytic Tableaux and Related Methods” Metadata:

• Title: ➤  Automated Reasoning with Analytic Tableaux and Related Methods
• Author: Didier Galmiche
• Language: English
• Number of Pages: Median: 300
• Publisher: ➤  Springer - Springer Berlin / Heidelberg
• Publish Date: 1997 - 2013

“Automated Reasoning with Analytic Tableaux and Related Methods” Subjects and Themes:

• Subjects: ➤  Software engineering - Artificial Intelligence (incl. Robotics) - Computer science - Logic design - Computational complexity - Artificial intelligence - Mathematical Logic and Formal Languages - Programming Techniques - Discrete Mathematics in Computer Science - Logics and Meanings of Programs

Edition Identifiers:

• The Open Library ID: OL30541712M - OL34490116M - OL34882555M - OL9062184M
• All ISBNs: ➤  9783642405389 - 3540629203 - 3642405371 - 9783642405365 - 3642405363 - 364240538X - 9783540629207 - 9783642405372

“Programming language implementation and logic programming” Metadata:

• Title: ➤  Programming language implementation and logic programming
• Authors: ➤  PLILP '90 (1990 Linköping, Sweden)Sweden) Plilp 9 (1990 LinkopingPierre DeransartJ. Mauszynski
• Language: English
• Number of Pages: Median: 401
• Publisher: Springer-Verlag - Springer
• Publish Date: 1990 - 1991
• Publish Location: Berlin - New York

“Programming language implementation and logic programming” Subjects and Themes:

• Subjects: ➤  Congresses - Logic programming - Programming languages (Electronic computers) - Mathematical Logic and Formal Languages - Programming Techniques - Software engineering - Computer Science - Logic design - Logics and Meanings of Programs - Artificial Intelligence (incl. Robotics) - Programming Languages, Compilers, Interpreters - Artificial intelligence

Edition Identifiers:

• The Open Library ID: OL1857919M - OL9058348M - OL7446560M
• Online Computer Library Center (OCLC) ID: 22243384
• Library of Congress Control Number (LCCN): 90010181
• All ISBNs: 9780387530109 - 038753010X - 354053010X - 9783540530107

“Computer Safety, Reliability, and Security” Metadata:

• Title: ➤  Computer Safety, Reliability, and Security
• Authors: Andrea BondavalliFelicita Di Giandomenico
• Language: English
• Number of Pages: Median: 356
• Publisher: ➤  Springer London, Limited - Springer International Publishing AG - Springer
• Publish Date: 2014 - 2024

“Computer Safety, Reliability, and Security” Subjects and Themes:

• Subjects: ➤  Computer security - Computer science - Software engineering - Data protection - Logic design - Artificial intelligence - Computer network architectures - Logics and Meanings of Programs - Computer Systems Organization and Communication Networks - Systems and Data Security

Edition Identifiers:

• The Open Library ID: OL53261565M - OL34506016M - OL34520835M - OL34505734M
• All ISBNs: ➤  3031686055 - 3319105566 - 3319105051 - 9783319105055 - 9783319105062 - 331910506X - 9783031686054 - 9783319105567

“Abstract State Machines, Alloy, B, TLA, VDM, and Z” Metadata:

• Title: ➤  Abstract State Machines, Alloy, B, TLA, VDM, and Z
• Authors: Yamine Ait AmeurKlaus-Dieter Schewe
• Language: English
• Number of Pages: Median: 352
• Publisher: Springer
• Publish Date: 2014 - 2016

“Abstract State Machines, Alloy, B, TLA, VDM, and Z” Subjects and Themes:

• Subjects: ➤  Machine learning - Machine theory - Computer science - Software engineering - Programming languages (electronic computers) - Logic, symbolic and mathematical - Logic design - Mathematical Logic and Formal Languages - Logics and Meanings of Programs - Computation by Abstract Devices

Edition Identifiers:

• The Open Library ID: OL28054434M - OL28270683M - OL34505988M
• All ISBNs: ➤  3662436523 - 9783319335995 - 9783662436516 - 3662436515 - 3319335995 - 9783662436523

“Dag Prawitz on Proofs and Meaning” Metadata:

• Title: ➤  Dag Prawitz on Proofs and Meaning
• Author: Heinrich Wansing
• Language: English
• Number of Pages: Median: 466
• Publisher: ➤  Springer International Publishing AG - Springer
• Publish Date: 2014 - 2015 - 2016

“Dag Prawitz on Proofs and Meaning” Subjects and Themes:

• Subjects: ➤  Logic - Logic, symbolic and mathematical - Philosophy - Philosophy (General) - Logic design - Symbolic and mathematical Logic - Mathematical Logic and Foundations - Logics and Meanings of Programs

Edition Identifiers:

• The Open Library ID: OL27965783M - OL28159452M - OL37201157M - OL37268306M
• All ISBNs: ➤  3319110403 - 3319110411 - 9783319360317 - 3319360310 - 9783319110417 - 9783319110400 - 331911042X - 9783319110424

“Stabilization, Safety, and Security of Distributed Systems” Metadata:

• Title: ➤  Stabilization, Safety, and Security of Distributed Systems
• Authors: Teruo HigashinoYoshiaki KatayamaToshimitsu MasuzawaMaria Potop-ButucaruMasafumi Yamashita
• Language: English
• Number of Pages: Median: 409
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2007 - 2013 - 2024

“Stabilization, Safety, and Security of Distributed Systems” Subjects and Themes:

• Subjects: ➤  Computer security - Operating systems (computers) - Computer algorithms - Information Systems Applications (incl. Internet) - Software engineering - Computer science - Computer Communication Networks - Data protection - Computer software - Logic design - Logics and Meanings of Programs - Algorithm Analysis and Problem Complexity - Systems and Data Security

Edition Identifiers:

• The Open Library ID: OL35796147M - OL57543217M - OL28414884M - OL34456959M
• All ISBNs: ➤  3540766278 - 9783031744976 - 9783319030890 - 3319030892 - 9783540766278 - 3319030884 - 9783319030883 - 3031744977

“Trends in Functional Programming” Metadata:

• Title: ➤  Trends in Functional Programming
• Author: Ricardo Peña
• Language: English
• Number of Pages: Median: 321
• Publisher: ➤  Imprint: Springer - Springer Berlin Heidelberg - Springer
• Publish Date: 2012 - 2013
• Publish Location: Berlin, Heidelberg

“Trends in Functional Programming” Subjects and Themes:

• Subjects: ➤  Logic design - Data Structures - Programming Techniques - Logics and Meanings of Programs - Computer science - Programming Languages, Compilers, Interpreters - Data structures (Computer science) - Functional programming (computer science) - Mathematical Logic and Formal Languages

Edition Identifiers:

• The Open Library ID: OL28037319M - OL28039623M - OL27092863M - OL28163334M
• All ISBNs: ➤  3642404464 - 9783642404481 - 3642320376 - 3642404480 - 3642320384 - 9783642320378 - 9783642404467 - 9783642320385

“Computing and combinatorics” Metadata:

• Title: Computing and combinatorics
• Authors: Ding-Zhu DuPeter EadesXuemin LinArun Sharma
• Language: English
• Number of Pages: Median: 670
• Publisher: ➤  Springer - Springer Berlin / Heidelberg - Springer London, Limited
• Publish Date: 2000 - 2003 - 2013

“Computing and combinatorics” Subjects and Themes:

• Subjects: ➤  Congresses - Combinatorial analysis - Computer science - Artificial Intelligence (incl. Robotics) - Computer Communication Networks - Computer software - Logic design - Computational complexity - Artificial intelligence - Algorithm Analysis and Problem Complexity - Discrete Mathematics in Computer Science - Computation by Abstract Devices - Logics and Meanings of Programs

Edition Identifiers:

• The Open Library ID: OL34489857M - OL34488024M - OL34424798M - OL9716110M
• Online Computer Library Center (OCLC) ID: 44468885
• Library of Congress Control Number (LCCN): 00057360
• All ISBNs: ➤  9783540449683 - 3642387675 - 354044968X - 9783642387678 - 9783642387685 - 3642387683 - 9783540677871 - 3540677879

“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

“Distributed Computing and Internet Technology” Metadata:

• Title: ➤  Distributed Computing and Internet Technology
• Author: Raja Natarajan
• Language: English
• Number of Pages: Median: 464
• Publisher: ➤  Springer - Springer London, Limited - Springer Berlin Heidelberg
• Publish Date: 2011 - 2015
• Publish Location: Berlin, Heidelberg

“Distributed Computing and Internet Technology” Subjects and Themes:

• Subjects: ➤  Logic design - Information systems - Computer science - Software engineering - Information storage and retrieval systems - Computer networks - Multimedia systems - Electronic data processing, distributed processing - Internet - Logics and Meanings of Programs - Information retrieval - Information organization - Computer Communication Networks - Information Systems Applications (incl.Internet)

Edition Identifiers:

• The Open Library ID: OL34520733M - OL28259884M - OL27948980M - OL25558558M
• All ISBNs: ➤  364219057X - 3319149776 - 9783642190568 - 3642190553 - 3642190561 - 9783642190575 - 9783319149776 - 9783642190551 - 3319149768 - 9783319149769

“Complexity theory” Metadata:

• Title: Complexity theory
• Author: Ingo Wegener
• Language: English
• Number of Pages: Median: 308
• Publisher: Springer
• Publish Date: 1899 - 2005 - 2008 - 2010
• Publish Location: New York - Berlin

“Complexity theory” Subjects and Themes:

• Subjects: ➤  Algorithms - Computational complexity - Computer science - Coding theory - Computer software - Logic design - Algorithm Analysis and Problem Complexity - Coding and Information Theory - Logics and Meanings of Programs - Mathematical Logic and Formal Languages

Edition Identifiers:

• The Open Library ID: OL29768464M - OL28006940M - OL9054551M - OL3479878M
• Online Computer Library Center (OCLC) ID: 56657122 - 60550747
• Library of Congress Control Number (LCCN): 2005920530
• All ISBNs: ➤  3642059147 - 9783540210450 - 9783642059148 - 9783540800927 - 3540210458 - 3540800921

“Formal Aspects of Component Software” Metadata:

• Title: ➤  Formal Aspects of Component Software
• Author: Farhad Arbab
• Language: English
• Number of Pages: Median: 374
• Publisher: ➤  Springer - Imprint: Springer - Springer Berlin Heidelberg
• Publish Date: 2012 - 2020
• Publish Location: Berlin, Heidelberg

“Formal Aspects of Component Software” Subjects and Themes:

• Subjects: ➤  Mathematical Logic and Formal Languages - Programming Techniques - Information Systems - Software engineering - Logic design - Logics and Meanings of Programs - Computer science - Management of Computing and Information Systems - Programming Languages, Compilers, Interpreters - Formal methods (Computer science) - Congresses - Component software - Logic, symbolic and mathematical - Programming languages (electronic computers)

Edition Identifiers:

• The Open Library ID: OL28290780M - OL28212413M - OL28013491M - OL27039439M
• Library of Congress Control Number (LCCN): 2012954139
• All ISBNs: ➤  364235744X - 3642357431 - 9783642357428 - 9783642357442 - 9783642357435 - 9783030409135 - 3642357423 - 3030409139

“Theory and Applications of Models of Computation” Metadata:

• Title: ➤  Theory and Applications of Models of Computation
• Author: Manindra Agrawal
• Language: English
• Number of Pages: Median: 532
• Publisher: ➤  Springer International Publishing AG - Springer Berlin Heidelberg - Springer - Springer London, Limited
• Publish Date: 2012 - 2014
• Publish Location: Berlin, Heidelberg

“Theory and Applications of Models of Computation” Subjects and Themes:

• Subjects: ➤  Mathematical Logic and Formal Languages - Cryptology and Information Theory Data Structures - Information theory - Computer software - Algorithm Analysis and Problem Complexity - Logic design - Logics and Meanings of Programs - Data structures (Computer science) - Theory of Computation - Mathematics of Computing - Computer science

Edition Identifiers:

• The Open Library ID: OL35805680M - OL34499766M - OL29310820M - OL27091697M
• All ISBNs: ➤  3319060899 - 3642299520 - 9783319060880 - 3642299539 - 9783642299537 - 9783642299520 - 3319060880 - 9783319060897

“Abstract computing machines” Metadata:

• Title: Abstract computing machines
• Author: Werner Kluge
• Language: English
• Number of Pages: Median: 391
• Publisher: Springer
• Publish Date: 2005 - 2008 - 2010
• Publish Location: Berlin - New York

“Abstract computing machines” Subjects and Themes:

• Subjects: ➤  Machine theory - Lambda calculus - Logic, symbolic and mathematical - Computer science - Logic design - Programming Languages, Compilers, Interpreters - Logics and Meanings of Programs

Edition Identifiers:

• The Open Library ID: OL3317201M - OL27963752M - OL27997460M
• Online Computer Library Center (OCLC) ID: 58467203
• Library of Congress Control Number (LCCN): 2004117887
• All ISBNs: ➤  9783642059384 - 3540211462 - 9783540801085 - 3642059384 - 3540801081 - 9783540211464

“Implementation and Application of Functional Languages” Metadata:

• Title: ➤  Implementation and Application of Functional Languages
• Author: Ralf Hinze
• Language: English
• Number of Pages: Median: 241
• Publisher: ➤  Springer London, Limited - Springer Berlin / Heidelberg - Springer
• Publish Date: 2013

“Implementation and Application of Functional Languages” Subjects and Themes:

• Subjects: ➤  Information Systems Applications (incl. Internet) - Software engineering - Computer science - Logic design - Logics and Meanings of Programs - Programming Languages, Compilers, Interpreters - Mathematical Logic and Formal Languages - Programming Techniques

Edition Identifiers:

• The Open Library ID: OL34494135M - OL34520732M - OL30377035M
• All ISBNs: ➤  3642415814 - 9783642415814 - 9783642415821 - 3642415822 - 9783642415838 - 3642415830

“From Programs to Systems - The Systems Perspective in Computing” Metadata:

• Title: ➤  From Programs to Systems - The Systems Perspective in Computing
• Authors: Saddek BensalemYassine LakhnechAxel Legay
• Language: English
• Number of Pages: Median: 292
• Publisher: ➤  Springer London, Limited - Springer - Springer Berlin / Heidelberg
• Publish Date: 2014

“From Programs to Systems - The Systems Perspective in Computing” Subjects and Themes:

• Subjects: ➤  Software engineering - Computer science - Logic design - Logics and Meanings of Programs - Computation by Abstract Devices - Programming Languages, Compilers, Interpreters - Mathematical Logic and Formal Languages

Edition Identifiers:

• The Open Library ID: OL37177823M - OL37228815M - OL30582727M
• All ISBNs: ➤  3642548490 - 3642548474 - 9783642548475 - 9783642548499 - 3642548482 - 9783642548482

“Frontiers of Combining Systems” Metadata:

• Title: Frontiers of Combining Systems
• Authors: Pascal FontaineChristophe RingeissenRenate Schmidt
• Language: English
• Number of Pages: Median: 371
• Publisher: Springer
• Publish Date: 2006 - 2013

“Frontiers of Combining Systems” Subjects and Themes:

• Subjects: ➤  Logic, symbolic and mathematical - Computer science - Software engineering - Artificial Intelligence (incl. Robotics) - Computer software - Logic design - Artificial intelligence - Mathematical Logic and Formal Languages - Logics and Meanings of Programs - Algorithm Analysis and Problem Complexity - Programming Techniques

Edition Identifiers:

• The Open Library ID: OL35933255M - OL29209645M - OL37394721M
• All ISBNs: ➤  3642408842 - 3540464212 - 9783540464211 - 9783642408847 - 9783642408854 - 3642408850

“Theoretical Aspects of Computing -- ICTAC 2013” Metadata:

• Title: ➤  Theoretical Aspects of Computing -- ICTAC 2013
• Authors: Zhiming LiuJim WoodcockHuibiao Zhu
• Language: English
• Number of Pages: Median: 459
• Publisher: ➤  Springer London, Limited - Springer
• Publish Date: 2013

“Theoretical Aspects of Computing -- ICTAC 2013” Subjects and Themes:

• Subjects: ➤  Electronic data processing - Congresses - Information theory - Computer science, mathematics - Computer programming - Artificial Intelligence (incl. Robotics) - Software engineering - Computer science - Logic design - Artificial intelligence - Logics and Meanings of Programs

Edition Identifiers:

• The Open Library ID: OL37228697M - OL30523429M - OL27992336M
• Library of Congress Control Number (LCCN): 2013943263
• All ISBNs: ➤  9783642397172 - 9783642397196 - 9783642397189 - 3642397182 - 3642397190 - 3642397174

“Software Engineering for Resilient Systems” Metadata:

• Title: ➤  Software Engineering for Resilient Systems
• Authors: Anatoliy GorbenkoAlexander RomanovskyVyacheslav Kharchenko
• Language: English
• Number of Pages: Median: 212
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2013 - 2017

“Software Engineering for Resilient Systems” Subjects and Themes:

• Subjects: ➤  Software engineering - Computer software, reliability - Information Systems Applications (incl. Internet) - Computer science - Operating systems (Computers) - Computer Communication Networks - Logic design - Operating Systems - Logics and Meanings of Programs

Edition Identifiers:

• The Open Library ID: OL28210667M - OL28020349M - OL37229322M
• All ISBNs: ➤  9783319659473 - 9783642408939 - 364240894X - 3642408931 - 3319659472 - 9783642408946

“Static Analysis” Metadata:

• Title: Static Analysis
• Authors: Francesco LogozzoManuel Fähndrich
• Language: English
• Number of Pages: Median: 511
• Publisher: ➤  Springer London, Limited - Springer
• Publish Date: 2013

“Static Analysis” Subjects and Themes:

• Subjects: ➤  Computer programming - Programming languages (electronic computers) - Multivariate analysis - Software engineering - Computer science - Logic design - Logics and Meanings of Programs - Programming Languages, Compilers, Interpreters - Mathematical Logic and Formal Languages - Programming Techniques

Edition Identifiers:

• The Open Library ID: OL29080500M - OL37228743M - OL28306755M
• All ISBNs: ➤  3642388566 - 9783642388576 - 3642388574 - 9783642388552 - 9783642388569 - 3642388558

“Verification of Business Rules Programs” Metadata:

• Title: ➤  Verification of Business Rules Programs
• Author: Bruno Berstel-Da Silva
• Language: English
• Number of Pages: Median: 236
• Publisher: ➤  Springer London, Limited - Springer Berlin / Heidelberg - Springer
• Publish Date: 2013 - 2016

“Verification of Business Rules Programs” Subjects and Themes:

• Subjects: ➤  Business, computer network resources - Database management - Artificial Intelligence (incl. Robotics) - Computer science - Logic design - Artificial intelligence - Logics and Meanings of Programs - Programming Techniques

Edition Identifiers:

• The Open Library ID: OL28129755M - OL34500948M - OL34540372M
• All ISBNs: ➤  9783642400377 - 9783662514078 - 3662514079 - 3642400388 - 364240037X - 9783642400384

“Formal Techniques for Distributed Systems” Metadata:

• Title: ➤  Formal Techniques for Distributed Systems
• Authors: Dirk BeyerMichele Boreale
• Language: English
• Number of Pages: Median: 329
• Publisher: ➤  Springer Berlin / Heidelberg - Springer London, Limited - Springer
• Publish Date: 2013

“Formal Techniques for Distributed Systems” Subjects and Themes:

• Subjects: ➤  Software engineering - Computer science - Logic design - Logics and Meanings of Programs - Computation by Abstract Devices - Mathematical Logic and Formal Languages

Edition Identifiers:

• The Open Library ID: OL37229440M - OL37163303M - OL28018607M
• All ISBNs: ➤  9783642385933 - 3642385915 - 9783642385919 - 9783642385926 - 3642385923 - 3642385931

“Algorithmic Learning Theory” Metadata:

• Title: Algorithmic Learning Theory
• Authors: Naoki AbeRoni KhardonThomas Zeugmann
• Number of Pages: Median: 400
• Publisher: Springer
• Publish Date: 2013 - 2014

“Algorithmic Learning Theory” Subjects and Themes:

• Subjects: ➤  Computer algorithms - Machine learning - Artificial intelligence - Pattern perception - Artificial Intelligence (incl. Robotics) - Computer science - Information theory - Data mining - Optical pattern recognition - Theory of Computation - Data Mining and Knowledge Discovery - Computer software - Logic design - Mathematical Logic and Formal Languages - Algorithm Analysis and Problem Complexity - Computation by Abstract Devices - Logics and Meanings of Programs

Edition Identifiers:

• The Open Library ID: OL28158143M - OL28148219M - OL28018654M
• All ISBNs: ➤  9783642409349 - 3662215349 - 9783662215340 - 3642409342 - 3319116614 - 9783319116617

“Process Mining: Data Science in Action” Metadata:

• Title: ➤  Process Mining: Data Science in Action
• Author: Wil M. P. van der Aalst
• Number of Pages: Median: 467
• Publisher: Springer
• Publish Date: 2016

“Process Mining: Data Science in Action” Subjects and Themes:

• Subjects: ➤  Data mining - Information systems applications (incl. internet) - Information retrieval - Information organization - Computer science - Information technology - Business--data processing - Software engineering - Computer logic - Application software - Information storage and retrieval - It in business - Logics and meanings of programs - Computer appl. in administrative data processing - Qa76.76.a65 - 005.7

Edition Identifiers:

• The Open Library ID: OL26837365M
• All ISBNs: 3662498502 - 9783662498507

“Model-Driven Engineering Languages and Systems” Metadata:

• Title: ➤  Model-Driven Engineering Languages and Systems
• Authors: Ana MoreiraBernhard SchätzJeff Gray
• Language: English
• Number of Pages: Median: 792
• Publisher: ➤  Springer London, Limited - Springer - Springer Berlin / Heidelberg
• Publish Date: 2013