2005

Adapting proofs-as-programs : the Curry-Howard protocol

Poernomo, Iman Hafiz, 1976-



 

2020

Algorithm design with Haskell

Bird, Richard, 1943- author.

Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2020

 

2019

Android Development Essential Training: App Architecture with Kotlin

Gassner, David speaker

Carpenteria, CA linkedin.com, 2019

 

2022

Android Jetpack compose : build Android Native UIs fast

[First edition]
[Place of publication not identified] : Packt Publishing, [2022]

 

2013

Android on x86 : an introduction to optimizing for Intel architecture

Krajci, Iggy



 

2022

Android UI Development with Jetpack Compose : Bring Declarative and Native UIs to Life Quickly and Easily on Android Using Jetpack Compose

Kunneth, Thomas



 

1999

The Anglo-American media connection

Tunstall, Jeremy.

New York : Oxford University Press, 1999

Request It 

2017

Angular router : from angular core team member and creator of the router

Savkin, Victor, author

Birmingham, England ; Mumbai, [India] : Packt Publishing, 2017

 

2023

ANIMATING SWIFTUI APPLICATIONS create visually stunning and engaging animations for iOS with SwiftUI

DeStefano, Stephen, author.
1st edition


 

2020

Anyone Can Code The Art and Science of Logical Creativity

Arya, Ali



 

2017

Application Performance Management (APM) in the digital enterprise : managing applications for cloud, mobile, IoT and eBusiness

Sturm, Rick, author.

Cambridge, MA : Morgan Kaufmann, [2017]

 

2012

Applied evolutionary psychology

1st ed


 

2011

Applied evolutionary psychology

 

2018

Architecting Angular Applications with Redux, RxJS, and NgRx : Learn to build Redux style high-performing applications with Angular 6

Noring, Christoffer



 

2008

Architecture-Independent Programming for Wireless Sensor Networks : an Architecture-Independent Approach

Bakshi, Amol B., 1975-



 

2021

Artificial intelligence in education : 22nd international conference, AIED 2021, Utrecht, the Netherlands, June 14-18, 2021 : proceedings.

International Conference on Artificial Intelligence in Education (22nd : 2021 : Online)

Cham : Springer, [2021]

 

2018

Asian American librarians and library services : activism, collaborations, and strategies

Lanham : Rowman & Littlefield, [2018]

 

2018

Asian American librarians and library services : activism, collaborations, and strategies

Lanham : Rowman & Littlefield, [2018]

 

1993

Automated and algorithmic debugging : first international workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993 : proceedings

International Workshop on Automated and Algorithmic Debugging (1st : 1993 : Linköping, Sweden)

Berlin ; New York : Springer-Verlag, ©1993

 

2020

Automated reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings.

IJCAR (Conference) (10th : 2020 : Online)



 

2015

Beautiful JavaScript : leading programmers explain how they think

Sebastopol, CA : O'Reilly, [2015]

 

2013

The beauty of functional code : essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday

Heidelberg : Springer, 2013

 

2014

Becoming functional

Backfield, Joshua.



 

2009

Beginning F♯

Pickering, Robert



 

2016

Beginning F♯ 4.0

Pickering, Robert, author
Second edition
[Place of publication not identified] : Apress, 2016

 

2014

Beginning Java 8 fundamentals : language syntax, arrays, data types, objects, and regular expressions

Sharan, Kishori (Software engineer), author.

[Berkeley, CA] : Apress, 2014

 

2018

Beginning programming with Python® for dummies®

Mueller, John, 1958- author.
2nd edition
Hoboken, NJ : John Wiley and Sons, Inc. : For Dummies, [2018]

 

2016

Being fair, faring better : promoting equality of opportunity for marginalized Roma

Gatti, Roberta, author.

Washington, DC : World Bank Group, [2016]

 

2023

Beyond accessibility compliance : building the next generation of inclusive products

Chadha, Sukriti, author

[New York] : Apress, [2023]

 

2014

Big data, big innovation : enabling competitive differentiation through business analytics

Stubbs, Evan

Hoboken, New Jersey : Wiley, 2014

 

2008

Bio-inspired credit risk analysis : computational intelligence with support vector machines

 

2014

Build for Change : Revolutionizing Customer Engagement through Continuous Digital Innovation

Trefler, Alan



 

2021

Building an Interpreter from Scratch

Soshnikov, Dmitry, author
1st edition
Packt Publishing, 2021

 

2014

Building JavaScript games : for phones, tablets, and desktop

Egges, Arjan, author

Berkeley, CA : Apress, 2014

 

2001

Building Parsers with Java(TM)

Metsker, Steven John, author



 

2018

Building RESTful Web Services with Spring 5 : Leverage the power of Spring 5.0, Java SE 9, and Spring Boot 2.0

Dewailly, Ludovic
2nd ed


 

1990

CAAP '90 : 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 1990, proceedings

Colloquium on Trees in Algebra and Programming (15th : 1990 : Copenhagen, Denmark)



 

1986

Category theory and computer programming : tutorial and workshop, Guildford, U.K., September 16-20, 1985 : proceedings

 

2016

Clojure for Java developers : transition smoothly from Java to the most widely used functional JVM-based language - Cloture

Díaz, Eduardo, author

Birmingham, UK : Packt Publishing, 2016

 

2012

Cochlear implants and other implantable hearing devices

San Diego : Plural Pub., [2012]

 

2020

Codeless data structures and algorithms : learn DSA without writing a single line of code

Subero, Armstrong



 

2002

Communicating process architectures 2002

World Occam And Transputer User Group. Technical Meeting (25th: 2002: University Of Reading, U. K.)



 

2002

Communicating Process Architectures 2002 : WoTUG-25 : Proceedings of the 25th WoTUG Technical Meeting, 15-18 September 2002, University of Reading, United Kingdom

World Occam and Transputer User Group. Technical Meeting (25th : 2002 : University of Reading)



 

2018

Community Re-Entry : Uncertain Futures for Women Leaving Prison

Pedlar, Alison



 

2010

Compiler construction : 19th International Conference, CC 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proce

CC (Conference) (19th : 2010 : Paphos, Cyprus)



 

1991

Compiler compilers : Third International Workshop CC '90, Schwerin, FRG, October 22-24, 1990 : proceedings

CC (Conference) (3rd : 1990 : Schwerin, Germany)

Berlin ; New York : Springer-Verlag, ©1991

 

2010

Compiler design.

Wilhelm, R. (Reinhard), 1946-



 

2009

Compilation techniques for reconfigurable architectures

Cardoso, João M. P



 

2022

The complete Python course (2022)

[First edition]
[Place of publication not identified] : Packt Publishing, 2022

 

1989

Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship

Zwiers, J. (Job), 1956-

Berlin ; New York : Springer-Verlag, ©1989