[PDF] system specification free ebooks download




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

Library Search


119 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
1581100 Chris A. Vissers, Luís Ferreira Pires, Dick A.C. Quartel, Marten van Sinderen (auth.) Architectural Design: Conception and Specification of Interactive Systems [1 ed.]
978-3-319-43297-7, 978-3-319-43298-4
Springer International Publishing 2016 XXII, 388 English 14 Mb pdf 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
1594400 Julia Seiter, Robert Wille, Rolf Drechsler (auth.) SpringerBriefs in Electrical and Computer Engineering
Automatic Methods for the Refinement of System Models: From the Specification to the Implementation [1 ed.]
978-3-319-41480-5, 978-3-319-41479-9
Springer International Publishing 2017 VIII, 94 English 2 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
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
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
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
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
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
  ►

If no results, Please search system specification here Again

  Terje Wagener
John Stanley, Linda Stanley
Jody Berland
Блаватский В.Д.
Victoriano Gaviño Rodríguez
Виноградов Н.Б.
R.J. Ruppenthal
Reinhard Lerch
Florin Lobont
ДеВитт Брайс С.
Kazimierz Cegiełka, Jerzy Przyjemski, Karol Szymański.
Akiva Goldsman, Sylvia Nassar
Ihab R Kamel; Elmar M Merkle
Francis Borceux, Gilberte Van den Bossche (auth.)
Sarvepalli Radhakrishnan, Charles A. Moore
Понтрягин Л.С.
Andrés Manuel López Obrador
Блинков С.М., Глезер И.И.
Paul Dukes
Hanno Schmidt-Gothan

conflict resolutionnaturerna interferenceaudio recordingfinite impulse response filterenzyme activitymercantilismquantum dotprotein conformationdissociation constantenvironmental assessmentchromatinmonte carloemission linebiomedical researchstream flowbioremediationnitric oxidekalman filteractive galactic nucleispinodal decompositionmusicanxietyground statewave functionsimage segmentationnoise measurementsimulation modelshock waverare gasesnitrogenquestionnairesthermal decompositionmagnetic fieldironatomic layer depositionincomematerials sciencebilingualismwindingstime complexityageingduty cyclequestionnairesstructure elucidationsoilsimpedanceneural netrho kinaseconstruction