Embedded systems : :: SCD d'Orléans

Embedded systems : new approaches to their formal description and design : an advanced course, Zürich, Switzerland, March 5-7, 1986

Embedded systems : new approaches to their formal description and design : an advanced course, Zürich, Switzerland, March 5-7, 1986

Đã lưu trong:

Chi tiết về thư mục
Tác giả của công ty:	Advanced course on approaches to their formal description and design :Zürich
Tác giả khác:	Kündig, Albert, 19..- (Giám đốc xuất bản), Bührer, Richard E., 19..- (Giám đốc xuất bản), Dähler, Jacques, 19..- (Giám đốc xuất bản)
Định dạng:	Livre numérique
Ngôn ngữ:	Anglais
Được phát hành:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Loạt:	Lecture notes in computer science 284
Những chủ đề:	Informatique Ordinateurs Actes de congrès
Truy cập trực tuyến:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Chú thích:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Embedded systems, new approaches to their formal description and design, an advanced course on new approaches to the architecture and the design of embedded systems, Zurich, Switzerland, March 5-7, 1986 ; ed. A. Kuendig, R.E. Buehrer, J. Daehler, Richard E. Buehrer, Jacques Daehler, Albert Kuendig, Berlin, Springer, 1987, 1 vol. (IV-207 p.), Lecture notes in computer science, 3-540-18581-X • Embedded Systems, Texte imprimé, 9783662175965

Những quyển sách tương tự

Lectures on embedded systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands November 25 29, 1996

Software and compilers for embedded systems : 7th international workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003 : proceedings

Software and compilers for embedded systems : 8th international workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004 : proceedings

Cryptographic hardware and embedded systems - CHES 2002 : 4th international workshop, Redwood Shores, CA, USA, August 13-15, 2002 : revised papers

Cryptographic hardware and embedded systems - CHES 2003 : 5th international workshop, Cologne, Germany, September 8-10, 2003 : proceedings

Cryptographic hardware and embedded systems CHES 2001 : international workshop, Paris, France, May 14-16, 2001 : proceedings

Programming languages and system architectures : international conference, Zürich, Switzerland, March 2-4, 1994 : proceedings
Bằng: Gutknecht, Jürg, 1949-

Cryptographic hardware and embedded systems : First InternationalWorkshop, CHES 99 Worcester, MA, USA, August 12 13, 1999 : proceedings

Cryptographic hardware and embedded systems : CHES 2004 : 6th international workshop, Cambridge, MA, USA, August 11-13, 2004 : proceedings

Distributed systems - architecture and implementation : an advanced course
Bằng: Lampson, Butler W., 1943-...., chercheur en informatique

Embedded software : third international conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings

Mobile communications : advanced systems components : 1994 International Zurich Seminar on Digital Communications, Zurich, Switzerland, March 8-11, 1994 : proceedings

Distributed systems : methods and tools for specification : an advanced course
Bằng: Alford, Mack W., et al.

Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES '98, Montréal, Canada, June 9-12, 1998 : proceedings

Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedings

Future parallel computers : an advanced course, Pisa, Italy, June 9-10, 1986 : proceedings

Petri nets : central models and their properties : advances in Petri nets 1986 proceedings of an advanced course, Bad Honnef, 8. 19. September 1986

Embedded and ubiquitous computing : International Conference EUC 2004, Aizu-Wakamatsu City, Japan, August 25-27, 2004 : proceedings

Petri nets : applications and relationships to other models of concurrency : Advances in Petri nets 1986 proceedings of an advanced course, Bad Honnef, 8. 19. September 1986

Computer security - ESORICS 2002 : 7th European Symposium on Research in Computer Security, Zurich, Switzerland, October 14 16, 2002 : proceedings

Pervasive computing : First International Conference, Pervasive 2002, Zurich, Switzerland, August 26-28, 2002 : Proceedings

Computer aided design : modelling, systems engineering, CAD-systems : CREST advanced course, Darmstadt, 8. 19. September 1980

CONPAR 90 - VAPP IV : Joint International Conference on Vector and Parallel Processing, Zurich, Switzerland, September 10 13, 1990 : proceedings

Embedded systems architecture : a comprehensive guide for engineers and programmers
Bằng: Noergaard, Tammy
Được phát hành: (2012)

Networking in open systems : international seminar, Oberlech, Austria, August 18-22, 1986 : proceedings

Database systems of the 90s : international symposium, Müggelsee, Berlin, FRG, November 5-7, 1990 : proceedings

Building embedded linux systems
Bằng: Yaghmour, Karim, et al.
Được phát hành: (2008)

Recent advances in intrusion detection : 5th international symposium, RAID 2002, Zurich, Switzerland, October 16-18, 2002 : proceedings

Advanced information systems engineering : 13th international conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001 : proceedings

Local area networks : an advanced course : Glasgow, July 11 22, 1983 : proceedings

Advanced programming environments : proceedings of an International workshop, Trondheim, Norway, June 16 18, 1986

RTS 2002 embedded systems : [Actes des conférences, 26-27-28 mars 2002, Paris]
Được phát hành: (2002)

Active technologies for network and service management : 10th IFIP/IEEE International Workshop on Distributed Systems : operations and management, DSOM 99, Zurich, Switzerland, October 11 13, 1999 : proceedings

Parallel database systems : PRISMA workshop, Noordwijk, The Netherlands, September 24 26, 1990 : proceedings

Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings
Bằng: Lakhnech, Yassine, 19..-

Mathematical methods of specification and synthesis of software systems '85 : proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985

Mathematical models for the semantics of parallelism : advanced school, Rome, Italy, September 24-October 1, 1986 : proceedings

Embedded Systems - Modeling, Technology, and Applications : Proceedings of the 7th International Workshop held at Technische Universität Berlin, June 26-27, 2006

Embedded Linux primer : a practical, real-world approach
Bằng: Hallinan, Christopher
Được phát hành: (2011)

Peer-to-peer systems : First InternationalWorkshop, IPTPS 2002, Cambridge, MA, USA, March 7 8, 2002 : revised papers

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales