Filter by
A Bibliography of Printing: With Notes and Illustrations
This three-volume bibliography of printing was published between 1880 and 1886 by E. C. Bigmore (1838–99) and C. W. H. Wyman (1832–1909), who had, unknown to each other, been working on similar projects and were brought together by the antiquarian bookseller and publisher Bernard Quaritch. The scope of the work, which quickly became a classic, includes 'typographic, lithographic, copperplat…
- Edition
- -
- ISBN/ISSN
- 9781107448988
- Collation
- -
- Series Title
- -
- Call Number
- -
UAV‐Based Remote Sensing Volume 1
Active technological development has fuelled rapid growth in the number of Unmanned Aerial Vehicle (UAV) platforms being deployed around the globe. Novel UAV platforms, UAV-based sensors, robotic sensing and imaging techniques, the development of processing workflows, as well as the capacity of ultra-high temporal and spatial resolution data, provide both opportunities and challenges that will …
- Edition
- 1
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 624
Criticality of the Rare Earth Elements: Current and Future Sources and Recycling
Rare earth elements (REE) are critical to our modern way of life, although potential primary and secondary sources of these elements and the economics of the REE sector remain somewhat poorly understood. This Special Issue focuses on furthering our understanding of the criticality and potential sources of rare earth elements as well as the economics of the REE sector. The papers in this Special…
- Edition
- -
- ISBN/ISSN
- 9783038970170
- Collation
- -
- Series Title
- -
- Call Number
- 551
Data and applications security and privacy XXIX
This book constitutes the refereed proceedings of the 29th Annual IFIP WG 11.3 International Working Conference on Data and Applications Security and Privacy, DBSec 2015, held in Fairfax, VA, USA, in July 2015. The 18 revised full papers and 6 short papers presented were carefully reviewed and selected from 45 submissions. The papers are organized in the following topical sections: data anonymi…
- Edition
- -
- ISBN/ISSN
- 9783319208107
- Collation
- xi, 364 pages
- Series Title
- -
- Call Number
- 005.8
Database systems for advanced applications
This two volume set LNCS 9049 and LNCS 9050 constitutes the refereed proceedings of the 20th International Conference on Database Systems for Advanced Applications, DASFAA 2015, held in Hanoi, Vietnam, in April 2015. The 63 full papers presented were carefully reviewed and selected from a total of 287 submissions. The papers cover the following topics: data mining; data streams and time series;…
- Edition
- -
- ISBN/ISSN
- 9783319181202
- Collation
- xxii, 643 pages
- Series Title
- -
- Call Number
- 328
Formal Methods: Foundations and Applications
This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014. The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal…
- Edition
- -
- ISBN/ISSN
- 9783319150758
- Collation
- IX, 179 hlm
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Database systems for advanced applications
This two volume set LNCS 9049 and LNCS 9050 constitutes the refereed proceedings of the 20th International Conference on Database Systems for Advanced Applications, DASFAA 2015, held in Hanoi, Vietnam, in April 2015. The 63 full papers presented were carefully reviewed and selected from a total of 287 submissions. The papers cover the following topics: data mining; data streams and time series;…
- Edition
- -
- ISBN/ISSN
- 9783319181202
- Collation
- xxii, 643 pages
- Series Title
- -
- Call Number
- 328
100 Poems: Old and New
Rudyard Kipling (1865–1936), winner of the 1907 Nobel Prize for Literature and author of one of the most popular poems in the English language, 'If–', has long captured the interest of poetry lovers. Here, Thomas Pinney brings together a selection of well-established favourites and the best of the previously uncollected and unpublished poems from The Cambridge Edition of the Poems of Rudyar…
- Edition
- -
- ISBN/ISSN
- 9781107279513
- Collation
- -
- Series Title
- -
- Call Number
- -
Formal Methods for Multicore Programming
This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and covered topics such as concurrency and coordination mechanisms, architecture and memory models and …
- Edition
- -
- ISBN/ISSN
- 9783319189413
- Collation
- VII, 211 hlm.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state …
- Edition
- -
- ISBN/ISSN
- 9783319254234
- Collation
- XXV, 436 hlm.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography