Structures de données et méthodes formelles /

Software specification methods /
Published: (2006)

Specification of software systems /
by: Alagar, Vangalur S., 1940-
Published: (2011)

Modern formal methods and applications /
Published: (2006)

Open data structures : an introduction /
by: Morin, Pat, 1973-
Published: (2013)

Algorithms and data structures : the science of computing /
by: Baldwin, Douglas (Douglas L.), 1958-
Published: (2004)

Algorithms and data structures : the basic toolbox /
by: Mehlhorn, Kurt, 1949-
Published: (2008)

Advanced algorithms and data structures /
by: La Rocca, Marcello
Published: (2021)

Sams teach yourself data structures and algorithms in 24 hours /
by: Lafore, Robert
Published: (1999)

Agent technology from a formal perspective /
Published: (2005)

Constructing correct software /
by: Cooke, John, 1947-
Published: (2005)

C++ plus data structures /
by: Dale, Nell (Nell B.)
Published: (1998)

Schaum's outline of theory and problems of data structures with Java /
by: Hubbard, J. R. (John Rast), 1943-
Published: (2000)

Scalable techniques for formal verification /
by: Ray, Sandip
Published: (2010)

Algorithm and data structures /
by: Raghuwanshi, M. M.
Published: (2016)

Enterprise Mac Administrator's Guide /
by: Edge, Charles S., Jr, et al.
Published: (2009)

Learning structure and schemas from documents /
Published: (2011)

Data science with Julia /
by: McNicholas, Paul D., et al.
Published: (2019)

Data modeling fundamentals : a practical guide for IT professionals /
by: Ponniah, Paulraj
Published: (2007)

Beginning database design /
by: Churcher, Clare
Published: (2007)

Formal modeling : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday /
Published: (2011)

Pascal Plus data structures, algorithms, and advanced programming /
by: Dale, Nell (Nell B.)
Published: (1995)

Fundamentals of OOP and data structures in Java /
by: Wiener, Richard, 1941-
Published: (2000)

Object-oriented data structures using Java /
by: Dale, Nell (Nell B.), et al.
Published: (2017)

Formal development of a network-centric RTOS : software engineering for reliable embedded systems /
Published: (2011)

Projection-Based Clustering through Self-Organization and Swarm Intelligence : Combining Cluster Analysis with the Visualization of High-Dimensional Data /
by: Thrun, Michael Christoph
Published: (2018)

Pattern calculus : computing with functions and structures /
by: Jay, Barry
Published: (2009)

Cookies /
by: St. Laurent, Simon
Published: (1998)

Validated designs for object-oriented systems /
Published: (2005)

Managing and mining graph data /
Published: (2010)

Designing sorting networks : a new paradigm /
by: Al-Haj Baddar, Sherenaz W. (Sherenaz Waleed)
Published: (2011)

Teamwork in multi-agent systems : a formal approach /
by: Dunin-Kȩplicz, Barbara
Published: (2010)

Geometric Structure of High-Dimensional Data and Dimensionality Reduction /
by: Wang, Jianzhong
Published: (2011)

Communications and Multimedia Security : 8th IFIP TC-6 TC-11 Conference on Communications and Multimedia Security, Sept. 15-18, 2004, Windermere, The Lake District, United Kingdom /
Published: (2005)

The Ultimate Openshift (2018) Bootcamp /
by: Shah, Gourav
Published: (2018)

Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday /
Published: (2010)

Grammatical picture generation : a tree-based approach /
by: Drewes, Frank
Published: (2006)