A to Z List of Ebooks

Title Author ISBN Publisher Subject Vol/Edition Year
Twin Buildings and Applications to S-Arithmetic Groups

Peter Abramenko

9783540495703

Springer

Mathematics

1641

1996

Twin-Win Research

Ben Shneiderman

9783031025105

Synthesis Collection of Technology (R0)

Computing and Processing, General Topics for Engineers

2019

Twistor Geometry and Non-Linear Systems

Heinz-Dietrich Doebner, Tchavdar D. Palev

9783540394181

Springer

Mathematics

970

1982

Twistor Theory for Riemannian Symmetric Spaces

Francis E. Burstall, John H. Rawnsley

9783540470526

Springer

Mathematics

1424

1990

Twistors and Particles

Lane Palmer Hughston

9783540353362

Springer

Physics

97

1979

Two-Parameter Martingales and Their Quadratic Variation

Peter Imkeller

9783540391487

Springer

Mathematics

1308

1988

Tying Light in Knots — Applying topology to optics Simon, D S 9781643272313 Institute of Physics Publishing Physcis , Optics and photonics 2018
Type Theory and Formal Proof

Nederpelt/Geuvers

9781139567725

Cambridge University Press

Mathematics,Computer Science, Logic, Categories and Sets,Programming Languages and Applied Logic

2014

Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA '93

Marc Bezem, Jan Friso Groote

9783540475866

Springer

Computer Science

664

1993

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom Mariangiola Dezani-Ciancaglini, Gordon Plotkin 9783540491781 Springer Computer Science 902 1995
Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden Peter Dybjer, Bengt Nordström, Jan Smith 9783540477709 Springer Computer Science 996 1995
Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The Netherlands

Henk Barendregt, Tobias Nipkow

9783540484400

Springer

Computer Science

806

1994

Types for Proofs and Programs: International Workshop, TYPES '95 Torino, Italy

Stefano Berardi, Mario Coppo

9783540707226

Springer

Computer Science

1158

1996

Typologies and Taxonomies

Kenneth D. Bailey

9781412986397

SAGE Publications Ltd

Social sciences, Research Methodology

1994

TypoLyrics

Slanted

9783034611220

Birkhäuser

Design

2010