Universitas Islam Negeri Maulana Malik Ibrahim Malang

Found 2349 from your keywords: subject="CS"

Sort by

First Page Previous 76 77 78 79 80 Next Last Page

Flexitranstore

Comment Bookmark Share

Lambros Ekonomou

Edition: 1st ed. 2020
ISBN/ISSN: 978-3-030-37818-9
Collation: -
Series Title: Lecture Notes in Electrical Engineering
Call Number: -

Edition: 1st ed. 2020
ISBN/ISSN: 978-3-030-37818-9
Collation: -
Series Title: Lecture Notes in Electrical Engineering
Call Number: -

Availability1

Add to basket

MARC Download Cite

A Journey of Embedded and Cyber-Physical Systems

Comment Bookmark Share

Jian-Jia Chen

Edition: 1st ed. 2021
ISBN/ISSN: 978-3-030-47487-4
Collation: -
Series Title: -
Call Number: -

Edition: 1st ed. 2021
ISBN/ISSN: 978-3-030-47487-4
Collation: -
Series Title: -
Call Number: -

Availability1

Add to basket

MARC Download Cite

Earth Observation Open Science and Innovation

Comment Bookmark Share

Pierre-Philippe Mathieu Christoph Aubrecht

Edition: 1st ed. 2018
ISBN/ISSN: 978-3-319-65633-5
Collation: -
Series Title: ISSI Scientific Report Series
Call Number: -

Edition: 1st ed. 2018
ISBN/ISSN: 978-3-319-65633-5
Collation: -
Series Title: ISSI Scientific Report Series
Call Number: -

Availability1

Add to basket

MARC Download Cite

Tools and Algorithms for the Construction and Analysis of Systems

Comment Bookmark Share

Dirk Beyer Marieke Huisman

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

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

Availability1

Add to basket

MARC Download Cite

Foundations of Software Science and Computation Structures

Comment Bookmark Share

Christel Baier Ugo Dal Lago

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

Edition: 1st ed. 2018
ISBN/ISSN: 978-3-319-89366-2
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

Dirk Beyer Marieke Huisman

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

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

Availability1

Add to basket

MARC Download Cite

Computer Aided Verification

Comment Bookmark Share

Hana Chockler Georg Weissenbacher

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

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

Availability1

Add to basket

MARC Download Cite

Computer Aided Verification

Comment Bookmark Share

Hana Chockler Georg Weissenbacher

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

Edition: 1st ed. 2018
ISBN/ISSN: 978-3-319-96142-2
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

Lijun Zhang

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

Edition: 1st ed. 2019
ISBN/ISSN: 978-3-030-17465-1
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

Lijun Zhang

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

Edition: 1st ed. 2019
ISBN/ISSN: 978-3-030-17462-0
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

Dirk Beyer Marieke Huisman Fabrice Kordon Bernhard Steffen

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

Edition: 1st ed. 2019
ISBN/ISSN: 978-3-030-17502-3
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-25543-5
Collation: -
Series Title: Lecture Notes in Computer Science
Call Number: -

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

Availability1

Add to basket

MARC Download Cite

Programming Languages and Systems

Comment Bookmark Share

Nobuko Yoshida

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

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

Availability1

Add to basket

MARC Download Cite

Automated Deduction

Comment Bookmark Share

Geoff Sutcliffe

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

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

Availability1

Add to basket

MARC Download Cite

Computer Aided Verification

Comment Bookmark Share

Alexandra Silva K. Rustan M. Leino

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

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

Availability1

Add to basket

MARC Download Cite

Computer Aided Verification

Comment Bookmark Share

Alexandra Silva K. Rustan M. Leino

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

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

Availability1

Add to basket

MARC Download Cite

Foundations of Software Science and Computation Structures

Comment Bookmark Share

Miko?aj Boja?czyk Alex Simpson

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

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

Availability1

Add to basket

MARC Download Cite

Tobacco Control Policy in the Netherlands

Comment Bookmark Share

Marc C. Willemsen

Edition: 1st ed. 2018
ISBN/ISSN: 978-3-319-72368-6
Collation: -
Series Title: Palgrave Studies in Public Health Policy Research
Call Number: -

Edition: 1st ed. 2018
ISBN/ISSN: 978-3-319-72368-6
Collation: -
Series Title: Palgrave Studies in Public Health Policy Research
Call Number: -

Availability1

Add to basket

MARC Download Cite

Perceptions of the Independence of Judges in Europe

Comment Bookmark Share

Frans van Dijk

Edition: 1st ed. 2021
ISBN/ISSN: 978-3-030-63143-7
Collation: -
Series Title: -
Call Number: -

Edition: 1st ed. 2021
ISBN/ISSN: 978-3-030-63143-7
Collation: -
Series Title: -
Call Number: -

Availability1

Add to basket

MARC Download Cite

Cultural Governance

Comment Bookmark Share

Annette Zimmer Birgit Mandel

Edition: 1. Aufl. 2021
ISBN/ISSN: 978-3-658-32159-8
Collation: -
Series Title: -
Call Number: -

Edition: 1. Aufl. 2021
ISBN/ISSN: 978-3-658-32159-8
Collation: -
Series Title: -
Call Number: -

Availability1

Add to basket

MARC Download Cite

First Page Previous 76 77 78 79 80 Next Last Page

Filter by