Tools and Algorithms for the Construction and Analysis of Systems
Rok wydania: 2004
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
19,00 zł
15,20 zł
SZCZEGÓŁY
dodaj do listy życzeń
Hybrid Systems: Computation and Control
Rok wydania: 2002
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
27,00 zł
21,61 zł
SZCZEGÓŁY
dodaj do listy życzeń
Lecture notes in computer science No 1354 Automatic Verification of Sequential Infinite-State Processes
Rok wydania: 1997
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
19,00 zł
15,20 zł
SZCZEGÓŁY
dodaj do listy życzeń
Applications and Theory of Petri Nets
Rok wydania: 1983
Rodzaj okładki:
Miękka
Stan:
Z
uszkodzeniami
17,00 zł
13,60 zł
SZCZEGÓŁY
dodaj do listy życzeń
Application and Theory of Petri Nets 1997: 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings Lecture Notes in Computer Science
Rok wydania: 1997
Rodzaj okładki:
Miękka
EAN:
9783540631392
Stan:
Widoczne
ślady
użytkowania
24,00 zł
18,39 zł
SZCZEGÓŁY
dodaj do listy życzeń
Application and Theory of Petri Nets 1998: 19th International Conference, ICATPN’98 Lisbon, Portugal, June 22–26, 1998 Proceedings
Rok wydania: 1998
Rodzaj okładki:
Miękka
EAN:
9783540646778
Stan:
Z
uszkodzeniami
26,00 zł
19,92 zł
SZCZEGÓŁY
dodaj do listy życzeń
Application and Theory of Petri Nets 1999: 20th International Conference, Icatpn '99, Williamsburg, Virginia, Usa, June 21-25,
Rok wydania: 1999
Rodzaj okładki:
Miękka
EAN:
9783540661320
Stan:
Z
uszkodzeniami
26,00 zł
19,92 zł
SZCZEGÓŁY
dodaj do listy życzeń
Computer Aided Verification: 12th International Conference
Rok wydania: 2000
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
14,00 zł
11,19 zł
SZCZEGÓŁY
dodaj do listy życzeń
Hybrid Systems: Computation and Control
First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings
Rok wydania: 1998
Rodzaj okładki:
Miękka
EAN:
9783540643586
Stan:
Z
uszkodzeniami
26,00 zł
23,12 zł
SZCZEGÓŁY
dodaj do listy życzeń
Computer Aided Verification
Rok wydania: 1995
Rodzaj okładki:
Miękka
EAN:
9783540600459
Stan:
Widoczne
ślady
użytkowania
28,00 zł
21,46 zł
SZCZEGÓŁY
dodaj do listy życzeń
Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings
Rok wydania: 2004
Rodzaj okładki:
Miękka
EAN:
9783540212591
Stan:
Widoczne
ślady
użytkowania
28,00 zł
21,46 zł
SZCZEGÓŁY
dodaj do listy życzeń
Balancing Agility and Formalism in Software Engineering
Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers
Rok wydania: 2008
Rodzaj okładki:
Miękka
EAN:
9783540852780
Stan:
Z
uszkodzeniami
75,93 zł
16,93 zł
SZCZEGÓŁY
dodaj do listy życzeń
SPIN Model Checking and Software Verification 1885
Rok wydania: 2000
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
12,00 zł
9,59 zł
SZCZEGÓŁY
dodaj do listy życzeń
Hybrid Systems: Computation and Control: Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings
Rok wydania: 1999
Rodzaj okładki:
Miękka
EAN:
9783540657347
Stan:
Z
uszkodzeniami
24,00 zł
18,39 zł
SZCZEGÓŁY
dodaj do listy życzeń
Lecture Notes in Computer Science Computer Aided Verification 1633
Rok wydania: 1999
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
23,00 zł
18,40 zł
SZCZEGÓŁY
dodaj do listy życzeń
Hybrid Systems: Computation and Control: Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings
Rok wydania: 2000
Rodzaj okładki:
Miękka
EAN:
9783540672593
Stan:
Z
uszkodzeniami
12,00 zł
9,18 zł
SZCZEGÓŁY
dodaj do listy życzeń
Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings
Rok wydania: 2005
Rodzaj okładki:
Miękka
EAN:
9783540251088
Stan:
Z
uszkodzeniami
20,00 zł
17,78 zł
SZCZEGÓŁY
dodaj do listy życzeń
Computer Aided Verification: 9th International Conference
Rok wydania: 1997
Rodzaj okładki:
Miękka
EAN:
9783540631668
Stan:
Widoczne
ślady
użytkowania
25,00 zł
19,16 zł
SZCZEGÓŁY
dodaj do listy życzeń
11th International Conference on Analysis and Optimization of Systems: Discrete Event Systems
Rok wydania: 1994
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
28,00 zł
22,41 zł
SZCZEGÓŁY
dodaj do listy życzeń
Embedded Systems: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986
Rok wydania: 1986
Rodzaj okładki:
Miękka
Stan:
Z
uszkodzeniami
24,00 zł
19,20 zł
SZCZEGÓŁY
dodaj do listy życzeń
Network and Operating System Support for Digital Audio and Video
Second International Workshop, Heidelberg, Germany, November 18-19, 1991. Proceedings
Rok wydania: 1992
Rodzaj okładki:
Miękka
Stan:
Z
uszkodzeniami
24,00 zł
19,20 zł
SZCZEGÓŁY
dodaj do listy życzeń
Lecture Notes in Computer Science Application and Theory of Petri Nets 1996: 17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings
Rok wydania: 1996
Rodzaj okładki:
Miękka
EAN:
9783540613633
Stan:
Widoczne
ślady
użytkowania
14,00 zł
10,72 zł
SZCZEGÓŁY
dodaj do listy życzeń
Petri Nets: Central Models and Their Properties: Advances in Petri Nets 1986, Part I Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986
Rok wydania: 1986
Rodzaj okładki:
Miękka
Stan:
Z
uszkodzeniami
24,00 zł
19,20 zł
SZCZEGÓŁY
dodaj do listy życzeń
Formal Techniques in Real-Time and Fault-Tolerant Systems
Rok wydania: 1996
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
13,00 zł
10,39 zł
SZCZEGÓŁY
dodaj do listy życzeń
Formal Techniques in Real-Time and Fault-Tolerant Systems
Rok wydania: 1996
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
28,00 zł
22,41 zł
SZCZEGÓŁY
dodaj do listy życzeń
Formal Techniques in Real-Time and Fault-Tolerant Systems
Rok wydania: 1992
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
13,00 zł
10,39 zł
SZCZEGÓŁY
dodaj do listy życzeń
Formal Techniques in Real-Time and Fault-Tolerant Systems
Rok wydania: 2000
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
28,00 zł
22,41 zł
SZCZEGÓŁY
dodaj do listy życzeń
Partial-Order Methods for the Verification of Concurrent Systems
Rok wydania: 1996
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
16,00 zł
12,80 zł
SZCZEGÓŁY
dodaj do listy życzeń
CONCUR 96: Concurrency Theory
Rok wydania: 1996
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
54,00 zł
43,23 zł
SZCZEGÓŁY
dodaj do listy życzeń
Formal Methods for Real-Time and Probabilistic Systems
Rok wydania: 1999
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
28,00 zł
22,41 zł
SZCZEGÓŁY
dodaj do listy życzeń
Hybrid Systems: Computation and Control
Rok wydania: 2002
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
22,00 zł
17,60 zł
SZCZEGÓŁY
dodaj do listy życzeń
Application and Theory of Petri Nets 2000
Rok wydania: 2000
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
29,00 zł
23,21 zł
SZCZEGÓŁY
dodaj do listy życzeń
Abstract State Machines - Theory and Applications
Rok wydania: 2000
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
23,00 zł
18,40 zł
SZCZEGÓŁY
dodaj do listy życzeń
CONCUR '98 Concurrency Theory
Rok wydania: 1998
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
54,00 zł
43,23 zł
SZCZEGÓŁY
dodaj do listy życzeń
CONCUR 99. Concurrency Theory
Rok wydania: 1999
Rodzaj okładki:
Miękka
EAN:
9783540664253
Stan:
Widoczne
ślady
użytkowania
54,00 zł
41,40 zł
SZCZEGÓŁY
dodaj do listy życzeń
Hybrid Systems: Computation and Control
9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings
Rok wydania: 2006
Rodzaj okładki:
Miękka
EAN:
9783540331704
Stan:
Widoczne
ślady
użytkowania
25,00 zł
19,16 zł
SZCZEGÓŁY
dodaj do listy życzeń
Application and Theory of Petri Nets 1994: 15th International Conference Zaragoza, Spain, June 20-24, 1994 Proceedings
Rok wydania: 1994
Rodzaj okładki:
Miękka
Stan:
Z
uszkodzeniami
24,00 zł
19,20 zł
SZCZEGÓŁY
dodaj do listy życzeń
Application and Theory of Petri Nets 1993: 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993. Proceedings
Rok wydania: 1993
Rodzaj okładki:
Miękka
Stan:
Z
uszkodzeniami
11,00 zł
8,79 zł
SZCZEGÓŁY
dodaj do listy życzeń
Lecture Notes in Computer Science Hybrid Systems Volume II
Rok wydania: 1995
Rodzaj okładki:
Miękka
Stan:
Z
uszkodzeniami
12,00 zł
9,59 zł
SZCZEGÓŁY
dodaj do listy życzeń
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
Rok wydania: 2003
Rodzaj okładki:
Miękka
EAN:
9783540009139
Stan:
Z
uszkodzeniami
13,00 zł
11,55 zł
SZCZEGÓŁY
dodaj do listy życzeń
Lecture Notes in Computer Science Application And Theory Of Petri Nets, 1995
Rok wydania: 1995
Rodzaj okładki:
Miękka
EAN:
9783540600299
Stan:
Z
uszkodzeniami
21,00 zł
16,09 zł
SZCZEGÓŁY
dodaj do listy życzeń
Lecture Notes in Computer Science Hybrid Systems
Rok wydania: 1993
Rodzaj okładki:
Miękka
Stan:
Z
uszkodzeniami
14,00 zł
11,19 zł
SZCZEGÓŁY
dodaj do listy życzeń
Lecture Notes in Computer Science Hybrid Systems Volume V
Rok wydania: 1999
Rodzaj okładki:
Miękka
EAN:
9783540656432
Stan:
Z
uszkodzeniami
24,00 zł
18,39 zł
SZCZEGÓŁY
dodaj do listy życzeń
Computer Aided Verification: 5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993
Rok wydania: 1993
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
33,00 zł
26,41 zł
SZCZEGÓŁY
dodaj do listy życzeń
Lecture Notes in Computer Science Hybrid Systems Volume IV
Rok wydania: 1997
Rodzaj okładki:
Miękka
EAN:
9783540633587
Stan:
Z
uszkodzeniami
24,00 zł
18,39 zł
SZCZEGÓŁY
dodaj do listy życzeń
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
Rok wydania: 1987
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
13,00 zł
10,39 zł
SZCZEGÓŁY
dodaj do listy życzeń
Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European
Rok wydania: 2001
Rodzaj okładki:
Miękka
EAN:
9783540418658
Stan:
Widoczne
ślady
użytkowania
11,00 zł
8,42 zł
SZCZEGÓŁY
dodaj do listy życzeń
Tools and Algorithms for the Construction of Analysis of Systems
Rok wydania: 1999
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
23,00 zł
18,40 zł
SZCZEGÓŁY
dodaj do listy życzeń
FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001
Rok wydania: 2001
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
18,00 zł
14,40 zł
SZCZEGÓŁY
dodaj do listy życzeń
Tools and Algorithms for the Construction and Analysis of Systems
Rok wydania: 2004
Rodzaj okładki:
Miękka
Stan:
Z
uszkodzeniami
18,00 zł
14,40 zł
SZCZEGÓŁY
dodaj do listy życzeń
Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November, 2000 Proceeding
Rok wydania: 2008
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
12,00 zł
9,59 zł
SZCZEGÓŁY
dodaj do listy życzeń
Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 2000
Rok wydania: 2000
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
45,00 zł
36,03 zł
SZCZEGÓŁY
dodaj do listy życzeń
Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March/April 1998
Rok wydania: 1998
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
22,00 zł
17,60 zł
SZCZEGÓŁY
dodaj do listy życzeń
Tools and Algorithms for the Construction and Analysis of Systems
Rok wydania: 1997
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
28,00 zł
22,41 zł
SZCZEGÓŁY
dodaj do listy życzeń
Tools and Algorithms for the Construction and Analysis of Systems
Rok wydania: 1996
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
28,00 zł
22,41 zł
SZCZEGÓŁY
dodaj do listy życzeń
Genetic Programming IV: Routine Human-Competitive Machine Intelligence
Rok wydania: 2005
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
35,00 zł
28,02 zł
SZCZEGÓŁY
dodaj do listy życzeń
Artificial General Intelligence 4th International Conference
Rok wydania: 2011
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
26,00 zł
20,81 zł
SZCZEGÓŁY
dodaj do listy życzeń
Artificial Intelligence and Soft Computing 11th International Conference Part 2
Rok wydania: 2012
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
24,00 zł
19,20 zł
SZCZEGÓŁY
dodaj do listy życzeń
Procedures in Gastrointestinal Radiology
Rok wydania: 1990
Rodzaj okładki:
Twarda
Stan:
Widoczne
ślady
użytkowania
29,00 zł
23,21 zł
SZCZEGÓŁY
dodaj do listy życzeń
Metacognition: Fundaments, Applications, and Trends
Rok wydania: 2015
Rodzaj okładki:
Twarda
Stan:
Z
uszkodzeniami
41,94 zł
33,58 zł
SZCZEGÓŁY
dodaj do listy życzeń
Informatics Engineering and Information Science
Rok wydania: 2011
Rodzaj okładki:
Miękka
EAN:
9783642254529
Stan:
Z
uszkodzeniami
46,00 zł
35,26 zł
SZCZEGÓŁY
dodaj do listy życzeń
Advances in Databases and Information Systems
Rok wydania: 2013
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
72,00 zł
57,65 zł
SZCZEGÓŁY
dodaj do listy życzeń
Information Processing in Medical Imaging
Rok wydania: 2003
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
43,00 zł
34,42 zł
SZCZEGÓŁY
dodaj do listy życzeń
Stress Proof the Heart: Behavioral Interventions for Cardiac Patients
Rok wydania: 2012
Rodzaj okładki:
Twarda
Stan:
Widoczne
ślady
użytkowania
25,00 zł
20,01 zł
SZCZEGÓŁY
dodaj do listy życzeń
Trace Elements From Soil to Human
Rok wydania: 2007
Rodzaj okładki:
Twarda
Stan:
Widoczne
ślady
użytkowania
37,00 zł
23,96 zł
SZCZEGÓŁY
dodaj do listy życzeń
University Writing in Central and Eastern Europe
Rodzaj okładki:
Twarda
EAN:
9783319951973
Stan:
Widoczne
ślady
użytkowania
49,00 zł
35,26 zł
SZCZEGÓŁY
dodaj do listy życzeń
Communications and Networking in China
Rok wydania: 2009
Rodzaj okładki:
Miękka
EAN:
9783642002045
Stan:
Widoczne
ślady
użytkowania
21,00 zł
15,10 zł
SZCZEGÓŁY
dodaj do listy życzeń
The failed back syndrome Etiology and Therapy
Rok wydania: 1992
Rodzaj okładki:
Twarda
Stan:
Widoczne
ślady
używania
17,00 zł
11,00 zł
SZCZEGÓŁY
dodaj do listy życzeń
Voith Power Transmission Schweickert, Hermann
Rok wydania: 2006
Rodzaj okładki:
Twarda
EAN:
9783540687849
Stan:
Widoczne
ślady
użytkowania
14,00 zł
8,55 zł
SZCZEGÓŁY
dodaj do listy życzeń
Geometric Description of Images as Topographic Maps
Rok wydania: 2010
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
115,00 zł
74,50 zł
SZCZEGÓŁY
dodaj do listy życzeń