Search Results - (((((((kent OR kwants) OR santis) OR markant) OR cantor) OR anne) OR share) OR hints) algorithms.

Automated theorem proving : after 25 years

Table of Contents: “…Combining Satisfiability Procedures by Equality-Sharing /…”
Full text (MFA users only)

Learn to program with Scratch : a visual introduction to programming with games, art, science, and math by Marji, Majed

Full text (MFA users only)

Theory of computational complexity by Du, Dingzhu, Ko, Ker-I

Full text (MFA users only)

Algebra and computer science

Full text (MFA users only)

Artificial neural networks in biological and environmental analysis by Hanrahan, Grady

Full text (MFA users only)

Optimization theory and related topics : Israel mathematical conference proceedings : a workshop in memory of Dan Butnariu, January 11-14, 2010, Haifa, Israel

Table of Contents: “…On Sharing of Risk and Resources /…”
Full text (MFA users only)

Collective action 2.0 : the impact of social media on collective action by Spier, Shaked

Table of Contents: “…Sharing Is Caring? Conclusions --…”
Full text (MFA users only)

Women in Numbers 2 : research directions in number theory : BIRS Workshop, WIN2 - Women in Numbers 2, November 6-11, 2011, Banff International Research Station, Banff, Alberta, Can... by David, Chantal, 1964-, Lalín, Matilde, 1977-, Manes, Michelle, 1970-

Full text (MFA users only)

The cost of free shipping : Amazon in the global economy

Table of Contents: “…Power Accrues to the Powerful: Amazon's Market Share, Customer Surveillance, and Internet Dominance /…”
Full text (MFA users only)

Walling in and walling out : why are we building new barriers to divide us?

Full text (MFA users only)

Multimodal transport systems

Table of Contents: “…D3A: Dijkstra Dynamic Distributed Algorithm --…”
Full text (MFA users only)

Computation and Communication Technologies

Table of Contents: “…Harmony Search Algorithm for PAPR Reduction --…”
Full text (MFA users only)

RF Positioning : Fundamentals, Applications, and Tools. by Campos, Rafael Saraiva

Full text (MFA users only)

The Princeton companion to mathematics

Table of Contents: “…Algorithms ;…”
Full text (MFA users only)

In the tradition of Ahlfors-Bers. V : the triennial Ahlfors-Bers Colloquium, May 8-11, 2008, Rutgers University, Newark, New Jersey

Full text (MFA users only)

Obstetric and intrapartum emergencies : a practical guide to management

Full text (MFA users only)

Security of self-organizing networks : MANET, WSN, WMN, VANET

Table of Contents: “…Other Online and Adaptive Algorithms --…”
Full text (MFA users only)

When life is linear : from computer graphics to bracketology by Chartier, Timothy P.

Full text (MFA users only)

Life sciences, information sciences

Table of Contents: “…Some proteins share the same evolutionary history --…”
Full text (MFA users only)

Handbook of performability engineering

Table of Contents: “…Tampered Failure Rate Load-Sharing Systems: Status and Perspectives /…”
Full text (MFA users only)