[PDF] system specification free ebooks download




View results: Search for a phrase:
ISBN Language MD5 Extension

Library Search



Publisher: pdf1 search ay9 Epub M. Scimag standarts
114 books found   ►also search"system specification" in ,
ID Author(s) Title Publisher Year Pages Language Size Extension GET
26414 Lamma E., Mello P., Riguzzi F. A System for Measuring Function Points from an ER-DFD Specification 2003 15 English 432 kb pdf GET
56429 Sorin Alexander Huss Advances in Design and Specification Languages for Embedded Systems
1402061471, 978-1-4020-6147-9
2007 352 English 7 Mb pdf GET
552597 Sorin A. Huss (Editor) Advances in Design and Specification Languages for Embedded Systems [1 ed.]
1402061471, 9781402061479, 9781402061493
2007 368 English 5 Mb pdf GET
1148597 Fabien Prégaldiny, Christophe Lallement, Birahim Diagne, Jean-Michel Sallese (auth.), Sorin A. Huss (eds.) Advances in Design and Specification Languages for Embedded Systems: Selected Contributions from FDL'06 [1 ed.]
978-1-4020-6147-9, 978-1-4020-6149-3
Springer Netherlands 2007 358 English 8 Mb pdf GET
943193 Frédéric Mallet, Charles André, Robert de Simone (auth.), Dominique Borrione (eds.) Lecture Notes in Electrical Engineering 63
Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s: Selected Contributions on Specification, Design, and Verification from FDL 2009 [1 ed.]
978-90-481-9303-5, 978-90-481-9304-2
Springer Netherlands 2010 248 English 8 Mb pdf GET
944817 Marie-Claude Gaudel, Gilles Bernot (auth.), Prof. Dr. Egidio Astesiano, Prof. Dr. Hans-Jörg Kreowski, Prof. Dr. Bernd Krieg-Brückner (eds.) IFIP State-of-the-Art Reports
Algebraic Foundations of Systems Specification [1 ed.]
978-3-642-64151-0, 978-3-642-59851-7
Springer-Verlag Berlin Heidelberg 1999 616 English 22 Mb pdf GET
595463 Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella (eds.) Lecture Notes in Computer Science 501
Algebraic system specification and development: A survey and annotated bibliography [1 ed.]
3540540601, 9783540540601
Springer-Verlag Berlin Heidelberg 1991 184 English 954 kb djvu GET
1183625 D. Ince Oxford Applied Mathematics and Computing Science Series
An Introduction to Discrete Mathematics and Formal System Specification [1St Edition]
0198596677, 9780198596677
Oxford University Press 1988 368 English 2 Mb djvu GET
1007237 ASPE Data Book - A Plumbing Engineer's Guide to System Design and Specifications, Volume 2 - Plumbing Systems
978-1-61344-586-0, 978-1-891255-12-0
American Society of Plumbing Engineers (ASPE) 2000 460 English 24 Mb pdf GET
1051968 Phan Cong-Vinh Embedded Multi-Core Systems
Autonomic Networking-on-Chip: Bio-Inspired Specification, Development, and Verification [1 ed.]
143982911X, 9781439829110
CRC Press 2011 287 English 3 Mb pdf GET
945082 Kenneth Baclawski, Scott A. DeLoach (auth.), Haim Kilov, Bernhard Rumpe, Ian Simmonds (eds.) The Springer International Series in Engineering and Computer Science 523
Behavioral Specifications of Businesses and Systems [1 ed.]
978-1-4613-7383-4, 978-1-4615-5229-1
Springer US 1999 315 English 13 Mb pdf GET
396188 Robert A. Pollak, Terence J. Wales Demand System Specification and Estimation
0195101219, 9780195101218
Oxford University Press, USA 1995 232 English 11 Mb pdf GET
964753 D. A. Duce, D. J. Duke (auth.), Dr. Philippe Palanque, Dr. Rémi Bastide (eds.) Eurographics
Design, Specification and Verification of Interactive Systems ’95: Proceedings of the Eurographics Workshop in Toulouse, France, June 7–9, 1995 [1 ed.]
978-3-211-82739-0, 978-3-7091-9437-9
Springer-Verlag Wien 1995 374 English 31 Mb pdf GET
964929 Pedro Szekely (auth.), Prof. Francois Bodart, Jean Vanderdonckt M.Sc. (eds.) Eurographics
Design, Specification and Verification of Interactive Systems ’96: Proceedings of the Eurographics Workshop in Namur, Belgium, June 5–7, 1996 [1 ed.]
978-3-211-82900-4, 978-3-7091-7491-3
Springer-Verlag Wien 1996 383 English 9 Mb pdf GET
944498 Anthony Hall (auth.), Prof. Dr. Michael Douglas Harrison, Dr. Juan Carlos Torres (eds.) Eurographics
Design, Specification and Verification of Interactive Systems ’97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4–6, 1997 [1 ed.]
978-3-211-83055-0, 978-3-7091-6878-3
Springer-Verlag Wien 1997 320 English 14 Mb pdf GET
1143712 Dan R. Olsen Jr. (auth.), Dr. Panos Markopoulos, Prof. Dr. Peter Johnson (eds.) Eurographics
Design, Specification and Verification of Interactive Systems ’98: Proceedings of the Eurographics Workshop in Abingdon, UK, June 3–5, 1998 [1 ed.]
978-3-211-83212-7, 978-3-7091-3693-5
Springer-Verlag Wien 1998 326 English 9 Mb pdf GET
944909 M. A. Srinivasan, C. Basdogan, C.-H. Ho (auth.), Dr. David Duke, Dr. Angel Puerta (eds.) Eurographics
Design, Specification and Verification of Interactive Systems ’99: Proceedings of the Eurographics Workshop in Braga, Portugal, June 2–4, 1999 [1 ed.]
978-3-211-83405-3, 978-3-7091-6815-8
Springer-Verlag Wien 1999 282 English 10 Mb pdf GET
943376 Abdoulaye Gamatie (auth.) Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification [1 ed.]
978-1-4419-0940-4, 978-1-4419-0941-1
Springer-Verlag New York 2010 259 English 5 Mb pdf GET
1122162 Abdoulaye Gamatie (auth.) Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification [1 ed.]
978-1-4419-0940-4, 978-1-4419-0941-1
Springer-Verlag New York 2010 259 English 2 Mb pdf GET
273104 Abdoulaye Gamatie (auth.) Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification [1 ed.]
1441909400, 9781441909404
Springer-Verlag New York 2010 259 English 3 Mb pdf GET
980488 Oliver Skroch (auth.) Developing Business Application Systems: On the Specification and Selection of Software Components and Services [1 ed.]
978-3-8349-2350-9, 978-3-8349-8858-4
Gabler Verlag 2010 117 English 6 Mb pdf GET
595561 M. Paul, H. J. Siegert, M. W. Alford, J. P. Ansart, G. Hommel, L. Lamport, B. Liskov, G. P. Mullery, F. B. Schneider (eds.) Lecture Notes in Computer Science 190
Distributed Systems: Methods and Tools for Specification An Advanced Course [1 ed.]
3540152164, 9783540152163
Springer-Verlag Berlin Heidelberg 1985 576 English 5 Mb djvu GET
962775 M. Paul, H. J. Siegert, M. W. Alford, J. P. Ansart, G. Hommel, L. Lamport, B. Liskov, G. P. Mullery, F. B. Schneider (eds.) Lecture Notes in Computer Science 190
Distributed Systems: Methods and Tools for Specification An Advanced Course [1 ed.]
978-3-540-15216-3, 978-3-540-39363-4
Springer-Verlag Berlin Heidelberg 1985 576 English 14 Mb pdf GET
423130 M. Paul, H. J. Siegert, M. W. Alford, J. P. Ansart, G. Hommel, L. Lamport, B. Liskov, G. P. Mullery, F. B. Schneider (eds.) Lecture Notes in Computer Science 190
Distributed Systems: Methods and Tools for Specification An Advanced Course [1 ed.]
3540152164, 9783540152163
Springer-Verlag Berlin Heidelberg 1985 576 English 29 Mb pdf GET
689871 Heating and Ventilating Contractors' Association DW172: Specification for Kitchen Ventilation Systems
0903783290, 9780903783293
HVCA 2005 66 English 788 kb pdf GET
  ►

