Universitas Islam Negeri Maulana Malik Ibrahim Malang

Found 304 from your keywords: subject="Theory"

Sort by

First Page Previous 11 12 13 14 15 Next Last Page

Computer Aided Verification

Comment Bookmark Share

Shuvendu K. Lahiri Chao Wang

Edition: 1st ed. 2020
ISBN/ISSN: 978-3-030-53291-8
Collation: -
Series Title: Lecture Notes in Computer Science
Call Number: -

Edition: 1st ed. 2020
ISBN/ISSN: 978-3-030-53291-8
Collation: -
Series Title: Lecture Notes in Computer Science
Call Number: -

Availability1

Add to basket

MARC Download Cite

Computer Aided Verification

Comment Bookmark Share

Shuvendu K. Lahiri Chao Wang

Edition: 1st ed. 2020
ISBN/ISSN: 978-3-030-53288-8
Collation: -
Series Title: Lecture Notes in Computer Science
Call Number: -

Edition: 1st ed. 2020
ISBN/ISSN: 978-3-030-53288-8
Collation: -
Series Title: Lecture Notes in Computer Science
Call Number: -

Availability1

Add to basket

MARC Download Cite

Tools and Algorithms for the Construction and Analysis of Systems

Comment Bookmark Share

Armin Biere David Parker

Edition: 1st ed. 2020
ISBN/ISSN: 978-3-030-45190-5
Collation: -
Series Title: Lecture Notes in Computer Science
Call Number: -

Edition: 1st ed. 2020
ISBN/ISSN: 978-3-030-45190-5
Collation: -
Series Title: Lecture Notes in Computer Science
Call Number: -

Availability1

Add to basket

MARC Download Cite

Computer Aided Verification

Comment Bookmark Share

Isil Dillig Serdar Tasiran

Edition: 1st ed. 2019
ISBN/ISSN: 978-3-030-25540-4
Collation: -
Series Title: Lecture Notes in Computer Science
Call Number: -

Edition: 1st ed. 2019
ISBN/ISSN: 978-3-030-25540-4
Collation: -
Series Title: Lecture Notes in Computer Science
Call Number: -

Availability1

Add to basket

MARC Download Cite

Environmental Valuation with Discrete Choice Experiments

Comment Bookmark Share

Petr Mariel David Hoyos Mikolaj Czajkowski Thijs Dekker Klaus Glenk Jette Bredahl Jacobsen Ulf Liebe Julian Sagebiel Mara Thiene

Edition: 1st ed. 2021
ISBN/ISSN: 978-3-030-62669-3
Collation: -
Series Title: SpringerBriefs in Economics
Call Number: -

Edition: 1st ed. 2021
ISBN/ISSN: 978-3-030-62669-3
Collation: -
Series Title: SpringerBriefs in Economics
Call Number: -

Availability1

Add to basket

MARC Download Cite

Managed Software Evolution

Comment Bookmark Share

Ralf Reussner Michael Goedicke Wilhelm Hasselbring Birgit Vogel-Heuser Jan Keim Lukas M

Edition: 1st ed. 2019
ISBN/ISSN: 978-3-030-13499-0
Collation: -
Series Title: -
Call Number: -

Edition: 1st ed. 2019
ISBN/ISSN: 978-3-030-13499-0
Collation: -
Series Title: -
Call Number: -

Availability1

Add to basket

MARC Download Cite

Programming Languages and Systems

Comment Bookmark Share

Edition: 1st ed. 2019
ISBN/ISSN: 978-3-030-17184-1
Collation: -
Series Title: Lecture Notes in Computer Science
Call Number: -

Edition: 1st ed. 2019
ISBN/ISSN: 978-3-030-17184-1
Collation: -
Series Title: Lecture Notes in Computer Science
Call Number: -

Availability1

Add to basket

MARC Download Cite

Fundamental Approaches to Software Engineering

Comment Bookmark Share

Wil van der Aalst

Edition: 1st ed. 2019
ISBN/ISSN: 978-3-030-16722-6
Collation: -
Series Title: Lecture Notes in Computer Science
Call Number: -

Edition: 1st ed. 2019
ISBN/ISSN: 978-3-030-16722-6
Collation: -
Series Title: Lecture Notes in Computer Science
Call Number: -

Availability1

Add to basket

MARC Download Cite

Quaternion Algebras

Comment Bookmark Share

John Voight

Edition: 1st ed. 2021
ISBN/ISSN: 978-3-030-56694-4
Collation: -
Series Title: Graduate Texts in Mathematics
Call Number: -

Edition: 1st ed. 2021
ISBN/ISSN: 978-3-030-56694-4
Collation: -
Series Title: Graduate Texts in Mathematics
Call Number: -

Availability1

Add to basket

MARC Download Cite

Principles of Security and Trust

Comment Bookmark Share

Flemming Nielson David Sands

Edition: 1st ed. 2019
ISBN/ISSN: 978-3-030-17138-4
Collation: -
Series Title: Lecture Notes in Computer Science
Call Number: -

