6
results
Skip to content
החשבון שלך
יציאה מהחשבון
כניסה לחשבון מוסדי
שפה
English
Te Reo Māori
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
מילת מפתח
קורס
כותר
כותרת כתב-העת
מחבר
נושא
ISBN/ISSN
סימן המיקום
Call Number (LC)
Call Number (Dewey)
Call Number (Local)
Bib#
Barcode
סדרה
דפדוף בסדר אלפבתי: לפי כותר
דפדוף בסדר אלפבתי: לפי מחבר
דפדוף בסדר אלפבתי: לפי נושא
דפדוף בסדר אלפבתי: By LC Call Number
דפדוף בסדר אלפבתי: By Dewey Call Number
מצא
מתקדם
Page will reload when a filter is removed.
Applied Filters:
פורמט:
Remove Filter
Conference Proceeding
סוגה:
Remove Filter
Congresses
נושאים מוצעים:
Remove Filter
Electronic data processing
וגם
Remove Filter
Formal methods (Computer science)
Page will reload when a filter is removed.
Show filters (4)
פורמט:
Remove Filter
Conference Proceeding
סוגה:
Remove Filter
Congresses
נושאים מוצעים:
Remove Filter
Electronic data processing
וגם
Remove Filter
Formal methods (Computer science)
UC Library
חיפוש בקטלוג הספריה
תוצאות חיפוש
6
results
Refine Results
תוצאות בכל עמוד
10
20
40
60
80
100
מיון
רלוונטיות
תאריך יורד
תאריך עולה
סימן מיקום
מחבר
כותר
בחירת עמוד
דואל
יצוא
הדפסה
שמור
Select result number 1
1
Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings /
יצא לאור 2004
ממוקם
טוען...
סימן המיקום
טוען...
Connect to electronic version
Conference Proceeding
ספר
הוספה למועדפים
שמור ב:
Select result number 2
2
Formal techniques for networked and distributed systems -- FORTE 2004: 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004 : proceedings /
יצא לאור 2004
ממוקם
טוען...
סימן המיקום
טוען...
Connect to electronic version
Conference Proceeding
ספר
הוספה למועדפים
שמור ב:
Select result number 3
3
Formal techniques for networked and distributed systems FORTE 2005, 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings /
יצא לאור 2005
ממוקם
טוען...
סימן המיקום
טוען...
Connect to electronic resource
אלקטרוני
Conference Proceeding
ספר אלקטרוני
הוספה למועדפים
שמור ב:
Select result number 4
4
Formal techniques for networked and distributed systems, FORTE 2006 26th IFIP WG 6.1 international conference, Paris, France, September 26-29, 2006 : proceedings /
יצא לאור 2006
ממוקם
טוען...
סימן המיקום
טוען...
Connect to electronic resource
אלקטרוני
Conference Proceeding
ספר אלקטרוני
הוספה למועדפים
שמור ב:
Select result number 5
5
Formal techniques for networked and distributed systems FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007 : proceedings /
יצא לאור 2007
ממוקם
טוען...
סימן המיקום
טוען...
Connect to electronic resource
אלקטרוני
Conference Proceeding
ספר אלקטרוני
הוספה למועדפים
שמור ב:
Select result number 6
6
Formal techniques for networked and distributed systems, FORTE 2008 28th IFIP WG 6.1 international conference, Tokyo, Japan, June 10-13, 2008 : proceedings /
יצא לאור 2008
ממוקם
טוען...
סימן המיקום
טוען...
Connect to electronic resource
אלקטרוני
Conference Proceeding
ספר אלקטרוני
הוספה למועדפים
שמור ב:
בחירת עמוד
דואל
יצוא
הדפסה
שמור
כלי חיפוש:
קבל רסס (RSS)
שליחת חיפוש דרך דואל
שמירת חיפוש
חזרה
Refine Results
Page will reload when a filter is selected or excluded.
פורמט
Conference Proceeding
אלקטרוני
4 results
4
ספר אלקטרוני
4 results
4
ספר
2 results
2
ספריה
Law Basement
2 results
2
שנת הוצאה לאור
מ:
אל:
נושאים מוצעים
Computer network protocols
6 results
6
Distributed processing
6 results
6
Electronic data processing
Formal methods (Computer science)
סוגה
Congresses
שפה
English
6 results
6
מחבר
SpringerLink (Online service)
4 results
4
FORTE 2004 Madrid, Spain
2 results
2
IFIP Working Group 6.1
2 results
2
Núñez, Manuel, Profesor
2 results
2
Derrick, John, 1963-
1 results
1
Donzeau-Gouge, Véronique
1 results
1
European Performance Engineering Workshop
1 results
1
FORTE 2005 Taipei, Taiwan
1 results
1
FORTE 2006 Paris, France
1 results
1
FORTE 2008 Tokyo, Japan
1 results
1
Frutos-Escrig, David de
1 results
1
International Conference on Formal Description Techniques Tallinn, Estonia
1 results
1
International Workshop on Integration of Testing Methodologies
1 results
1
International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce
1 results
1
Najm, Elie
1 results
1
Pradat-Peyre, Jean-François
1 results
1
Suzuki, Kenji, Dr. Eng
1 results
1
Vain, Jüri
1 results
1
Wang, Farn
1 results
1
ראה את כולם...
סימן המיקום
Q - Science
4 results
4
טוען...