If no results, Please search system specification here Again

 Si Sheppard, Adam Hook
Christopher Rothero, Christopher Rothero
Robin May, Gerry Embleton
John Sandars, Michael Roffe

Ross Cowan, Adam Hook

Roy Bradbrook
Gordon Rottman, Peter Dennis
Adrian English

Rene Chartrand, David Rickman
Jack Cassin-Scott, Michael Roffe

Jerry Scutts, Tom Tullis
Jack Cassin-Scott, Angus McBride
Stephen Turnbull, Richard Hook

Henry Sakaida, Tom Tullis

 Harvard University Press
Springer-Verlag New York
Wordware Publishing, Inc.
Timber Press, Incorporated
O'Reilly Media
Gareth Stevens Publishing
Oxford University Press, USA

Yale University Press

Routledge
Columbia University Press


Гидрометеорологическое издательство
W. H. Freeman and Company
No Starch Press
Springer
Princeton University Press
Oxford University Press, USA

four wave mixingasynchronous transfer modeendoglinvoltagetransversalhabitat destructionwoody plantstyrosine hydroxylasepressure gradientgraph matchingheterogeneitysoftware engineeringagriculturalserversexcitationfinancial productsactivation energymagnetic fieldrelative entropynuclear localization signalinterferometryfuzzyanalytical chemistrycmos integrated circuitstop downedge enhancementdata compressionheliumfinite impulse responsehigh temperature superconductorsforensicad hoc wireless networkinformation retrievalgene expression regulationlinear systemssensorsevolutionsynchronizationmagnetic domainscentral nervous systemdna hybridizationpublishingsurvival curvesenvironmentrootstocksspace technologychemistryproteasescryptography