OPEN EDUCATIONAL RESOURCES

UPA PERPUSTAKAAN UNEJ | NPP. 3509212D1000001

  • Home
  • Admin
  • Select Language :
    Arabic Bengali Brazilian Portuguese English Espanol German Indonesian Japanese Malay Persian Russian Thai Turkish Urdu

Search by :

ALL Author Subject ISBN/ISSN Advanced Search

Last search:

{{tmpObj[k].text}}

Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 383 from your keywords: subject="Logic"
First Page Previous 26 27 28 29 30 Next Last Page
cover
New Employee Safety:Risk Factors and Management Strategies
Comment Share
BURT, Christopher D. B.

This reference introduces an innovative new-employee safety risk model, keyed to a typical new worker becoming acclimated to a new job and workplace. It reviews risk factors, their root causes, and how they can be addressed and minimized through targeted strategies at each stage of a worker's early months on the job. The model and its supporting findings dovetail with current thinking on employ…

Edition
1
ISBN/ISSN
978-3-319-18683-2
Collation
XI, 163
Series Title
-
Call Number
-
Availability0
Add to basket
MARC DownloadCite
cover
New Directions in Paraconsistent Logic:5th WCP, Kolkata, India, February 2014
Comment Share
BEZIAU, Jean-YvesCHAKRABORTY, MihirDUTTA, Soma

The present book discusses all aspects of paraconsistent logic, including the latest findings, and its various systems. It includes papers by leading international researchers, which address the subject in many different ways: development of abstract paraconsistent systems and new theorems about them; studies of the connections between these systems and other non-classical logics, such as non-m…

Edition
1
ISBN/ISSN
978-81-322-2717-5
Collation
XI, 552
Series Title
Springer Proceedings in Mathematics & Statistics
Call Number
-
Availability0
Add to basket
MARC DownloadCite
cover
Writing Proofs in Analysis
Comment Share
KANE, https://link.springer.com/book/10.1007/978-3-319-30967-5#bibliographic-information

This is a textbook on proof writing in the area of analysis, balancing a survey of the core concepts of mathematical proof with a tight, rigorous examination of the specific tools needed for an understanding of analysis. Instead of the standard "transition" approach to teaching proofs, wherein students are taught fundamentals of logic, given some common proof strategies such as mathematical ind…

Edition
-
ISBN/ISSN
978-3-319-30967-5
Collation
-
Series Title
-
Call Number
-
Availability0
Add to basket
MARC DownloadCite
cover
Working with Stem Cells
Comment Share
ULRICH, HenningNEGRAES, Priscilla Davidson

The content covered encompass not only the theoretic and methodological aspects for culturing human pluripotent stem cells, but also the establishment of induced pluripotent stem cells and their differentiation into specific cellular subtypes. This book has the most updated methods and technologies in an accessible and clear language, presenting protocols developed and optimized by researchers …

Edition
-
ISBN/ISSN
978-3-319-30582-0
Collation
-
Series Title
-
Call Number
-
Availability0
Add to basket
MARC DownloadCite
cover
Fetal Stem Cells in Regenerative Medicine Principles and Translational Strat…
Comment Share
FAUZA, Dario O.BANI, Mahmud

This book explores the regenerative properties of fetal stem cells, from feto-maternal cell traffic through perinatal stem cells, with a discussion of key topics including stem cell banking, drug screening, in utero stem cell transplantation and ethical considerations. The expertly authored chapters also delve into embryonic, amniotic membrane, and umbilical cord blood stem cells; fetal develop…

Edition
-
ISBN/ISSN
978-1-4939-3483-6
Collation
XIX, 453
Series Title
-
Call Number
-
Availability0
Add to basket
MARC DownloadCite
cover
Digital Logic Design Using Verilog Coding and RTL Synthesis
Comment Share
Vaibbhav Taraate

This second edition focuses on the thought process of digital design and implementation in the context of VLSI and system design. It covers the Verilog 2001 and Verilog 2005 RTL design styles, constructs and the optimization at the RTL and synthesis level. The book also covers the logic synthesis, low power, multiple clock domain design concepts and design performance improvement techniques. Th…

Edition
-
ISBN/ISSN
9789811631993
Collation
-
Series Title
-
Call Number
621.395
Availability0
Add to basket
MARC DownloadCite
cover
Recent Trends in Algebraic Development Techniques: 22nd International Worksho…
Comment Share
CODESCU, MihaiDIACONESCU, RazvanTUTU, Lonut

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Algebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia, Romania. The 8 revised papers presented were carefully reviewed and selected from 13 presentations and focus together with one invited paper on foundations of algebraic specification, approaches to formal …

Edition
-
ISBN/ISSN
978-3-319-28114-8
Collation
-
Series Title
-
Call Number
005.131
Availability0
Add to basket
MARC DownloadCite
cover
The Making of Experimental Economics
Comment Share
Andrej SvorenčíkHarro Maas

This book is the transcript of a witness seminar on the history of experimental economics, in which eleven high-profile experimental economists participated, including Nobel Laureates Vernon Smith, Reinhard Selten and Alvin Roth. The witness seminar was constructed along four different topics: skills, community, laboratory, and funding. The transcript is preceded by an introduction explaining t…

Edition
-
ISBN/ISSN
978-3-319-20952-4
Collation
VII, 245
Series Title
-
Call Number
-
Availability0
Add to basket
MARC DownloadCite
cover
An Introduction to Psychological Statistics
Comment Share
FOSTER, Garett

We are constantly bombarded by information, and finding a way to filter that information in an objective way is crucial to surviving this onslaught with your sanity intact. This is what statistics, and logic we use in it, enables us to do. Through the lens of statistics, we learn to find the signal hidden in the noise when it is there and to know when an apparent trend or pattern is really just…

Edition
-
ISBN/ISSN
-
Collation
-
Series Title
-
Call Number
510 FOS i
Availability0
Add to basket
MARC DownloadCite
cover
Meta-Analytic Structural Equation Modelling
Comment Share
JAK, Suzanne

This book explains how to employ MASEM, the combination of meta-analysis (MA) and structural equation modelling (SEM). It shows how by using MASEM, a single model can be tested to explain the relationships between a set of variables in several studies. This book gives an introduction to MASEM, with a focus on the state of the art approach: the two stage approach of Cheung and Cheung & Chan. B…

Edition
1
ISBN/ISSN
978-3-319-27172-9
Collation
VIII, 88
Series Title
SpringerBriefs in Research Synthesis and Meta-Analysis
Call Number
-
Availability0
Add to basket
MARC DownloadCite
First Page Previous 26 27 28 29 30 Next Last Page
OPEN EDUCATIONAL RESOURCES

Search

start it by typing one or more keywords for title, author or subject


Select the topic you are interested in
  • Computer Science, Information & General Works
  • Philosophy & Psychology
  • Religion
  • Social Sciences
  • Language
  • Pure Science
  • Applied Sciences
  • Art & Recreation
  • Literature
  • History & Geography
Icons made by Freepik from www.flaticon.com
Advanced Search
Where do you want to share?