Fermilab Fermilab Core Computing Division

Library Home |  Ask a Librarian library@fnal.gov |  Book Catalog |  Library Journals |  Requests |  SPIRES |  Fermilab Documents |

Fermilab Library
SPIRES-BOOKS: FIND KEYWORD LOGIC *END*INIT* use /tmp/qspiwww.webspi1/8893.17 QRY 131.225.70.96 . find keyword logic ( in books using www Cover
Image
Call number:9780750672917:ONLINE Show nearby items on shelf
Title:Reference data for engineers: radio, electronics, computer, and communications.
Author(s): M. E. Van Valkenburg (ed.)
Wendy Middleton (ed.)
Date:2002
Edition:9th ed.
Publisher:ScienceDirect
Size:1 online resource
Contents:Radio frequency spectrum management and time frequency standards -- International telephony recommendations -- Units, constants, and conversion factors -- Properties of materials -- Components or parts -- Fundamentals of networks -- Fourier waveform analysis -- Filters, simple bandpass design -- Filters, modern-network-theory design -- Active filter design -- Attenuators -- Measurements and analysis -- Magnetic-core transformers and reactors -- Power electronics -- rectifiers, filters, and power sup plies -- Feedback control systems -- Electron tubes -- Power grid-tube circuits -- Semiconductors and transistors -- Transistor circuits -- Integrated circuits -- Optoelectronics -- Optical communications -- Analog communications -- Digital communications -- Information theory and coding -- Computer communications networks -- Satellite and space communications -- Discrete-time signal processing -- Transmission lines -- Waveguides and resonators -- Scattering matrices -- Antennas -- Electromagnetic-wave pr opagation -- Radio noise and interference -- Broadcasting, cable television, and recording system standards -- Radar -- Radio navigation systems -- Common carrier transmission -- Switching networks and traffic concepts -- Electroacoustics -- Lasers -- Com puter organization and programming -- Logic design -- Probability and statistics -- Reliability and life testing -- Cellular telecommunications systems -- Mathematical equations -- Mathematical tables -- Miscellaneous data.
ISBN:9780750672917
Series:eBooks
Series:ScienceDirect
Keywords: Electronics. , Computer engineering. , Telecommunication.
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:1848219857:ONLINE Show nearby items on shelf
Title:Digital Electronics: Sequential and Arithmetic Logic Circuits
Author(s): Tertulien
Date:2016
Publisher:Wiley-ISTE
Size:1 online resource (329 p.)
ISBN:9781848219854
Series:eBooks
Series:Wiley Online Library
Series:Wiley 2016 package purchase
Keywords: Energy
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:1848219849:ONLINE Show nearby items on shelf
Title:Digital Electronics V1: Combinational Logic Circuits
Author(s): Tertulien
Date:2016
Publisher:Wiley-ISTE
Size:1 online resource (277 p.)
ISBN:9781848219847
Series:eBooks
Series:Wiley Online Library
Series:Wiley 2016 package purchase
Keywords: Energy
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:1848213018:ONLINE Show nearby items on shelf
Title:Logic for Computer Science and Artificial Intelligence
Author(s): Caferra
Date:2011
Publisher:Wiley-ISTE
Size:1 online resource (524 p.)
ISBN:9781848213012
Series:eBooks
Series:Wiley Online Library
Series:Wiley 2016 package purchase
Keywords: Electrical & Electronics Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:1848212976:ONLINE Show nearby items on shelf
Title:Managerial Logic
Author(s): Raynaud
Date:2011
Publisher:Wiley-ISTE
Size:1 online resource (411 p.)
ISBN:9781848212978
Series:eBooks
Series:Wiley Online Library
Series:Wiley 2016 package purchase
Keywords: Mathematics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:1118949242:ONLINE Show nearby items on shelf
Title:Programmable Logic Controllers - A Practical Approach using CoDeSys
Author(s): Hanssen
Date:2015
Size:1 online resource (417 p.)
ISBN:9781118949245
Series:eBooks
Series:Wiley Online Library
Series:Wiley 2016 package purchase
Keywords: Electrical & Electronics Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:1118337840:ONLINE Show nearby items on shelf
Title:Computational Intelligence - Synergies of Fuzzy Logic, Neural Networks and Evolutionary Computing
Author(s): Siddique
Date:2013
Publisher:Wiley
Size:1 online resource (533 p.)
ISBN:9781118337844
Series:eBooks
Series:Wiley Online Library
Series:Wiley 2016 package purchase
Keywords: Mechanical Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:1118278399:ONLINE Show nearby items on shelf
Title:Introduction to Type-2 Fuzzy Logic Control: Theory and Applications
Author(s): Mendel
Date:2014
Publisher:Wiley-IEEE Press
Size:1 online resource (377 p.)
ISBN:9781118278390
Series:eBooks
Series:Wiley Online Library
Series:Wiley 2016 package purchase
Keywords: Electrical & Electronics Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:0780360117:ONLINE Show nearby items on shelf
Title:Nonlinear Biomedical Signal Processing, Volume I: Fuzzy Logic, Neural Networks, and New Algorithms
Author(s): Akay
Date:2000
Publisher:Wiley-IEEE Press
Size:1 online resource (277 p.)
ISBN:9780780360112
Series:eBooks
Series:Wiley Online Library
Series:Wiley 2016 package purchase
Keywords: Electrical & Electronics Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:0471731889:ONLINE Show nearby items on shelf
Title:Spectral Logic and Its Applications for Design of Digital Devices
Author(s): Karpovsky
Date:2008
Publisher:Wiley-Interscience
Size:1 online resource (599 p.)
ISBN:9780471731887
Series:eBooks
Series:Wiley Online Library
Series:Wiley 2016 package purchase
Keywords: Computer Science
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:0471727849:ONLINE Show nearby items on shelf
Title:Fundamentals of Digital Logic & Microcomputer Design, Fifth Edition
Author(s): Rafiquzzaman
Date:2005
Publisher:Wiley-Interscience
Size:1 online resource (841 p.)
ISBN:9780471727842
Series:eBooks
Series:Wiley Online Library
Series:Wiley 2016 package purchase
Keywords: Electrical & Electronics Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:0471684783:ONLINE Show nearby items on shelf
Title:Logically Determined Design: Clockless System Design with NULL Convention Logic
Author(s): Fant
Date:2005
Publisher:Wiley-Interscience
Size:1 online resource (251 p.)
ISBN:9780471684787
Series:eBooks
Series:Wiley Online Library
Series:Wiley 2016 package purchase
Keywords: Electrical & Electronics Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:0471469459:ONLINE Show nearby items on shelf
Title:Arithmetic and Logic in Computer Systems, Online Version
Author(s): Lu
Date:2004
Publisher:Wiley-Interscience
Size:1 online resource (247 p.)
ISBN:9780471469452
Series:eBooks
Series:Wiley Online Library
Series:Wiley 2016 package purchase
Keywords: Computer Science
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:0471439959:ONLINE Show nearby items on shelf
Title:Digital Logic Test and Simulation, Second Edition
Author(s): Miczo
Date:2003
Publisher:Wiley-Interscience
Size:1 online resource (697 p.)
ISBN:9780471439950
Series:eBooks
Series:Wiley Online Library
Series:Wiley 2016 package purchase
Keywords: Electrical & Electronics Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:0471429767:ONLINE Show nearby items on shelf
Title:Verilog Coding for Logic Synthesis
Author(s): Lee
Date:2003
Publisher:Wiley-Interscience
Size:1 online resource (310 p.)
ISBN:9780471429760
Series:eBooks
Series:Wiley Online Library
Series:Wiley 2016 package purchase
Keywords: Electrical & Electronics Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:047137122X:ONLINE Show nearby items on shelf
Title:Learning to Reason: An Introduction to Logic, Sets and Relations
Author(s): Rodgers
Date:2000
Publisher:Wiley-Interscience
Size:1 online resource (455 p.)
ISBN:9780471371229
Series:eBooks
Series:Wiley Online Library
Series:Wiley 2016 package purchase
Keywords: Mathematics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:0471060267:ONLINE Show nearby items on shelf
Title:Logic of Mathematics
Author(s): Adamowicz
Date:1997
Publisher:Wiley-Interscience
Size:1 online resource (273 p.)
ISBN:9780471060260
Series:eBooks
Series:Wiley Online Library
Series:Wiley 2016 package purchase
Keywords: Mathematics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:0470867337:ONLINE Show nearby items on shelf
Title:Cost Optimization of Structures - Fuzzy Logic, Genetic Algorithms and Parallel Computing
Author(s): Adeli
Date:2006
Publisher:Wiley
Size:1 online resource (223 p.)
ISBN:9780470867334
Series:eBooks
Series:Wiley Online Library
Series:Wiley 2016 package purchase
Keywords: Civil Engineering & Construction
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:047074376X:ONLINE Show nearby items on shelf
Title:Fuzzy Logic with Engineering Applications 3e
Author(s): Ross
Date:2010
Publisher:Wiley
Size:1 online resource (607 p.)
ISBN:9780470743768
Series:eBooks
Series:Wiley Online Library
Series:Wiley 2016 package purchase
Keywords: Electrical & Electronics Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:0470688475:ONLINE Show nearby items on shelf
Title:VHDL for Logic Synthesis - 3e
Author(s): Rushton
Date:2011
Publisher:Wiley
Size:1 online resource (485 p.)
ISBN:9780470688472
Series:eBooks
Series:Wiley Online Library
Series:Wiley 2016 package purchase
Keywords: Electrical & Electronics Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:0470280743:ONLINE Show nearby items on shelf
Title:Mathematical Logic
Author(s): Tourlakis
Date:2008
Publisher:Wiley-Interscience
Size:1 online resource (321 p.)
ISBN:9780470280744
Series:eBooks
Series:Wiley Online Library
Series:Wiley 2016 package purchase
Keywords: Mathematics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:0470027886:ONLINE Show nearby items on shelf
Title:An Introduction to Practical Formal Methods Using Temporal Logic
Author(s): Fisher
Date:2011
Publisher:Wiley
Size:1 online resource (361 p.)
ISBN:9780470027882
Series:eBooks
Series:Wiley Online Library
Series:Wiley 2016 package purchase
Keywords: Electrical & Electronics Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover Image
Call number:TK7888.3.M345 Show nearby items on shelf
Title:Digital logic and computer design
Author(s): M.Morris Mano 1927-
Date:1979
Publisher:Prentice-Hall, Englewood Cliffs, N.J
Size:612
ISBN:0132145103
Keywords: Electronic digital computers.
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
Location: MAIN

Cover
Image
Call number:TK7885.7.R87::2011 Show nearby items on shelf
Title:VHDL for logic synthesis
Author(s): Andrew Rushton
Date:2011
Edition:3rd ed.
Publisher:Chichester, West Sussex, U.K. : Wiley
Size:466 p.
Contents:1.1. The VHDL Design Cycle -- 1.2. The Origins of VHDL -- 1.3. The Standardisation Process -- 1.4. Unification of VHDL Standards -- 1.5. Portability -- 2. Register-Transfer Level Design -- 2.1. The RTL Design Stages -- 2.2. Example Circuit -- 2.3. Identify the Data Operations -- 2.4. Determine the Data Precision -- 2.5. Choose Resources to Provide -- 2.6. Allocate Operations to Resources -- 2.7. Design the Controller -- 2.8. Design the Reset Mechanism -- 2.9. VHDL Description of the RTL Design -- 2.10. Synthesis
3.10.Worked Example -- 4. Basic Types -- 4.1. Synthesisable Types -- 4.2. Standard Types -- 4.3. Standard Operators -- 4.4. Type Bit -- 4.5. Type Boolean -- 4.6. Integer Types -- 4.7. Enumeration Types -- 4.8. Multi-Valued Logic Types -- 4.9. Records -- 4.10. Arrays -- 4.11. Aggregates, Strings and Bit-Strings -- 4.12. Attributes -- 4.13. More on Selected Signal Assignments -- 5. Operators -- 5.1. The Standard Operators -- 5.2. Operator
6.10. Top-Level Interface -- 7.Std_Logic_Arith -- 7.1. The Std_Logic_Arith Package -- 7.2. Contents of Std_Logic_Arith -- 7.3.Type Conversions -- 7.4. Constant Values -- 7.5. Mixing Types in Expressions -- 8. Sequential VHDL -- 8.1. Processes -- 8.2. Signal Assignments -- 8.3. Variables -- 8.4. If Statements -- 8.5. Case Statements -- 8.6. Latch Inference -- 8.7. Loops -- 8.8. Worked Example -- 9. Registers -- 9.1. Basic D-Type Register -- 9.2
ISBN:9780470688472
Keywords: VHDL (Computer hardware description language) , Logic design Data processing. , Computer-aided design. , Computers / Computer Engineering
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Location: MAIN

Cover
Image
Call number:TK7874.65.W34::2006 Show nearby items on shelf
Title:Digital design : principles and practices
Author(s): John F. Wakerly
Date:2006
Edition:4th ed.
Publisher:Upper Saddle River, N.J. : Pearson/Prentice Hall
Size:895 p
Contents:Introduction -- Number systems and codes -- Digital circuits -- Combinational logic design principles -- Hardware description languages -- Combinational logic design practices -- Sequential logic design principles -- Sequential logic design practice s -- Memory CPLDS AND FPGAS.
ISBN:9780131863897
Keywords: Digital integrated circuits : design and construction
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Location: MAIN

Cover Image
Call number:TK7874.H532::2001 Show nearby items on shelf
Title:High-speed integrated circuit technology : towards 100 GHz logic
Author(s): Mark J.W. Rodwell
Date:2001
Publisher:World Scientific, Singapore
Size:362
ISBN:9810246382
Series:Selected topics in electronics and systems : vol. 21
Keywords: Integrated circuits.
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
Location: MAIN

Call number:TK7872.T73H87 Show nearby items on shelf
Title:Transistor logic circuits.
Author(s): Richard B. Hurley
Date:1961
Publisher:J. Wiley, New York
Size:363
Keywords: Switching theory.
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
Location: MAIN

Cover Image
Call number:TK7872.L64S43::1997 Show nearby items on shelf
Title:Programmable logic : PLDs and FPGAs
Author(s): Richard C. Seals
G.F. Whapshott
Date:1997
Publisher:McGraw-Hill, New York
Size:300
ISBN:0070572607
Keywords: Programmable logic devices.
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
Location: MAIN

Cover Image
Call number:TK7872.L64P44::1990 Show nearby items on shelf
Title:Practical design using programmable logic
Author(s): David Pellerin
Michael Holley
Date:1991
Publisher:Prentice Hall, Englewood Cliffs, N.J
Size:385
ISBN:0137238347
Keywords: Programmable logic devices.
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
Location: MAIN

Cover Image
Call number:TK7868.L6M949 Show nearby items on shelf
Title:Logic design and switching theory
Author(s): Saburo Muroga
Date:1979
Publisher:Wiley, New York
Size:617
ISBN:0471044180
Keywords: Logic circuits.
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
Location: MAIN

Cover Image
Call number:TK7868.L6L36 Show nearby items on shelf
Title:TTL cookbook, by Don Lancaster.
Author(s): Don Lancaster
Date:1974
Edition:[1st ed.]
Publisher:H. W. Sams, Indianapolis
Size:335
ISBN:0672210355
Keywords: Transistor-transistor logic circuits.
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
Location: MAIN

Cover Image
Call number:TK7868.D5T48 Show nearby items on shelf
Title:Designing with TTL integrated circuits. Prepared by the IC Applications Staff of Texas Instruments Incorporated. Contributors: W. D. Anderson [and others] Edited by Robert L. Morris and John R. Miller.
Author(s): Texas Instruments Incorporated IC Applications Staff.
William D. Anderson
Date:1971
Publisher:McGraw-Hill, New York
Size:322
ISBN:0070637458
Series:Texas Instruments electronics series 94-05
Keywords: Transistor-transistor logic circuits.
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
Location: MAIN

Cover Image
Call number:TK7868.D5L547 Show nearby items on shelf
Title:Handbook of logic circuits
Author(s): John D. Lenk
Date:1972
Publisher:Reston Pub. Co, Reston, Va
Size:307
ISBN:0879093323
Keywords: Digital electronics.
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
Location: MAIN

Cover Image This book is only available through interlibrary loan. (email library@fnal.gov if you would like this title added to the Library collection.)
Call number:TJ223.P76F54::1992 Show nearby items on shelf
Title:Programmable controllers & designing sequential logic
Author(s): Robert Filer
George Leinonen
Date:1992
Publisher:Saunders College Pub, Ft. Worth
Size:303
ISBN:0030323223
Series:The Saunders College Publishing series in electronics technology 95-7
Keywords: Programmable controllers.
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
Location: ILL

Cover
Image
Call number:TJ223.P76B65::2006 Show nearby items on shelf
Title:Programmable logic controllers
Author(s): William Bolton
Date:2006
Publisher:Newnes
Note:4th edition
ISBN:9780750681124
Keywords: Programmable controllers , Logic circuits , Programmable logic devices
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Location: MAIN

Cover Image
Call number:TJ223.P76B65::2003 Show nearby items on shelf
Title:Programmable logic controllers: an introduction
Author(s): William Bolton
Date:2003
ISBN:0750659866
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
Location: MAIN

Cover Image
Call number:TA347.L5S97 Show nearby items on shelf
Title:An engineering approach to linear algebra
Author(s): Walter Warwick Sawyer 1911
Date:1972
Publisher:University Press, Cambridge [Eng
Size:304
Contents:1. Mathematics and Engineers, 2. Mappings, 3. The Nature of the Generalization, 4. Symbolic Conditions for Linearity, 5. Graphical Representation, 6. Vectors in a Plane, 7. Bases, 8. Calculations in a Vector Space, 9. Change of Axes, 10. Specification of a Linear Mapping, 11. Transformations, 12. choice of Basis, 13. Complex Numbers, 14. Calculations with Complex Numbers, 15. complex Numbers and Trigonometry, 16 Trigonometry and Exponentials, 17. complex Numbers and Convergence, 18. Complex Numbers: Terminology, 19. The Logic of Complex Numbers, 20. The Algebra of Transformations, 21. Subtraction of Transformations, 22. Matrix Notation, 23. An Application of Matrix Multiplication, 24. An Application of Linearity, 25. Procedure for Finding Invariant Lines, Eigenvectors and Eigenvalues, 26. Determinant and Inverse, 27. Properties of Determinants, 28. Matrices Other than Square: Partitions, 29. Subscript and Summation Notation, 30. row and Column Vectors, 31. Affine and Euclidean Geometry, 32. Scalar Products, 33. Transpose: Quadratic Forms, 34. Maxiumum and Minimum Principles, 35. Formal Laws of Matrix Algebra, 36. Orthogonal Transformations, 37. Finding the Simplest Expressions for Quadratic Forms, 38. Principal Axes and Eigenvectors, 39. Lines, Planes and Subspaces: Vector Product, 40. Systems of Linear Equations, 41. Null Space, Column Space, Row Space of a Matrix, 42. Illustrating the Importance of Orthogonal Matrices, 43. Linear Programming, 44. Linear Programming continued
ISBN:0521084768
Keywords: Algebras, Linear.
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
Location: MAIN

Cover
Image
Call number:SPRINGER-2016-9789462392045:ONLINE Show nearby items on shelf
Title:Type Systems for Distributed Programs: Components and Sessions
Author(s): Ornela Dardha
Date:2016
Size:1 online resource (4 p.)
Note:10.2991/978-94-6239-204-5
Contents:1.Background on Components -- 2. A Type System for Components -- 3. Properties of the Type System -- 4.Background on π- Types -- 5. Background on Session Types -- 6. Session Types Revisited -- 7. Subtyping -- 8. Polymorphism -- 9.Higher-Order Comm unication -- 10.Recursion -- 11.From π- Types to Session Types -- 12. Background on π- types for Lock Freedom -- 13 Background on Session Types for Progress -- 14 Progress as Compositional Lock Freedom.
ISBN:9789462392045
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Atlantis Studies in Computing: 7
Keywords: Computer science , Mathematical logic , Computer Science , Mathematical Logic and Formal Languages
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2016-9789400768925:ONLINE Show nearby items on shelf
Title:Handbook of Spintronics
Author(s):
Date:2016
Edition:1st ed. 2016
Size:1 online resource (598 p.)
Note:10.1007/978-94-007-6892-5
Contents:Vol. 1 - Physical Principles (Lead Editor: D. Awschalom).- 1.1 Spin Fundamentals -- 1.2 Spin transport at nanoscale -- 1.3 Spin injection and detection -- 1.4 Spin generation and coherence -- 1.5 Spin reversal and spin dynamics.- Vol.
2 - Materials (Lead Editor: Y. Xu).- 2.1 Metallic thin films and recording media -- 2.2 Magnetic tunneling structures -- 2.3 Hybrid materials -- 2.4 Magnetic semiconductors -- 2.5 Patterned and self-assembled materials.- Vol 3 -
Devices and Applications (Lead Editor: J. Nitta).- 3.1 Spin valves and GMR heads -- 3.2 MagRAM -- 3.3 Spin transistors and spin logic devices -- 3.4 Spin torque devices -- 3.5 Spin quantum computing
ISBN:9789400768925
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Quantum computers , Spintronics , Electronics , Microelectronics , Optical materials , Electronic materials , Physics , Quantum Information Technology, Spintronics , Optical and Electronic Materials , Electronics and Microelectronics, Instrumentation
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2016-9783319397566:ONLINE Show nearby items on shelf
Title:Uncertainty The Soul of Modeling, Probability & Statistics
Author(s): William Briggs
Date:2016
Size:1 online resource (258 p.)
Note:10.1007/978-3-319-39756-6
Contents:Truth, Argument, Realism -- Logic -- Induction and Intellection -- What Probability Is -- What Probability Is Not -- Chance and Randomness -- Causality -- Probability Models -- Statistical and Physical Models -- Modelling Goals, Strategies, and Mis takes
ISBN:9783319397566
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Statistics , Epistemology , Logic , Mathematics , Probabilities , Statistics , Statistical Theory and Methods , Probability Theory and Stochastic Processes , Philosophy of Mathematics , Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Scien , Epistemology , Logic
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2016-9783319387987:ONLINE Show nearby items on shelf
Title:The Congruences of a Finite Lattice A Proof-by-Picture Approach
Author(s): George Grätzer
Date:2016
Edition:2nd ed. 2016
Size:1 online resource (346 p.)
Note:10.1007/978-3-319-38798-7
ISBN:9783319387987
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Algebra , Ordered algebraic structures , Mathematical logic , Number theory , Probabilities , Mathematics , Order, Lattices, Ordered Algebraic Structures , Mathematical Logic and Foundations , Probability Theory and Stochastic Processes , Number Theory
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2016-9783319318035:ONLINE Show nearby items on shelf
Title:Dependence Logic Theory and Applications
Author(s):
Date:2016
Size:1 online resource (276 p.)
Note:10.1007/978-3-319-31803-5
Contents:Introduction -- Durand, Kontinen, Vollmer, Expressivity and Complexity of Dependence Logic -- Väänänen, Grelling on Dependence -- Galliani, On Strongly First-Order Dependencies -- Grädel, Games for Inclusion Logic and Fixed-Point Logic -- Hodge s, Remarks on Compositionality -- Hirvonen, Independence in Model Theory -- Ciardelli, Dependency as Question Entailment -- Link, Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data -- Nyman, Pensar, Corander, Context-Specific and Local Independence in Markovian Dependence Structures -- Pacuit, Fang, Dependence and Independence in Social Choice: Arrow's Theorem -- Blass, Introduction to Secret-Sharing
ISBN:9783319318035
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Logic , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Mathematical Logic and Formal Languages , Logic
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2016-9783319309675:ONLINE Show nearby items on shelf
Title:Writing Proofs in Analysis
Author(s): Jonathan M Kane
Date:2016
Size:1 online resource (4 p.)
Note:10.1007/978-3-319-30967-5
Contents:What Are Proofs, And Why Do We Write Them? -- The Basics of Proofs -- Limits -- Continuity -- Derivatives -- Riemann Integrals -- Infinite Series -- Sequences of Functions -- Topology of the Real Line -- Metric Spaces
ISBN:9783319309675
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Fourier analysis , Functional analysis , Mathematical logic , Mathematics , Functional Analysis , Fourier Analysis , Mathematical Logic and Foundations
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2016-9783319297880:ONLINE Show nearby items on shelf
Title:Ordered Sets An Introduction with Connections from Combinatorics to Topology
Author(s): Bernd Schröder
Date:2016
Edition:2nd ed. 2016
Size:1 online resource (10 p.)
Note:10.1007/978-3-319-29788-0
Contents:Preface -- Basics -- Chains, Antichains, and Fences -- Upper and Lower Bounds -- Retractions -- Constraint Satisfaction Problems -- Graphs and Homomorphisms -- Lexicographic Sums -- Lattices -- Truncated Lattices -- Dimension -- Interval Orders -- Sets P^Q = Hom (Q, P) and Products -- Enumeration of Ordered Sets -- Appendix A: Some Algebraic Topology -- Appendix B: Some Discrete Morse Theory -- References -- Index
ISBN:9783319297880
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Algebra , Ordered algebraic structures , Mathematical logic , Algebraic topology , Combinatorics , Mathematics , Mathematical Logic and Foundations , Order, Lattices, Ordered Algebraic Structures , Combinatorics , Algebraic Topology
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2016-9783319291987:ONLINE Show nearby items on shelf
Title:Advances in Proof Theory
Author(s):
Date:2016
Size:1 online resource (425 p.)
Note:10.1007/978-3-319-29198-7
ISBN:9783319291987
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Progress in Computer Science and Applied Logic: 28
Keywords: Mathematics , Logic , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Logic
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2016-9783319274959:ONLINE Show nearby items on shelf
Title:Trick or Truth? The Mysterious Connection Between Physics and Mathematics
Author(s):
Date:2016
Edition:1st ed. 2016
Size:1 online resource (8 p.)
Note:10.1007/978-3-319-27495-9
Contents:Introduction -- Children of the cosmos (S. Wenmackers) -- Mathematics is Physics (M. S. Leifer) -- My god, it's full of clones: Living in a mathematical universe (M. Séguin) -- Let's consider two spherical chickens (T. Bolognesi) --
The raven and the writing desk (I. Durham) -- The deeper roles of mathematics in physical laws (K. H. Knuth) -- How mathematics meets the world (T. Maudlin) -- Mathematics: intuition's consistency check (K. Wharton) -- How not to
factor a miracle (D. K. Wise) -- The language of nature (D. Garfinkle) -- Demystifying the applicability of mathematics (N. Fillion) -- Why mathematics works so well (N. S. Yanofsky) -- Genesis of a pythagorean universe (A. Burov) --
Beyond math (S. Magnusdottir) -- The descent of math (S. I. Walker) -- The ultimate tactics of self-referential systems (C. C. Dantas) -- Cognitive science and the connection between physics and mathematics (A. Gupta Mujumdar) -- A
metaphorical chart of our mathematical ontology (P. Gibbs).-And the math will set you free (C. Stoica) -- Appendix: List of winners
ISBN:9783319274959
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Philosophy and science , Mathematical physics , Mathematical logic , Physics , History and Philosophical Foundations of Physics , Philosophy of Science , Mathematical Applications in the Physical Sciences , Mathematical Logic and Foundations
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2016-9783319247564:ONLINE Show nearby items on shelf
Title:Modern Logic 1850-1950, East and West
Author(s):
Date:2016
Size:1 online resource (4 p.)
Note:10.1007/978-3-319-24756-4
Contents:Contributors -- Introduction -- Irving H. Anellis: Preface and Prospectus -- Irving H. Anellis and Francine F. Abeles: The Historical Sources of Tree Graphs and the Tree Method in the Work of Peirce and Gentzen -- Jean Paul Van Bendegem: Logic and A rgumentation in Belgium: The Role of Leo Apostel -- Philippe de Rouilhan: Tarski’s Recantation: Reading the Postscript to “Wahrheitsbegriff” -- Jan Woleński: The Paradox of Analyticity and Related Issues -- David DeVidi and Herbert Korté: Naturali zing Natural Deduction -- Alberto Peruzzi: Category Theory and the Search for Universals: A Very Short Guide for Philosophers -- Roman Murawski: On the Way to Modern Logic – The Case of Polish Logic -- Valentin A. Bazhanov: Russian Origins of Non-Classi cal Logics -- Vladik Kreinovich: Constructive Mathematics in St. Petersburg, Russia: A (Somewhat Subjective) View from Within -- Jonathan P. Seldin: On Normalizing Disjunctive Intermediate Logic -- R.E. Hodel: A Natural Axiom System for Boolean
Algebras with Applications.
ISBN:9783319247564
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Logic , History , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Logic , History of Mathematical Sciences
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2016-9783319226866:ONLINE Show nearby items on shelf
Title:Advances in Proof-Theoretic Semantics
Author(s):
Date:2016
Edition:1st ed. 2016
Size:1 online resource (283 p.)
Note:10.1007/978-3-319-22686-6
Contents:Chapter 1. Introduction Thomas Piecha & Peter-Schroeder-Heister -- Chapter 2. On Brouwer-Heyting-Kolmogorov provability semantics Sergei N. Artëmov -- Chapter 3. Two Ways of General Proof Theory Kosta Došen -- Chapter 4. Generalised elimination ru les Roy Dyckhoff -- Chapter 5. On the proof theoretic foundations of set theory Lars Hallnäs -- Chapter 6. The choice of semantics as a methodological question Wilfrid Hodges -- Chapter 7. The mode of presentation Reinhard Kahle -- Chapter 8. Remarks on relations between Gentzen and Heyting inspired PTS Dag Prawitz -- Chapter 9. Unification of logics by reflection Giovanni Sambin -- Chapter 10. BHK and Brouwer's Theory of the Creative Subject Göran Sundholm -- Chapter 11. Compositional semantics for pre dicate logic: Eliminating bound variables from formulas and deductions William W. Tait -- Chapter 12. Intuitionism, the Paradox of Knowability and Empirical Negation Gabriele Usberti -- Chapter 13. Explicit composition and its application in
normalization proofs Jan von Plato -- Chapter 14. A two-sorted typed lambda-calculus Heinrich Wansing -- Chapter 15. Kreisel's second clause and the Theory of Constructions Walter Dean & Hidenori Kurokawa -- Chapter 16. On Paradoxes in Proof-Theoret ic Semantics Yoshihiro Maruyama
ISBN:9783319226866
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Trends in Logic, Studia Logica Library: 43
Keywords: Philosophy , Logic , Mathematical logic , Philosophy , Logic , Mathematical Logic and Foundations , Mathematical Logic and Formal Languages
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2016-9783319225579:ONLINE Show nearby items on shelf
Title:Toward Predicate Approaches to Modality
Author(s): Johannes Stern
Date:2016
Edition:1st ed. 2016
Size:1 online resource (190 p.)
Note:10.1007/978-3-319-22557-9
Contents:Chapter 1. Introduction -- Chapter 2. Modality and Logic -- Chapter 3. Consistencies and Inconsistencies in Modal Logic -- Chapter 4. Modality and Axiomatic Theories of Truth -- Chapter 5. Conclusion
ISBN:9783319225579
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Trends in Logic, Studia Logica Library: 44
Keywords: Philosophy , Epistemology , Logic , Metaphysics , Philosophy , Logic , Metaphysics , Epistemology
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2014-9789462390249:ONLINE Show nearby items on shelf
Title:Recent Progress in General Topology III [electronic resource]
Author(s): K.P Hart
J van Mill
P Simon
Date:2014
Publisher:Paris : Atlantis Press : Imprint: Atlantis Press
Size:1 online resource
Note:The book presents surveys describing recent developments in most of the primary subfields of General Topology, and its applications to Algebra and Analysis during the last decade, following the previous editions (North Holland,1992 and 2002). The boo k was prepared in connection with the Prague Topological Symposium, held in 2011. During the last 10 years the focus in General Topology changed and therefore the selection of topics differs from that chosen in2002. The following areas experienced signifi cant developments: Fractals, Coarse Geometry/Topology, Dimension Theory, Set Theoretic Topology and Dynamical Systems
Contents:Topological Homogeneity
Some Recent Progress Concerning Topology of Fractals
A biased view of topology as a tool in functional analysis
Large scale versus small scale
Descriptive aspects of Rosenthal compacta
Minimality conditions in topological groups
Set
Theoretic update on Topology
Topics in Dimension Theory
Representations of dynamical systems on Banach spaces
Generalized metrizable spaces
Permanence in Coarse Geometry
Selections and Hyperspaces
Continuum Theory
Almost disjoint families and topology
Some Topics in Geometric Topology II
Topologic
ISBN:9789462390249
Series:eBooks
Series:SpringerLink
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Topological Groups , Functional analysis , Logic, Symbolic and mathematical , Topology
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Return to the Fermilab Library catalog