"ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Amortized complexity of data structures.	R. Sundar	1991	Courant Institute of Mathematical Sciences, New York University
Automated Data Analysis Using Excel	Brian D. Bissett	2020	Routledge
Automated data analysis using Excel /	Bissett, Brian.	©2007.	Chapman & Hall/CRC,
Data structures and algorithm analysis /	Weiss, Mark Allen.	[1995], ©1995.	Benjamin/Cummings Pub. Co.,
Analysis of Defense Language Institute automated student questionnaire data	Theodore M. Strycharz	1996	Naval Postgraduate School;Available from National Technical Information Service
Automated mineral data transfer: structured analysis phase one	Jeffrey J. Jung; Robert E. Woerner	1988	Denver, Colo.;The Bureau
Qualitative Data Analysis with ATLAS. ti	Susanne Friese	April 2019	SAGE Publications Ltd
Coping with Complexity: Model Reduction and Data Analysis	Alexander N. Gorban; Dirk Roose	2011	Springer Berlin Heidelberg
Automated Verification of Concurrent Search Structures	Krishna Siddharth; Patel Nisarg; Shasha Dennis; Wies Thomas		Springer International Publishing
Automated Verification of Concurrent Search Structures	Siddharth Krishna, Nisarg Patel, Dennis Shasha, Thomas Wies	2021	Morgan & Claypool
Data Structures and Algorithm Analysis in C++	Clifford A. Shaffer	2011	Dover Publications
Data Structures and Algorithm Analysis in C++	Mark A. Weiss	2014	Pearson
Data structures and algorithm analysis in Ada	Mark Allen Weiss	1993	Benjamin/Cummings Pub. Co.
Algorithms and data structures: design, correctness, analysis	Jeffrey H. Kingston; Jeffrey Kingston; Brian Cole	1997	Addison-Wesley
Data structures and algorithm analysis in C++ /	Weiss, Mark Allen.	c2006.	Pearson Addison-Wesley,
Data structures and algorithm analysis in Java /	Weiss, Mark Allen.	c2007.	Peason Addison-Wesley,
Data structures and algorithm analysis in C /	Weiss, Mark Allen.	[1997], ©1997.	Addison-Wesley,
Data structures and algorithm analysis in Java	Mark Allen Weiss	2007	Dorling Kindersley
Introduction to data structures and algorithm analysis	Thomas L. Naps	1992	West Pub. Co.
Automated Structural Analysis	William R. Spillers; Thomas F. Irvine; James P. Hartnett and William F. Hughes	1972	Pergamon
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures	Lorenz Leutgeb; Georg Moser; Florian Zuleger	Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II	Alexandra Silva; K. Rustan M. Leino	1st ed. 2021	Springer International Publishing
Automated Expected Amortised Cost Analysis of Probabilistic Data Structures	Lorenz Leutgeb; Georg Moser; Florian Zuleger	Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II	Sharon Shoham; Yakir Vizel	1st ed. 2022	Springer International Publishing
Amortised Memory Analysis Using the Depth of Data Structures	Brian Campbell	Programming Languages and Systems: 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings	Giuseppe Castagna	2009	Springer Berlin Heidelberg
Automated Amortised Resource Analysis for Term Rewrite Systems	Georg Moser; Manuel Schneckenreither	Functional and Logic Programming: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings	John P. Gallagher; Martin Sulzmann	1st ed. 2018	Springer International Publishing
GMusic Player Using Self-adjusting Graph Data Structures	S. Aravindharamanan; Somula Ramasubbareddy; K. Govinda; E. Swetha	Intelligent System Design: Proceedings of Intelligent System Design: INDIA 2019	Suresh Chandra Satapathy; Vikrant Bhateja; B. Janakiramaiah; Yen-Wei Chen	1st ed. 2021	Springer Nature Singapore
Automated Data Analysis	D. Teuber	Reviews in Modern Astronomy 2	Gerhard Klare	1989	Springer Berlin Heidelberg
Automated data analysis		the PRACTICE OF MARKET RESEARCH: an introduction.	YVONNE MCGIVERN	2021	PEARSON EDUCATION LIMITED
Multivariate Analysis of Atlas Data	S. T. Buckland; A. J. B. Anderson	Statistics in Ornithology	Byron Morgan; Philip M. North	1985	Springer New York
Data structures and complexity		Graphs, Algorithms, and Optimization	Kocay, William; Kreher, Donald L	2017	Chapman and Hall/CRC
Automated Distraction Adjusting		Low Back Pain: Mechanism, Diagnosis and Treatment	James Cox	1999	Lippincott Williams & Wilkins
Automated Benchmarking of Functional Data Structures	Graeme E. Moss; Colin Runciman	Practical Aspects of Declarative Languages: First International Workshop, PADL' 99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings	Gopal Gupta	1998	Springer Berlin Heidelberg
self-adjusting	Martin H. Weik	Computer Science and Communications Dictionary	Martin Weik	2001	Springer US
Algorithms, Data Structures, and Complexity	Norbert Schorghofer	Lessons in Scientific Computing: Numerical Mathematics, Computer Technology, and Scientific Discovery	Norbert Schorghofer	2018	Routledge
Data structures, algorithms, and complexity		Mastering C# and. Net Framework: Deep dive into C# and. NET architecture to build efficient, powerful applications	Marino Posadas	2016	Packt Publishing
Algorithms, Data Structures, and Complexity		The third branch of physics: essays in scientific computing (web draft, Dec. 2006)	Schoerghofer N.
Self-organizing data structures	Susanne Albers; Jeffery Westbrook	Online Algorithms: The State of the Art	Amos Fiat; Gerhard J. Woeginger	1998	Springer Berlin Heidelberg
Automated analysis of structural MRI data	Paul M. Thompson; Judith L. Rapoport; Tyrone D. Cannon; Arthur W. Toga	Schizophrenia: from neuroimaging to neuroscience	Stephen M. Lawrie; Daniel R. Weinberger; Eve C. Johnstone	2004	Oxford University Press
Adjusting Database Structures		Sap R/3 Administrator's Handbook	Jose Antonio Hernandez	1999	McGraw-Hill Osborne Media
Amortised Bisimulations	Astrid Kiehn; S. Arun-Kumar	Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6. 1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings	Farn Wang	2005	Springer Berlin Heidelberg
Automated and manual data analysis		Corpora and Discourse: The Challenges of Different Settings (Studies in Corpus Linguistics, Volume 31)	Annelie Ädel (Editor), Randi Reppen (Editor)	2008	John Benjamins Publishing
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures" - similar Books and Chapters