Edition: 1st ed. 2019
ISBN/ISSN: 978-3-030-17138-4
Collation: -
Series Title: Lecture Notes in Computer Science
Call Number: -

Availability1

Add to basket

MARC Download Cite

Programming Languages and Systems

Comment Bookmark Share

Amal Ahmed

Edition: 1st ed. 2018
ISBN/ISSN: 978-3-319-89884-1
Collation: -
Series Title: Lecture Notes in Computer Science
Call Number: -

Edition: 1st ed. 2018
ISBN/ISSN: 978-3-319-89884-1
Collation: -
Series Title: Lecture Notes in Computer Science
Call Number: -

Availability1

Add to basket

MARC Download Cite

Error-Correction Coding and Decoding

Comment Bookmark Share

Martin Tomlinson Cen Jung Tjhai Marcel A. Ambroze Mohammed Ahmed Mubarak Jibril

Edition: 1st ed. 2017
ISBN/ISSN: 978-3-319-51103-0
Collation: -
Series Title: Signals and Communication Technology
Call Number: -

Edition: 1st ed. 2017
ISBN/ISSN: 978-3-319-51103-0
Collation: -
Series Title: Signals and Communication Technology
Call Number: -

Availability1

Add to basket

MARC Download Cite

Advances in Discrete Differential Geometry

Comment Bookmark Share

Alexander I. Bobenko

Edition: 1st ed. 2016
ISBN/ISSN: 978-3-662-50447-5
Collation: -
Series Title: -
Call Number: -

Edition: 1st ed. 2016
ISBN/ISSN: 978-3-662-50447-5
Collation: -
Series Title: -
Call Number: -

Availability1

Add to basket

MARC Download Cite

Particle Physics Reference Library

Comment Bookmark Share

Herwig Schopper

Edition: 1st ed. 2020
ISBN/ISSN: 978-3-030-38207-0
Collation: -
Series Title: -
Call Number: -

Edition: 1st ed. 2020
ISBN/ISSN: 978-3-030-38207-0
Collation: -
Series Title: -
Call Number: -

Availability1

Add to basket

MARC Download Cite

Agency and Causal Explanation in Economics

Comment Bookmark Share

Edition: 1st ed. 2020
ISBN/ISSN: 978-3-030-26114-6
Collation: -
Series Title: Virtues and Economics
Call Number: -

Edition: 1st ed. 2020
ISBN/ISSN: 978-3-030-26114-6
Collation: -
Series Title: Virtues and Economics
Call Number: -

Availability1

Add to basket

MARC Download Cite

Junge Perspektiven der T

Comment Bookmark Share

Klaus Kreiser Raoul Motika Udo Steinbach Charlotte Joppien Ludwig Schulz

Edition: 2014
ISBN/ISSN: 978-3-658-04324-7
Collation: -
Series Title: -
Call Number: -

Edition: 2014
ISBN/ISSN: 978-3-658-04324-7
Collation: -
Series Title: -
Call Number: -

Availability1

Add to basket

MARC Download Cite

CyberParks

Comment Bookmark Share

Michiel de Lange Martijn de Waal Carlos Smaniotto Costa Ina Therese Kenna Konstantinos Ioannidis Gabriela Maksymiuk

Edition: 1st ed. 2019
ISBN/ISSN: 978-3-030-13417-4
Collation: -
Series Title: Lecture Notes in Computer Science
Call Number: -

Edition: 1st ed. 2019
ISBN/ISSN: 978-3-030-13417-4
Collation: -
Series Title: Lecture Notes in Computer Science
Call Number: -

Availability1

Add to basket

MARC Download Cite

Autonomous Control for a Reliable Internet of Services

Comment Bookmark Share

Ivan Ganchev R. D. van der Mei Hans van den Berg

Edition: 1st ed. 2018
ISBN/ISSN: 978-3-319-90415-3
Collation: -
Series Title: Lecture Notes in Computer Science
Call Number: -

Edition: 1st ed. 2018
ISBN/ISSN: 978-3-319-90415-3
Collation: -
Series Title: Lecture Notes in Computer Science
Call Number: -

Availability1

Add to basket

MARC Download Cite

Ten Crises

Comment Bookmark Share

Tiejun Wen

Edition: 1st ed. 2021
ISBN/ISSN: 978-981-16-0455-3
Collation: -
Series Title: Global University for Sustainability Book Series
Call Number: -

Edition: 1st ed. 2021
ISBN/ISSN: 978-981-16-0455-3
Collation: -
Series Title: Global University for Sustainability Book Series
Call Number: -

Availability1

Add to basket

MARC Download Cite

Introduction to Central Banking

Comment Bookmark Share

Ulrich Bindseil Alessio Fotia

Edition: 1st ed. 2021
ISBN/ISSN: 978-3-030-70884-9
Collation: -
Series Title: SpringerBriefs in Quantitative Finance
Call Number: -

Edition: 1st ed. 2021
ISBN/ISSN: 978-3-030-70884-9
Collation: -
Series Title: SpringerBriefs in Quantitative Finance
Call Number: -

Availability1

Add to basket

MARC Download Cite

First Page Previous 11 12 13 14 15 Next Last Page

Filter by