1.

Record Nr.

UNISA996466064303316

Titolo

Drawing Graphs [[electronic resource] ] : Methods and Models / / edited by Michael Kaufmann, Dorothea Wagner

Pubbl/distr/stampa

Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001

ISBN

3-540-44969-8

Edizione

[1st ed. 2001.]

Descrizione fisica

1 online resource (XIV, 318 p.)

Collana

Lecture Notes in Computer Science, , 0302-9743 ; ; 2025

Disciplina

511/.5

Soggetti

Discrete mathematics

Algorithms

Computer science—Mathematics

Computer graphics

Combinatorics

Information technology

Business—Data processing

Discrete Mathematics

Algorithm Analysis and Problem Complexity

Mathematics of Computing

Computer Graphics

IT in Business

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

Graph Drawing and Its Applications -- Drawing Planar Graphs -- Drawing Trees, Series-Parallel Digraphs, and Lattices -- Drawing on Physical Analogies -- Layered Drawings of Digraphs -- Orthogonal Graph Drawing -- 3D Graph Drawing -- Drawing Clusters and Hierarchies -- Dynamic Graph Drawing -- Map Labeling with Application to Graph Drawing -- Software Packages.

Sommario/riassunto

Graph drawing comprises all aspects of visualizing structural relations between objects. The range of topics dealt with extends from graph theory, graph algorithms, geometry, and topology to visual languages, visual perception, and information visualization, and to computer-



human interaction and graphics design. This monograph gives a systematic overview of graph drawing and introduces the reader gently to the state of the art in the area. The presentation concentrates on algorithmic aspects, with an emphasis on interesting visualization problems with elegant solutions. Much attention is paid to a uniform style of writing and presentation, consistent terminology, and complementary coverage of the relevant issues throughout the 10 chapters. This tutorial is ideally suited as an introduction for newcomers to graph drawing. Ambitioned practitioners and researchers active in the area will find it a valuable source of reference and information.

2.

Record Nr.

UNINA9910693045003321

Titolo

Environmental assessment [[electronic resource] ] : DARPA Grand Challenge

Pubbl/distr/stampa

[Moreno Valley, CA] : , : U.S. Dept. of the Interior, Bureau of Land Management

[Washington, D.C.?] : , : U.S. Dept. of Defense, Defense Advanced Research Projects Agency, , [2003]

Soggetti

Vehicles, Remotely piloted - Testing - Environmental aspects - California

Vehicles, Remotely piloted - Testing - Environmental aspects - Nevada

Vehicles, Military - Testing - Environmental aspects - California

Vehicles, Military - Testing - Environmental aspects - Nevada

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Title from title screen (viewed on Oct. 8, 2004).

"December 2003."



3.

Record Nr.

UNISA996655268503316

Titolo

Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I / / edited by Viktor Vafeiadis

Pubbl/distr/stampa

Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025

ISBN

3-031-91118-0

Edizione

[1st ed. 2025.]

Descrizione fisica

1 online resource (XVI, 438 p. 184 illus., 117 illus. in color.)

Collana

Lecture Notes in Computer Science, , 1611-3349 ; ; 15694

Disciplina

005.13

Soggetti

Programming languages (Electronic computers)

Compilers (Computer programs)

Programming Language

Compilers and Interpreters

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Sommario/riassunto

The open access book set LNCS 15694 + LNCS 15695 constitutes the proceedings of the 34th European Symposium on Programming, ESOP 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, in Hamilton, Canada, during May 3-8, 2025. The 30 full papers included in the proceedings were carefully reviewed and selected from a total of 88 submissions. The proceedings also contain two short artifact reports. The papers focus on aspects of programming language research such as programming paradigns and styles; methods and tools to specify and reason about programs and languages; programming language foundations; methods and tools for implementation, concurrency and districution; and applications and emerging topics. .