Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(39)
Markov, Igor L. author.
(3)
Das, Vinu V. editor.
(2)
Li, Jinwen. editor.
(2)
Lienig, Jens. author.
(2)
Dil
Yayın Yılı
-
Konu
Software engineering.
(16)
Computer science.
(14)
Electronic Circuits and Systems.
(13)
Electronic circuits.
(13)
Theory of Computation.
(11)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
39 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT
Yazdır
25. 
Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings için kapak resmi
Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings
by 
Schneider, Klaus. editor.
https://doi.org/10.1007/978-3-540-74591-4
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
26. 
Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings için kapak resmi
Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
by 
Damm, Werner. editor.
https://doi.org/10.1007/978-3-540-73368-3
Format: 
Alıntı: 
Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7
27. 
Dependable Computing Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings için kapak resmi
Dependable Computing Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings
by 
Bondavalli, Andrea. editor.
https://doi.org/10.1007/978-3-540-75294-3
Format: 
Alıntı: 
Theoretical Computer Science and General Issues,
28. 
Verkehrsleittechnik Automatisierung des Straßen- und Schienenverkehrs için kapak resmi
Verkehrsleittechnik Automatisierung des Straßen- und Schienenverkehrs
by 
Schnieder, Eckehard. editor.
https://doi.org/10.1007/978-3-540-48541-4
Format: 
Alıntı: 
Automotive engineering.
29. 
Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings için kapak resmi
Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
by 
Ball, Thomas. editor.
https://doi.org/10.1007/11817963
Format: 
Alıntı: 
Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20
30. 
Fault-Tolerance Techniques for SRAM-Based FPGAs için kapak resmi
Fault-Tolerance Techniques for SRAM-Based FPGAs
by 
Kastensmidt, Fernanda Lima. author.
https://doi.org/10.1007/978-0-387-31069-5
Format: 
Alıntı: 
Electrical and Electronic Engineering.
31. 
A Roadmap for Formal Property Verification için kapak resmi
A Roadmap for Formal Property Verification
by 
Dasgupta, Pallab. author.
https://doi.org/10.1007/978-1-4020-4758-9
Format: 
Alıntı: 
Computer-Aided Engineering (CAD, CAE) and Design.
32. 
Layoutsynthese elektronischer Schaltungen - Grundlegende Algorithmen für die Entwurfsautomatisierung için kapak resmi
Layoutsynthese elektronischer Schaltungen - Grundlegende Algorithmen für die Entwurfsautomatisierung
by 
Lienig, Jens. author.
https://doi.org/10.1007/3-540-29942-4
Format: 
Alıntı: 
Computer-Aided Engineering (CAD, CAE) and Design.
33. 
Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings için kapak resmi
Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings
by 
Maziero, Carlos Alberto. editor.
https://doi.org/10.1007/11572329
Format: 
Alıntı: 
Theoretical Computer Science and General Issues,
34. 
Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings için kapak resmi
Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
by 
Etessami, Kousha. editor.
https://doi.org/10.1007/b138445
Format: 
Alıntı: 
Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July
35. 
Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings için kapak resmi
Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings
by 
Moreno, J. Manuel. editor.
https://doi.org/10.1007/11549703
Format: 
Alıntı: 
Computer-Aided Engineering (CAD, CAE) and Design.
36. 
Adapting Proofs-as-Programs The Curry--Howard Protocol için kapak resmi
Adapting Proofs-as-Programs The Curry--Howard Protocol
by 
Poernomo, Iman. author.
https://doi.org/10.1007/0-387-28183-5
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
Go to:Search Results
|
Search Facets
|
Top of Page