Koleksi

Pencarian Spesifik
Hal. Awal Sebelumnya 11 12 13 Berikutnya Hal. Akhir

Hybrid Systems: Computation and Control

Morari, Manfred. - Rossi, Francesca. - SpringerLink (Online service) - Thiele, Lothar.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b106766

Theorem Proving in Higher Order Logics

Hurd, Joe. - Melham, Tom. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11541868

Typed Lambda Calculi and Applications

SpringerLink (Online service) - Urzyczyn, Pawel.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b135690

Formal Modeling and Analysis of Timed Systems

Pettersson, Paul. - SpringerLink (Online service) - Yi, Wang.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11603009

Software Composition

Aßmann, Uwe. - Gschwind, Thomas. - Nierstrasz, Oscar. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11550679

Implementation and Application of Functional Languages

Grelck, Clemens. - Huch, Frank. - Michaelson, Greg. - SpringerLink (Online service) - Trinder, Phil.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b136772

Static Analysis

Hankin, Chris. - Siveroni, Igor. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11547662

Theoretical Aspects of Computing - ICTAC 2005

Hung, Dang Van. - SpringerLink (Online service) - Wirsing, Martin.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11560647

Formal Methods for Components and Objects

Bonsangue, Marcello M. - de Boer, Frank S. - de Roever, Willem-Paul. - Graf, Susanne. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11561163

Integrated Formal Methods

Romijn, Judi M.T. - Smith, Graeme P. - SpringerLink (Online service) - van de Pol, Jaco C.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11589976
Hal. Awal Sebelumnya 11 12 13 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 122 dari pencarian Anda melalui kata kunci: subject="PROGRAMS"
Permintaan membutuhkan 0.12728 detik untuk selesai
XML ResultJSON Result

Informasi

Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog